Dipl. Inform. Boris Wirtz Scientific Researcher

Dipl. Inform. Boris Wirtz
Contact
Activities

Position at OFFIS

Scientific Researcher

Research and Developement Division

Verkehr / Safety & Security Oriented Design Methods & Processes

Competence Cluster

Safety Relevant Cyber Physical Systems (SRCPS)

News

+49 441 9722-539

boris.wirtz(at)offis.de

SEG02

OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg
GERMANY

Publications
of Dipl. Inform. Boris Wirtz

2019

ENABLE-S3 Demonstrator Overview: Final Results

ENABLE-S3 Consortium; May / 2019

Testing & Validation of Highly Automated Systems

Andrea Leitner, Arnold Akkermann, Bjørn Åge Hjøllo, Boris Wirtz, Dejan Nickovic, Eike Möhlmann, Hannes Holzer, Jaap van der Voet, Jürgen Niehaus, Mathieu Sarrazin, Marc Zofka, Martijn Rooker, Martin Kubisch, Michael Paulweber, Michael Siegel, Mika Rautila, Nadja Marko, Peter Tummeltshammer, Philipp Rosenberger, Relindis Rott, Stefan Muckenhuber, Sytze Kalisvaart, Thies de Graaff, Thomas D‘Hondt, Tobias Fleck, Zora Slavik; May / 2019

2006

Automatic verification of hybrid systems with large discrete state space

Damm, W. and Disch, S. and Hungar, H. and Pang, J. and Pigorsch, F. and Scholl, C. and Waldmann, U. and Wirtz, B.; Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06); 01 / 2006

BIB