Publications-Nathan Wasser

< back to Nathan Wasser

Publications

Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Publikationsjahr | Typ des Eintrags | Keine Gruppierung
Springe zu: 2020 | 2019 | 2017 | 2016 | 2015 | 2014
Anzahl der Einträge: 13.

2020

Kutscher, Vladimir ; Ruland, Sebastian ; Müller, Patrick ; Wasser, Nathan ; Lochau, Malte ; Anderl, Reiner ; Schürr, Andy ; Mezini, Mira ; Hähnle, Reiner (2020):
Towards a Circular Economy of Industrial Software.
90In: Procedia CIRP, Grenoble, Elsevier, In: 27th CIRP Life Cycle Engineering (LCE) Conference, Grenoble, 13.05-15.05.2020, S. 37-42, DOI: 10.1016/j.procir.2020.01.133,
[Online-Edition: https://www.sciencedirect.com/science/article/pii/S221282712...],
[Konferenzveröffentlichung]

2019

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

Wasser, Nathan ; Tabar, Asmae Heydari ; Hähnle, Reiner Hojjat, Hossein ; Massink, Mieke (Hrsg.) (2019):
Modeling Non-deterministic C Code with Active Objects.
In: Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, DOI: 10.1007/978-3-030-31517-7_15,
[Online-Edition: https://doi.org/10.1007/978-3-030-31517-7\_15],
[Konferenzveröffentlichung]

2017

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

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

Walther, Christoph ; Wasser, Nathan (2017):
Fermat, Euler, Wilson - Three Case Studies in Number Theory.
In: Journal of Automated Reasoning, (2), 59. Springer, S. 267-286, ISSN 1573-0670,
DOI: 10.1007/s10817-016-9387-z,
[Online-Edition: https://link.springer.com/article/10.1007/s10817-016-9387-z],
[Article]

2016

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

Wasser, Nathan ; Hähnle, Reiner ; Bubel, Richard Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (Hrsg.) (2016):
Abstract Interpretation.
In: Lecture Notes in Computer Science, In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, S. 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]

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/],
[Dissertation]

Do, Quoc Huy ; Kamburjan, Eduard ; Wasser, Nathan Piessens, Frank ; Vigano, Luca (Hrsg.) (2016):
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.
9635In: Lecture Notes in Computer Science, 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, S. 97-115, DOI: 10.1007/978-3-662-49635-0₆,
[Online-Edition: https://doi.org/10.1007/978-3-662-49635-0_6],
[Konferenzveröffentlichung]

2015

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

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

2014

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

Diese Liste wurde am Mon Oct 26 06:57:04 2020 CET generiert.

go to TU-biblio search on ULB website