Marc Pantel

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 36

Top Topics

Formal Verification

Web Service Compositions

Modeling Language

Top Venues

Publications

Nikolena Christofi, Claude Baron, Xavier Pucel, Marc Pantel, David Canu, Christophe Ducamp
How to early integrate operational diagnosis objectives in model-driven engineering processes: A methodological proposal based on fault and behavior trees. Syst. Eng. 27 (3) (2024)
Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, Sebastien Guilmeau, Christophe Ducamp
Toward an Operations-Dedicated Model for Space Systems. J. Aerosp. Inf. Syst. 20 (4) (2023)
Neeraj Kumar Singh, Yamine Aït-Ameur, Ismaïl Mendil, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel
F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. J. Softw. Evol. Process. 35 (7) (2023)
Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B. Sci. Comput. Program. 216 (2022)
Yamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh
Empowering the Event-B Method Using External Theories. IFM (2022)
Yamine Aït Ameur, Guillaume Babin, Marc Pantel
An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensation. Serv. Oriented Comput. Appl. 15 (3) (2021)
Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems. ACM Trans. Embed. Comput. Syst. 20 (4) (2021)
Mathieu Montin, Marc Pantel
Towards Multi-layered Temporal Models: - A Proposal to Integrate Instant Refinement in CCSL. FORTE (2021)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
Event-B Refinement for Continuous Behaviours Approximation. ATVA (2021)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. ABZ (2020)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. IFM (2020)
Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. ICFEM (2020)
Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. FTSCS (2019)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. TASE (2019)
Benjamin Bossa, Benjamin Boulbene, Sébastien Dubé, Marc Pantel
Towards a Co-simulation Based Model Assessment Process for System Architecture. STAF Workshops (2018)
Mathieu Montin, Marc Pantel
Ordering Strict Partial Orders to Model Behavioral Refinement. Refine@FM (2018)
Mathieu Montin, Marc Pantel
Mechanizing the Denotational Semantics of the Clock Constraint Specification Language. MEDI (2018)
Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel
CPS simulation models categories in Extended Enterprises. MoDELS (Workshops) (2018)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. ABZ (2018)
Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel
Model-Based Systems Engineering for Systems Simulation. ISoLA (3) (2018)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. MEDI Workshops (2018)
J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock
Cyber-Physical Systems Engineering: An Introduction. ISoLA (3) (2018)
Guillaume Babin, Yamine Aït Ameur, Marc Pantel
Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method. IEEE Trans. Serv. Comput. 10 (1) (2017)
Renan Leroux, Ileana Ober, Marc Pantel, Jean-Michel Bruel
Modeling Co-simulation: A First Experiment. MoDELS (Satellite Events) (2017)
Ning Ge, Marc Pantel, Silvano Dal-Zilio
Formal verification of user-level real-time property patterns. TASE (2017)
Faiez Zalila, Eric Jenn, Marc Pantel
Model Execution and Debugging - A Process to Leverage Existing Tools. MODELSWARD (2017)
Faiez Zalila, Xavier Crégut, Marc Pantel
A DSL to Feedback Formal Verification Results. MoDeVVa@MoDELS (2016)
J. Paul Gibson, Idir Aït-Sadoune, Marc Pantel
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. ISoLA (1) (2016)
Ning Ge, Marc Pantel, Xavier Crégut
Probabilistic Failure Analysis in Model Validation & Verification. CoRR (2016)
Arnaud Dieumegard, Andres Toom, Marc Pantel
Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems. FMICS-AVoCS (2016)
Neeraj Kumar Singh, Yamine Aït Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn
Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. ICECCS (2016)
Guillaume Babin, Yamine Aït Ameur, Marc Pantel
Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach. HASE (2016)
Mounira Kezadri Hamiaz, Marc Pantel, Xavier Thirioux, Benoît Combemale
Correct-by-construction model driven engineering composition operators. Formal Aspects Comput. 28 (3) (2016)
Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
A System Substitution Mechanism for Hybrid Systems in Event-B. ICFEM (2016)
Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development. ABZ (2016)
Florent Latombe, Xavier Crégut, Marc Pantel
Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency. EXE@MoDELS (2016)
Ning Ge, Shin Nakajima, Marc Pantel
Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model. Simul. 91 (10) (2015)
Florent Latombe, Xavier Crégut, Julien Deantoni, Marc Pantel, Benoît Combemale
Coping with Semantic Variation Points in Domain-Specific Modeling Languages. EXE@MoDELS (2015)
Guillaume Babin, Yamine Aït Ameur, Marc Pantel
Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B. SCC (2015)
Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton
Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs. OCL@MoDELS (2015)
Guillaume Babin, Yamine Aït Ameur, Shin Nakajima, Marc Pantel
Refinement and Proof Based Development of Systems Characterized by Continuous Functions. SETTA (2015)
Florent Latombe, Xavier Crégut, Benoît Combemale, Julien Deantoni, Marc Pantel
Weaving concurrency in executable domain-specific modeling languages. SLE (2015)
Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux
A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators. ICFEM (2014)
Benoît Combemale, Julien De Antoni, Robert B. France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler
Report on the First Workshop On the Globalization of Modeling Languages. CoRR (2014)
Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Feron, Didier Henrion
Credible Autocoding of Convex Optimization Algorithms. CoRR (2014)
Ning Ge, Marc Pantel, Xavier Crégut
Automated Failure Analysis in Model Checking Based on Data Mining. MEDI (2014)
Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux
Correct-by-construction model composition: Application to the Invasive Software Composition method. FESCA (2014)
Arnaud Dieumegard, Andres Toom, Marc Pantel
A software product line approach for semantic specification of block libraries in dataflow languages. SPLC (2014)
Ning Ge, Marc Pantel
Real-Time Property Specific Reduction for Time Petri Net. PNSE @ Petri Nets (2014)
Ning Ge, Shin Nakajima, Marc Pantel
Efficient online analysis of accidental fault localization for dynamic systems using hidden Markov model. SpringSim (TMS-DEVS) (2013)
Faiez Zalila, Xavier Crégut, Marc Pantel
A Transformation-Driven Approach to Automate Feedback Verification Results. MEDI (2013)
Timothy Wang, Romain Jobredeaux, Heber Herencia-Zapana, Pierre-Loïc Garoche, Arnaud Dieumegard, Eric Feron, Marc Pantel
From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems. CoRR (2013)
Faiez Zalila, Xavier Crégut, Marc Pantel
Formal Verification Integration Approach for DSML. MoDELS (2013)
Benoît Combemale, Julien DeAntoni, Robert B. France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013). GEMOC+AMINO@MoDELS (2013)
Ning Ge, Marc Pantel
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems. ECMFA (2012)
Ning Ge, Marc Pantel, Xavier Crégut
Formal Specification and Verification of Task Time Constraints for Real-Time Systems. ISoLA (2) (2012)
Ning Ge, Marc Pantel, Xavier Crégut
Time properties dedicated transformation from UML-MARTE activity to time transition system. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Jean-Christophe Bach, Xavier Crégut, Pierre-Etienne Moreau, Marc Pantel
Model transformations with Tom. LDTA (2012)
Benoît Combemale, Xavier Crégut, Marc Pantel
A Design Pattern to Build Executable DSMLs and Associated V&V Tools. APSEC (2012)
Faiez Zalila, Xavier Crégut, Marc Pantel
Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study. ISoLA (2) (2012)
Arnaud Dieumegard, Andres Toom, Marc Pantel
Model-based formal specification of a DSL library for a qualified code generator. OCL@MoDELS (2012)
Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris
Towards Formally Verified Optimizing Compilation in Flight Control Software. PPES (2011)
Benoît Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila
Teaching MDE through the Formal Verification of Process Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 52 (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. Tech. Sci. Informatiques 30 (6) (2011)
Mounira Kezadri, Benoît Combemale, Marc Pantel, Xavier Thirioux
A Proof Assistant Based Formalization of MDE Components. FACS (2011)
Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai
Expérimentations en Coq pour un générateur de code qualifiable. Tech. Sci. Informatiques 30 (4) (2011)
Xavier Crégut, Benoît Combemale, Marc Pantel, Raphaël Faudoux, Jonatas Pavei
Generative Technologies for Model Animation in the TopCased Platform. ECMFA (2010)
Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel
Verification of the Schorr-Waite Algorithm - From Trees to Graphs. LOPSTR (2010)
Mounira Kezadri, Marc Pantel
First Steps Toward a Verification and Validation Ontology. KEOD (2010)
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)
Nassima Izerrouken, Marc Pantel, Xavier Thirioux
Machine-Checked Sequencer for Critical Embedded Code Generator. ICFEM (2009)
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)
Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai
Integrated Formal Approach for Qualified Critical Embedded Code Generator. FMICS (2009)
Aurélie Hurault, Michel J. Daydé, Marc Pantel
Advanced service trading for scientific computing over the grid. J. Supercomput. 49 (1) (2009)
Hrachya V. 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)
Benoît Combemale, Xavier Crégut, Marc Pantel, Pierre Michel
SéMo'07, premier atelier sur la sémantique des modèles. Obj. Logiciel Base données Réseaux 13 (4) (2007)
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
Abstract Interpretation-based Static Safety for Actors. J. Softw. 2 (3) (2007)
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. FMOODS (2006)
Jean-Paul Arcangeli, Sébastien Leriche, Marc Pantel
Un framework à composants et agents pour les applications réparties à grande échelle. Obj. Logiciel Base données Réseaux 12 (4) (2006)
Michel J. Daydé, Aurélie Hurault, Marc Pantel
Semantic-Based Service Trading: Application to Linear Algebra. VECPAR (2006)
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation CoRR (2006)
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)
Benoît Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel, Bernard Coulette
Towards Rigorous Metamodeling. MDEIS (2006)
Aurélie Hurault, Marc Pantel
Mathematical Service Trading Based on Equational Matching. Calculemus (2005)
Aurélie Hurault, Vincent Hennebert, Marc Pantel
Répartition et mobilité en JAVACT Une approche dérivée d'un modèle formel. Obj. Logiciel Base données Réseaux 10 (2-3) (2004)
Jean-Paul Arcangeli, Sébastien Leriche, Marc Pantel
Development of Flexible Peer-To-Peer Information Systems Using Adaptable Mobile Agents. DEXA Workshops (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)
Matthias Colin, Xavier Thirioux, Marc Pantel
Temporal Logic Based Static Analysis for Non-uniform Behaviours. FMOODS (2003)
Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé
Typing Concurrent Objects and Actors. Obj. Logiciel Base données Réseaux 6 (1) (2000)
J. L. Colaco, Marc Pantel, Fabien Dagnat, Patrick Sallé
Static safety analysis for non-uniform service availability in Actors. FMOODS (1999)
Patrick Sallé, Marc Pantel
Concurrent and Distributed Programming with Objects - Introduction. Euro-Par (1999)
A. El Faker, Christiane Massoutie, Marc Pantel, Patrick Sallé
Vers une machine virtuelle pour l'évaluation des langages d'acteurs. LMO (1995)