Nathan Wasser

According to our database, Nathan Wasser authored at least 14 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics.

Eduard Kamburjan, Nathan Wasser

Proceedings of the Proceedings 15th Interaction and Concurrency Experience, 2022

Transparent Treatment of for-Loops in Proofs.

Nathan Wasser

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Automated model extraction: From non-deterministic C code to active objects.

Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle

Sci. Comput. Program., 2021

Deductive Verification of Programs with Underspecified Semantics by Model Extraction.

Eduard Kamburjan, Nathan Wasser

CoRR, 2021

2020

Treating for-Loops as First-Class Citizens in Proofs.

Nathan Wasser, Dominic Steinhöfel

CoRR, 2020

2019

Technical Report: Using Loop Scopes with for-Loops.

Nathan Wasser, Dominic Steinhöfel

CoRR, 2019

Modeling Non-deterministic C Code with Active Objects.

Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

2017

Fermat, Euler, Wilson - Three Case Studies in Number Theory.

Christoph Walther, Nathan Wasser

J. Autom. Reason., 2017

A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.

Dominic Steinhöfel, Nathan Wasser

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

Abstract Interpretation.

Nathan Wasser, Reiner Hähnle, Richard Bubel

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Automatic generation of specifications using verification tools = Automatische Spezifikationserzeugung mit Hilfe von Verifikationswerkzeugen.

Nathan Wasser

PhD thesis, 2016

Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.

Quoc Huy Do, Eduard Kamburjan, Nathan Wasser

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

Array Abstraction with Symbolic Pivots.

Reiner Hähnle, Nathan Wasser, Richard Bubel

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Generating Specifications for Recursive Methods by Abstracting Program States.

Nathan Wasser

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015