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

Concurrent and Distributed Programming with Objects - Introduction. - Patrick Sallé; Marc Pantel (Euro-Par, 1999)

Static safety analysis for non-uniform service availability in Actors. - Jean-Louis Colaço; Marc Pantel; Fabien Dagnat; Patrick Sallé (FMOODS, 1999)

Typing Concurrent Objects and Actors. - Fabien Dagnat; Marc Pantel; Matthias Colin; Patrick Sallé (Obj. Logiciel Base données Réseaux, 2000)

Temporal Logic Based Static Analysis for Non-uniform Behaviours. - Matthias Colin; Xavier Thirioux; Marc Pantel (FMOODS, 2003)

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

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

Répartition et mobilité en JAVACT Une approche dérivée d'un modèle formel. - Aurélie Hurault; Vincent Hennebert; Marc Pantel (Obj. Logiciel Base données Réseaux, 2004)

Mathematical Service Trading Based on Equational Matching. - Aurélie Hurault; Marc Pantel (Calculemus, 2005)

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

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

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

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

Un framework à composants et agents pour les applications réparties à grande échelle. - Jean-Paul Arcangeli; Sébastien Leriche; Marc Pantel (Obj. Logiciel Base données Réseaux, 2006)

SéMo'07, premier atelier sur la sémantique des modèles. - Benoît Combemale; Xavier Crégut; Marc Pantel; Pierre Michel (Obj. Logiciel Base données Réseaux, 2007)

Abstract Interpretation-based Static Safety for Actors. - Pierre-Loïc Garoche; Marc Pantel; Xavier Thirioux (J. Softw., 2007)

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

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

Machine-Checked Sequencer for Critical Embedded Code Generator. - Nassima Izerrouken; Marc Pantel; Xavier Thirioux (ICFEM, 2009)

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

Advanced service trading for scientific computing over the grid. - Aurélie Hurault; Michel J. Daydé; Marc Pantel (J. Supercomput., 2009)

Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software. - Alexandre Cortier; Loïc Besnard; Jean-Paul Bodeveix; Jérémy Buisson; Fabien Dagnat; Mamoun Filali; Gérald Garcia; Julien Ouy; Marc Pantel; Ana-Elena Rugina; Martin Strecker; Jean-Pierre Talpin (Synthesis of Embedded Software, 2010)

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

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

First Steps Toward a Verification and Validation Ontology. - Mounira Kezadri; Marc Pantel (KEOD, 2010)

Verification of the Schorr-Waite Algorithm - From Trees to Graphs. - Mathieu Giorgino; Martin Strecker; Ralph Matthes; Marc Pantel (LOPSTR, 2010)

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

A Proof Assistant Based Formalization of MDE Components. - Mounira Kezadri; Benoît Combemale; Marc Pantel; Xavier Thirioux (FACS, 2011)

Teaching MDE through the Formal Verification of Process Models. - Benoît Combemale; Xavier Crégut; Arnaud Dieumegard; Marc Pantel; Faiez Zalila (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Composition dynamique de services de calcul. Utilisation des spécifications algébriques pour décrire la fonctionnalité des services. - Aurélie Hurault; Marc Pantel; Michel J. Daydé (Tech. Sci. Informatiques, 2011)

Expérimentations en Coq pour un générateur de code qualifiable. - Nassima Izerrouken; Marc Pantel; Xavier Thirioux; Olivier Ssi Yan Kai (Tech. Sci. Informatiques, 2011)

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

Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems. - Ning Ge 002; Marc Pantel (ECMFA, 2012)

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

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

Model transformations with Tom. - Jean-Christophe Bach; Xavier Crégut; Pierre-Etienne Moreau; Marc Pantel (LDTA, 2012)

Model-based formal specification of a DSL library for a qualified code generator. - Arnaud Dieumegard; Andres Toom; Marc Pantel (OCL@MoDELS, 2012)

Time properties dedicated transformation from UML-MARTE activity to time transition system. - Ning Ge 002; Marc Pantel; Xavier Crégut (ACM SIGSOFT Softw. Eng. Notes, 2012)

A Transformation-Driven Approach to Automate Feedback Verification Results. - Faiez Zalila; Xavier Crégut; Marc Pantel (MEDI, 2013)

Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013). - Benoît Combemale; Julien DeAntoni; Robert B. France; Frédéric Boulanger; Sébastien Mosser 001; Marc Pantel; Bernhard Rumpe; Rick Salay; Martin Schindler (GEMOC+AMINO@MoDELS, 2013)

Formal Verification Integration Approach for DSML. - Faiez Zalila; Xavier Crégut; Marc Pantel (MoDELS, 2013)

