Joachim Klein
Orcid: 0000-0003-4681-6964Affiliations:
- Technische Universität Dresden, Department of Computer Science
According to our database1,
Joachim Klein
authored at least 39 papers
between 2005 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
2021
Formal Methods Syst. Des., 2021
2020
Inf. Comput., 2020
2019
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Automated Technology for Verification and Analysis, 2019
2018
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.
Int. J. Softw. Tools Technol. Transf., 2018
Proceedings of the It's All About Coordination, 2018
2017
Proceedings of the Proceedings Eighth International Symposium on Games, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
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
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
Proceedings of the Theory and Practice of Formal Methods, 2016
2015
J. Comput. Syst. Sci., 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Fundam. Informaticae, 2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014
Proceedings of the Language and Automata Theory and Applications, 2014
Proceedings of the Fundamental Approaches to Software Engineering, 2014
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
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014
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
Proceedings of the Formal Methods for Industrial Critical Systems, 2012
2011
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
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011
2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
2009
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009
2008
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008
2007
Proceedings of the Implementation and Application of Automata, 2007
2006
Experiments with deterministic <i>omega</i>-automata for formulas of linear temporal logic.
Theor. Comput. Sci., 2006
2005
Proceedings of the Implementation and Application of Automata, 2005