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 | H | K | M | R | S | W | Z
Number of items at this level (without sub-levels): 11.

D

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

F

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

H

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

Hähnle, Reiner ; Aalst, Wil van der (2024)
Automated model analysis tools and techniques presented at FASE 2019.
In: International Journal on Software Tools for Technology Transfer, 2021, 23 (3)
doi: 10.26083/tuprints-00023913
Article, Secondary publication, Publisher's Version

K

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

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
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

R

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

S

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

W

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

Z

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 Sun May 26 13:52:46 2024 CEST.