Publications

2009

• A uniform framework for modeling and verifying components and connectorsBaier, C., Blechmann, T., Klein, J. & Klüppelholz, S., 2009, Coordination Models and Languages - 11th International Conference, COORDINATION 2009, Proceedings. p. 247-267, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Formal verification for components and connectorsBaier, C., Blechmann, T., Klein, J. & Klüppelholz, S., 2009, Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey. p. 82-101, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2008

• Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)Baier, C. & Aldini, A., 12 Dec 2008, Elsevier Science B.V., 199 p.Research output: Book/Report/Anthology > Conference proceeding
• Principles of Model CheckingKatoen, J. & Baier, C., 2008, Neuerscheinung ed., Cambridge, 975 p.Research output: Book/Report/Anthology > Monograph