This page will list all publications and tools created in the FormbaR project
Formal modeling and analysis of railway operations with active objects Journal Article
Sci. Comput. Program., 166 , pp. 167–193, 2018.
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.
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.
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.
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.
Stateful Behavioral Types for ABS Technical Report
CoRR (abs/1802.08492), 2018.
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.