Dr.-Ing. Sascha KlüppelholzPerson
Person
Beitragende
- Professur für Algebraische und logische Grundlagen der Informatik- Wissenschaftliches Personal
31 - 40 von 55Seitengröße: 10
55 Veröffentlichungen
2016
Modeling Role-Based Systems with Exogenous Coordination
Chrszon, 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. (Lecture Notes in Computer Science, Volume 9660).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen
VeröffentlichtThe Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware
Vö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.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Veröffentlicht
2015
Compositional Construction of Most General Controllers
Klein, J., Baier, C. & Klüppelholz, S., 2015, in: Acta Informatica. 52, 4-5, S. 443–482 40 S.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
VeröffentlichtLocks: Picking key methods for a scalable quantitative analysis
Baier, C., Daum, M., Engel, B., Härtig, H., Klein, J., Klüppelholz, S. & Märcker, S. & 2 weitere, , 2015, in: Journal of Computer and System Sciences. 81, 1, S. 258-287 30 S.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
VeröffentlichtProbabilistic Model Checking for Feature-oriented Systems
Dubslaff, C., Baier, C. & Klüppelholz, S., 2015, Transactions on Aspect-Oriented Software Development XII. Chiba, S., Tanter, É., Ernst, E. & Hirschfeld, R. (Hrsg.). Springer, Berlin [u. a.], S. 180-220 41 S. (Lecture Notes in Computer Science, Volume 8989).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung
Veröffentlicht
2014
Are Good-for-Games Automata Good for Probabilistic Model Checking?
Klein, J., Müller, D., Baier, C. & Klüppelholz, S., 2014, Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings. Dediu, A.-H., Martín-Vide, C., Sierra-Rodríguez, J.-L. & Truthe, B. (Hrsg.). Springer, Cham, S. 453-465 13 S. (Lecture Notes in Computer Science, Volume 8370).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
VeröffentlichtComputing Conditional Probabilities in Markovian Models Efficiently
Baier, C., Klein, J., Klüppelholz, S. & Märcker, S., 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. (Lecture Notes in Computer Science, Volume 8413).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
VeröffentlichtEnergy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking
Baier, C., Dubslaff, C., Klüppelholz, S. & Leuschner, L., 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. (Lecture Notes in Computer Science, Volume 8489).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
VeröffentlichtEnergy-Utility Quantiles
Baier, C., Daum, M., Dubslaff, C., Klein, J. & Klüppelholz, S., 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. (Lecture Notes in Computer Science, Volume 8430).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
VeröffentlichtProbabilistic Model Checking and Non-standard Multi-objective Reasoning
Baier, C., Dubslaff, C., Klüppelholz, S., Daum, M., Klein, J., Märcker, S. & Wunderlich, S., 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. (Lecture Notes in Computer Science, Volume 8411).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Eingeladen › Begutachtung
Veröffentlicht