Difference between revisions of "Publications"

From Ivoire
Jump to navigation Jump to search
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
 +
== 2024 ==
 +
=== IVOIRE related ===
 +
* [https://www.sciencedirect.com/science/article/pii/S2352220824000014?via%3Dihub Trace preservation in B and Event-B refinements] (Paper of the conference award)
 
== 2023 ==
 
== 2023 ==
 
=== IVOIRE related ===
 
=== IVOIRE related ===
 +
* [https://link.springer.com/chapter/10.1007/978-981-99-7584-6_12 Validation-Driven Development] (Paper of the conference award)
 +
* [https://link.springer.com/chapter/10.1007/978-981-99-7584-6_16 Early and Systematic Validation of Formal Models]
 
* [https://link.springer.com/chapter/10.1007/978-3-031-33163-3_12 Validation by Abstraction and Refinement]
 
* [https://link.springer.com/chapter/10.1007/978-3-031-33163-3_12 Validation by Abstraction and Refinement]
 
* [https://link.springer.com/chapter/10.1007/978-3-031-33163-3_22 Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations]
 
* [https://link.springer.com/chapter/10.1007/978-3-031-33163-3_22 Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations]

Latest revision as of 15:55, 9 January 2024

2024

IVOIRE related

2023

IVOIRE related

2022

IVOIRE related

2021

IVOIRE related

Fund related