Nathan Wasser

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 11

Top Venues

CoRR

SETTA

Sci. Comput. Program.

POST

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Nathan Wasser
Transparent Treatment of for-Loops in Proofs. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Eduard Kamburjan, Nathan Wasser
The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics. ICE (2022)
Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle
Automated model extraction: From non-deterministic C code to active objects. Sci. Comput. Program. 204 (2021)
Eduard Kamburjan, Nathan Wasser
Deductive Verification of Programs with Underspecified Semantics by Model Extraction. CoRR (2021)
Nathan Wasser, Dominic Steinhöfel
Treating for-Loops as First-Class Citizens in Proofs. CoRR (2020)
Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle
Modeling Non-deterministic C Code with Active Objects. FSEN (2019)
Nathan Wasser, Dominic Steinhöfel
Technical Report: Using Loop Scopes with for-Loops. CoRR (2019)
Dominic Steinhöfel, Nathan Wasser
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows. IFM (2017)
Christoph Walther, Nathan Wasser
Fermat, Euler, Wilson - Three Case Studies in Number Theory. J. Autom. Reason. 59 (2) (2017)
Quoc Huy Do, Eduard Kamburjan, Nathan Wasser
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study. POST (2016)
Reiner Hähnle, Nathan Wasser, Richard Bubel
Array Abstraction with Symbolic Pivots. Theory and Practice of Formal Methods (2016)
Nathan Wasser
Generating Specifications for Recursive Methods by Abstracting Program States. SETTA (2015)

Nathan Wasser.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nathan Wasser