Pavel Krcál

	2010
13		Parosh Aziz Abdulla, Pavel Krcál, Wang Yi: Sampled Semantics of Timed Automata Logical Methods in Computer Science 6(3): (2010)
	2009
12		Parosh Aziz Abdulla, Pavel Krcál, Wang Yi: Universality of R-automata with Value Copying. Electr. Notes Theor. Comput. Sci. 239: 131-141 (2009)
	2008
11		Parosh Aziz Abdulla, Pavel Krcál, Wang Yi: R-Automata. CONCUR 2008: 67-81
	2007
10		Pavel Krcál, Martin Stigge, Wang Yi: Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times. FORMATS 2007: 274-289
9		Parosh Aziz Abdulla, Pavel Krcál, Wang Yi: Sampled Universality of Timed Automata. FoSSaCS 2007: 2-16
8		Elena Fersman, Pavel Krcál, Paul Pettersson, Wang Yi: Task automata: Schedulability, decidability and undecidability. Inf. Comput. 205(8): 1149-1172 (2007)
	2006
7		Pavel Krcál, Wang Yi: Communicating Timed Automata: The More Synchronous, the More Difficult to Verify. CAV 2006: 249-262
	2005
6		Pavel Krcál, Radek Pelánek: On Sampled Semantics of Timed Systems. FSTTCS 2005: 310-321
	2004
5		Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi: Timed vs. Time-Triggered Automata. CONCUR 2004: 340-354
4		Pavel Krcál, Wang Yi: Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. TACAS 2004: 236-250
	2003
3		Pavel Krcál: Distributed Explicit Bounded LTL Model Checking. Electr. Notes Theor. Comput. Sci. 89(1): 33-50 (2003)
	2001
2		Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek: Distributed LTL Model Checking Based on Negative Cycle Detection. FSTTCS 2001: 96-107
1		Lubos 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

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

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page