Pavel Krcál

Publication Activity (10 Years)

Years Active: 2001-2020
Publications (10 Years): 2

Top Venues

MARS@ETAPS

SAFECOMP

DSN

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcál
Various Ways to Quantify BDMPs. MARS@ETAPS (2020)
Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krcál, Pavel Krcál
Effective Static and Dynamic Fault Tree Analysis. SAFECOMP (2016)
Jan Krcál, Pavel Krcál
Scalable Analysis of Fault Trees with Dynamic Features. DSN (2015)
Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
Sampled Semantics of Timed Automata Log. Methods Comput. Sci. 6 (3) (2010)
Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
Universality of R-automata with Value Copying. INFINITY (2009)
Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
R-Automata. CONCUR (2008)
Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
Sampled Universality of Timed Automata. FoSSaCS (2007)
Pavel Krcál, Martin Stigge, Wang Yi
Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times. FORMATS (2007)
Elena Fersman, Pavel Krcál, Paul Pettersson, Wang Yi
Task automata: Schedulability, decidability and undecidability. Inf. Comput. 205 (8) (2007)
Pavel Krcál, Wang Yi
Communicating Timed Automata: The More Synchronous, the More Difficult to Verify. CAV (2006)
Pavel Krcál, Radek Pelánek
On Sampled Semantics of Timed Systems. FSTTCS (2005)
Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi
Timed vs. Time-Triggered Automata. CONCUR (2004)
Pavel Krcál, Wang Yi
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. TACAS (2004)
Pavel Krcál
Distributed Explicit Bounded LTL Model Checking. Electron. Notes Theor. Comput. Sci. 89 (1) (2003)
Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek
Distributed LTL Model Checking Based on Negative Cycle Detection. FSTTCS (2001)
Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek
How to Employ Reverse Search in Distributed Single Source Shortest Paths. SOFSEM (2001)

Pavel Krcál.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pavel Krcál