| The TOPCASED project: a toolkit in open source for critical aeronautic systems design P Farail, P Gaufillet, A Canals, C Le Camus, D Sciamma, P Michel, ... Conference ERTS'06, 2006 | 148 | 2006 |
| A design pattern to build executable DSMLs and associated V&V tools B Combemale, X Crégut, M Pantel 2012 19th Asia-Pacific Software Engineering Conference 1, 282-287, 2012 | 66 | 2012 |
| A set-constraint-based analysis of actors JL Colaço, M Pantel, P Sallé Formal Methods for Open Object-based Distributed Systems, 107-122, 1997 | 43 | 1997 |
| Introducing simulation and model animation in the MDE Topcased toolkit B Combemale, X Crégut, JP Giacometti, P Michel, M Pantel 4th European Congress Embedded Real Time Software (ERTS), http://www …, 2008 | 42 | 2008 |
| Formally verified optimizing compilation in ACG-based flight control software RB França, S Blazy, D Favre-Felix, X Leroy, M Pantel, J Souyris ERTS2 2012: Embedded Real Time Software and Systems, 2012 | 32 | 2012 |
| Towards formally verified optimizing compilation in flight control software RB França, D Favre-Felix, X Leroy, M Pantel, J Souyris PPES 2011: predictability and performance in embedded systems 18, 59-68, 2011 | 31 | 2011 |
| Gene-auto: an automatic code generator for a safe subset of simulink/stateflow and scicos A Toom, T Naks, M Pantel, M Gandriau, I Wati Embedded Real Time Software and Systems (ERTS2008), 2008 | 30 | 2008 |
| Weaving concurrency in executable domain-specific modeling languages F Latombe, X Crégut, B Combemale, J Deantoni, M Pantel Proceedings of the 2015 ACM SIGPLAN International Conference on Software …, 2015 | 27 | 2015 |
| Towards reliable code generation with an open tool: Evolutions of the Gene-Auto toolset A Toom, N Izerrouken, T Naks, M Pantel, OSY Kai ERTS2 2010, Embedded Real Time Software & Systems, 2010 | 27 | 2010 |
| Towards Rigorous Metamodeling. B Combemale, S Rougemaille, X Crégut, F Migeon, M Pantel, C Maurel, ... MDEIS 6, 23-27, 2006 | 27 | 2006 |
| From design to implementation: an automated, credible autocoding chain for control systems T Wang, R Jobredeaux, H Herencia, PL Garoche, A Dieumegard, É Féron, ... Advances in Control System Technology for Aerospace Applications, 137-180, 2016 | 26 | 2016 |
| CAP: An actor dedicated process calculus JL Colaço, M Pantel, P Sallé | 26 | 1996 |
| Certifying an Automated Code Generator Using Formal Tools: Preliminary experiments in the GeneAuto project. N Izerrouken, X Thirioux, M Pantel, M Strecker Embedded Real Time Software and Systems (ERTS2008), 2008 | 25 | 2008 |
| Proof-based approach to hybrid systems development: dynamic logic and Event-B G Dupont, Y Aït-Ameur, M Pantel, NK Singh International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018 | 24 | 2018 |
| Generative Technologies for Model Animation in the TopCased Platform X Crégut, B Combemale, M Pantel, R Faudoux, J Pavei European Conference on Modelling Foundations and Applications, 90-103, 2010 | 24 | 2010 |
| Formal verification of runtime compensation of web service compositions: A refinement and proof based proposal with Event-B G Babin, YA Ameur, M Pantel 2015 IEEE International conference on services computing, 98-105, 2015 | 22 | 2015 |
| Formal verification integration approach for DSML F Zalila, X Crégut, M Pantel International Conference on Model Driven Engineering Languages and Systems …, 2013 | 20 | 2013 |
| Towards an incremental development of discrete-event simulators for batch plants: Use of object-oriented concepts F Bérard, C Azzaro-Pantel, L Pibouleau, S Domenech, D Navarre, ... Computers & Chemical Engineering 23, S565-S568, 1999 | 20 | 1999 |
| Static safety analysis for non-uniform service availability in actors JL Colaço, M Pantel, F Dagnat, P Sallé International Conference on Formal Methods for Open Object-Based Distributed …, 1999 | 20 | 1999 |
| Web service compensation at runtime: formal modeling and verification using the event-b refinement and proof based formal method G Babin, Y Ait-Ameur, M Pantel IEEE Transactions on Services Computing 10 (1), 107-120, 2016 | 19 | 2016 |
Benoit CombemaleProfessor of Software Engineering at University of Rennes 1Verified email at irisa.fr
