Matthias Brill

According to our database, Matthias Brill authored at least 3 papers between 2004 and 2006.

Collaborative distances:

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

2006

Automatic Synthesis of Assumptions for Compositional Model Checking.

Bernd Finkbeiner, Sven Schewe, Matthias Brill

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2004

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

Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Formal Verification of LSCs in the Development Process.

Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004