Arnaud Dieumegard Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnaud Dieumegard, Ning Ge, Eric Jenn: Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function. NFM 2017: 327-341
2016
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNing Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin: From Event-B to Verified C via HLL. CoRR abs/1610.07410 (2016)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnaud Dieumegard, Andres Toom, Marc Pantel: Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems. FMICS-AVoCS 2016: 117-132
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeeraj Kumar Singh, Yamine Aït Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn: Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. ICECCS 2016: 43-52
2015
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton: Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs. OCL@MoDELS 2015: 89-104
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnaud Dieumegard, Pierre-Loïc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux: Compilation of synchronous observers as code contracts. SAC 2015: 1933-1939
2014
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnaud Dieumegard, Andres Toom, Marc Pantel: A software product line approach for semantic specification of block libraries in dataflow languages. SPLC 2014: 217-226
2013
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy Wang, Romain Jobredeaux, Heber Herencia-Zapana, Pierre-Loïc Garoche, Arnaud Dieumegard, Eric Feron, Marc Pantel: From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems. CoRR abs/1307.2641 (2013)
2012
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnaud Dieumegard, Andres Toom, Marc Pantel: Model-based formal specification of a DSL library for a qualified code generator. OCL and Textual Modelling 2012: 61-62
2011
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoît Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila: Teaching MDE through the Formal Verification of Process Models. ECEASST 52 (2011)

Coauthor Index

1Yamine Aït Ameur[c5]
2Guillaume Babin[c4]
3Martin Carton[c4]
4Benoît Combemale[j1]
5Xavier Crégut[j1]
6Eric Feron[i1]
7Pierre-Loïc Garoche[c3] [i1]
8Ning Ge[c7] [i2]
9Heber Herencia-Zapana[i1]
10Eric Jenn[c7] [i2] [c5]
11Romain Jobredeaux[i1]
12Temesghen Kahsai[c3]
13Marc Pantel[c6] [c5] [c4] [c2] [i1] [c1] [j1]
14Neeraj Kumar Singh[c5]
15Alice Taillar[c3]
16Xavier Thirioux[c3]
17Andres Toom[c6] [c2] [c1]
18Laurent Voisin[i2]
19Timothy Wang[i1]
20Faiez Zalila[j1]

 

Last update 2017-06-09 03:41 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page