logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
J

Joost-Pieter Katoen

rwth aachen university

58H指数
636论文数
1.9W被引数
收录论文 16
发表时间
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
err分享
err收藏
Facing Uncertainty in AI: From Formal Verification To Synthesis面对人工智能中的不确定性：从形式验证到综合
errTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
err2026-01-01
err0
PREAI
errKatoen, Joost-Pieter
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
Learning Communicating Automata from MSCs从MSCs学习通信自动机
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2010-05-01
err13
PREAI
errBollig, Benedikt; Katoen, Joost-Pieter; Kern, Carsten; Leucker, Martin
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
A
Alessandro Cimatti
H 指数: 55 · 论文数: 376
H
Holger Hermanns
H 指数: 51 · 论文数: 414
U
Ufuk Topcu
H 指数: 46 · 论文数: 663
C
Christel Baier
H 指数: 43 · 论文数: 353
M
M. Küntz
H 指数: 42 · 论文数: 190
查看更多