Checking Equivalence for Reo Networks. - Tobias Blechmann 001; Christel Baier (FACS, 2007)

Formal Verification for Components and Connectors. - Christel Baier; Tobias Blechmann 001; Joachim Klein 001; Sascha Klüppelholz (FMCO, 2008)

A Uniform Framework for Modeling and Verifying Components and Connectors. - Christel Baier; Tobias Blechmann 001; Joachim Klein 001; Sascha Klüppelholz (COORDINATION, 2009)

The Credo Methodology - (Extended Version). - Immo Grabe; Mohammad Mahdi Jaghoori; Joachim Klein 001; Sascha Klüppelholz; Andries Stam; Christel Baier; Tobias Blechmann 001; Bernhard K. Aichernig; Frank S. de Boer; Andreas Griesmayer (FMCO, 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 001; Frank S. de Boer; Andreas Griesmayer; Einar Broch Johnsen; Joachim Klein 001; Sascha Klüppelholz; Marcel Kyas; Wolfgang Leister; et al. (TTSS, 2009)

Design and Verification of Systems with Exogenous Coordination Using Vereofy. - Christel Baier; Tobias Blechmann 001; Joachim Klein 001; Sascha Klüppelholz; Wolfgang Leister (ISoLA (2), 2010)