Joost-Pieter Katoen

Citata da

	Tutte	Dal 2020
Citazioni	30261	9840
Indice H	79	40
i10-index	262	152

2500

1250

625

1875

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025106 107 166 192 301 380 429 433 558 593 645 890 1072 1216 1340 1488 1575 1699 1570 1593 1772 1784 1666 1810 1867 1949 2408 130

Accesso pubblico

Visualizza tutto

129 articoli

3 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

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

Segui

Joost-Pieter Katoen

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

Email verificata su cs.rwth-aachen.de - Home page

formal methods model checking concurrency theory probabilistic programming program verification


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Principles of Model Checking C Baier, JP Katoen The MIT Press, 2008	8798	2008
Lectures on Formal Methods and Performance Analysis E Brinksma, H Hermanns, JP Katoen Springer, 2001	1274*	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	1061	2003
Model-Based Testing of Reactive Systems: Advanced Lectures M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Springer, 2005	1002*	2005
Validation of Stochastic Systems: A Guide to Current Research C Baier, B Haverkort, H Hermanns, JP Katoen, M Siegle Springer, LNCS, 2004	717*	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	571	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	380	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	286	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	270	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	266	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	247	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	231	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	218	2006
The probabilistic model checking landscape JP Katoen IEEE/ACM Symposium on Logic In Computer Science (LICS), 2016	211	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

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori