Nathan Wasser
Nathan Wasser
PostDoc at Department of Computer Science, Technische Universität Darmstadt
Verified email at
Cited by
Cited by
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
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
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
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
Automatic generation of specifications using verification tools
ND Wasser
Technische Universität Darmstadt, 2016
Generating specifications for recursive methods by abstracting program states
N Wasser
International Symposium on Dependable Software Engineering: Theories, Tools …, 2015
Abstract interpretation
N Wasser, R Hähnle, R Bubel
Deductive Software Verification–The KeY Book: From Theory to Practice, 167-189, 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
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
Fermat, Euler, Wilson-Three case studies in number theory
C Walther, N Wasser
Journal of Automated Reasoning 59, 267-286, 2017
TR: array abstraction with symbolic pivots
N Wasser, R Bubel, R Hähnle
Technical report, Department of Computer Science, Technische Universität …, 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
A theorem prover backed approach to array abstraction
N Wasser, R Bubel
Proc. of VSL, 2014
Deductive verification of programs with underspecified semantics by model extraction
E Kamburjan, N Wasser
arXiv preprint arXiv:2110.01964, 2021
Treating for-loops as first-class citizens in proofs
N Wasser, D Steinhöfel
arXiv preprint arXiv:2002.00776, 2020
Technical Report: Using Loop Scopes with for-Loops
N Wasser, D Steinhöfel
arXiv preprint arXiv:1901.06839, 2019
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
S Siegler, N Wasser
Springer, 2010
Induction Proofs for Second-Order Procedures in VeriFun
N Wasser
Transparent Treatment of for-Loops in Proofs
N Wasser
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …, 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
The system can't perform the operation now. Try again later.
Articles 1–20