Joachim Klein

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
From LTL to unambiguous Büchi automata via disambiguation of alternating automata	2024-03-14	Paper
Markov chains and unambiguous automata Journal of Computer and System Sciences	2023-06-12	Paper
From LTL to unambiguous Büchi automata via disambiguation of alternating automata Formal Methods in System Design	2022-06-20	Paper
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination	2021-12-14	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
Generic emptiness check for fun and profit Automated Technology for Verification and Analysis	2020-07-20	Paper
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination Information and Computation	2020-05-26	Paper
Markov chains and unambiguous Büchi automata Computer Aided Verification	2019-05-03	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
Compositional construction of most general controllers Acta Informatica	2015-06-24	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
Formal Verification for Components and Connectors Formal Methods for Components and Objects	2009-10-28	Paper
On-the-Fly Stuttering in the Construction of Deterministic ω-Automata Implementation and Application of Automata	2008-06-10	Paper
Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic Theoretical Computer Science	2007-01-09	Paper
Implementation and Application of Automata Lecture Notes in Computer Science	2006-11-13	Paper
Finite element method for time-dependent problems of frozen soils International Journal for Numerical and Analytical methods in Geomechanics	1981-01-01	Paper

Research outcomes over time

This page was built for person: Joachim Klein