This page will list all publications and tools created in the FormbaR project
Deductive Verification of Railway Operations Inproceedings
Fantechi, Alessandro; Lecomte, Thierry; Romanovsky, Alexander (Ed.): Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 2nd International Conference, RSSRail 2017, pp. 131–147, Springer International Publishing, Cham, 2017, ISBN: 978-3-319-68499-4.
A Unified and Formal Programming Model for Deltas and Traits Inproceedings
Huisman, Marieke; Rubin, Julia (Ed.): Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Proceedings, pp. 424–441, 2017.
Abstraction Refinement for the Analysis of Software Product Lines Inproceedings
Gabmeyer, Sebastian; Johnsen, Einar Broch (Ed.): Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19--20, 2017, Proceedings, pp. 3–20, Springer International Publishing, 2017, ISBN: 978-3-319-61467-0.
Uniform Modeling of Railway Operations Inproceedings
Artho, Cyrille; Ölveczky, Peter Csaba (Ed.): Fifth International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), Preproceedings, pp. 51, 2016.
Towards Incremental Validation of Railway Systems Inproceedings
Margaria, Tiziana; Steffen, Bernhard (Ed.): Leveraging Applications of Formal Methods, Verification and Validation, 7th International Symposium (ISoLA), Corfu, Greece, Springer, 2016, ISBN: 978-3-319-47169-3.
Session-Based Compositional Analysis for Actor-Based Languages Using Futures Inproceedings
Ogata, Kazuhiro; Lawford, Mark ; Liu, Shaoying (Ed.): Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, pp. 296–312, 2016.