Publications HAL du projet ANR. discont

2022

Journal articles

titre
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B
auteur
Guillaume Dupont, Yamine Ait-Ameur, Neeraj Kumar Singh, Marc Pantel
article
Science of Computer Programming, Elsevier, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03513847/file/SCP_SI_ABZ2020_preprint%20%281%29.pdf BibTex

2021

Journal articles

titre
Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems
auteur
Guillaume Dupont, Yamine Ait-Ameur, Neeraj Kumar Singh, Marc Pantel
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2021, 20 (4, Article 35), pp.1-37. ⟨10.1145/3448270⟩
Accès au bibtex
BibTex

Conference papers

titre
Event-B Refinement for Continuous Behaviours Approximation
auteur
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Singh
article
19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast, QLD, Australia. pp.320-336, ⟨10.1007/978-3-030-88885-5_21⟩
Accès au bibtex
BibTex
titre
A Refinement Strategy for Hybrid System Design with Safety Constraints
auteur
Zheng Cheng, Dominique Méry
article
MEDI 2021 - 10th International Conference Model and Data Engineering, Jun 2021, Tallinn, Estonia. pp.3-17, ⟨10.1007/978-3-030-78428-7_1⟩
Accès au bibtex
BibTex
titre
Refinement-based Construction of Correct Distributed Algorithms
auteur
Dominique Méry
article
ICI2ST 2021 - 2nd International Conference on Information Systems and Software Technologies, Mar 2021, Quito / Virtual, Ecuador
Accès au bibtex
BibTex
titre
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement
auteur
Guillaume Dupont, Yamine Aït-Ameur, Neeraj Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel
article
22nd International Conference on Formal Engineering Methods (ICFEM 2020), Mar 2021, Singapour, Singapore. pp.251-267, ⟨10.1007/978-3-030-63406-3_15⟩
Accès au bibtex
BibTex

Book sections

titre
Towards Leveraging Domain Knowledge in State-Based Formal Methods
auteur
Yamine Aït-Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh
article
Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, 12750, Springer, pp.1-13, 2021, Lecture Notes in Computer Science, 978-3-030-76020-5. ⟨10.1007/978-3-030-76020-5_1⟩
Accès au bibtex
BibTex
titre
Formal Ontological Analysis for Medical Protocols
auteur
Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry
article
Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_5⟩
Accès au bibtex
BibTex
titre
Contextual Dependency in State-based Modelling
auteur
Dominique Méry, Souad Kherroubi
article
Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_9⟩
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Rigorous State-Based Methods-8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
auteur
Alexander Raschke, Dominique Méry
article
ABZ 2021 - 8th International Conference on Rigorous State Based Methods, Jun 2021, Ulm, Germany. 12709, Springer International Publishing, 2021, Lecture Notes in Computer Science, 978-3-030-77543-8. ⟨10.1007/978-3-030-77543-8⟩
Accès au bibtex
BibTex

2020

Conference papers

titre
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling
auteur
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
article
16th International Conference on Integrated Formal Methods (IFM 2020), Nov 2020, Lugano (virtual), Switzerland. pp.82-102, ⟨10.1007/978-3-030-63461-2_5⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03265788/file/An%20Event-B%20Based%20Generic%20Framework%20for%20Hybrid%20Systems%20Formal%20Modelling.pdf BibTex
titre
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B
auteur
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Singh
article
7th International Conference on Rigorous State-Based Methods (ABZ 2020), May 2020, Ulm, Germany. pp.169-185, ⟨10.1007/978-3-030-48077-6_12⟩
Accès au bibtex
BibTex
titre
Modelling hybrid programs with Event-B
auteur
Meryem Afendi, Régine Laleau, Amel Mammar
article
ABZ 2020: 7th international conference on Rigorous State-Based Methods, May 2020, ULM, Germany. pp.139-154, ⟨10.1007/978-3-030-48077-6_10⟩
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Rigorous State-Based Methods - 7th International Conference, {ABZ} 2020, Ulm, Germany, May 27-29, 2020, Proceedings
auteur
Alexander Raschke, Dominique Méry, Frank Houdek
article
Alexander Raschke; Dominique Méry; Frank Houdek. ABZ 2020, May 2020, ULM, Germany. Lecture Notes in Computer Science (12071), Springer, 2020, Rigorous State-Based Methods - 7th International Conference, 2020, Ulm, Germany, May 27-29, 2020, Proceedings, 978-3-030-48076-9
Accès au bibtex
BibTex

Reports

titre
A Refinement Strategy for Hybrid System Design with Safety Constraints
auteur
Zheng Cheng, Dominique Méry
article
[Research Report] Université de Lorraine; INRIA; CNRS. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02895528/file/merymain.pdf BibTex

2019

Conference papers

titre
Verification by Construction of Distributed Algorithms
auteur
Dominique Méry
article
Theoretical Aspects of Computing - 2019 - 16th International Colloquium, Oct 2019, Mammamet, Tunisia. pp.22-38, ⟨10.1007/978-3-030-32505-3_2⟩
Accès au bibtex
BibTex
titre
Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B
auteur
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
article
13th International Symposium on Theoretical Aspects of Software Engineering - TASE 2019, Jul 2019, Guilin, China. ⟨10.1109/TASE.2019.00-25⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03012569/file/Handling%20Refinement%20of%20Continuous%20Behaviors.pdf BibTex

Directions of work or proceedings

titre
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE)
auteur
Dominique Méry, Shengchao Qin
article
Dominique Méry and Shengchao Qin. Theoretical Aspects of Software Engineering (TASE), Guillin, China. IEEE, 2019, 978-1-7281-3342-3
Accès au bibtex
BibTex

2018

Conference papers

titre
Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist
auteur
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
article
MEDI 2018 - The 8h International Conference on Model and Data Engineering, Oct 2018, Marrakech, Morocco. pp.153--158, ⟨10.1007/978-3-030-02852-7_14⟩
Accès au bibtex
BibTex
titre
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
auteur
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
article
6th International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), University of Southampton, Jun 2018, Southampton, United Kingdom. pp.155-170
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02450998/file/dupont_24887.pdf BibTex