logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
J

Joost-Pieter Katoen

rwth aachen university

58H-index
636Paper Count
1.9WCitation Count
Published Papers 16
Publication Date
logo
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
errAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
err2026-01-01
err0
PREAI
errHeck, Linus; Quatmann, Tim; Spel, Jip; Katoen, Joost-Pieter; Junges, Sebastian
errShare
errSave
Facing Uncertainty in AI: From Formal Verification To Synthesis
errTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
err2026-01-01
err0
PREAI
errKatoen, Joost-Pieter
errShare
errSave
A Compositional Semantics of Boolean-Logic Driven Markov Processes
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2024-03-01
err0
PREAI
errKhan, Shahid; Katoen, Joost-Pieter; Bouissou, Marc
errShare
errSave
Convex Optimization for Parameter Synthesis in MDPs
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-12-01
err8
errOAAI
errCubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Topcu, Ufuk
errShare
errSave
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-03-01
err6
errOAAI
errWinterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd
errShare
errSave
Safety analysis for vehicle guidance systems with dynamic fault trees
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2019-06-01
err38
PREAI
errGhadhab, Majdi; Junges, Sebastian; Katoen, Joost-Pieter; Kuntz, Matthias; Volk, Matthias
errShare
errSave
Fast Dynamic Fault Tree Analysis by Model Checking Techniques
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2018-01-01
err78
PREAI
errVolk, Matthias; Junges, Sebastian; Katoen, Joost-Pieter
errShare
errSave
Spacecraft early design validation using formal methods
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2014-12-01
err52
errOAAI
errBozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Katsaros, Panagiotis; Mokos, Konstantinos; Viet Yen Nguyen; Noll, Thomas; Postma, Bart; Roveri, Marco
errShare
errSave
Performance Evaluation and Model Checking Join Forces
errCOMMUNICATIONS OF THE ACM
IF12.2
err2010-09-01
err48
errOAAI
errBaier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter
errShare
errSave
Computing Optimal Schedules of Battery Usage in Embedded Systems
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2010-08-01
err27
errOAAI
errJongerden, Marijn; Mereacre, Alexandru; Bohnenkamp, Henrik; Haverkort, Boudewijn; Katoen, Joost-Pieter
errShare
errSave
Learning Communicating Automata from MSCs
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2010-05-01
err13
PREAI
errBollig, Benedikt; Katoen, Joost-Pieter; Kern, Carsten; Leucker, Martin
errShare
errSave
Maximizing System Lifetime by Battery Scheduling
err2009 IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS (DSN 2009)
IF0
err2009-06-01
err18
errOAAI
errJongerden, Marijn; Haverkort, Boudewijn; Bohnenkamp, Henrik; Katoen, Joost-Pieter
errShare
errSave
Counterexample Generation in Probabilistic Model Checking
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2009-03-01
err67
errOAAI
errHan, Tingting; Katoen, Joost-Pieter; Damman, Berteun
errShare
errSave
MODEST: A compositional modeling formalism for hard and softly timed systems
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2006-10-01
err91
PREAI
errBohnenkamp, Henrik; D'Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter
errShare
errSave
Guest editors' introduction to the special section on the first International Conference on the Quantitative Evaluation of SysTems (QEST)
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2006-01-01
err0
PREAI
errFranceschinis, Giuliana; Katoen, Joost-Pieter; Woodside, Murray
errShare
errSave
Model-checking algorithms for continuous-time Markov chains
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2003-06-01
err502
errOAAI
errBaier, C; Haverkort, B; Hermanns, H; Katoen, JP
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
A
Alessandro Cimatti
H-index: 55 · Papers: 376
H
Holger Hermanns
H-index: 51 · Papers: 414
U
Ufuk Topcu
H-index: 46 · Papers: 663
C
Christel Baier
H-index: 43 · Papers: 353
M
M. Küntz
H-index: 42 · Papers: 190
View more