Marc Pantel

Ning Ge, Marc Pantel, Xavier Crégut: Time properties dedicated transformation from UML-MARTE activity to time transition system. ACM SIGSOFT Software Engineering Notes 37(4): 1-8 (2012)

Benoît Combemale, Xavier Crégut, Marc Pantel: A Design Pattern to Build Executable DSMLs and Associated V&V Tools. APSEC 2012: 282-287

Ning Ge, Marc Pantel: Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems. ECMFA 2012: 352-367

Ning Ge, Marc Pantel, Xavier Crégut: Formal Specification and Verification of Task Time Constraints for Real-Time Systems. ISoLA (2) 2012: 143-157

Faiez Zalila, Xavier Crégut, Marc Pantel: Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study. ISoLA (2) 2012: 329-343

Arnaud Dieumegard, Andres Toom, Marc Pantel: Model-based formal specification of a DSL library for a qualified code generator. OCL and Textual Modelling 2012: 61-62

Benoît Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila: Teaching MDE through the Formal Verification of Process Models. ECEASST 52 (2011)

Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai: Expérimentations en Coq pour un générateur de code qualifiable. Technique et Science Informatiques 30(4): 409-440 (2011)

Aurélie Hurault, Marc Pantel, Michel J. Daydé: Composition dynamique de services de calcul. Utilisation des spécifications algébriques pour décrire la fonctionnalité des services. Technique et Science Informatiques 30(6): 685-710 (2011)

Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris: Towards Formally Verified Optimizing Compilation in Flight Control Software. PPES 2011: 59-68

Mounira Kezadri, Benoît Combemale, Marc Pantel, Xavier Thirioux: A Proof Assistant Based Formalization of MDE Components. FACS 2011: 223-240

Xavier Crégut, Benoît Combemale, Marc Pantel, Raphaël Faudoux, Jonatas Pavei: Generative Technologies for Model Animation in the TopCased Platform. ECMFA 2010: 90-103

Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux: Use of formal methods for building qualified code generator for safer automotive systems. EDCC-CARS 2010: 53-56

Mounira Kezadri, Marc Pantel: First Steps Toward a Verification and Validation Ontology. KEOD 2010: 440-444

Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel: Verification of the Schorr-Waite Algorithm - From Trees to Graphs. LOPSTR 2010: 67-83

Aurélie Hurault, Michel J. Daydé, Marc Pantel: Advanced service trading for scientific computing over the grid. The Journal of Supercomputing 49(1): 64-83 (2009)

Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai: Integrated Formal Approach for Qualified Critical Embedded Code Generator. FMICS 2009: 199-201

Nassima Izerrouken, Marc Pantel, Xavier Thirioux: Machine-Checked Sequencer for Critical Embedded Code Generator. ICFEM 2009: 521-540

Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, G. Garcia, A. Rugina, Jérémy Buisson, Fabien Dagnat: Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software. FMA 2009: 80-87

Hrachya Astsatryan, Vladimir Sahakyan, Yuri Shoukouryan, Michel J. Daydé, Aurélie Hurault, Marc Pantel, Eddy Caron: A Grid-Aware Web Portal with Advanced Service Trading for Linear Algebra Calculations. VECPAR 2008: 150-159

Benoît Combemale, Xavier Crégut, Marc Pantel, P. Michel: SéMo'07, premier atelier sur la sémantique des modèles. L'OBJET 13(4): 137-144 (2007)

Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux: Abstract Interpretation-based Static Safety for Actors. JSW 2(3): 87-98 (2007)

Jean-Paul Arcangeli, Sébastien Leriche, Marc Pantel: Un framework à composants et agents pour les applications réparties à grande échelle. L'OBJET 12(4): 103-132 (2006)

Aurélie Hurault, Marc Pantel: Mathematical Service Trading Based on Equational Matching. Electr. Notes Theor. Comput. Sci. 151(1): 161-177 (2006)

Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux: Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. FMOODS 2006: 78-92

Benoît Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel, Bernard Coulette: Towards Rigorous Metamodeling. MDEIS 2006: 5-14

Michel J. Daydé, Aurélie Hurault, Marc Pantel: Semantic-Based Service Trading: Application to Linear Algebra. VECPAR 2006: 622-633

Patrick Amestoy, Michel J. Daydé, Christophe Hamerling, Marc Pantel, Chiara Puglisi: Management of Services Based on a Semantic Description Within the GRID-TLSE Project. VECPAR 2006: 634-643

Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux: Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. CoRR abs/cs/0611139 (2006)

Aurélie Hurault, Vincent Hennebert, Marc Pantel: Répartition et mobilité en JAVACT Une approche dérivée d'un modèle formel. L'OBJET 10(2-3): 47-60 (2004)

Eddy Caron, Frédéric Desprez, Jean-Yves L'Excellent, Christophe Hamerling, Marc Pantel, Chiara Puglisi-Amestoy: Use of a Network-Enabled Server System for a Sparse Linear Algebra Grid Application. Future Generation Grids 2004: 171-193

Jean-Paul Arcangeli, Sébastien Leriche, Marc Pantel: Development of Flexible Peer-To-Peer Information Systems Using Adaptable Mobile Agents. DEXA Workshops 2004: 549-553

Matthias Colin, Xavier Thirioux, Marc Pantel: Temporal Logic Based Static Analysis for Non-uniform Behaviours. FMOODS 2003: 94-108

Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé: Typing Concurrent Objects and Actors. L'OBJET 6(1) (2000)

Patrick Sallé, Marc Pantel: Concurrent and Distributed Programming with Objects - Introduction. Euro-Par 1999: 1333

J. L. Colaco, Marc Pantel, Fabien Dagnat, Patrick Sallé: Static safety analysis for non-uniform service availability in Actors. FMOODS 1999

A. El Faker, Christiane Massoutie, Marc Pantel, Patrick Sallé: Vers une machine virtuelle pour l'évaluation des langages d'acteurs. LMO 1995: 221-240