Joachim Klein

Citado por

	Total	Desde 2019
Citas	1400	688
Índice h	21	15
Índice i10	34	20

140

105

20062007200820092010201120122013201420152016201720182019202020212022202320246 3 11 12 34 47 36 55 68 77 123 89 131 114 134 127 111 102 98

Acceso público

Ver todo

21 artículos

8 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Christel BaierTU DresdenDirección de correo verificada de tu-dresden.de
Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenDirección de correo verificada de tcs.inf.tu-dresden.de
Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Dirección de correo verificada de tue.nl
Steffen MärckerFaculty of Computer Science, TU DresdenDirección de correo verificada de tu-dresden.de
David ParkerProfessor of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Sascha WunderlichTU DresdenDirección de correo verificada de tu-dresden.de
Jan KřetínskýMasaryk University Brno; Technical University of MunichDirección de correo verificada de fi.muni.cz
Wolfgang LeisterActing Research Director, Norsk RegnesentralDirección de correo verificada de nr.no
Jan StrejčekMasaryk UniversityDirección de correo verificada de fi.muni.cz
Alexandre Duret-LutzLRE / EPITADirección de correo verificada de lrde.epita.fr
František BlahoudekPure StorageDirección de correo verificada de fi.muni.cz
Tim QuatmannRWTH Aachen UniversityDirección de correo verificada de cs.rwth-aachen.de
Michaela KlauckRobert Bosch GmbH - Bosch Research, Saarland University, Saarland Informatics CampusDirección de correo verificada de de.bosch.com
Arnd HartmannsUniversity of TwenteDirección de correo verificada de utwente.nl
Ernst Moritz HahnUniversity of TwenteDirección de correo verificada de utwente.nl
Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgDirección de correo verificada de uni.lu
Hermann HärtigProfessor Computer Science, Technische Universität DresdenDirección de correo verificada de tu-dresden.de
James WorrellProfessor of Computer Science, Oxford UniversityDirección de correo verificada de cs.ox.ac.uk
Stefan KieferProfessor of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Sebastian JungesAssistant Professor, Radboud University, NijmegenDirección de correo verificada de ru.nl

Seguir

Joachim Klein

TU Dresden (formerly)

Dirección de correo verificada de automata.tools - Página principal


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Experiments with deterministic ω-automata for formulas of linear temporal logic J Klein, C Baier Theoretical Computer Science 363 (2), 182-195, 2006	133	2006
Experiments with deterministic ω-automata for formulas of linear temporal logic J Klein, C Baier International Conference on Implementation and Application of Automata, 199-212, 2005	133	2005
The Hanoi omega-automata format T Babiak, F Blahoudek, A Duret-Lutz, J Klein, J Křetínský, D Müller, ... Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015	125	2015
Ensuring the reliability of your model checker: Interval iteration for Markov decision processes C Baier, J Klein, L Leuschner, D Parker, S Wunderlich Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017	91	2017
Energy-utility quantiles C Baier, M Daum, C Dubslaff, J Klein, S Klüppelholz NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014	71	2014
The 2019 comparison of tools for the analysis of quantitative formal models EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ... International Conference on Tools and Algorithms for the Construction and …, 2019	69	2019
Reduction techniques for model checking Markov decision processes F Ciesinski, C Baier, M Größer, J Klein 2008 Fifth International Conference on Quantitative Evaluation of Systems, 45-54, 2008	67	2008
Computing conditional probabilities in Markovian models efficiently C Baier, J Klein, S Klüppelholz, S Märcker Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014	63	2014
A uniform framework for modeling and verifying components and connectors C Baier, T Blechmann, J Klein, S Klüppelholz Coordination Models and Languages: 11th International Conference …, 2009	58	2009
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata J Klein, C Baier, P Chrszon, M Daum, C Dubslaff, S Klüppelholz, ... International Journal on Software Tools for Technology Transfer 20 (2), 179-194, 2018	49	2018
On-the-Fly Stuttering in the Construction of Deterministic ω-Automata J Klein, C Baier Implementation and Application of Automata: 12th International Conference …, 2007	49	2007
Design and verification of systems with exogenous coordination using Vereofy C Baier, T Blechmann, J Klein, S Klüppelholz, W Leister Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010	44	2010
Markov chains and unambiguous Büchi automata C Baier, S Kiefer, J Klein, S Klüppelholz, D Müller, J Worrell Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016	41	2016
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination C Baier, C Hensel, L Hutschenreiter, S Junges, JP Katoen, J Klein Information and Computation 272, 104504, 2020	38	2020
Advances in symbolic probabilistic model checking with PRISM J Klein, C Baier, P Chrszon, M Daum, C Dubslaff, S Klüppelholz, ... Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016	38	2016
Formal verification for components and connectors C Baier, T Blechmann, J Klein, S Klüppelholz Formal Methods for Components and Objects: 7th International Symposium, FMCO …, 2009	37	2009
Weight monitoring with linear temporal logic: complexity and decidability C Baier, J Klein, S Klüppelholz, S Wunderlich Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014	36	2014
ltl2dstar-LTL to deterministic Streett and Rabin automata J Klein	34	2007
Probabilistic model checking for energy-utility analysis C Baier, C Dubslaff, J Klein, S Klüppelholz, S Wunderlich Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to …, 2014	31	2014
Maximizing the conditional expected reward for reaching the goal C Baier, J Klein, S Klüppelholz, S Wunderlich Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017	30	2017

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores