Publikationen

149 Einträge

2016

  • Advances in Symbolic Probabilistic Model Checking with PRISMKlein, J., Baier, C., Chrszon, P., Daum, M., Dubslaff, C., Klüppelholz, S., Märcker, S. & 1 weitere, 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Chechik, M. & Raskin, J. (Hrsg.). Springer, Berlin [u. a.], S. 349-366, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
  • Composition of stochastic transition systems based on spans and couplingsGburek, D., Baier, C. & Klüppelholz, S., 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y. & Sangiorgi, D. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, S. 102:1-102:15Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
  • Cost-Utility Analysis in Probabilistic ModelsBaier, C., 2016, 2016 10th International Symposium on Theoretical Aspects of Software Engineering: TASE 2016. IEEE, New York [u. a.], S. 1-1Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
  • Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeatChrszon, P., Dubslaff, C., Klüppelholz, S. & Baier, C., 2016, Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Stevens, P. & Wąsowski, A. (Hrsg.). Springer, Berlin [u. a.], S. 287-304, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
  • Greener Bits: Formal Analysis of Demand ResponseBaier, C., Klüppelholz, S., de Meer, H., Niedermeier, F. & Wunderlich, S., 2016, Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. Artho, C., Legay, A. & Peled, D. (Hrsg.). Springer, Berlin [u. a.], S. 323–339Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
  • Markov Chains and Unambiguous Büchi AutomataBaier, C., Kiefer, S., Klein, J., Klüppelholz, S., Müller, D. & Worrell, J., 2016, Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. Chaudhuri, S. & Farzan, A. (Hrsg.). Springer, Berlin [u. a.], S. 23-42, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
  • Modeling Role-Based Systems with Exogenous CoordinationChrszon, P., Dubslaff, C., Baier, C., Klein, J. & Klüppelholz, S., 2016, Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Ábrahám, E., Bonsangue, M. & Johnsen, E. B. (Hrsg.).S. 122-139, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
  • The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS HardwareVölp, M., Klüppelholz, S., Castrillon, J., Härtig, H., Asmussen, N., Aßmann, U., Baader, F. & 23 weitere, 2016, Proceedings of the 1st International Workshop on Post-Moore's Era Supercomputing (PMES). 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

2015

Logo Forschungsinformationssystem Diese Informationen werden durch das FIS bereitgestellt.

Zu dieser Seite

Calvin Chau
Letzte Änderung: 22.04.2024