Boris Wirtz

According to our database, Boris Wirtz authored at least 7 papers between 2006 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Modeling and Analyzing Context-Sensitive Changes during Runtime.

Jan Christoph Wehrstedt, Jennifer Brings, Birte Caesar, Marian Daun, Linda Feeken, Constantin Hildebrandt, Wolfram Klein, Vincent Malik, Boris Wirtz, Stefanie Wolf

Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

Handling Uncertainty in Collaborative Embedded Systems Engineering.

Torsten Bandyszak, Lisa Jöckel, Michael Kläs, Sebastian Törsleff, Thorsten Weyer, Boris Wirtz

Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

2017

Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement.

Ernst Althaus, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Sci. Comput. Program., 2017

2012

Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces.

Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Sci. Comput. Program., 2012

2007

Automating Verification of Cooperation, Control, and Design in Traffic Applications.

Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space.

Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Automatic Verification of Hybrid Systems with Large Discrete State Space.

Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Proceedings of the Automated Technology for Verification and Analysis, 2006