Joachim Klein

According to our database1, Joachim Klein
  • authored at least 33 papers between 2005 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Maximizing the Conditional Expected Reward for Reaching the Goal.
CoRR, 2017

Maximizing the Conditional Expected Reward for Reaching the Goal.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Computing Conditional Probabilities: Implementation and Evaluation.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Markov Chains and Unambiguous Büchi Automata.
CoRR, 2016

Advances in Symbolic Probabilistic Model Checking with PRISM.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Markov Chains and Unambiguous Büchi Automata.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Modeling Role-Based Systems with Exogenous Coordination.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
Locks: Picking key methods for a scalable quantitative analysis.
J. Comput. Syst. Sci., 2015

Compositional construction of most general controllers.
Acta Inf., 2015

The Hanoi Omega-Automata Format.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Synthesis of Reo Connectors for Strategies and Controllers.
Fundam. Inform., 2014

Computing Conditional Probabilities in Markovian Models Efficiently.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Energy-Utility Quantiles.
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Are Good-for-Games Automata Good for Probabilistic Model Checking?
Proceedings of the Language and Automata Theory and Applications, 2014

Probabilistic Model Checking and Non-standard Multi-objective Reasoning.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

Weight monitoring with linear temporal logic: complexity and decidability.
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), 2014

Probabilistic Model Checking for Energy-Utility Analysis.
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013
Compositional synthesis and most general controllers.
PhD thesis, 2013

2012
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Waiting for Locks: How Long Does It Usually Take?
Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2011
Modeling and Verification of Components and Connectors.
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011

A Compositional Framework for Controller Synthesis.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
Electr. Notes Theor. Comput. Sci., 2010

Design and Verification of Systems with Exogenous Coordination Using Vereofy.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
The Credo Methodology - (Extended Version).
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

A Uniform Framework for Modeling and Verifying Components and Connectors.
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

2008
Reduction Techniques for Model Checking Markov Decision Processes.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Formal Verification for Components and Connectors.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2007
On-the-Fly Stuttering in the Construction of Deterministic omega -Automata.
Proceedings of the Implementation and Application of Automata, 2007

2006
Experiments with deterministic omega-automata for formulas of linear temporal logic.
Theor. Comput. Sci., 2006

2005
Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic.
Proceedings of the Implementation and Application of Automata, 2005


  Loading...