TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 7.

Hähnle, Reiner ; Huisman, Marieke
eds.: Steffen, Bernhard ; Woeginger, Gerhard J. (2019)
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools.
In: Computing and Software Science - State of the Art and Perspectives
doi: 10.1007/978-3-319-91908-9_18
Book Section

Hähnle, Reiner ; Huisman, Marieke
eds.: Reger, Giles ; Traytel, Dmitriy (2017)
24 Challenges in Deductive Software Verification.
ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017.
Conference or Workshop Item

Leblebici, Erhan ; Anjorin, Anthony ; Schürr, Andy
eds.: Huisman, Marieke ; Rubin, Julia (2017)
Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques.
20th International Conference on Fundamental Approaches to Software Engineering.
doi: 10.1007/978-3-662-54494-5_11
Conference or Workshop Item

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael
eds.: Huisman, Marieke ; Rubin, Julia (2017)
A Unified and Formal Programming Model for Deltas and Traits.
Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.
doi: 10.1007/978-3-662-54494-5_25
Conference or Workshop Item

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
eds.: Abraham, Erika ; Huisman, Marieke (2016)
Can Formal Methods Improve the Efficiency of Code Reviews?
Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings.
doi: 10.1007/978-3-319-33693-0_1
Conference or Workshop Item

Huisman, Marieke ; Ahrendt, Wolfgang ; Bruns, Daniel ; Hentschel, Martin (2014)
Formal Specification with JML.

Hähnle, Reiner ; Mostowski, Wojciech
eds.: Barthe, Gilles ; Burdy, Lilian ; Huisman, Marieke ; Lanet, Jean-Louis ; Muntean, Traian (2005)
Verification of Safety Properties in the Presence of Transactions.
Conference or Workshop Item

This list was generated on Tue Oct 3 01:09:18 2023 CEST.