Pavel Krcl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2001–2016
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | SAFECOMP | Effective Static and Dynamic Fault Tree Analysis. | Ola Bckstrm, Yuliya Butkova, Holger Hermanns, Jan Krcl, Pavel Krcl |
| 2015 | DSN | Scalable Analysis of Fault Trees with Dynamic Features. | Jan Krcl, Pavel Krcl |
| 2008 | CONCUR | R-Automata. | Parosh Aziz Abdulla, Pavel Krcl, Wang Yi |
| 2007 | FOSSACS | Sampled Universality of Timed Automata. | Parosh Aziz Abdulla, Pavel Krcl, Wang Yi |
| 2006 | CAV | Communicating Timed Automata: The More Synchronous, the More Difficult to Verify. | Pavel Krcl, Wang Yi |
| 2004 | CONCUR | Timed vs. Time-Triggered Automata. | Pavel Krcl, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi |
| 2004 | TACAS | Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. | Pavel Krcl, Wang Yi |
| 2001 | SOFSEM | How to Employ Reverse Search in Distributed Single Source Shortest Paths. | Lubos Brim, Ivana Cern, Pavel Krcl, Radek Pelnek |