TU Darmstadt / ULB / TUprints

Items where Division is "20 Department of Computer Science > Software Engineering" and Year is [pin missing: value2]

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | Item Type | Language | No Grouping
Number of items at this level (without sub-levels): 9.

Conference or Workshop Item

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]

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]

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]

Ph.D. Thesis

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

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

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]

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

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

Bachelor Thesis

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]

This list was generated on Tue Sep 21 13:49:10 2021 CEST.