Marc Pantel

According to our database, Marc Pantel authored at least 91 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID.

Neeraj Kumar Singh, Yamine Aït-Ameur, Ismaïl Mendil, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel

J. Softw. Evol. Process., July, 2023

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

2022

Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B.

Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel

Sci. Comput. Program., 2022

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

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems.

Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel

ACM Trans. Embed. Comput. Syst., 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

Towards Multi-layered Temporal Models: - A Proposal to Integrate Instant Refinement in CCSL.

Mathieu Montin, Marc Pantel

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

Event-B Refinement for Continuous Behaviours Approximation.

Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

An Event-B Based Generic Framework for Hybrid Systems Formal Modelling.

Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement.

Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel

Proceedings of the Formal Methods and Software Engineering, 2020

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

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B.

Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661.

Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel

Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

2018

Ordering Strict Partial Orders to Model Behavioral Refinement.

Mathieu Montin, Marc Pantel

Proceedings of the Proceedings 18th Refinement Workshop, 2018

Towards a Co-simulation Based Model Assessment Process for System Architecture.

Benjamin Bossa, Benjamin Boulbene, Sébastien Dubé, Marc Pantel

Proceedings of the Software Technologies: Applications and Foundations, 2018

CPS simulation models categories in Extended Enterprises.

Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Mechanizing the Denotational Semantics of the Clock Constraint Specification Language.

Mathieu Montin, Marc Pantel

Proceedings of the Model and Data Engineering - 8th International Conference, 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

Proceedings of the New Trends in Model and Data Engineering, 2018

Model-Based Systems Engineering for Systems Simulation.

Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Cyber-Physical Systems Engineering: An Introduction.

J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B.

Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

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

Formal verification of user-level real-time property patterns.

Ning Ge, Marc Pantel, Silvano Dal-Zilio

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Model Execution and Debugging - A Process to Leverage Existing Tools.

Faiez Zalila, Eric Jenn, Marc Pantel

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Modeling Co-simulation: A First Experiment.

Renan Leroux, Ileana Ober, Marc Pantel, Jean-Michel Bruel

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

2016

Correct-by-construction model driven engineering composition operators.

Mounira Kezadri Hamiaz, Marc Pantel, Xavier Thirioux, Benoît Combemale

Formal Aspects Comput., 2016

Probabilistic Failure Analysis in Model Validation & Verification.

Ning Ge, Marc Pantel, Xavier Crégut

CoRR, 2016

A DSL to Feedback Formal Verification Results.

Faiez Zalila, Xavier Crégut, Marc Pantel

Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency.

Florent Latombe, Xavier Crégut, Marc Pantel

Proceedings of the 2nd International Workshop on Executable Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.

J. Paul Gibson, Idir Aït-Sadoune, Marc Pantel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

A System Substitution Mechanism for Hybrid Systems in Event-B.

Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel

Proceedings of the Formal Methods and Software Engineering, 2016

Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study.

Neeraj Kumar Singh, Yamine Aït Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach.

Guillaume Babin, Yamine Aït Ameur, Marc Pantel

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems.

Arnaud Dieumegard, Andres Toom, Marc Pantel

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development.

Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model.

Ning Ge, Shin Nakajima, Marc Pantel

Simul., 2015

Weaving concurrency in executable domain-specific modeling languages.

Florent Latombe, Xavier Crégut, Benoît Combemale, Julien Deantoni, Marc Pantel

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Refinement and Proof Based Development of Systems Characterized by Continuous Functions.

Guillaume Babin, Yamine Aït Ameur, Shin Nakajima, Marc Pantel

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Coping with Semantic Variation Points in Domain-Specific Modeling Languages.

Florent Latombe, Xavier Crégut, Julien Deantoni, Marc Pantel, Benoît Combemale

Proceedings of the 1st International Workshop on Executable Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs.

Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton

Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

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

Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014

Credible Autocoding of Convex Optimization Algorithms.

Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Feron, Didier Henrion

CoRR, 2014

Correct-by-construction model composition: Application to the Invasive Software Composition method.

Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux

Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 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, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler

CoRR, 2014

A software product line approach for semantic specification of block libraries in dataflow languages.

Arnaud Dieumegard, Andres Toom, Marc Pantel

Proceedings of the 18th International Software Product Line Conference, 2014

Automated Failure Analysis in Model Checking Based on Data Mining.

Ning Ge, Marc Pantel, Xavier Crégut

Proceedings of the Model and Data Engineering - 4th International Conference, 2014

A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators.

Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux

Proceedings of the Formal Methods and Software Engineering, 2014

Real-Time Property Specific Reduction for Time Petri Net.

Ning Ge, Marc Pantel

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

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

