2021

Kamburjan, Eduard ; Grätz, Lukas
Hrsg.: Ferreira, Joo ; Mendes, Alexandra ; Menghi, Claudio (2021)
Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games.
4th World Congress on Formal Methods. virtual Conference (21.11.2021-21.11.2021)
doi: 10.1007/978-3-030-91550-6_4
Konferenzveröffentlichung, Bibliographie

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael ; Paolini, Luca
Hrsg.: Mousavi, Mohammad Reza ; Schobbens, Pierre-Yves (2021)
Variability modules for Java-like languages.
25th ACM International Systems and Software Product Line Conference. virtual Conference (06.09.2021-11.09.2021)
doi: 10.1145/3461001.3471143
Konferenzveröffentlichung, Bibliographie

2020

Kamburjan, Eduard (2020)
Modular Verification of a Modular Specification: Behavioral Types as Program Logics.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00011664
Dissertation, Erstveröffentlichung

2019

Kamburjan, Eduard ; Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch
Hrsg.: Ölveczky, Peter Csaba ; Salaün, Gwen (2019)
Asynchronous Cooperative Contracts for Cooperative Scheduling.
Software Engineering and Formal Methods - 17th International Conference, SEFM 2019. Oslo, Norway (18.09.2019–20.09.2019)
doi: 10.1007/978-3-030-30446-1_3
Konferenzveröffentlichung, Bibliographie

Zweigel, René ; Gehrt, Jan-Jöran ; Abel, Dirk ; Reinhart, Peter ; Wanstrath, Sven ; Üyümez, Bilal ; Schön, Sebastian ; Kamburjan, Eduard ; Hähnle, Reiner
Hrsg.: Oetting, Andreas ; Düpmeier, Frederik (2019)
Scientific Railway Signalling Symposium 2018 - Digital neue Wege fahren.
Scientific Railway Signalling Symposium. Darmstadt (13.06.2018-13.06.2018)
Konferenzveröffentlichung, Erstveröffentlichung

2018

Kamburjan, Eduard ; Hähnle, Reiner ; Schön, Sebastian (2018)
Formal modeling and analysis of railway operations with active objects.
In: Science of Computer Programming, 166
doi: 10.1016/j.scico.2018.07.001
Artikel, Bibliographie

Kamburjan, Eduard ; Chen, Tzu-Chun
Hrsg.: Furia, Carlo A. ; Winter, Kirsten (2018)
Stateful Behavioral Types for Active Objects.
14th International Conference on Integrated Formal Methods (IFM 2018). Maynooth, Ireland (05.09.2018-07.09.2018)
doi: 10.1007/978-3-319-98938-9_13
Konferenzveröffentlichung, Bibliographie

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael (2018)
Interoperability of software product line variants.
SPLC.
Konferenzveröffentlichung, Bibliographie

Kamburjan, Eduard ; Hähnle, Reiner (2018)
Prototyping Formal System Models with Active Objects.
ICE.
Konferenzveröffentlichung, Bibliographie

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael (2018)
Same Same But Different: Interoperability of Software Product Line Variants.
Principled Software Development.
Konferenzveröffentlichung, Bibliographie

2017

Kamburjan, Eduard ; Hähnle, Reiner
Hrsg.: Fantechi, Alessandro ; Lecomte, Thierry ; Romanovsky, Alexander B. (2017)
Deductive Verification of Railway Operations.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings.
doi: 10.1007/978-3-319-68499-4_9
Konferenzveröffentlichung, Bibliographie

Meyer zu Hörste, Michael ; Kamburjan, Eduard ; Hähnle, Reiner ; Winter, Hanno ; Willert, Volker ; Adamy, Jürgen ; Leining, Michael ; Spindler, Max ; Lauer, Martin ; Stein, Denis ; Heirich, Oliver ; Groos, Jörn ; Geffert, Arne ; Becker, Uwe ; Breuer, Michael ; Bachurina, Daria ; Düpmeier, Frederik
Hrsg.: Oetting, Andreas (2017)
Tagungsband des Scientific Railway Signalling Symposiums 2017 - Die Steuerung des Eisenbahnbetriebs der Zukunft.
Darmstadt, Germany (19.04.2017-19.04.2017)
Konferenzveröffentlichung, Erstveröffentlichung

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael
Hrsg.: Huisman, Marieke ; Rubin, Julia (2017)
A Unified and Formal Programming Model for Deltas and Traits.
Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.
doi: 10.1007/978-3-662-54494-5_25
Konferenzveröffentlichung, Bibliographie

2016

Kamburjan, Eduard (2016)
Session Types for ABS.
Report, Bibliographie

Kamburjan, Eduard ; Din, Crystal Chang ; Chen, Tzu-Chun
Hrsg.: Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying (2016)
Session-Based Compositional Analysis for Actor-Based Languages Using Futures.
Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings.
doi: 10.1007/978-3-319-47846-3_19
Konferenzveröffentlichung, Bibliographie

Do, Quoc Huy ; Kamburjan, Eduard ; Wasser, Nathan
Hrsg.: Piessens, Frank ; Vigano, Luca (2016)
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.
Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings.
doi: 10.1007/978-3-662-49635-0_6
Konferenzveröffentlichung, Bibliographie

Kamburjan, Eduard ; Hähnle, Reiner
Hrsg.: Artho, Cyrille ; Ölveczky, Peter Csaba (2016)
Uniform Modeling of Railway Operations.
Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers.
doi: 10.1007/978-3-319-53946-1_4
Konferenzveröffentlichung, Bibliographie