Artículos con órdenes de acceso público - Joost-Pieter KatoenMás información
No disponibles en ningún lugar: 3
Operational versus weakest precondition semantics for the probabilistic guarded command language
F Gretz, JP Katoen, A McIver
Performance Evaluation 73, 110-132, 2014
Órdenes: Australian Research Council, German Research Foundation
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs
S Khan, JP Katoen, M Volk, M Bouissou
IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC …, 2019
Órdenes: German Research Foundation
POMDP controllers with optimal budget
J Spel, S Stein, JP Katoen
International Conference on Quantitative Evaluation of Systems (QEST), 107-130, 2022
Órdenes: German Research Foundation
Disponibles en algún lugar: 128
The ins and outs of the probabilistic model checker MRMC
JP Katoen, IS Zapreev, EM Hahn, H Hermanns, DN Jansen
Performance Evaluation 68 (2), 90-104, 2011
Órdenes: German Research Foundation
Approximate model checking of stochastic hybrid systems
A Abate, JP Katoen, J Lygeros, M Prandini
European Journal of Control 16 (6), 624-641, 2010
Órdenes: Swiss National Science Foundation
MoDeST: A compositional modeling formalism for hard and softly timed systems
H Bohnenkamp, PR D'Argenio, H Hermanns, JP Katoen
IEEE Transactions on Software Engineering 32 (10), 812-830, 2006
Órdenes: German Research Foundation
The probabilistic model checker storm
C Hensel, S Junges, JP Katoen, T Quatmann, M Volk
Int. J. on Software Tools for Technology Transfer, 2022
Órdenes: US National Science Foundation, US Department of Defense, German Research …
The probabilistic model checking landscape
JP Katoen
IEEE/ACM Symposium on Logic In Computer Science (LICS), 2016
Órdenes: Netherlands Organisation for Scientific Research
A compositional modelling and analysis framework for stochastic hybrid systems
EM Hahn, A Hartmanns, H Hermanns, JP Katoen
Formal Methods in System Design 43 (2), 191-232, 2013
Órdenes: German Research Foundation
Three-valued abstraction for probabilistic systems
JP Katoen, D Klink, M Leucker, V Wolf
The Journal of Logic and Algebraic Programming 81 (4), 356-389, 2012
Órdenes: German Research Foundation
Bisimulation minimisation mostly speeds up probabilistic model checking
JP Katoen, T Kemna, I Zapreev, DN Jansen
Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2007
Órdenes: German Research Foundation
Safety-constrained reinforcement learning for MDPs
S Junges, N Jansen, C Dehnert, U Topcu, JP Katoen
Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2016
Órdenes: US National Science Foundation, German Research Foundation
Fast dynamic fault tree analysis by model checking techniques
M Volk, S Junges, JP Katoen
IEEE Transactions on Industrial Informatics 14 (1), 2017
Órdenes: Federal Ministry of Education and Research, Germany
Quantitative model-checking of controlled discrete-time Markov processes
I Tkachev, A Mereacre, JP Katoen, A Abate
Information and Computation 253, 1-35, 2017
Órdenes: German Research Foundation, Netherlands Organisation for Scientific Research …
Model checking of continuous-time Markov chains against timed automata specifications
T Chen, T Han, JP Katoen, A Mereacre
IEEE Symposium on Logic In Computer Science (LICS), 309-318, 2009
Órdenes: German Research Foundation
A new proof rule for almost-sure termination
A McIver, C Morgan, BL Kaminski, JP Katoen
Proceedings of the ACM on Programming Languages (POPL), 2018
Órdenes: Australian Research Council
On the hardness of analyzing probabilistic programs
BL Kaminski, JP Katoen, C Matheja
Acta Informatica 56, 255-285, 2019
Órdenes: German Research Foundation
Approximate parameter synthesis for probabilistic time-bounded reachability
T Han, JP Katoen, A Mereacre
IEEE Real-Time Systems Symposium (RTSS), 173-182, 2008
Órdenes: German Research Foundation
Conditioning in probabilistic programming
F Olmedo, F Gretz, N Jansen, BL Kaminski, JP Katoen, A McIver
ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (1), 1-50, 2018
Órdenes: German Research Foundation
A semantics for every GSPN
C Eisentraut, H Hermanns, JP Katoen, L Zhang
Petri Nets, 90-109, 2013
Órdenes: German Research Foundation
La información de publicación y financiación se determina de forma automática mediante un programa informático