Efficient online analysis of accidental fault localization for dynamic systems using hidden Markov model.

Ning Ge, Shin Nakajima, Marc Pantel

Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

Formal Verification Integration Approach for DSML.

Faiez Zalila, Xavier Crégut, Marc Pantel

Proceedings of the Model-Driven Engineering Languages and Systems, 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, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler

Proceedings of the Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29, 2013

A Transformation-Driven Approach to Automate Feedback Verification Results.

Faiez Zalila, Xavier Crégut, Marc Pantel

Proceedings of the Model and Data Engineering - Third International Conference, 2013

2012

Time properties dedicated transformation from UML-MARTE activity to time transition system.

Ning Ge, Marc Pantel, Xavier Crégut

ACM SIGSOFT Softw. Eng. Notes, 2012

Model-based formal specification of a DSL library for a qualified code generator.

Arnaud Dieumegard, Andres Toom, Marc Pantel

Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

Model transformations with Tom.

Jean-Christophe Bach, Xavier Crégut, Pierre-Etienne Moreau, Marc Pantel

Proceedings of the International Workshop on Language Descriptions, 2012

Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study.

Faiez Zalila, Xavier Crégut, Marc Pantel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Formal Specification and Verification of Task Time Constraints for Real-Time Systems.

Ning Ge, Marc Pantel, Xavier Crégut

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems.

Ning Ge, Marc Pantel

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

A Design Pattern to Build Executable DSMLs and Associated V&V Tools.

Benoît Combemale, Xavier Crégut, Marc Pantel

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

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

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

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

A Proof Assistant Based Formalization of MDE Components.

Mounira Kezadri, Benoît Combemale, Marc Pantel, Xavier Thirioux

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Towards Formally Verified Optimizing Compilation in Flight Control Software.

Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris

Proceedings of the Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011

2010

Verification of the Schorr-Waite Algorithm - From Trees to Graphs.

Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

First Steps Toward a Verification and Validation Ontology.

Mounira Kezadri, Marc Pantel

Proceedings of the KEOD 2010, 2010

Use of formal methods for building qualified code generator for safer automotive systems.

Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

Generative Technologies for Model Animation in the TopCased Platform.

Xavier Crégut, Benoît Combemale, Marc Pantel, Raphaël Faudoux, Jonatas Pavei

Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

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

Proceedings of the Synthesis of Embedded Software, 2010

2009

Advanced service trading for scientific computing over the grid.

Aurélie Hurault, Michel J. Daydé, Marc Pantel

J. Supercomput., 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

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

Machine-Checked Sequencer for Critical Embedded Code Generator.

Nassima Izerrouken, Marc Pantel, Xavier Thirioux

Proceedings of the Formal Methods and Software Engineering, 2009

Integrated Formal Approach for Qualified Critical Embedded Code Generator.

Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008

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

Proceedings of the High Performance Computing for Computational Science, 2008

2007

Abstract Interpretation-based Static Safety for Actors.

Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux

J. Softw., 2007

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

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

Semantic-Based Service Trading: Application to Linear Algebra.

Michel J. Daydé, Aurélie Hurault, Marc Pantel

Proceedings of the High Performance Computing for Computational Science, 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

Proceedings of the High Performance Computing for Computational Science, 2006

Towards Rigorous Metamodeling.

Benoît Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel, Bernard Coulette

Proceedings of the Model-Driven Enterprise Information Systems, 2006

Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation.

Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005

Mathematical Service Trading Based on Equational Matching.

Aurélie Hurault, Marc Pantel

Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005

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

Development of Flexible Peer-To-Peer Information Systems Using Adaptable Mobile Agents.

Jean-Paul Arcangeli, Sébastien Leriche, Marc Pantel

Proceedings of the 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August, 2004

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

Proceedings of the Future Generation Grids: Proceedings of the Workshop on Future Generation Grids, 2004

2003

Temporal Logic Based Static Analysis for Non-uniform Behaviours.

Matthias Colin, Xavier Thirioux, Marc Pantel

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

2000

Typing Concurrent Objects and Actors.

Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé

Obj. Logiciel Base données Réseaux, 2000

1999

Static safety analysis for non-uniform service availability in Actors.

Jean-Louis Colaço, Marc Pantel, Fabien Dagnat, Patrick Sallé

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Concurrent and Distributed Programming with Objects - Introduction.

Patrick Sallé, Marc Pantel

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1995

Vers une machine virtuelle pour l'évaluation des langages d'acteurs.

A. El Faker, Christiane Massoutie, Marc Pantel, Patrick Sallé

Proceedings of the Actes des journées Langages et Modèles à Objets, 1995