Marc Pantel
Marc Pantel
Associate Professor in Computer Science, Université de Toulouse
Email confirmado em enseeiht.fr
Título
Citado por
Citado por
Ano
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
1442006
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
612012
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
401997
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
382008
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
352008
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
282012
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
272011
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
272010
Towards Rigorous Metamodeling.
B Combemale, S Rougemaille, X Crégut, F Migeon, M Pantel, C Maurel, ...
MDEIS 6, 23-27, 2006
262006
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
252016
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
252015
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
242008
CAP: An actor dedicated process calculus
JL Colaço, M Pantel, P Sallé
241996
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
232010
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
212015
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
201999
Verification of the Schorr-Waite algorithm–From trees to graphs
M Giorgino, M Strecker, R Matthes, M Pantel
International Symposium on Logic-Based Program Synthesis and Transformation …, 2010
192010
Machine-checked sequencer for critical embedded code generator
N Izerrouken, M Pantel, X Thirioux
International Conference on Formal Engineering Methods, 521-540, 2009
192009
Formal verification integration approach for DSML
F Zalila, X Crégut, M Pantel
International Conference on Model Driven Engineering Languages and Systems …, 2013
182013
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
181999
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20