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

Wasser, Nathan ; Tabar, Asmae Heydari ; Hähnle, Reiner (2021):
Automated model extraction: From non-deterministic C code to active objects.
In: Science of Computer Programming, 204, Elsevier, ISSN 0167-6423,
DOI: 10.1016/j.scico.2020.102597,
[Article]

Kutscher, Vladimir ; Ruland, Sebastian ; Müller, Patrick ; Wasser, Nathan ; Lochau, Malte ; Anderl, Reiner ; Schürr, Andy ; Mezini, Mira ; Hähnle, Reiner (2020):
Towards a Circular Economy of Industrial Software.
In: Procedia CIRP, 90, pp. 37 - 42. Elsevier, ISSN 2212-8271,
DOI: 10.1016/j.procir.2020.01.133,
[Article]

Kutscher, Vladimir ; Ruland, Sebastian ; Müller, Patrick ; Wasser, Nathan ; Lochau, Malte ; Anderl, Reiner ; Schürr, Andy ; Mezini, Mira ; Hähnle, Reiner (2020):
Towards a Circular Economy of Industrial Software. (Publisher's Version)
In: Procedia CIRP, 90, pp. 37-42. Elsevier, ISSN 2212-8271,
DOI: 10.25534/tuprints-00014563,
[Article]

Wasser, Nathan ; Tabar, Asmae Heydari ; Hähnle, Reiner
Hojjat, Hossein ; Massink, Mieke (eds.) (2019):
Modeling Non-deterministic C Code with Active Objects.
In: Lecture Notes in Computer Science, 11761, In: Fundamentals of Software Engineering, pp. 213-227,
Springer, 8th International Conference on Fundamentals of Software Engineering (FSEN 2019), Tehran, Iran, 01.-03.05.2019, ISBN 978-3-030-31516-0,
DOI: 10.1007/978-3-030-31517-7_15,
[Conference or Workshop Item]

Wasser, Nathan ; Steinhöfel, Dominic (2019):
Technical Report: Using Loop Scopes with for-Loops.
[Report]

Steinhöfel, Dominic ; Wasser, Nathan
Polikarpova, Nadia ; Schneider, Steve (eds.) (2017):
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.
In: Lecture Notes in Computer Science, 10510, In: Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, pp. 279--294,
Springer, ISBN 978-3-319-66844-4,
DOI: 10.1007/978-3-319-66845-1,
[Conference or Workshop Item]

Steinhöfel, Dominic ; Wasser, Nathan (2017):
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.
[Report]

Walther, Christoph ; Wasser, Nathan (2017):
Fermat, Euler, Wilson - Three Case Studies in Number Theory.
In: Journal of Automated Reasoning, 59 (2), pp. 267-286. Springer, ISSN 1573-0670,
DOI: 10.1007/s10817-016-9387-z,
[Article]

Wasser, Nathan ; Hähnle, Reiner ; Bubel, Richard
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) (2016):
Abstract Interpretation.
In: Lecture Notes in Computer Science, 10001, In: Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 167-189, Springer, DOI: 10.1007/978-3-319-49812-6₆,
[Book Section]

Hähnle, Reiner ; Wasser, Nathan ; Bubel, Richard
Ábrahám, Erika ; Bonsangue, Marcello M. ; Johnsen, Einar Broch (eds.) (2016):
Array Abstraction with Symbolic Pivots.
In: Lecture Notes in Computer Science, 9660, pp. 104-121, Springer, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, DOI: 10.1007/978-3-319-30734-3₉,
[Conference or Workshop Item]

Wasser, Nathan (2016):
Automatic generation of specifications using verification tools = Automatische Spezifikationserzeugung mit Hilfe von Verifikationswerkzeugen.
Darmstadt University of Technology, Germany,
[Ph.D. Thesis]

Do, Quoc Huy ; Kamburjan, Eduard ; Wasser, Nathan
Piessens, Frank ; Vigano, Luca (eds.) (2016):
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.
In: Lecture Notes in Computer Science, 9635, pp. 97-115, Springer, Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, DOI: 10.1007/978-3-662-49635-0₆,
[Conference or Workshop Item]

Wasser, Nathan ; Bubel, Richard ; Hähnle, Reiner (2015):
Array Abstraction with Symbolic Pivots.
[Report]

Wasser, Nathan
Li, Xuandong ; Liu, Zhiming ; Yi, Wang (eds.) (2015):
Generating Specifications for Recursive Methods by Abstracting Program States.
In: Lecture Notes in Computer Science, 9409, pp. 243-257, Springer, Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings, DOI: 10.1007/978-3-319-25942-0₁₆,
[Conference or Workshop Item]

Wasser, Nathan ; Bubel, Richard (2014):
A Theorem Prover Backed Approach to Array Abstraction.
[Report]

This list was generated on Tue Jan 18 00:39:09 2022 CET.