BibTeX records: Arnaud Dieumegard

download as .bib file

@inproceedings{DBLP:conf/nfm/DieumegardGJ17,
  author    = {Arnaud Dieumegard and
               Ning Ge and
               Eric Jenn},
  title     = {Event-B at Work: Some Lessons Learnt from an Application to a Robot
               Anti-collision Function},
  booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
               Field, CA, USA, May 16-18, 2017, Proceedings},
  pages     = {327--341},
  year      = {2017},
  crossref  = {DBLP:conf/nfm/2017},
  url       = {https://doi.org/10.1007/978-3-319-57288-8_24},
  doi       = {10.1007/978-3-319-57288-8_24},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/nfm/DieumegardGJ17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmics/DieumegardTP16,
  author    = {Arnaud Dieumegard and
               Andres Toom and
               Marc Pantel},
  title     = {Block Library Driven Translation Validation for Dataflow Models in
               Safety Critical Systems},
  booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
               21st International Workshop on Formal Methods for Industrial Critical
               Systems and 16th International Workshop on Automated Verification
               of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28,
               2016, Proceedings},
  pages     = {117--132},
  year      = {2016},
  crossref  = {DBLP:conf/fmics/2016},
  url       = {https://doi.org/10.1007/978-3-319-45943-1_8},
  doi       = {10.1007/978-3-319-45943-1_8},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmics/DieumegardTP16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SinghAPDJ16,
  author    = {Neeraj Kumar Singh and
               Yamine A{\"{\i}}t Ameur and
               Marc Pantel and
               Arnaud Dieumegard and
               Eric Jenn},
  title     = {Stepwise Formal Modeling and Verification of Self-Adaptive Systems
               with Event-B. The Automatic Rover Protection Case Study},
  booktitle = {21st International Conference on Engineering of Complex Computer Systems,
               {ICECCS} 2016, Dubai, United Arab Emirates, November 6-8, 2016},
  pages     = {43--52},
  year      = {2016},
  crossref  = {DBLP:conf/iceccs/2016},
  url       = {https://doi.org/10.1109/ICECCS.2016.015},
  doi       = {10.1109/ICECCS.2016.015},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iceccs/SinghAPDJ16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/GeDJV16,
  author    = {Ning Ge and
               Arnaud Dieumegard and
               Eric Jenn and
               Laurent Voisin},
  title     = {From Event-B to Verified {C} via {HLL}},
  journal   = {CoRR},
  volume    = {abs/1610.07410},
  year      = {2016},
  url       = {http://arxiv.org/abs/1610.07410},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/GeDJV16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/models/DieumegardPBC15,
  author    = {Arnaud Dieumegard and
               Marc Pantel and
               Guillaume Babin and
               Martin Carton},
  title     = {Tool Paper: {A} Lightweight Formal Encoding of a Constraint Language
               for DSMLs},
  booktitle = {Proceedings of the 15th International Workshop on {OCL} and Textual
               Modeling co-located with 18th International Conference on Model Driven
               Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September
               28, 2015.},
  pages     = {89--104},
  year      = {2015},
  crossref  = {DBLP:conf/models/2015ocl},
  url       = {http://ceur-ws.org/Vol-1512/paper08.pdf},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/models/DieumegardPBC15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sac/DieumegardGKTT15,
  author    = {Arnaud Dieumegard and
               Pierre{-}Lo{\"{\i}}c Garoche and
               Temesghen Kahsai and
               Alice Taillar and
               Xavier Thirioux},
  title     = {Compilation of synchronous observers as code contracts},
  booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
               Salamanca, Spain, April 13-17, 2015},
  pages     = {1933--1939},
  year      = {2015},
  crossref  = {DBLP:conf/sac/2015},
  url       = {http://doi.acm.org/10.1145/2695664.2695819},
  doi       = {10.1145/2695664.2695819},
  timestamp = {Tue, 21 Jul 2015 14:16:42 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/DieumegardGKTT15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/splc/DieumegardTP14,
  author    = {Arnaud Dieumegard and
               Andres Toom and
               Marc Pantel},
  title     = {A software product line approach for semantic specification of block
               libraries in dataflow languages},
  booktitle = {18th International Software Product Line Conference, {SPLC} '14, Florence,
               Italy, September 15-19, 2014},
  pages     = {217--226},
  year      = {2014},
  crossref  = {DBLP:conf/splc/2014},
  url       = {http://doi.acm.org/10.1145/2648511.2648534},
  doi       = {10.1145/2648511.2648534},
  timestamp = {Tue, 24 Feb 2015 09:10:32 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/splc/DieumegardTP14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/WangJHGDFP13,
  author    = {Timothy Wang and
               Romain Jobredeaux and
               Heber Herencia{-}Zapana and
               Pierre{-}Lo{\"{\i}}c Garoche and
               Arnaud Dieumegard and
               Eric Feron and
               Marc Pantel},
  title     = {From Design to Implementation: an Automated, Credible Autocoding Chain
               for Control Systems},
  journal   = {CoRR},
  volume    = {abs/1307.2641},
  year      = {2013},
  url       = {http://arxiv.org/abs/1307.2641},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/WangJHGDFP13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/models/DieumegardTP12,
  author    = {Arnaud Dieumegard and
               Andres Toom and
               Marc Pantel},
  title     = {Model-based formal specification of a {DSL} library for a qualified
               code generator},
  booktitle = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
               Austria, September 30, 2012},
  pages     = {61--62},
  year      = {2012},
  crossref  = {DBLP:conf/models/2012ocl},
  url       = {http://doi.acm.org/10.1145/2428516.2428527},
  doi       = {10.1145/2428516.2428527},
  timestamp = {Mon, 29 Apr 2013 21:02:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/models/DieumegardTP12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/eceasst/CombemaleCDPZ11,
  author    = {Beno{\^{\i}}t Combemale and
               Xavier Cr{\'{e}}gut and
               Arnaud Dieumegard and
               Marc Pantel and
               Faiez Zalila},
  title     = {Teaching {MDE} through the Formal Verification of Process Models},
  journal   = {{ECEASST}},
  volume    = {52},
  year      = {2011},
  url       = {http://journal.ub.tu-berlin.de/eceasst/article/view/749},
  timestamp = {Wed, 09 Jan 2013 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/eceasst/CombemaleCDPZ11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/nfm/2017,
  editor    = {Clark Barrett and
               Misty Davies and
               Temesghen Kahsai},
  title     = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
               Field, CA, USA, May 16-18, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10227},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-57288-8},
  doi       = {10.1007/978-3-319-57288-8},
  isbn      = {978-3-319-57287-1},
  timestamp = {Thu, 25 May 2017 00:40:09 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/nfm/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fmics/2016,
  editor    = {Maurice H. ter Beek and
               Stefania Gnesi and
               Alexander Knapp},
  title     = {Critical Systems: Formal Methods and Automated Verification - Joint
               21st International Workshop on Formal Methods for Industrial Critical
               Systems and 16th International Workshop on Automated Verification
               of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28,
               2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9933},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-45943-1},
  doi       = {10.1007/978-3-319-45943-1},
  isbn      = {978-3-319-45942-4},
  timestamp = {Sun, 21 May 2017 00:22:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmics/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2016,
  editor    = {Hai Wang and
               Mounir Mokhtari},
  title     = {21st International Conference on Engineering of Complex Computer Systems,
               {ICECCS} 2016, Dubai, United Arab Emirates, November 6-8, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7814733},
  isbn      = {978-1-5090-5526-5},
  timestamp = {Thu, 19 Jan 2017 14:14:36 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iceccs/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/models/2015ocl,
  editor    = {Achim D. Brucker and
               Marina Egea and
               Martin Gogolla and
               Fr{\'{e}}d{\'{e}}ric Tuong},
  title     = {Proceedings of the 15th International Workshop on {OCL} and Textual
               Modeling co-located with 18th International Conference on Model Driven
               Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September
               28, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1512},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1512},
  urn       = {urn:nbn:de:0074-1512-6},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/models/2015ocl},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sac/2015,
  editor    = {Roger L. Wainwright and
               Juan Manuel Corchado and
               Alessio Bechini and
               Jiman Hong},
  title     = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
               Salamanca, Spain, April 13-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2695664},
  isbn      = {978-1-4503-3196-8},
  timestamp = {Tue, 21 Jul 2015 14:16:42 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/splc/2014,
  editor    = {Stefania Gnesi and
               Alessandro Fantechi and
               Patrick Heymans and
               Julia Rubin and
               Krzysztof Czarnecki and
               Deepak Dhungana},
  title     = {18th International Software Product Line Conference, {SPLC} '14, Florence,
               Italy, September 15-19, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2648511},
  isbn      = {978-1-4503-2740-4},
  timestamp = {Tue, 24 Feb 2015 09:10:32 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/splc/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/models/2012ocl,
  editor    = {Mira Balaban and
               Jordi Cabot and
               Martin Gogolla and
               Claas Wilke},
  title     = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
               Austria, September 30, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2428516},
  isbn      = {978-1-4503-1799-3},
  timestamp = {Mon, 29 Apr 2013 21:02:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/models/2012ocl},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier