Matthias Brill

Publication Activity (10 Years)

Years Active: 2004-2006
Publications (10 Years): 0

Publications

Bernd Finkbeiner, Sven Schewe, Matthias Brill
Automatic Synthesis of Assumptions for Compositional Model Checking. FORTE (2006)
Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke
Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification. SoftSpez Final Report (2004)
Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke
Formal Verification of LSCs in the Development Process. SoftSpez Final Report (2004)