Publications

2012

• Waiting for locks: How long does it usually take?Baier, C., Daum, M., Engel, B., Härtig, H., Klein, J., Klüppelholz, S., Märcker, S. & 2 others, 2012, Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings. Stoelinga, M. & Pinger, R. (eds.). Springer, Berlin [u. a.], p. 47-62, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2010

• 10031 Abstracts Collection – Quantitative Models: Expressiveness and Analysis: Proceedings of Dagstuhl Seminar 10031Baier, C., Droste, M., Gastin, P. & Larsen, K. G., 21 Jul 2010, Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 15 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Design and Verification of Systems with Exogenous Coordination Using VereofyBaier, C., Blechmann, T., Klein, J., Klüppelholz, S. & Leister, W., 2010, Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Springer Berlin / Heidelberg, p. 97-111, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Credo methodology (extended version)Grabe, I., Jaghoori, M. M., Klein, J., Klüppelholz, S., Stam, A., Baier, C., Blechmann, T. & 11 others, 2010, Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Boer, F. S., Bonsangue, M. M., Hallerstede, S. & Leuschel, M. (eds.). Springer-Verlag, p. 41-69, 29 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2009

• Symbolic model checking for channel-based component connectorsKlüppelholz, S. & Baier, C., 1 Jul 2009, In: Science of Computer Programming. 74, 9, p. 688-701, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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. Field, J. & Vasconcelos, V. T. (eds.). Springer Berlin / Heidelberg, 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. Boer, F. S., Bonsangue, M. M. & Madelaine, E. (eds.). Springer Berlin / Heidelberg, p. 82-101, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009Baier, C. & Pierro, A. D., 2009, Elsevier, 202 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Quantitative Analysis under Fairness ConstraintsBaier, C., Groesser, M. & Ciesinski, F., 2009, Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings. Liu, Z. & Ravn, A. P. (eds.). Berlin, Heidelberg: Springer, Berlin, Heidelberg, p. 135-150, 16 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