Publikationen

160 Einträge

Rare-event verification for stochastic hybrid systemsZuliani, P., Baier, C. & Clarke, E. M., 2012, HSCC '12: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. Dang, T. & Mitchell, I. M. (Hrsg.). Association for Computing Machinery (ACM), New York, S. 217-226, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Stochastic Game LogicBaier, C., Kučera, A., Groesser, M. & Brázdil, T., 2012, in: Acta Informatica. 49, 4, S. 203-224, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
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 weitere, 2012, Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings. Stoelinga, M. & Pinger, R. (Hrsg.). Springer, Berlin [u. a.], S. 47-62, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

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. (Hrsg.). Springer Berlin / Heidelberg, S. 97-111, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
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

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 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
Principles of Model CheckingKatoen, J. & Baier, C., 2008, Neuerscheinung Aufl., Cambridge, 975 S.Publikation: Buch/Gutachten/Sammelbände > Monographie

Zu dieser Seite