受强制性开放获取政策约束的文章 - Joachim Klein了解详情
无法在其他位置公开访问的文章：8 篇
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
强制性开放获取政策： German Research Foundation
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
强制性开放获取政策： German Research Foundation
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
强制性开放获取政策： German Research Foundation
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
强制性开放获取政策： German Research Foundation
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
强制性开放获取政策： German Research Foundation
Probabilistic model checking and non-standard multi-objective reasoning
C Baier, C Dubslaff, S Klüppelholz, M Daum, J Klein, S Märcker, ...
International Conference on Fundamental Approaches to Software Engineering, 1-16, 2014
强制性开放获取政策： German Research Foundation
A compositional framework for controller synthesis
C Baier, J Klein, S Klüppelholz
CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011
强制性开放获取政策： German Research Foundation
Compositional construction of most general controllers
J Klein, C Baier, S Klüppelholz
Acta Informatica 52 (4-5), 443-482, 2015
强制性开放获取政策： German Research Foundation
可在其他位置公开访问的文章：21 篇
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
强制性开放获取政策： Austrian Science Fund, German Research Foundation, European Commission
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
强制性开放获取政策： US Department of Defense, German Research Foundation
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
强制性开放获取政策： 国家自然科学基金委员会, German Research Foundation, Netherlands Organisation …
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
强制性开放获取政策： German Research Foundation, UK Engineering and Physical Sciences Research …
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
强制性开放获取政策： German Research Foundation
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
强制性开放获取政策： German Research Foundation
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
强制性开放获取政策： German Research Foundation
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
强制性开放获取政策： German Research Foundation
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
强制性开放获取政策： German Research Foundation
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
强制性开放获取政策： German Research Foundation
Are good-for-games automata good for probabilistic model checking?
J Klein, D Müller, C Baier, S Klüppelholz
Language and Automata Theory and Applications: 8th International Conference …, 2014
强制性开放获取政策： German Research Foundation
Synthesis of Reo connectors for strategies and controllers
C Baier, J Klein, S Klüppelholz
Fundamenta Informaticae 130 (1), 1-20, 2014
强制性开放获取政策： German Research Foundation
出版信息和资助信息由计算机程序自动确定