Marc Pantel

Orcid: 0000-0001-7591-0402

According to our database1, Marc Pantel authored at least 92 papers between 1995 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
How to early integrate operational diagnosis objectives in model-driven engineering processes: A methodological proposal based on fault and behavior trees.
Syst. Eng., May, 2024

2023
F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID.
J. Softw. Evol. Process., July, 2023

Toward an Operations-Dedicated Model for Space Systems.
J. Aerosp. Inf. Syst., 2023

2022
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B.
Sci. Comput. Program., 2022

Empowering the Event-B Method Using External Theories.
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021
Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems.
ACM Trans. Embed. Comput. Syst., 2021

An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensation.
Serv. Oriented Comput. Appl., 2021

Towards Multi-layered Temporal Models: - A Proposal to Integrate Instant Refinement in CCSL.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

Event-B Refinement for Continuous Behaviours Approximation.
Proceedings of the Automated Technology for Verification and Analysis, 2021

2020
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling.
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement.
Proceedings of the Formal Methods and Software Engineering, 2020

Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019
Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

2018
Ordering Strict Partial Orders to Model Behavioral Refinement.
Proceedings of the Proceedings 18th Refinement Workshop, 2018

Towards a Co-simulation Based Model Assessment Process for System Architecture.
Proceedings of the Software Technologies: Applications and Foundations, 2018

CPS simulation models categories in Extended Enterprises.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Mechanizing the Denotational Semantics of the Clock Constraint Specification Language.
Proceedings of the Model and Data Engineering - 8th International Conference, 2018

Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist.
Proceedings of the New Trends in Model and Data Engineering, 2018

Model-Based Systems Engineering for Systems Simulation.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Cyber-Physical Systems Engineering: An Introduction.
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.
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.
IEEE Trans. Serv. Comput., 2017

Formal verification of user-level real-time property patterns.
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Model Execution and Debugging - A Process to Leverage Existing Tools.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Modeling Co-simulation: A First Experiment.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

2016
Correct-by-construction model driven engineering composition operators.
Formal Aspects Comput., 2016

Probabilistic Failure Analysis in Model Validation & Verification.
CoRR, 2016

A DSL to Feedback Formal Verification Results.
Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

A System Substitution Mechanism for Hybrid Systems in Event-B.
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.
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.
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.
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development.
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.
Simul., 2015

Weaving concurrency in executable domain-specific modeling languages.
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Refinement and Proof Based Development of Systems Characterized by Continuous Functions.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Coping with Semantic Variation Points in Domain-Specific Modeling Languages.
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.
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.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014
Credible Autocoding of Convex Optimization Algorithms.
CoRR, 2014

Correct-by-construction model composition: Application to the Invasive Software Composition method.
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.
CoRR, 2014

A software product line approach for semantic specification of block libraries in dataflow languages.
Proceedings of the 18th International Software Product Line Conference, 2014

Automated Failure Analysis in Model Checking Based on Data Mining.
Proceedings of the Model and Data Engineering - 4th International Conference, 2014

A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators.
Proceedings of the Formal Methods and Software Engineering, 2014

Real-Time Property Specific Reduction for Time Petri Net.
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.
CoRR, 2013

Efficient online analysis of accidental fault localization for dynamic systems using hidden Markov model.
Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

Formal Verification Integration Approach for DSML.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013).
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.
Proceedings of the Model and Data Engineering - Third International Conference, 2013

2012
Time properties dedicated transformation from UML-MARTE activity to time transition system.
ACM SIGSOFT Softw. Eng. Notes, 2012

Model-based formal specification of a DSL library for a qualified code generator.
Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

Model transformations with Tom.
Proceedings of the International Workshop on Language Descriptions, 2012

Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study.
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.
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.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

A Design Pattern to Build Executable DSMLs and Associated V&V Tools.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
Expérimentations en Coq pour un générateur de code qualifiable.
Tech. Sci. Informatiques, 2011

Composition dynamique de services de calcul. Utilisation des spécifications algébriques pour décrire la fonctionnalité des services.
Tech. Sci. Informatiques, 2011

Teaching MDE through the Formal Verification of Process Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

A Proof Assistant Based Formalization of MDE Components.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Towards Formally Verified Optimizing Compilation in Flight Control Software.
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.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

First Steps Toward a Verification and Validation Ontology.
Proceedings of the KEOD 2010, 2010

Use of formal methods for building qualified code generator for safer automotive systems.
Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

Generative Technologies for Model Animation in the TopCased Platform.
Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software.
Proceedings of the Synthesis of Embedded Software, 2010

2009
Advanced service trading for scientific computing over the grid.
J. Supercomput., 2009

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

Machine-Checked Sequencer for Critical Embedded Code Generator.
Proceedings of the Formal Methods and Software Engineering, 2009

Integrated Formal Approach for Qualified Critical Embedded Code Generator.
Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008
A Grid-Aware Web Portal with Advanced Service Trading for Linear Algebra Calculations.
Proceedings of the High Performance Computing for Computational Science, 2008

2007
Abstract Interpretation-based Static Safety for Actors.
J. Softw., 2007

SéMo'07, premier atelier sur la sémantique des modèles.
Obj. Logiciel Base données Réseaux, 2007

2006
Un framework à composants et agents pour les applications réparties à grande échelle.
Obj. Logiciel Base données Réseaux, 2006

Semantic-Based Service Trading: Application to Linear Algebra.
Proceedings of the High Performance Computing for Computational Science, 2006

Management of Services Based on a Semantic Description Within the GRID-TLSE Project.
Proceedings of the High Performance Computing for Computational Science, 2006

Towards Rigorous Metamodeling.
Proceedings of the Model-Driven Enterprise Information Systems, 2006

Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005
Mathematical Service Trading Based on Equational Matching.
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.
Obj. Logiciel Base données Réseaux, 2004

Development of Flexible Peer-To-Peer Information Systems Using Adaptable Mobile Agents.
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.
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.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

2000
Typing Concurrent Objects and Actors.
Obj. Logiciel Base données Réseaux, 2000

1999
Static safety analysis for non-uniform service availability in Actors.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Concurrent and Distributed Programming with Objects - Introduction.
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.
Proceedings of the Actes des journées Langages et Modèles à Objets, 1995


  Loading...