Matthias Brill

Formal Verification of LSCs in the Development Process

Bernd Westphal, Werner Damm, Matthias Brill, 2004, SoftSpez Final Report.

Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification

Bernd Westphal, Werner Damm, Matthias Brill, 2004, SoftSpez Final Report.

Automatic Synthesis of Assumptions for Compositional Model Checking

Bernd Finkbeiner, Sven Schewe, Matthias Brill, 2006, FORTE.