| A new invariant rule for the analysis of loops with non-standard control flows D Steinhöfel, N Wasser Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017 | 14 | 2017 |
| Towards a circular economy of industrial software V Kutscher, S Ruland, P Müller, N Wasser, M Lochau, R Anderl, A Schürr, ... Procedia CIRP 90, 37-42, 2020 | 8 | 2020 |
| Array abstraction with symbolic pivots R Hähnle, N Wasser, R Bubel Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016 | 8 | 2016 |
| Towards fully automatic logic-based information flow analysis: An electronic-voting case study QH Do, E Kamburjan, N Wasser Principles of Security and Trust: 5th International Conference, POST 2016 …, 2016 | 7 | 2016 |
| Automatic generation of specifications using verification tools ND Wasser Technische Universität Darmstadt, 2016 | 7 | 2016 |
| Generating specifications for recursive methods by abstracting program states N Wasser International Symposium on Dependable Software Engineering: Theories, Tools …, 2015 | 7 | 2015 |
| Abstract interpretation N Wasser, R Hähnle, R Bubel Deductive Software Verification–The KeY Book: From Theory to Practice, 167-189, 2016 | 6 | 2016 |
| The right kind of non-determinism: using concurrency to verify C programs with underspecified semantics E Kamburjan, N Wasser arXiv preprint arXiv:2208.04630, 2022 | 5 | 2022 |
| Automated Model Extraction: From Non-deterministic C Code to Active Objects N Wasser, A Heydari Tabar, R Hähnle Science of Computer Programming 204, 102597, 2021 | 4 | 2021 |
| Fermat, Euler, Wilson-Three case studies in number theory C Walther, N Wasser Journal of Automated Reasoning 59, 267-286, 2017 | 4 | 2017 |
| TR: array abstraction with symbolic pivots N Wasser, R Bubel, R Hähnle Technical report, Department of Computer Science, Technische Universität …, 2015 | 4 | 2015 |
| Modeling Non-deterministic C Code with Active Objects N Wasser, A Heydari Tabar, R Hähnle Fundamentals of Software Engineering: 8th International Conference, FSEN …, 2019 | 3 | 2019 |
| A theorem prover backed approach to array abstraction N Wasser, R Bubel Proc. of VSL, 2014 | 3 | 2014 |
| Deductive verification of programs with underspecified semantics by model extraction E Kamburjan, N Wasser arXiv preprint arXiv:2110.01964, 2021 | 2 | 2021 |
| Treating for-loops as first-class citizens in proofs N Wasser, D Steinhöfel arXiv preprint arXiv:2002.00776, 2020 | 2 | 2020 |
| Technical Report: Using Loop Scopes with for-Loops N Wasser, D Steinhöfel arXiv preprint arXiv:1901.06839, 2019 | 1 | 2019 |
| Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday S Siegler, N Wasser Springer, 2010 | 1 | 2010 |
| Induction Proofs for Second-Order Procedures in VeriFun N Wasser | 1 | 2009 |
| Transparent Treatment of for-Loops in Proofs N Wasser The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …, 2022 | | 2022 |
| Assessing the Coverage of Formal Specifications D Steinhöfel, N Wasser, S de Gouw, F de Boer, R Bubel, R Hähnle, J Rot, ... Journal of Automated Reasoning, 2017 | | 2017 |
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
