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.

German

Hähnle, Reiner ; Huisman, Marieke
Reger, Giles ; Traytel, Dmitriy (eds.) (2017):
24 Challenges in Deductive Software Verification.
In: EPiC Series in Computing, 51, pp. 37-41, EasyChair, ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, [Conference or Workshop Item]

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael
Huisman, Marieke ; Rubin, Julia (eds.) (2017):
A Unified and Formal Programming Model for Deltas and Traits.
In: Lecture Notes in Computer Science, 10202, pp. 424-441, Springer, 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₂₅,
[Conference or Workshop Item]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Abraham, Erika ; Huisman, Marieke (eds.) (2016):
Can Formal Methods Improve the Efficiency of Code Reviews?
In: Lecture Notes in Computer Science, 9681, pp. 3-19, Springer, Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, DOI: 10.1007/978-3-319-33693-0₁,
[Conference or Workshop Item]

Hähnle, Reiner ; Mostowski, Wojciech
Barthe, Gilles ; Burdy, Lilian ; Huisman, Marieke ; Lanet, Jean-Louis ; Muntean, Traian (eds.) (2005):
Verification of Safety Properties in the Presence of Transactions.
In: LNCS, 3362, In: Post Conference Proceedings of {CASSIS}: Construction and Analysis of Safe, Secure and Interoperable Smart devices, Marseille, pp. 151--171,
Springer-Verlag, [Conference or Workshop Item]

English

Hähnle, Reiner ; Huisman, Marieke
Steffen, Bernhard ; Woeginger, Gerhard J. (eds.) (2019):
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools.
In: Lecture Notes in Computer Science, 10000, In: Computing and Software Science - State of the Art and Perspectives, pp. 345-373, Springer, DOI: 10.1007/978-3-319-91908-9_18,
[Book Section]

Leblebici, Erhan ; Anjorin, Anthony ; Schürr, Andy
Huisman, Marieke ; Rubin, Julia (eds.) (2017):
Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques.
In: Lecture Notes in Computer Science, 10202, pp. 191-207, Springer, 20th International Conference on Fundamental Approaches to Software Engineering, DOI: 10.1007/978-3-662-54494-5₁₁,
[Conference or Workshop Item]

["languages_typename_1" not defined]

Huisman, Marieke ; Ahrendt, Wolfgang ; Bruns, Daniel ; Hentschel, Martin (2014):
Formal Specification with JML.
(2014,1), [Report]

This list was generated on Sat Jun 19 02:28:01 2021 CEST.