TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 11.

Wasser, Nathan and Steinhöfel, Dominic (2019):
Technical Report: Using Loop Scopes with for-Loops.
[Online-Edition: https://arxiv.org/abs/1901.06839],
[Report]

Steinhöfel, Dominic and Wasser, Nathan
Polikarpova, Nadia and Schneider, Steve (eds.) (2017):
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.
In: Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, Springer, In: Lecture Notes in Computer Science, 10510, ISBN 978-3-319-66844-4,
DOI: 10.1007/978-3-319-66845-1,
[Conference or Workshop Item]

Steinhöfel, Dominic and Wasser, Nathan (2017):
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.
[Report]

Walther, Christoph and Wasser, Nathan (2017):
Fermat, Euler, Wilson - Three Case Studies in Number Theory.
In: J. Autom. Reasoning, pp. 267-286, 59, (2), DOI: 10.1007/s10817-016-9387-z,
[Online-Edition: https://doi.org/10.1007/s10817-016-9387-z],
[Article]

Wasser, Nathan and Hähnle, Reiner and Bubel, Richard
Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Abstract Interpretation.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 167-189, DOI: 10.1007/978-3-319-49812-6₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_6],
[Book Section]

Hähnle, Reiner and Wasser, Nathan and Bubel, Richard
Ábrahám, Erika and Bonsangue, Marcello M. and Johnsen, Einar Broch (eds.) (2016):
Array Abstraction with Symbolic Pivots.
Springer, In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, In: Lecture Notes in Computer Science, 9660, DOI: 10.1007/978-3-319-30734-3₉,
[Online-Edition: https://doi.org/10.1007/978-3-319-30734-3_9],
[Conference or Workshop Item]

Wasser, Nathan (2016):
Automatic generation of specifications using verification tools = Automatische Spezifikationserzeugung mit Hilfe von Verifikationswerkzeugen.
Darmstadt University of Technology, Germany, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5910/],
[Ph.D. Thesis]

Do, Quoc Huy and Kamburjan, Eduard and Wasser, Nathan
Piessens, Frank and Vigano, Luca (eds.) (2016):
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.
Springer, In: Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, In: Lecture Notes in Computer Science, 9635, DOI: 10.1007/978-3-662-49635-0₆,
[Online-Edition: https://doi.org/10.1007/978-3-662-49635-0_6],
[Conference or Workshop Item]

Wasser, Nathan and Bubel, Richard and Hähnle, Reiner (2015):
Array Abstraction with Symbolic Pivots.
[Report]

Wasser, Nathan
Li, Xuandong and Liu, Zhiming and Yi, Wang (eds.) (2015):
Generating Specifications for Recursive Methods by Abstracting Program States.
Springer, In: Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings, In: Lecture Notes in Computer Science, 9409, DOI: 10.1007/978-3-319-25942-0₁₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-25942-0_16],
[Conference or Workshop Item]

Wasser, Nathan and Bubel, Richard (2014):
A Theorem Prover Backed Approach to Array Abstraction.
[Report]

This list was generated on Sat Jun 15 01:24:40 2019 CEST.