Efficient online analysis of accidental fault localization for dynamic systems using hidden Markov model. - Ning Ge 002; Shin Nakajima 001; Marc Pantel (SpringSim (TMS-DEVS), 2013)

From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems. - Timothy Wang; Romain Jobredeaux; Heber Herencia-Zapana; Pierre-Loïc Garoche; Arnaud Dieumegard; Eric Feron; Marc Pantel (CoRR, 2013)

Real-Time Property Specific Reduction for Time Petri Net. - Ning Ge 002; Marc Pantel (PNSE @ Petri Nets, 2014)

A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators. - Mounira Kezadri Hamiaz; Marc Pantel; Benoît Combemale; Xavier Thirioux (ICFEM, 2014)

Automated Failure Analysis in Model Checking Based on Data Mining. - Ning Ge 002; Marc Pantel; Xavier Crégut (MEDI, 2014)

A software product line approach for semantic specification of block libraries in dataflow languages. - Arnaud Dieumegard; Andres Toom; Marc Pantel (SPLC, 2014)

Report on the First Workshop On the Globalization of Modeling Languages. - Benoît Combemale; Julien De Antoni; Robert B. France; Frédéric Boulanger; Sébastien Mosser 001; Marc Pantel; Bernhard Rumpe; Rick Salay; Martin Schindler (CoRR, 2014)

Correct-by-construction model composition: Application to the Invasive Software Composition method. - Mounira Kezadri Hamiaz; Marc Pantel; Benoît Combemale; Xavier Thirioux (FESCA, 2014)

Credible Autocoding of Convex Optimization Algorithms. - Timothy Wang; Romain Jobredeaux; Marc Pantel; Pierre-Loïc Garoche; Eric Feron; Didier Henrion (CoRR, 2014)

Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B. - Guillaume Babin; Yamine Aït Ameur; Marc Pantel (SCC, 2015)

Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs. - Arnaud Dieumegard; Marc Pantel; Guillaume Babin; Martin Carton (OCL@MoDELS, 2015)

Coping with Semantic Variation Points in Domain-Specific Modeling Languages. - Florent Latombe; Xavier Crégut; Julien Deantoni; Marc Pantel; Benoît Combemale (EXE@MoDELS, 2015)

Refinement and Proof Based Development of Systems Characterized by Continuous Functions. - Guillaume Babin; Yamine Aït Ameur; Shin Nakajima 001; Marc Pantel (SETTA, 2015)

Weaving concurrency in executable domain-specific modeling languages. - Florent Latombe; Xavier Crégut; Benoît Combemale; Julien Deantoni; Marc Pantel (SLE, 2015)

Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model. - Ning Ge 001; Shin Nakajima 001; Marc Pantel (Simul., 2015)

Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development. - Guillaume Babin; Yamine Aït Ameur; Neeraj Kumar Singh 001; Marc Pantel (ABZ, 2016)

Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems. - Arnaud Dieumegard; Andres Toom; Marc Pantel (FMICS-AVoCS, 2016)

Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach. - Guillaume Babin; Yamine Aït Ameur; Marc Pantel (HASE, 2016)

Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. - Neeraj Kumar Singh 001; Yamine Aït Ameur; Marc Pantel; Arnaud Dieumegard; Eric Jenn (ICECCS, 2016)

A System Substitution Mechanism for Hybrid Systems in Event-B. - Guillaume Babin; Yamine Aït Ameur; Neeraj Kumar Singh 001; Marc Pantel (ICFEM, 2016)

Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. - J. Paul Gibson; Idir Aït-Sadoune; Marc Pantel (ISoLA (1), 2016)

Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency. - Florent Latombe; Xavier Crégut; Marc Pantel (EXE@MoDELS, 2016)

A DSL to Feedback Formal Verification Results. - Faiez Zalila; Xavier Crégut; Marc Pantel (MoDeVVa@MoDELS, 2016)

Probabilistic Failure Analysis in Model Validation & Verification. - Ning Ge 002; Marc Pantel; Xavier Crégut (CoRR, 2016)

Correct-by-construction model driven engineering composition operators. - Mounira Kezadri Hamiaz; Marc Pantel; Xavier Thirioux; Benoît Combemale (Formal Aspects Comput., 2016)

Modeling Co-simulation: A First Experiment. - Renan Leroux; Ileana Ober; Marc Pantel; Jean-Michel Bruel (MoDELS (Satellite Events), 2017)

Model Execution and Debugging - A Process to Leverage Existing Tools. - Faiez Zalila; Eric Jenn; Marc Pantel (MODELSWARD, 2017)

