7 citations · 8 across the 4 of their papers we have counts for
4 papers
Probabilistic Failure Analysis in Model Validation & Verification
Ning Ge, Marc Pantel, Xavier Crégut
Automated fault localization is an important issue in model validation and verification. It helps the end users in analyzing the origin of failure. In this work, we show the early…
Report on the First Workshop On the Globalization of Modeling Languages
Benoit Combemale, Julien De Antoni, Robert B. France +6
The first edition of GEMOC workshop was co-located with the MODELS 2013 conference in Miami, FL, USA. The workshop provided an open forum for sharing experiences, problems and solu…
Correct-by-construction model composition: Application to the Invasive Software Composition method
Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale +1
Composition technologies improve reuse in the development of large-scale complex systems. Safety critical systems require intensive validation and verification activities. These ac…
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
L. Besnard, T. Gautier, J. Ouy +9
The SPaCIFY project, which aims at bringing advances in MDE to the satellite flight software industry, advocates a top-down approach built on a domain-specific modeling language na…