| 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 | 152 | 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 | 68 | 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 | 43 | 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 | 43 | 2008 |
| 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 | 43 | 2008 |
| A set-constraint-based analysis of actors JL Colaço, M Pantel, P Sallé Formal Methods for Open Object-based Distributed Systems: Volume 2, 107-122, 1997 | 40 | 1997 |
| Proof-based approach to hybrid systems development: dynamic logic and Event-B G Dupont, Y Aït-Ameur, M Pantel, NK Singh Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018 | 34 | 2018 |
| 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 | 33 | 2012 |
| 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 | 29 | 2015 |
| Towards Rigorous Metamodeling. B Combemale, S Rougemaille, X Crégut, F Migeon, M Pantel, C Maurel, ... MDEIS, 5-14, 2006 | 28 | 2006 |
| 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 |
| 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 | 27 | 2008 |
| CAP: An actor dedicated process calculus JL Colaço, M Pantel, P Sallé Prof. of Proof Theory of Concurrent Object-Oriented Programming, 1996 | 26 | 1996 |
| 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 | 25 | 2016 |
| Generative Technologies for Model Animation in the TopCased Platform X Crégut, B Combemale, M Pantel, R Faudoux, J Pavei Modelling Foundations and Applications: 6th European Conference, ECMFA 2010 …, 2010 | 25 | 2010 |
| 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 | 24 | 2016 |
| 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 | 24 | 2015 |
| Event-B hybridation: A proof and refinement-based framework for modelling hybrid systems G Dupont, Y Ait-Ameur, NK Singh, M Pantel ACM Transactions on Embedded Computing Systems (TECS) 20 (4), 1-37, 2021 | 23 | 2021 |
| Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model N Ge, S Nakajima, M Pantel Simulation 91 (10), 851-868, 2015 | 23 | 2015 |
| Formal verification integration approach for DSML F Zalila, X Crégut, M Pantel Model-Driven Engineering Languages and Systems: 16th International …, 2013 | 23 | 2013 |
Benoit CombemaleFull Professor of Software Engineering, University of Rennes, IRISA & ESIRAdresse e-mail validée de irisa.fr
