Multi-Processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times.
Pavel Krcal, Martin Stigge and Wang Yi.
FORMATS 2007.
AbstractPostscript (C)
Springer-VerlagBibtex
Task Automata: Schedulability, Decidability and Undecidability.
Elena Fersman, Pavel Krcal, Paul Pettersson and Wang Yi.
Information and Computation, 2007.
AbstractPDF
(C) Elsevier B.V.Bibtex
Communicating Timed Automata: The More Synchronous, the More Difficult to Verify.
Pavel Krcal and Wang Yi.
CAV 2006.
AbstractPostscript (C)
Springer-VerlagBibtex
Full version of the paper is here (pdf file).
On Sampled Semantics of Timed Systems.
Pavel Krcal and Radek Pelanek.
FSTTCS 2005.
AbstractPostscript (C)
Springer-VerlagBibtex
Full version of the paper is here (pdf file).
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata.Pavel Krcal and Wang Yi.
TACAS 2004.
AbstractPostscript (C)
Springer-VerlagBibtex
Distributed LTL Model-Checking Based on Negative Cycle Detection.Lubos Brim, Ivana Cerna, Pavel Krcal, and Radek Pelanek.
FSTTCS 2001.
AbstractPostscript (C)
Springer-VerlagBibtex
A complete list of publications can be found here.