Marc Pantel

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