Publikationen

2010

• The Credo methodology (extended version)Grabe, I., Jaghoori, M. M., Klein, J., Klüppelholz, S., Stam, A., Baier, C., Blechmann, T. & 11 weitere, 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. (Hrsg.). Springer-Verlag, S. 41-69, 29 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

2009

• Symbolic model checking for channel-based component connectorsKlüppelholz, S. & Baier, C., 1 Juli 2009, in: Science of Computer Programming. 74, 9, S. 688-701, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). Springer Berlin / Heidelberg, S. 247-267, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer Berlin / Heidelberg, S. 82-101, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• 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. (Hrsg.). Berlin, Heidelberg: Springer, Berlin, Heidelberg, S. 135-150, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

2008

• Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)Baier, C. & Aldini, A., 12 Dez. 2008, Elsevier Science B.V., 199 S.Publikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Reduction Techniques for Model Checking Markov Decision ProcessesCiesinski, F., Baier, C., Groesser, M. & Klein, J., 14 Sept. 2008, QEST'08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems. IEEE Computer Society, Washington , S. 45-54, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Checking Equivalence for Reo NetworksBlechmann, T. & Baier, C., 29 Juni 2008, in: Electronic Notes in Theoretical Computer Science. 215, S. 209-226, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Generating Compact MTBDD-Representations from Probmela SpecificationsCiesinski, F., Baier, C., Größer, M. & Parker, D., 2008, Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings. Havelund, K., Majumdar, R. & Palsberg, J. (Hrsg.). Berlin, Heidelberg: Springer, Berlin, Heidelberg, S. 60-76, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband