Sascha Klüppelholz
From MaRDI portal
Person:967522
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Determinization and limit-determinization of Emerson-Lei automata | 2022-06-22 | Paper |
| Modeling role-based systems with exogenous coordination | 2021-05-20 | Paper |
| Maximizing the conditional expected reward for reaching the goal Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
| Markov chains and unambiguous Büchi automata Computer Aided Verification | 2019-05-03 | Paper |
| Trade-off analysis meets probabilistic model checking Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
| Weight monitoring with linear temporal logic Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
| Composition of stochastic transition systems based on spans and couplings | 2017-12-19 | Paper |
| Compositional construction of most general controllers Acta Informatica | 2015-06-24 | Paper |
| Energy-utility analysis for resilient systems using probabilistic model checking Application and Theory of Petri Nets and Concurrency | 2014-07-08 | Paper |
| Probabilistic model checking for energy-utility analysis Lecture Notes in Computer Science | 2014-06-02 | Paper |
| Synthesis of Reo connectors for strategies and controllers Fundamenta Informaticae | 2014-05-14 | Paper |
| Are good-for-games automata good for probabilistic model checking? Language and Automata Theory and Applications | 2014-03-31 | Paper |
| A compositional framework for controller synthesis CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
| Alternating-time stream logic for multi-agent systems Science of Computer Programming | 2010-04-29 | Paper |
| Formal Verification for Components and Connectors Formal Methods for Components and Objects | 2009-10-28 | Paper |
| Symbolic model checking for channel-based component connectors Science of Computer Programming | 2009-07-15 | Paper |
Research outcomes over time
This page was built for person: Sascha Klüppelholz
