dblp.uni-trier.dewww.uni-trier.de

Pavel Krcál

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
11EEParosh Aziz Abdulla, Pavel Krcál, Wang Yi: R-Automata. CONCUR 2008: 67-81
2007
10EEPavel Krcál, Martin Stigge, Wang Yi: Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times. FORMATS 2007: 274-289
9EEParosh Aziz Abdulla, Pavel Krcál, Wang Yi: Sampled Universality of Timed Automata. FoSSaCS 2007: 2-16
8EEElena Fersman, Pavel Krcál, Paul Pettersson, Wang Yi: Task automata: Schedulability, decidability and undecidability. Inf. Comput. 205(8): 1149-1172 (2007)
2006
7EEPavel Krcál, Wang Yi: Communicating Timed Automata: The More Synchronous, the More Difficult to Verify. CAV 2006: 249-262
2005
6EEPavel Krcál, Radek Pelánek: On Sampled Semantics of Timed Systems. FSTTCS 2005: 310-321
2004
5EEPavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi: Timed vs. Time-Triggered Automata. CONCUR 2004: 340-354
4EEPavel Krcál, Wang Yi: Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. TACAS 2004: 236-250
2003
3EEPavel Krcál: Distributed Explicit Bounded LTL Model Checking. Electr. Notes Theor. Comput. Sci. 89(1): (2003)
2001
2EELubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek: Distributed LTL Model Checking Based on Negative Cycle Detection. FSTTCS 2001: 96-107
1EELubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek: How to Employ Reverse Search in Distributed Single Source Shortest Paths. SOFSEM 2001: 191-200

Coauthor Index

1Parosh Aziz Abdulla [9] [11]
2Lubos Brim [1] [2]
3Ivana Cerná (Ivana Cerna) [1] [2]
4Elena Fersman [8]
5Leonid Mokrushin [5]
6Radek Pelánek [1] [2] [6]
7Paul Pettersson [8]
8Martin Stigge [10]
9P. S. Thiagarajan [5]
10Wang Yi [4] [5] [7] [8] [9] [10] [11]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)