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: 6.

Hähnle, Reiner and Huisman, Marieke
Reger, Giles and Traytel, Dmitriy (eds.) (2017):
24 Challenges in Deductive Software Verification.
EasyChair, In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, In: EPiC Series in Computing, 51, [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.
Springer, In: 20th International Conference on Fundamental Approaches to Software Engineering, In: Lecture Notes in Computer Science, 10202, 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.
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, In: Lecture Notes in Computer Science, 10202, 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?
Springer, In: Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, In: Lecture Notes in Computer Science, 9681, 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: Post Conference Proceedings of {CASSIS}: Construction and Analysis of Safe, Secure and Interoperable Smart devices, Marseille, Springer-Verlag, In: LNCS, 3362, [Conference or Workshop Item]

This list was generated on Tue Jun 18 01:57:01 2019 CEST.