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 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, In: Computing and Software Science - State of the Art and Perspectives, Springer, pp. 345-373, DOI: 10.1007/978-3-319-91908-9_18,
[Online-Edition: https://doi.org/10.1007/978-3-319-91908-9\_18],
[Book Section]

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, EasyChair, In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, pp. 37-41, [Online-Edition: http://www.easychair.org/publications/paper/kdZ7],
[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, Springer, In: 20th International Conference on Fundamental Approaches to Software Engineering, pp. 191-207, DOI: 10.1007/978-3-662-54494-5₁₁,
[Online-Edition: https://doi.org/10.1007/978-3-662-54494-5_11],
[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, Springer, In: 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, pp. 424-441, DOI: 10.1007/978-3-662-54494-5₂₅,
[Online-Edition: https://doi.org/10.1007/978-3-662-54494-5_25],
[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, Springer, In: Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, pp. 3-19, DOI: 10.1007/978-3-319-33693-0₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-33693-0_1],
[Conference or Workshop Item]

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

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, Springer-Verlag, pp. 151--171, [Conference or Workshop Item]

This list was generated on Sat Jan 18 02:29:26 2020 CET.