Dipl.-Inform. Boris Wirtz Wissenschaftlicher Mitarbeiter

Dipl.-Inform. Boris Wirtz
Kontaktdaten
Tätigkeiten

Position im OFFIS

Wissenschaftlicher Mitarbeiter

Forschungsbereiche

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

O118

OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg

Publikationen
von 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