Publications-Eduard Kamburjan

< back to Eduard Kamburjan

Publications

Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Publikationsjahr | Typ des Eintrags | Keine Gruppierung
Springe zu: 2020 | 2019 | 2018 | 2017 | 2016
Anzahl der Einträge: 15.

2020

Kamburjan, Eduard (2020):
Modular Verification of a Modular Specification: Behavioral Types as Program Logics.
Darmstadt, Technische Universität, DOI: 10.25534/tuprints-00011664,
[Online-Edition: https://tuprints.ulb.tu-darmstadt.de/11664],
[Dissertation]

2019

Kamburjan, Eduard ; Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch Ölveczky, Peter Csaba ; Salaün, Gwen (Hrsg.) (2019):
Asynchronous Cooperative Contracts for Cooperative Scheduling.
11724In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, S. 48-66, DOI: 10.1007/978-3-030-30446-1_3,
[Online-Edition: https://doi.org/10.1007/978-3-030-30446-1\_3],
[Konferenzverö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), Elsevier, S. 167-193, ISSN 0167-6423,
DOI: 10.1016/j.scico.2018.07.001,
[Article]

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael (2018):
Same Same But Different: Interoperability of Software Product Line Variants.
Springer, In: Principled Software Development, S. 99-117, [Konferenzveröffentlichung]

Kamburjan, Eduard ; Hähnle, Reiner (2018):
Prototyping Formal System Models with Active Objects.
279In: EPTCS, In: ICE, S. 52-67, [Konferenzveröffentlichung]

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael (2018):
Interoperability of software product line variants.
ACM, In: SPLC, S. 264-268, [Konferenzveröffentlichung]

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. S. 167-193, DOI: 10.1016/j.scico.2018.07.001,
[Online-Edition: https://doi.org/10.1016/j.scico.2018.07.001],
[Article]

Zweigel, René ; Gehrt, Jan-Jöran ; Abel, Dirk ; Reinhart, Peter ; Wanstrath, Sven ; Üyümez, Bilal ; Schön, Sebastian ; Kamburjan, Eduard ; Hähnle, Reiner Oetting, Andreas ; Düpmeier, Frederik (Hrsg.) (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],
[Konferenzveröffentlichung]

2017

Kamburjan, Eduard ; Hähnle, Reiner Fantechi, Alessandro ; Lecomte, Thierry ; Romanovsky, Alexander B. (Hrsg.) (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, S. 131-147, DOI: 10.1007/978-3-319-68499-4₉,
[Online-Edition: https://doi.org/10.1007/978-3-319-68499-4_9],
[Konferenzveröffentlichung]

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael Huisman, Marieke ; Rubin, Julia (Hrsg.) (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, S. 424-441, DOI: 10.1007/978-3-662-54494-5₂₅,
[Online-Edition: https://doi.org/10.1007/978-3-662-54494-5_25],
[Konferenzveröffentlichung]

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 Oetting, Andreas (Hrsg.) (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],
[Konferenzveröffentlichung]

2016

Kamburjan, Eduard ; Hähnle, Reiner Artho, Cyrille ; Ölveczky, Peter Csaba (Hrsg.) (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, S. 55-71, DOI: 10.1007/978-3-319-53946-1₄,
[Online-Edition: https://doi.org/10.1007/978-3-319-53946-1_4],
[Konferenzveröffentlichung]

Do, Quoc Huy ; Kamburjan, Eduard ; Wasser, Nathan Piessens, Frank ; Vigano, Luca (Hrsg.) (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, S. 97-115, DOI: 10.1007/978-3-662-49635-0₆,
[Online-Edition: https://doi.org/10.1007/978-3-662-49635-0_6],
[Konferenzveröffentlichung]

Kamburjan, Eduard ; Din, Crystal Chang ; Chen, Tzu-Chun Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying (Hrsg.) (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, S. 296-312, DOI: 10.1007/978-3-319-47846-3₁₉,
[Online-Edition: https://doi.org/10.1007/978-3-319-47846-3_19],
[Konferenzveröffentlichung]

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

Diese Liste wurde am Mon Sep 21 06:02:23 2020 CEST generiert.

go to TU-biblio search on ULB website