Publications
146 Entries
2016
-
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat , 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. (eds.). Springer, Berlin [u. a.], p. 287-304, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Greener Bits: Formal Analysis of Demand Response , 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. (eds.). Springer, Berlin [u. a.], p. 323–339Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Markov Chains and Unambiguous Büchi Automata , 2016, Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. Chaudhuri, S. & Farzan, A. (eds.). Springer, Berlin [u. a.], p. 23-42, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Modeling Role-Based Systems with Exogenous Coordination , 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. (eds.).p. 122-139, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware , 2016, Proceedings of the 1st International Workshop on Post-Moore's Era Supercomputing (PMES). 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
2015
-
Compositional Construction of Most General Controllers , 2015, In: Acta Informatica. 52, 4-5, p. 443–482, 40 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Locks: Picking key methods for a scalable quantitative analysis , 2015, In: Journal of Computer and System Sciences. 81, 1, p. 258-287, 30 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Probabilistic Model Checking for Feature-oriented Systems , 2015, Transactions on Aspect-Oriented Software Development XII. Chiba, S., Tanter, É., Ernst, E. & Hirschfeld, R. (eds.). Springer, Berlin [u. a.], p. 180-220, 41 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Quantitative Analysis of Communication Scenarios , 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Sankaranarayanan, S. & Vicario, E. (eds.). Springer, Cham, p. 76-92, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Ratio and Weight Quantiles , 2015, Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. Italiano, G. F., Pighizzini, G. & Sannella, D. T. (eds.). Springer, Berlin [u. a.], p. 344-356, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution