Tobias Blechmann

According to our database, Tobias Blechmann authored at least 6 papers between 2007 and 2010.

Collaborative distances:

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

2010

Design and Verification of Systems with Exogenous Coordination Using Vereofy.

Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, Wolfgang Leister

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.

Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

The Credo Methodology - (Extended Version).

Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

A Uniform Framework for Modeling and Verifying Components and Connectors.

Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

2008

Formal Verification for Components and Connectors.

Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2007

Checking Equivalence for Reo Networks.

Tobias Blechmann, Christel Baier

Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007