Nathan Wasser - RankMe

15 papers B 1Misc 1Journal 5Unranked 5

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics. ICE Eduard Kamburjan, Nathan Wasser
2022	—	`conf`	Transparent Treatment of for-Loops in Proofs. The Logic of Software. A Tasting Menu of Formal Methods Nathan Wasser
2021	J	`jnl`	Automated model extraction: From non-deterministic C code to active objects. Sci. Comput. Program. Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle
2021	J	`jnl`	Deductive Verification of Programs with Underspecified Semantics by Model Extraction. CoRR Eduard Kamburjan, Nathan Wasser
2020	J	`jnl`	Treating for-Loops as First-Class Citizens in Proofs. CoRR Nathan Wasser, Dominic Steinhöfel
2019	—	`conf`	Modeling Non-deterministic C Code with Active Objects. FSEN Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle
2019	J	`jnl`	Technical Report: Using Loop Scopes with for-Loops. CoRR Nathan Wasser, Dominic Steinhöfel
2017	B	`conf`	A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows. IFM Dominic Steinhöfel, Nathan Wasser
2017	J	`jnl`	Fermat, Euler, Wilson - Three Case Studies in Number Theory. J. Autom. Reason. Christoph Walther, Nathan Wasser
2016	—	`ch.`	Abstract Interpretation. Deductive Software Verification Nathan Wasser, Reiner Hähnle, Richard Bubel
2016	—	`conf`	Array Abstraction with Symbolic Pivots. Theory and Practice of Formal Methods Reiner Hähnle, Nathan Wasser, Richard Bubel
2016	—	`—`	Automatic generation of specifications using verification tools = Automatische Spezifikationserzeugung mit Hilfe von Verifikationswerkzeugen. Nathan Wasser
2016	—	`conf`	Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study. POST Quoc Huy Do, Eduard Kamburjan, Nathan Wasser
2015	Misc	`conf`	Generating Specifications for Recursive Methods by Abstracting Program States. SETTA Nathan Wasser
2010	—	`ed.`	Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday Verification, Induction, Termination Analysis Simon Siegler, Nathan Wasser