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