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
doi: 10.1016/j.scico.2020.102597
Artikel, Bibliographie

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
doi: 10.1016/j.procir.2020.01.133
Artikel, Bibliographie

Wasser, Nathan ; Tabar, Asmae Heydari ; Hähnle, Reiner
Hrsg.: Hojjat, Hossein ; Massink, Mieke (2019)
Modeling Non-deterministic C Code with Active Objects.
8th International Conference on Fundamentals of Software Engineering (FSEN 2019). Tehran, Iran (01.05.2019-03.05.2019)
doi: 10.1007/978-3-030-31517-7_15
Konferenzveröffentlichung, Bibliographie

Wasser, Nathan ; Steinhöfel, Dominic (2019)
Technical Report: Using Loop Scopes with for-Loops.
doi: 10.48550/arXiv.1901.06839
Report, Bibliographie

Steinhöfel, Dominic ; Wasser, Nathan
Hrsg.: Polikarpova, Nadia ; Schneider, Steve (2017)
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.
doi: 10.1007/978-3-319-66845-1
Konferenzveröffentlichung, Bibliographie

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

Walther, Christoph ; Wasser, Nathan (2017)
Fermat, Euler, Wilson - Three Case Studies in Number Theory.
In: Journal of Automated Reasoning, 59 (2)
doi: 10.1007/s10817-016-9387-z
Artikel, Bibliographie

Wasser, Nathan ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Abstract Interpretation.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_6
Buchkapitel, Bibliographie

Hähnle, Reiner ; Wasser, Nathan ; Bubel, Richard
Hrsg.: Ábrahám, Erika ; Bonsangue, Marcello M. ; Johnsen, Einar Broch (2016)
Array Abstraction with Symbolic Pivots.
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_9
Konferenzveröffentlichung, Bibliographie

Do, Quoc Huy ; Kamburjan, Eduard ; Wasser, Nathan
Hrsg.: Piessens, Frank ; Vigano, Luca (2016)
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.
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_6
Konferenzveröffentlichung, Bibliographie

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

Wasser, Nathan
Hrsg.: Li, Xuandong ; Liu, Zhiming ; Yi, Wang (2015)
Generating Specifications for Recursive Methods by Abstracting Program States.
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_16
Konferenzveröffentlichung, Bibliographie

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