Joost-Pieter Katoen

Cytowane przez

	Wszystkie	Od 2019
Cytowania	30008	11362
h-indeks	79	43
i10-indeks	260	163

2300

1150

575

1725

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024106 107 166 192 301 380 429 433 558 591 645 890 1068 1215 1340 1487 1574 1699 1572 1591 1769 1788 1663 1808 1868 1953 2261

Dostęp publiczny

Wyświetl wszystko

129 artykułów

3 artykuły

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusZweryfikowany adres z cs.uni-saarland.de
Christel BaierTU DresdenZweryfikowany adres z tu-dresden.de
Sebastian JungesAssistant Professor, Radboud University, NijmegenZweryfikowany adres z ru.nl
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumZweryfikowany adres z rub.de
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonZweryfikowany adres z cs.uni-saarland.de
Boudewijn R. HaverkortTilburg School of Humanities & Digital Sciences, Tilburg UniversityZweryfikowany adres z uvt.nl
Matthias VolkAssistant Professor, Eindhoven University of TechnologyZweryfikowany adres z tue.nl
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityZweryfikowany adres z cs.rwth-aachen.de
Christoph MathejaProfessor of Theory of Correct Systems, University of OldenburgZweryfikowany adres z uol.de
Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETZweryfikowany adres z famaf.unc.edu.ar
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyZweryfikowany adres z informatik.uni-freiburg.de
Martin LeuckerProfessor of Computer Science, University of LübeckZweryfikowany adres z isp.uni-luebeck.de
Tim QuatmannRWTH Aachen UniversityZweryfikowany adres z cs.rwth-aachen.de
Diego LatellaSenior Researcher - CNR-ISTI (Pisa)Zweryfikowany adres z cnr.it
Bernd BeckerProfessor of Computer Science, University of FreiburgZweryfikowany adres z informatik.uni-freiburg.de
Thomas NollRWTH Aachen UniversityZweryfikowany adres z cs.rwth-aachen.de
Ed BrinksmaHoogleraar informatica, Universiteit TwenteZweryfikowany adres z utwente.nl
Christian DehnertRWTH Aachen UniversityZweryfikowany adres z cs.rwth-aachen.de
Viet Yen NguyenCTO at HypefactorsZweryfikowany adres z hypefactors.com
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteZweryfikowany adres z utwente.nl

Obserwuj

Joost-Pieter Katoen

Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente

Zweryfikowany adres z cs.rwth-aachen.de - Strona główna

formal methods model checking concurrency theory probabilistic programming program verification


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
Principles of Model Checking C Baier, JP Katoen The MIT Press, 2008	8709	2008
Lectures on Formal Methods and Performance Analysis E Brinksma, H Hermanns, JP Katoen Springer, 2001	1268*	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	1060	2003
Model-Based Testing of Reactive Systems: Advanced Lectures M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Springer, 2005	1000*	2005
Validation of Stochastic Systems: A Guide to Current Research C Baier, B Haverkort, H Hermanns, JP Katoen, M Siegle Springer, LNCS, 2004	716*	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	566	2017
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	464	2011
Approximative symbolic model checking of continuous-time Markov chains C Baier, JP Katoen, H Hermanns Concurrency Theory (CONCUR), 146-161, 1999	378	1999
Process algebra for performance evaluation H Hermanns, U Herzog, JP Katoen Theoretical Computer Science 274 (1), 43-87, 2002	367	2002
A Markov reward model checker JP Katoen, M Khattri, IS Zapreev Quantitative Evaluation of Systems (QEST), 243-244, 2005	320	2005
Stochastic hybrid systems JP Hespanha, CG Cassandras, HAP Blom, J Lygeros, JP Katoen, ... CRC Press, 2018	285	2018
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	269	2011
The probabilistic model checker storm C Hensel, S Junges, JP Katoen, T Quatmann, M Volk Int. J. on Software Tools for Technology Transfer, 2022	251	2022
Model checking continuous-time Markov chains by transient analysis C Baier, B Haverkort, H Hermanns, JP Katoen Computer Aided Verification (CAV), 358-372, 2000	245	2000
Comparative branching-time semantics for Markov chains C Baier, JP Katoen, H Hermanns, V Wolf Information and Computation 200 (2), 149-214, 2005	232	2005
Approximate model checking of stochastic hybrid systems A Abate, JP Katoen, J Lygeros, M Prandini European Journal of Control 16 (6), 624-641, 2010	230	2010
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	224*	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	215	2006
The probabilistic model checking landscape JP Katoen IEEE/ACM Symposium on Logic In Computer Science (LICS), 2016	208	2016
Discrete-time rewards model-checked S Andova, H Hermanns, JP Katoen Formal Modeling and Analysis of Timed Systems (FORMATS), 88-104, 2004	208	2004

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy