Παρακολούθηση
Joost-Pieter Katoen
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.rwth-aachen.de - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Principles of Model Checking
C Baier, JP Katoen
The MIT Press, 2008
79422008
Lectures on Formal Methods and Performance Analysis
E Brinksma, H Hermanns, JP Katoen
Springer, 2001
1228*2001
Model-checking algorithms for continuous-time Markov chains
C Baier, B Haverkort, H Hermanns, JP Katoen
IEEE Transactions on Software Engineering 29 (6), 524-541, 2003
10282003
Model-Based Testing of Reactive Systems: Advanced Lectures
M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner
Springer, 2005
968*2005
Validation of Stochastic Systems: A Guide to Current Research
C Baier, B Haverkort, H Hermanns, JP Katoen, M Siegle
Springer, LNCS, 2004
677*2004
A storm is coming: A modern probabilistic model checker
C Dehnert, S Junges, JP Katoen, M Volk
Computer Aided Verification (CAV), 592-600, 2017
5002017
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
4452011
Approximative symbolic model checking of continuous-time Markov chains
C Baier, JP Katoen, H Hermanns
Concurrency Theory (CONCUR), 146-161, 1999
3641999
Process algebra for performance evaluation
H Hermanns, U Herzog, JP Katoen
Theoretical Computer Science 274 (1), 43-87, 2002
3562002
A Markov reward model checker
JP Katoen, M Khattri, IS Zapreev
Quantitative Evaluation of Systems (QEST), 243-244, 2005
3112005
Safety, dependability and performance analysis of extended AADL models
M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri
The Computer Journal 54 (5), 754-775, 2011
2562011
Model checking continuous-time Markov chains by transient analysis
C Baier, B Haverkort, H Hermanns, JP Katoen
Computer Aided Verification (CAV), 358-372, 2000
2332000
Comparative branching-time semantics for Markov chains
C Baier, JP Katoen, H Hermanns, V Wolf
Information and Computation 200 (2), 149-214, 2005
2252005
Approximate model checking of stochastic hybrid systems
A Abate, JP Katoen, J Lygeros, M Prandini
European Journal of Control 16 (6), 624-641, 2010
2132010
The bounded retransmission protocol must be on time!
PR D'Argenio, JP Katoen, TC Ruys, J Tretmans
Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 1997
211*1997
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
2062006
Discrete-time rewards model-checked
S Andova, H Hermanns, JP Katoen
Formal Modeling and Analysis of Timed Systems (FORMATS), 88-104, 2004
1972004
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
C Baier, H Hermanns, JP Katoen, BR Haverkort
Theoretical Computer Science 345 (1), 2-26, 2005
1842005
Concepts, algorithms, and tools for model checking
JP Katoen
IMMD, University of Erlangen-Nürnberg, 1999
181*1999
A Markov chain model checker
H Hermanns, JP Katoen, J Meyer-Kayser, M Siegle
Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2000
170*2000
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20