Publications and Tools

This page will list all publications and tools created in the FormbaR project

2017

Kamburjan, Eduard; Hähnle, Reiner

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.

Abstract | BibTeX | Links:

Damiani, Ferruccio; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael

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.

BibTeX | Links:

Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael

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.

Abstract | BibTeX | Links:

2016

Kamburjan, Eduard; Hähnle, Reiner

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.

BibTeX | Links:

Hähnle, Reiner; Muschevici, Radu

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.

BibTeX | Links:

Kamburjan, Eduard; Din, Crystal Chang; Chen, Tzu -Chun

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.

BibTeX | Links: