According to our database1, Tobias Blechmann authored at least 6 papers between 2008 and 2010.
Legend:Book In proceedings Article PhD thesis Other
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
Electr. Notes Theor. Comput. Sci., 2010
Design and Verification of Systems with Exogenous Coordination Using Vereofy.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
The Credo Methodology - (Extended Version).
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
A Uniform Framework for Modeling and Verifying Components and Connectors.
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009
Checking Equivalence for Reo Networks.
Electr. Notes Theor. Comput. Sci., 2008
Formal Verification for Components and Connectors.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008