Nathan Wasser

According to our database1, Nathan Wasser authored at least 10 papers between 2015 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Treating for-Loops as First-Class Citizens in Proofs.
CoRR, 2020

2019
Technical Report: Using Loop Scopes with for-Loops.
CoRR, 2019

Modeling Non-deterministic C Code with Active Objects.
Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

2017
Fermat, Euler, Wilson - Three Case Studies in Number Theory.
J. Autom. Reason., 2017

A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

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

Automatic generation of specifications using verification tools = Automatische Spezifikationserzeugung mit Hilfe von Verifikationswerkzeugen.
PhD thesis, 2016

Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.
Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

Array Abstraction with Symbolic Pivots.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
Generating Specifications for Recursive Methods by Abstracting Program States.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015


  Loading...