7 citations · 21 across the 8 of their papers we have counts for
8 papers
Ordering Strict Partial Orders to Model Behavioral Refinement
Mathieu Montin, Marc Pantel
Software is now ubiquitous and involved in complex interactions with the human users and the physical world in so-called cyber-physical systems where the management of time is a ma…
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…
Credible Autocoding of Convex Optimization Algorithms
Timothy Wang, Romain Jobredeaux, Marc Pantel +3
The efficiency of modern optimization methods, coupled with increasing computational resources, has led to the possibility of real-time optimization algorithms acting in safety cri…
From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems
Timothy Wang, Romain Jobredeaux, Heber Herencia +4
This article describes a fully automated, credible autocoding chain for control systems. The framework generates code, along with guarantees of high level functional properties whi…
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…
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
The actor model eases the definition of concurrent programs with non uniform behaviors. Static analysis of such a model was previously done in a data-flow oriented way, with type s…