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
Jump to: D | F | K | M | S | W | Z
Number of items at this level: 8.

D

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

Düpmeier, Frederik and Winter, Hanno and Willert, Volker and Adamy, Jürgen and Dillmann, Stefan and Pejic, Miroslav and Oetting, Andreas and 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]

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 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, [Conference or Workshop Item]

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é 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, [Conference or Workshop Item]

This list was generated on Sun Jul 12 01:17:59 2020 CEST.