Items where Division is "20 Department of Computer Science > Software Engineering" and Year is [pin missing: value2]
Up a level |
- TU Darmstadt (12)
- 20 Department of Computer Science (12)
- Software Engineering (12)
- 20 Department of Computer Science (12)
Article
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
Conference or Workshop Item
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?
Scientific Railway Signalling Symposium 2019. Darmstadt (26.06.2019)
doi: 10.25534/tuprints-00011296
Conference or Workshop Item, Primary publication, Publisher's Version
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
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
Ph.D. Thesis
Do, Quoc Huy (2017)
Detection and Exploitation of Information Flow Leaks.
Technische Universität Darmstadt
Ph.D. Thesis, 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
Heydari Tabar, Asmae (2024)
Automatic Data Dependence Analysis by Deductive Verification.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00026722
Ph.D. 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
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
Master Thesis
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
Bachelor Thesis
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