Formal verification of user-level real-time property patterns. - Ning Ge 002; Marc Pantel; Silvano Dal-Zilio (TASE, 2017)

Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method. - Guillaume Babin; Yamine Aït Ameur; Marc Pantel (IEEE Trans. Serv. Comput., 2017)

Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. - Guillaume Dupont; Yamine Aït Ameur; Marc Pantel; Neeraj Kumar Singh 001 (ABZ, 2018)

Cyber-Physical Systems Engineering: An Introduction. - J. Paul Gibson; Peter Gorm Larsen; Marc Pantel; John S. Fitzgerald; Jim Woodcock 001 (ISoLA (3), 2018)

Model-Based Systems Engineering for Systems Simulation. - Renan Leroux; Marc Pantel; Ileana Ober; Jean-Michel Bruel (ISoLA (3), 2018)

Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. - Guillaume Dupont; Yamine Aït Ameur; Marc Pantel; Neeraj Kumar Singh 001 (MEDI Workshops, 2018)

Mechanizing the Denotational Semantics of the Clock Constraint Specification Language. - Mathieu Montin; Marc Pantel (MEDI, 2018)

CPS simulation models categories in Extended Enterprises. - Renan Leroux; Marc Pantel; Ileana Ober; Jean-Michel Bruel (MoDELS (Workshops), 2018)

Towards a Co-simulation Based Model Assessment Process for System Architecture. - Benjamin Bossa; Benjamin Boulbene; Sébastien Dubé; Marc Pantel (STAF Workshops, 2018)

Ordering Strict Partial Orders to Model Behavioral Refinement. - Mathieu Montin; Marc Pantel (Refine@FM, 2018)

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. - Neeraj Kumar Singh 001; Yamine Aït Ameur; Dominique Méry; David Navarre; Philippe A. Palanque; Marc Pantel (FTSCS, 2019)

Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. - Guillaume Dupont; Yamine Aït Ameur; Marc Pantel; Neeraj Kumar Singh 001 (TASE, 2019)

Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. - Guillaume Dupont; Yamine Aït Ameur; Marc Pantel; Neeraj Kumar Singh 001 (ABZ, 2020)

Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. - Guillaume Dupont; Yamine Aït Ameur; Neeraj Kumar Singh 001; Fuyuki Ishikawa; Tsutomu Kobayashi; Marc Pantel (ICFEM, 2020)

An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. - Guillaume Dupont; Yamine Aït Ameur; Marc Pantel; Neeraj Kumar Singh 001 (IFM, 2020)

Event-B Refinement for Continuous Behaviours Approximation. - Guillaume Dupont; Yamine Aït Ameur; Marc Pantel; Neeraj Kumar Singh 001 (ATVA, 2021)

Towards Multi-layered Temporal Models: - A Proposal to Integrate Instant Refinement in CCSL. - Mathieu Montin; Marc Pantel (FORTE, 2021)

An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensation. - Yamine Aït Ameur; Guillaume Babin; Marc Pantel (Serv. Oriented Comput. Appl., 2021)

Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems. - Guillaume Dupont; Yamine Aït Ameur; Neeraj Kumar Singh 001; Marc Pantel (ACM Trans. Embed. Comput. Syst., 2021)

Empowering the Event-B Method Using External Theories. - Yamine Aït Ameur; Guillaume Dupont; Ismaïl Mendil; Dominique Méry; Marc Pantel; Peter Riviere; Neeraj Kumar Singh 001 (IFM, 2022)

Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B. - Guillaume Dupont; Yamine Aït Ameur; Neeraj Kumar Singh 001; Marc Pantel (Sci. Comput. Program., 2022)

Toward an Operations-Dedicated Model for Space Systems. - Nikolena Christofi; Xavier Pucel; Claude Baron; Marc Pantel; Sebastien Guilmeau; Christophe Ducamp (J. Aerosp. Inf. Syst., 2023)

F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. - Neeraj Kumar Singh 001; Yamine Aït-Ameur; Ismaïl Mendil; Dominique Méry; David Navarre; Philippe A. Palanque; Marc Pantel (J. Softw. Evol. Process., 2023)

Generating Simulink Models from Hybridised Event-B Models. - Neeraj Kumar Singh 001; Guillaume Dupont; Yamine Aït Ameur; Marc Pantel (SFPVV, 2024)

How to early integrate operational diagnosis objectives in model-driven engineering processes: A methodological proposal based on fault and behavior trees. - Nikolena Christofi; Claude Baron; Xavier Pucel; Marc Pantel; David Canu; Christophe Ducamp (Syst. Eng., 2024)