2022
Journal articles
- titre
- Modeling and proving hybrid programs with event-B: an approach by generalization and instantiation
- auteur
- Amel Mammar, Meryem Afendi, Régine Laleau
- article
- Science of Computer Programming, 2022, 222 (102856), ⟨10.1016/j.scico.2022.102856⟩
- Accès au bibtex
-
- titre
- An optimization model for planning testing and control strategies to limit the spread of a pandemic -The case of COVID-19
- auteur
- Adam Abdin, Yi-Ping Fang, Aakil Caunhye, Douglas Alem, Anne Barros, Enrico Zio
- article
- European Journal of Operational Research, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩
- Accès au texte intégral et bibtex
-
- titre
- Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B
- auteur
- Guillaume Dupont, Yamine Aït-Ameur, Neeraj Kumar Singh, Marc Pantel
- article
- Science of Computer Programming, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Building correct hybrid systems using Event-B and sagemath: Illustration by the hybrid smart heating system case study
- auteur
- Meryem Afendi, Amel Mammar, Régine Laleau
- article
- 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS), Mar 2022, Hiroshima, Japan. ⟨10.1109/ICECCS54210.2022.00019⟩
- Accès au bibtex
-
2021
Journal articles
- titre
- Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems
- auteur
- Guillaume Dupont, Yamine Aït-Ameur, Neeraj Kumar Singh, Marc Pantel
- article
- ACM Transactions on Embedded Computing Systems (TECS), 2021, 20 (4, Article 35), pp.1-37. ⟨10.1145/3448270⟩
- Accès au bibtex
-
Conference papers
- titre
- Event-B Refinement for Continuous Behaviours Approximation
- auteur
- Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar 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
-
- 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
-
- 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. ⟨10.1109/ICI2ST51859.2021.00015⟩
- Accès au texte intégral et bibtex
-
- titre
- Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement
- auteur
- Guillaume Dupont, Yamine Aït-Ameur, Neeraj Kumar 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
-
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
-
- 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
-
- 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
-
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
-
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
-
- 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 Kumar 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
-
- 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
-
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, {ABZ} 2020, Ulm, Germany, May 27-29, 2020, Proceedings, 978-3-030-48076-9
- Accès au 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
-
2019
Conference papers
- titre
- Verification by Construction of Distributed Algorithms
- auteur
- Dominique Méry
- article
- Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International Colloquium, Oct 2019, Mammamet, Tunisia. pp.22-38, ⟨10.1007/978-3-030-32505-3_2⟩
- Accès au 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
-
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
-
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
-
- 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
-