![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Marc Pantel
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j19]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): 585-597 (2024) - 2023
- [j18]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): 168-180 (2023) - [j17]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) - 2022
- [j16]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: 102765 (2022) - [c68]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: 18-35 - 2021
- [j15]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): 205-230 (2021) - [j14]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): 35:1-35:37 (2021) - [c67]Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
Event-B Refinement for Continuous Behaviours Approximation. ATVA 2021: 320-336 - [c66]Mathieu Montin
, Marc Pantel
:
Towards Multi-layered Temporal Models: - A Proposal to Integrate Instant Refinement in CCSL. FORTE 2021: 120-137 - 2020
- [c65]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: 169-185 - [c64]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: 251-267 - [c63]Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. IFM 2020: 82-102
2010 – 2019
- 2019
- [c62]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: 21-39 - [c61]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: 9-16 - 2018
- [c60]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: 155-170 - [c59]J. Paul Gibson
, Peter Gorm Larsen
, Marc Pantel, John S. Fitzgerald, Jim Woodcock
:
Cyber-Physical Systems Engineering: An Introduction. ISoLA (3) 2018: 407-410 - [c58]Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel:
Model-Based Systems Engineering for Systems Simulation. ISoLA (3) 2018: 429-448 - [c57]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: 153-158 - [c56]Mathieu Montin, Marc Pantel:
Mechanizing the Denotational Semantics of the Clock Constraint Specification Language. MEDI 2018: 385-400 - [c55]Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel:
CPS simulation models categories in Extended Enterprises. MoDELS (Workshops) 2018: 426-428 - [c54]Benjamin Bossa, Benjamin Boulbene, Sébastien Dubé, Marc Pantel:
Towards a Co-simulation Based Model Assessment Process for System Architecture. STAF Workshops 2018: 58-68 - [c53]Mathieu Montin, Marc Pantel:
Ordering Strict Partial Orders to Model Behavioral Refinement. Refine@FM 2018: 23-38 - 2017
- [j13]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): 107-120 (2017) - [c52]Renan Leroux, Ileana Ober, Marc Pantel, Jean-Michel Bruel:
Modeling Co-simulation: A First Experiment. MoDELS (Satellite Events) 2017: 292-297 - [c51]Faiez Zalila, Eric Jenn, Marc Pantel:
Model Execution and Debugging - A Process to Leverage Existing Tools. MODELSWARD 2017: 401-408 - [c50]Ning Ge, Marc Pantel, Silvano Dal-Zilio
:
Formal verification of user-level real-time property patterns. TASE 2017: 1-8 - 2016
- [j12]Mounira Kezadri Hamiaz, Marc Pantel, Xavier Thirioux, Benoît Combemale:
Correct-by-construction model driven engineering composition operators. Formal Aspects Comput. 28(3): 409-440 (2016) - [c49]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: 290-296 - [c48]Arnaud Dieumegard, Andres Toom, Marc Pantel:
Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems. FMICS-AVoCS 2016: 117-132 - [c47]Guillaume Babin
, Yamine Aït Ameur, Marc Pantel:
Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach. HASE 2016: 31-38 - [c46]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: 43-52 - [c45]Guillaume Babin
, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel:
A System Substitution Mechanism for Hybrid Systems in Event-B. ICFEM 2016: 106-121 - [c44]J. Paul Gibson
, Idir Aït-Sadoune, Marc Pantel:
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. ISoLA (1) 2016: 321-324 - [c43]Florent Latombe, Xavier Crégut, Marc Pantel:
Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency. EXE@MoDELS 2016: 12-18 - [c42]Faiez Zalila, Xavier Crégut, Marc Pantel:
A DSL to Feedback Formal Verification Results. MoDeVVa@MoDELS 2016: 30-39 - [i5]Ning Ge, Marc Pantel, Xavier Crégut:
Probabilistic Failure Analysis in Model Validation & Verification. CoRR abs/1611.05083 (2016) - 2015
- [j11]Ning Ge, Shin Nakajima, Marc Pantel:
Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model. Simul. 91(10): 851-868 (2015) - [c41]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: 98-105 - [c40]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: 21-27 - [c39]Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton:
Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs. OCL@MoDELS 2015: 89-104 - [c38]Guillaume Babin
, Yamine Aït Ameur, Shin Nakajima, Marc Pantel:
Refinement and Proof Based Development of Systems Characterized by Continuous Functions. SETTA 2015: 55-70 - [c37]Florent Latombe, Xavier Crégut, Benoît Combemale, Julien Deantoni
, Marc Pantel:
Weaving concurrency in executable domain-specific modeling languages. SLE 2015: 125-136 - 2014
- [c36]Ning Ge, Marc Pantel:
Real-Time Property Specific Reduction for Time Petri Net. PNSE @ Petri Nets 2014: 165-179 - [c35]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: 235-250 - [c34]Ning Ge, Marc Pantel, Xavier Crégut:
Automated Failure Analysis in Model Checking Based on Data Mining. MEDI 2014: 13-28 - [c33]Arnaud Dieumegard, Andres Toom, Marc Pantel:
A software product line approach for semantic specification of block libraries in dataflow languages. SPLC 2014: 217-226 - [c32]Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux:
Correct-by-construction model composition: Application to the Invasive Software Composition method. FESCA 2014: 108-122 - [i4]Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Feron, Didier Henrion:
Credible Autocoding of Convex Optimization Algorithms. CoRR abs/1403.1861 (2014) - [i3]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 abs/1408.5703 (2014) - 2013
- [c31]Faiez Zalila, Xavier Crégut, Marc Pantel:
A Transformation-Driven Approach to Automate Feedback Verification Results. MEDI 2013: 266-277 - [c30]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: 3-13 - [c29]Faiez Zalila, Xavier Crégut, Marc Pantel:
Formal Verification Integration Approach for DSML. MoDELS 2013: 336-351 - [c28]Ning Ge, Shin Nakajima, Marc Pantel:
Efficient online analysis of accidental fault localization for dynamic systems using hidden Markov model. SpringSim (TMS-DEVS) 2013: 16 - [i2]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 abs/1307.2641 (2013) - 2012
- [j10]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): 1-8 (2012) - [c27]Benoît Combemale, Xavier Crégut, Marc Pantel:
A Design Pattern to Build Executable DSMLs and Associated V&V Tools. APSEC 2012: 282-287 - [c26]Ning Ge, Marc Pantel:
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems. ECMFA 2012: 352-367 - [c25]Ning Ge, Marc Pantel, Xavier Crégut:
Formal Specification and Verification of Task Time Constraints for Real-Time Systems. ISoLA (2) 2012: 143-157 - [c24]Faiez Zalila, Xavier Crégut, Marc Pantel:
Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study. ISoLA (2) 2012: 329-343 - [c23]Jean-Christophe Bach, Xavier Crégut, Pierre-Etienne Moreau, Marc Pantel:
Model transformations with Tom. LDTA 2012: 4 - [c22]Arnaud Dieumegard, Andres Toom, Marc Pantel:
Model-based formal specification of a DSL library for a qualified code generator. OCL@MoDELS 2012: 61-62 - 2011
- [j9]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) - [j8]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): 409-440 (2011) - [j7]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): 685-710 (2011) - [c21]Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris:
Towards Formally Verified Optimizing Compilation in Flight Control Software. PPES 2011: 59-68 - [c20]Mounira Kezadri, Benoît Combemale, Marc Pantel, Xavier Thirioux:
A Proof Assistant Based Formalization of MDE Components. FACS 2011: 223-240 - 2010
- [c19]Xavier Crégut, Benoît Combemale, Marc Pantel, Raphaël Faudoux, Jonatas Pavei
:
Generative Technologies for Model Animation in the TopCased Platform. ECMFA 2010: 90-103 - [c18]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: 53-56 - [c17]Mounira Kezadri, Marc Pantel:
First Steps Toward a Verification and Validation Ontology. KEOD 2010: 440-444 - [c16]Mathieu Giorgino, Martin Strecker
, Ralph Matthes, Marc Pantel:
Verification of the Schorr-Waite Algorithm - From Trees to Graphs. LOPSTR 2010: 67-83 - [p1]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:
Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software. Synthesis of Embedded Software 2010: 79-119
2000 – 2009
- 2009
- [j6]Aurélie Hurault, Michel J. Daydé, Marc Pantel:
Advanced service trading for scientific computing over the grid. J. Supercomput. 49(1): 64-83 (2009) - [c15]Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai:
Integrated Formal Approach for Qualified Critical Embedded Code Generator. FMICS 2009: 199-201 - [c14]Nassima Izerrouken, Marc Pantel, Xavier Thirioux:
Machine-Checked Sequencer for Critical Embedded Code Generator. ICFEM 2009: 521-540 - [c13]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:
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software. FMA 2009: 80-87 - 2008
- [c12]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: 150-159 - 2007
- [j5]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): 137-144 (2007) - [j4]Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux:
Abstract Interpretation-based Static Safety for Actors. J. Softw. 2(3): 87-98 (2007) - 2006
- [j3]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): 103-132 (2006) - [c11]Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux:
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. FMOODS 2006: 78-92 - [c10]Benoît Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel, Bernard Coulette:
Towards Rigorous Metamodeling. MDEIS 2006: 5-14 - [c9]Michel J. Daydé, Aurélie Hurault, Marc Pantel:
Semantic-Based Service Trading: Application to Linear Algebra. VECPAR 2006: 622-633 - [c8]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: 634-643 - [i1]Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux:
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. CoRR abs/cs/0611139 (2006) - 2005
- [c7]Aurélie Hurault, Marc Pantel:
Mathematical Service Trading Based on Equational Matching. Calculemus 2005: 161-177 - 2004
- [j2]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): 47-60 (2004) - [c6]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: 171-193 - [c5]Jean-Paul Arcangeli, Sébastien Leriche, Marc Pantel:
Development of Flexible Peer-To-Peer Information Systems Using Adaptable Mobile Agents. DEXA Workshops 2004: 549-553 - 2003
- [c4]Matthias Colin, Xavier Thirioux, Marc Pantel:
Temporal Logic Based Static Analysis for Non-uniform Behaviours. FMOODS 2003: 94-108 - 2000
- [j1]Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé:
Typing Concurrent Objects and Actors. Obj. Logiciel Base données Réseaux 6(1) (2000)
1990 – 1999
- 1999
- [c3]Patrick Sallé, Marc Pantel:
Concurrent and Distributed Programming with Objects - Introduction. Euro-Par 1999: 1333 - [c2]Jean-Louis Colaço, Marc Pantel, Fabien Dagnat, Patrick Sallé:
Static safety analysis for non-uniform service availability in Actors. FMOODS 1999 - 1995
- [c1]A. El Faker, Christiane Massoutie, Marc Pantel, Patrick Sallé:
Vers une machine virtuelle pour l'évaluation des langages d'acteurs. LMO 1995: 221-240
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint