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: 14.

Kamburjan, Eduard and Din, Crystal Chang and Hähnle, Reiner and Johnsen, Einar Broch Ölveczky, Peter Csaba and Salaün, Gwen (eds.) (2019):
Asynchronous Cooperative Contracts for Cooperative Scheduling.
11724In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, pp. 48-66, DOI: 10.1007/978-3-030-30446-1_3,
[Online-Edition: https://doi.org/10.1007/978-3-030-30446-1\_3],
[Conference or Workshop Item]

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, (166), Elsevier, pp. 167-193, 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, 166pp. 167-193, 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, pp. 264-268, [Conference or Workshop Item]

Kamburjan, Eduard and Hähnle, Reiner (2018):
Prototyping Formal System Models with Active Objects.
279In: EPTCS, In: ICE, pp. 52-67, [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, pp. 99-117, [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.
10598In: Lecture Notes in Computer Science, 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, pp. 131-147, 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.
In: Scientific Railway Signalling Symposium, Darmstadt, In: Die Steuerung des Eisenbahnbetriebs der Zukunft, Darmstadt, 19.04.2017, [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.
10202In: Lecture Notes in Computer Science, 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, pp. 424-441, 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.
10009In: Lecture Notes in Computer Science, In: Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, pp. 296-312, 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.
9635In: Lecture Notes in Computer Science, 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, pp. 97-115, 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.
694In: Communications in Computer and Information Science, In: Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers, pp. 55-71, 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 Sat May 30 01:09:49 2020 CEST.