TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 13.

Kamburjan, Eduard and Hähnle, Reiner and Schön, Sebastian (2018):
Formal Modeling and Analysis of Railway Operations with Active Objects.
In: Science of Computer Programming, Elsevier, pp. 167-193, (166), ISSN 0167-6423,
DOI: 10.1016/j.scico.2018.07.001,
[Article]

Kamburjan, Eduard and Hähnle, Reiner and Schön, Sebastian (2018):
Formal modeling and analysis of railway operations with active objects.
In: Science of Computer Programming, pp. 167-193, 166, DOI: 10.1016/j.scico.2018.07.001,
[Online-Edition: https://doi.org/10.1016/j.scico.2018.07.001],
[Article]

Damiani, Ferruccio and Hähnle, Reiner and Kamburjan, Eduard and Lienhardt, Michael (2018):
Interoperability of software product line variants.
ACM, In: SPLC, [Conference or Workshop Item]

Kamburjan, Eduard and Hähnle, Reiner (2018):
Prototyping Formal System Models with Active Objects.
In: ICE, In: EPTCS, 279, [Conference or Workshop Item]

Damiani, Ferruccio and Hähnle, Reiner and Kamburjan, Eduard and Lienhardt, Michael (2018):
Same Same But Different: Interoperability of Software Product Line Variants.
Springer, In: Principled Software Development, [Conference or Workshop Item]

Zweigel, René and Gehrt, Jan-Jöran and Abel, Dirk and Reinhart, Peter and Wanstrath, Sven and Üyümez, Bilal and Schön, Sebastian and Kamburjan, Eduard and Hähnle, Reiner
Oetting, Andreas and Düpmeier, Frederik (eds.) (2018):
Scientific Railway Signalling Symposium 2018 - Digital neue Wege fahren.
In: Scientific Railway Signalling Symposium, Darmstadt, 13.06.2018, [Online-Edition: https://tuprints.ulb.tu-darmstadt.de/8327],
[Conference or Workshop Item]

Kamburjan, Eduard and Hähnle, Reiner
Fantechi, Alessandro and Lecomte, Thierry and Romanovsky, Alexander B. (eds.) (2017):
Deductive Verification of Railway Operations.
Springer, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings, In: Lecture Notes in Computer Science, 10598, DOI: 10.1007/978-3-319-68499-4₉,
[Online-Edition: https://doi.org/10.1007/978-3-319-68499-4_9],
[Conference or Workshop Item]

Meyer zu Hörste, Michael and Kamburjan, Eduard and Hähnle, Reiner and Winter, Hanno and Willert, Volker and Adamy, Jürgen and Leining, Michael and Spindler, Max and Lauer, Martin and Stein, Denis and Heirich, Oliver and Groos, Jörn and Geffert, Arne and Becker, Uwe and Breuer, Michael and Bachurina, Daria and Düpmeier, Frederik
Oetting, Andreas (ed.) (2017):
Tagungsband des Scientific Railway Signalling Symposiums 2017 - Die Steuerung des Eisenbahnbetriebs der Zukunft.
Darmstadt, In: Die Steuerung des Eisenbahnbetriebs der Zukunft, Darmstadt, 19.04.2017, In: Scientific Railway Signalling Symposium, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/7403],
[Conference or Workshop Item]

Damiani, Ferruccio and Hähnle, Reiner and Kamburjan, Eduard and Lienhardt, Michael
Huisman, Marieke and Rubin, Julia (eds.) (2017):
A Unified and Formal Programming Model for Deltas and Traits.
Springer, In: 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, In: Lecture Notes in Computer Science, 10202, DOI: 10.1007/978-3-662-54494-5₂₅,
[Online-Edition: https://doi.org/10.1007/978-3-662-54494-5_25],
[Conference or Workshop Item]

Kamburjan, Eduard (2016):
Session Types for ABS.
[Report]

Kamburjan, Eduard and Din, Crystal Chang and Chen, Tzu-Chun
Ogata, Kazuhiro and Lawford, Mark and Liu, Shaoying (eds.) (2016):
Session-Based Compositional Analysis for Actor-Based Languages Using Futures.
In: Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, In: Lecture Notes in Computer Science, 10009, DOI: 10.1007/978-3-319-47846-3₁₉,
[Online-Edition: https://doi.org/10.1007/978-3-319-47846-3_19],
[Conference or Workshop Item]

Do, Quoc Huy and Kamburjan, Eduard and Wasser, Nathan
Piessens, Frank and Vigano, Luca (eds.) (2016):
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.
Springer, In: 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, In: Lecture Notes in Computer Science, 9635, DOI: 10.1007/978-3-662-49635-0₆,
[Online-Edition: https://doi.org/10.1007/978-3-662-49635-0_6],
[Conference or Workshop Item]

Kamburjan, Eduard and Hähnle, Reiner
Artho, Cyrille and Ölveczky, Peter Csaba (eds.) (2016):
Uniform Modeling of Railway Operations.
In: Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers, In: Communications in Computer and Information Science, 694, DOI: 10.1007/978-3-319-53946-1₄,
[Online-Edition: https://doi.org/10.1007/978-3-319-53946-1_4],
[Conference or Workshop Item]

This list was generated on Tue Oct 22 02:11:55 2019 CEST.