D

Do, Quoc Huy (2017):
Detection and Exploitation of Information Flow Leaks.
Darmstadt, Technische Universität,
[Ph.D. Thesis]

Düpmeier, Frederik ; Winter, Hanno ; Willert, Volker ; Adamy, Jürgen ; Dillmann, Stefan ; Pejic, Miroslav ; Oetting, Andreas ; Hähnle, Reiner
Oetting, Andreas (ed.) (2020):
Scientific Railway Signalling Symposium 2019: Mehr Verkehr auf die Schiene durch Digitalisierung?! – Was kann die Leit- und Sicherungstechnik dazu beitragen?
Darmstadt, DOI: 10.25534/tuprints-00011296,
[Conference or Workshop Item]

F

Flores Montoya, Antonio (2017):
Cost Analysis of Programs Based on the Refinement of Cost Relations.
Darmstadt, Technische Universität,
[Ph.D. Thesis]

H

Haubner, Anton W. (2022):
Inspecting Java Program States with Semantic Web Technologies. (Publisher's Version)
Darmstadt, Technische Universität Darmstadt, DOI: 10.26083/tuprints-00022143,
[Master Thesis]

K

Kamburjan, Eduard (2020):
Modular Verification of a Modular Specification: Behavioral Types as Program Logics.
Darmstadt, Technische Universität,
DOI: 10.25534/tuprints-00011664,
[Ph.D. Thesis]

M

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 (ed.) (2017):
Tagungsband des Scientific Railway Signalling Symposiums 2017 - Die Steuerung des Eisenbahnbetriebs der Zukunft.
In: Scientific Railway Signalling Symposium, Darmstadt, Die Steuerung des Eisenbahnbetriebs der Zukunft, Darmstadt, 19.04.2017, [Conference or Workshop Item]

R

Rollshausen, Nils (2021):
Counterexample Generation for Formal Verification of ABS. (Publisher's Version)
Darmstadt, Technische Universität Darmstadt, DOI: 10.26083/tuprints-00017856,
[Bachelor Thesis]

S

Steinhöfel, Dominic (2020):
Abstract Execution: Automatically Proving Infinitely Many Programs.
Darmstadt, Technische Universität,
DOI: 10.25534/tuprints-00008540,
[Ph.D. Thesis]

W

Wasser, Nathan Daniel (2017):
Automatic generation of specifications using verification tools.
Darmstadt, Technische Universität Darmstadt,
[Ph.D. Thesis]

Z

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 (eds.) (2018):
Scientific Railway Signalling Symposium 2018 - Digital neue Wege fahren.
Scientific Railway Signalling Symposium, Darmstadt, 13.06.2018, [Conference or Workshop Item]