| 2016 | FM | Battery-Aware Scheduling in Low Orbit: The GomX-3 Case. | Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcl, Gilles Nies, Marvin Stenger |
| 2016 | FOSSACS | Distributed Synthesis in Continuous Time. | Holger Hermanns, Jan Krcl, Steen Vester |
| 2016 | SAFECOMP | Effective Static and Dynamic Fault Tree Analysis. | Ola Bckstrm, Yuliya Butkova, Holger Hermanns, Jan Krcl, Pavel Krcl |
| 2015 | ATVA | Optimal Continuous Time Markov Decisions. | Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcl |
| 2015 | CONCUR | On Frequency LTL in Probabilistic Systems. | Vojtech Forejt, Jan Krcl |
| 2015 | DSN | Scalable Analysis of Fault Trees with Dynamic Features. | Jan Krcl, Pavel Krcl |
| 2015 | LPAR | Controller Synthesis for MDPs and Frequency LTL | Vojtech Forejt, Jan Krcl, Jan Kretnsk |
| 2014 | CONCUR | Probabilistic Bisimulation: Naturally on Distributions. | Holger Hermanns, Jan Krcl, Jan Kretnsk |
| 2013 | CONCUR | Compositional Verification and Optimization of Interactive Markov Chains. | Holger Hermanns, Jan Krcl, Jan Kretnsk |
| 2011 | CONCUR | Fixed-Delay Events in Generalized Semi-Markov Processes Revisited. | Toms Brzdil, Jan Krcl, Jan Kretnsk, Vojtech Rehk |
| 2010 | CONCUR | Stochastic Real-Time Games with Qualitative Timed Automata Objectives. | Toms Brzdil, Jan Krcl, Jan Kretnsk, Antonn Kucera, Vojtech Rehk |