| 2022 | IFM | Empowering the Event-B Method Using External Theories. | Yamine At Ameur, Guillaume Dupont, Ismal Mendil, Dominique Mry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh |
| 2021 | ATVA | Event-B Refinement for Continuous Behaviours Approximation. | Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2021 | FORTE | Towards Multi-layered Temporal Models: - A Proposal to Integrate Instant Refinement in CCSL. | Mathieu Montin, Marc Pantel |
| 2020 | ICFEM | Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. | Guillaume Dupont, Yamine At Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel |
| 2020 | IFM | An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. | Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2019 | TASE | Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. | Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2018 | ISoLA | Cyber-Physical Systems Engineering: An Introduction. | J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock |
| 2018 | ISoLA | Model-Based Systems Engineering for Systems Simulation. | Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel |
| 2018 | MEDI | Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. | Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2018 | MEDI | Mechanizing the Denotational Semantics of the Clock Constraint Specification Language. | Mathieu Montin, Marc Pantel |
| 2018 | MODELS | CPS simulation models categories in Extended Enterprises. | Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel |
| 2017 | MODELS | Modeling Co-simulation: A First Experiment. | Renan Leroux, Ileana Ober, Marc Pantel, Jean-Michel Bruel |
| 2017 | MODELSWARD | Model Execution and Debugging - A Process to Leverage Existing Tools. | Faiez Zalila, Eric Jenn, Marc Pantel |
| 2017 | TASE | Formal verification of user-level real-time property patterns. | Ning Ge, Marc Pantel, Silvano Dal-Zilio |
| 2016 | FMICS | Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems. | Arnaud Dieumegard, Andres Toom, Marc Pantel |
| 2016 | ICECCS | Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. | Neeraj Kumar Singh, Yamine At Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn |
| 2016 | ICFEM | A System Substitution Mechanism for Hybrid Systems in Event-B. | Guillaume Babin, Yamine At Ameur, Neeraj Kumar Singh, Marc Pantel |
| 2016 | ISoLA | Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. | J. Paul Gibson, Idir At-Sadoune, Marc Pantel |
| 2016 | MODELS | Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency. | Florent Latombe, Xavier Crgut, Marc Pantel |
| 2016 | MODELS | A DSL to Feedback Formal Verification Results. | Faiez Zalila, Xavier Crgut, Marc Pantel |
| 2015 | MODELS | Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs. | Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton |
| 2015 | MODELS | Coping with Semantic Variation Points in Domain-Specific Modeling Languages. | Florent Latombe, Xavier Crgut, Julien Deantoni, Marc Pantel, Benot Combemale |
| 2015 | SETTA | Refinement and Proof Based Development of Systems Characterized by Continuous Functions. | Guillaume Babin, Yamine At Ameur, Shin Nakajima, Marc Pantel |
| 2015 | SLE | Weaving concurrency in executable domain-specific modeling languages. | Florent Latombe, Xavier Crgut, Benot Combemale, Julien Deantoni, Marc Pantel |
| 2014 | ICFEM | A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators. | Mounira Kezadri Hamiaz, Marc Pantel, Benot Combemale, Xavier Thirioux |
| 2014 | MEDI | Automated Failure Analysis in Model Checking Based on Data Mining. | Ning Ge, Marc Pantel, Xavier Crgut |
| 2014 | SPLC | A software product line approach for semantic specification of block libraries in dataflow languages. | Arnaud Dieumegard, Andres Toom, Marc Pantel |
| 2013 | MEDI | A Transformation-Driven Approach to Automate Feedback Verification Results. | Faiez Zalila, Xavier Crgut, Marc Pantel |
| 2013 | MODELS | Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013). | Benot Combemale, Julien DeAntoni, Robert B. France, Frdric Boulanger, Sbastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler |
| 2013 | MODELS | Formal Verification Integration Approach for DSML. | Faiez Zalila, Xavier Crgut, Marc Pantel |
| 2012 | APSEC | A Design Pattern to Build Executable DSMLs and Associated V&V Tools. | Benot Combemale, Xavier Crgut, Marc Pantel |
| 2012 | ISoLA | Formal Specification and Verification of Task Time Constraints for Real-Time Systems. | Ning Ge, Marc Pantel, Xavier Crgut |
| 2012 | ISoLA | Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study. | Faiez Zalila, Xavier Crgut, Marc Pantel |
| 2012 | MODELS | Model-based formal specification of a DSL library for a qualified code generator. | Arnaud Dieumegard, Andres Toom, Marc Pantel |
| 2011 | DATE | Towards Formally Verified Optimizing Compilation in Flight Control Software. | Ricardo Bedin Frana, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris |
| 2010 | EDCC | Use of formal methods for building qualified code generator for safer automotive systems. | Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux |
| 2010 | IC3K | First Steps Toward a Verification and Validation Ontology. | Mounira Kezadri, Marc Pantel |
| 2010 | LOPSTR | Verification of the Schorr-Waite Algorithm - From Trees to Graphs. | Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel |
| 2009 | FMICS | Integrated Formal Approach for Qualified Critical Embedded Code Generator. | Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai |
| 2009 | ICFEM | Machine-Checked Sequencer for Critical Embedded Code Generator. | Nassima Izerrouken, Marc Pantel, Xavier Thirioux |
| 1999 | EuroPar | Concurrent and Distributed Programming with Objects - Introduction. | Patrick Sall, Marc Pantel |