Publikationen
146 Einträge
2015
-
Reasoning About Cost-Utility Constraints in Probabilistic Models , 2015, Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings. Bojanczyk, M., Lasota, S. & Potapov, I. (Hrsg.). Springer, Cham, S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings , 2015, Springer, Berlin [u. a.]Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
2014
-
Are Good-for-Games Automata Good for Probabilistic Model Checking? , 2014, Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings. Dediu, A., Martín-Vide, C., Sierra-Rodríguez, J. & Truthe, B. (Hrsg.). Springer, Cham, S. 453-465, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Computing Conditional Probabilities in Markovian Models Efficiently , 2014, Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Ábrahám, E. & Havelund, K. (Hrsg.). Springer, Berlin [u. a.], S. 515-530, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking , 2014, Application and Theory of Petri Nets and Concurrency: 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings. Ciardo, G. & Kindler, E. (Hrsg.). Springer, Cham, S. 20-39, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Energy-Utility Quantiles , 2014, NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings. Badger, J. M. & Rozier, K. Y. (Hrsg.). Springer, Cham, S. 285-299, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Probabilistic Model Checking and Non-standard Multi-objective Reasoning , 2014, Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Gnesi, S. & Rensink, A. (Hrsg.). Springer, Berlin [u. a.], S. 1-16, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Probabilistic Model Checking for Energy Analysis in Software Product Lines , 2014, MODULARITY '14: Proceedings of the 13th international conference on Modularity. Association for Computing Machinery (ACM), New York, S. 169-180, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Probabilistic Model Checking for Energy-Utility Analysis , 2014, Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (Hrsg.). Springer, Cham, S. 96-123, 28 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Synthesis of Reo Connectors for Strategies and Controllers , 2014, in: Fundamenta Informaticae. 130, 1, S. 1-20, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel