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.

Book Section

Hähnle, Reiner and Huisman, Marieke Steffen, Bernhard and 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]

Conference or Workshop Item

Hähnle, Reiner and Huisman, Marieke Reger, Giles and 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]

Leblebici, Erhan and Anjorin, Anthony and Schürr, Andy Huisman, Marieke and 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]

Damiani, Ferruccio and Hähnle, Reiner and Kamburjan, Eduard and Lienhardt, Michael Huisman, Marieke and 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 and Hähnle, Reiner and Bubel, Richard Abraham, Erika and 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 and Mostowski, Wojciech Barthe, Gilles and Burdy, Lilian and Huisman, Marieke and Lanet, Jean-Louis and 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]


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

This list was generated on Sat Jun 12 01:39:56 2021 CEST.