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): 10.

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

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

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

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

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

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

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

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

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

Zweigel, René ; Gehrt, Jan-Jöran ; Abel, Dirk ; Reinhart, Peter ; Wanstrath, Sven ; Üyümez, Bilal ; Schön, Sebastian ; Kamburjan, Eduard ; Hähnle, Reiner
eds.: Oetting, Andreas ; Düpmeier, Frederik (2019)
Scientific Railway Signalling Symposium 2018 - Digital neue Wege fahren.
Scientific Railway Signalling Symposium. Darmstadt (13.06.2018)
Conference or Workshop Item, Primary publication

This list was generated on Fri Mar 29 08:20:12 2024 CET.