Veröffentlichungen und Tools

Hier werden die Resultate und Zwischenergebnise von FormbaR veröffentlicht.

2018

Kamburjan, Eduard; Hähnle, Reiner; Schön, Sebastian

Formal modeling and analysis of railway operations with active objects Journal Article

Sci. Comput. Program., 166 , pp. 167–193, 2018.

BibTeX | Links:

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

Same Same But Different: Interoperability of Software Product Line Variants Inproceedings

Müller, Peter; Schaefer, Ina (Ed.): Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday, pp. 99–117, Springer, 2018.

BibTeX | Links:

Kamburjan, Eduard; Chen, Tzu-Chun

Stateful Behavioral Types for Active Objects Inproceedings

Furia, Carlo A; Winter, Kirsten (Ed.): Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, pp. 214–235, Springer, 2018.

BibTeX | Links:

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

Interoperability of software product line variants Inproceedings

Berger, Thorsten; Borba, Paulo; Botterweck, Goetz; ö, Tomi Männist; Benavides, David; Nadi, Sarah; Kehrer, Timo; Rabiser, Rick; Elsner, Christoph; Mukelabai, Mukelabai (Ed.): Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 1, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018, pp. 264–268, ACM, 2018.

BibTeX | Links:

Kamburjan, Eduard; Hähnle, Reiner

Prototyping Formal System Models with Active Objects Inproceedings

Bartoletti, Massimo; Knight, Sophia (Ed.): Proceedings 11th Interaction and Concurrency Experience, ICE 2018, Madrid, Spain, June 20-21, 2018., pp. 52–67, 2018.

BibTeX | Links:

Kamburjan, Eduard; Chen, Tzu-Chun

Stateful Behavioral Types for ABS Technical Report

CoRR (abs/1802.08492), 2018.

BibTeX | Links:

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: