Marc Pantel
Marc Pantel
Associate Professor in Computer Science, Université de Toulouse
Verified email at
Cited by
Cited by
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
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
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
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
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
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
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
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
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
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
Towards Rigorous Metamodeling.
B Combemale, S Rougemaille, X Crégut, F Migeon, M Pantel, C Maurel, ...
MDEIS 6, 23-27, 2006
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
CAP: An actor dedicated process calculus
JL Colaço, M Pantel, P Sallé
Prof. of Proof Theory of Concurrent Object-Oriented Programming, 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
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
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
Formal verification integration approach for DSML
F Zalila, X Crégut, M Pantel
Model-Driven Engineering Languages and Systems: 16th International …, 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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20