Automatic Verification of Hybrid Systems with Large Discrete State Space. - Werner Damm; Stefan Disch; Hardi Hungar; Jun Pang 001; Florian Pigorsch; Christoph Scholl 001; Uwe Waldmann; Boris Wirtz (ATVA, 2006)

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 001; Florian Pigorsch; Christoph Scholl 001; Uwe Waldmann; Boris Wirtz (ATVA, 2007)

Automating Verification of Cooperation, Control, and Design in Traffic Applications. - Werner Damm; Alfred Mikschl; Jens Oehlerking; Ernst-Rüdiger Olderog; Jun Pang 001; André Platzer; Marc Segelken; Boris Wirtz (Formal Methods and Hybrid Real-Time Systems, 2007)

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 001; Uwe Waldmann; Boris Wirtz (Sci. Comput. Program., 2012)

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 001; Uwe Waldmann; Boris Wirtz (Sci. Comput. Program., 2017)

Handling Uncertainty in Collaborative Embedded Systems Engineering. - Torsten Bandyszak; Lisa Jöckel; Michael Kläs; Sebastian Törsleff; Thorsten Weyer; Boris Wirtz (Model-Based Engineering of Collaborative Embedded Systems, 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 (Model-Based Engineering of Collaborative Embedded Systems, 2021)