Nathan Wasser

Nathan Wasser

Technische Universität Darmstadt - Darmstadt / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 5277198
Darmstadt University of Technology
person_outline Nathan Wasser's MOST POPULAR ARTICLES
1-) A new invariant rule for the analysis of loops with non-standard control flowsD Steinhöfel, N WasserIntegrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017142017
2-) Towards a circular economy of industrial softwareV Kutscher, S Ruland, P Müller, N Wasser, M Lochau, R Anderl, A Schürr, ...Procedia CIRP 90, 37-42, 202082020
3-) Array abstraction with symbolic pivotsR Hähnle, N Wasser, R BubelTheory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 201682016
4-) Towards fully automatic logic-based information flow analysis: An electronic-voting case studyQH Do, E Kamburjan, N WasserPrinciples of Security and Trust: 5th International Conference, POST 2016 …, 201672016
5-) Automatic generation of specifications using verification toolsND WasserTechnische Universität Darmstadt, 201672016