Tobias Blechmann

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, Wolfgang Leister
Design and Verification of Systems with Exogenous Coordination Using Vereofy. ISoLA (2) (2010)
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
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electron. Notes Theor. Comput. Sci. 266 (2010)
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
The Credo Methodology - (Extended Version). FMCO (2009)
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz
A Uniform Framework for Modeling and Verifying Components and Connectors. COORDINATION (2009)
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz
Formal Verification for Components and Connectors. FMCO (2008)
Tobias Blechmann, Christel Baier
Checking Equivalence for Reo Networks. Electron. Notes Theor. Comput. Sci. 215 (2008)