Search the dblp DataBase
Pavel Krcál :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Pavel Krcál , Wang Yi Communicating Timed Automata: The More Synchronous, the More Difficult to Verify. [Citation Graph (0, 0)][DBLP ] CAV, 2006, pp:249-262 [Conf ] Pavel Krcál , Leonid Mokrushin , P. S. Thiagarajan , Wang Yi Timed vs. Time-Triggered Automata. [Citation Graph (0, 0)][DBLP ] CONCUR, 2004, pp:340-354 [Conf ] Lubos Brim , Ivana Cerná , Pavel Krcál , Radek Pelánek Distributed LTL Model Checking Based on Negative Cycle Detection. [Citation Graph (0, 0)][DBLP ] FSTTCS, 2001, pp:96-107 [Conf ] Pavel Krcál , Radek Pelánek On Sampled Semantics of Timed Systems. [Citation Graph (0, 0)][DBLP ] FSTTCS, 2005, pp:310-321 [Conf ] Lubos Brim , Ivana Cerná , Pavel Krcál , Radek Pelánek How to Employ Reverse Search in Distributed Single Source Shortest Paths. [Citation Graph (0, 0)][DBLP ] SOFSEM, 2001, pp:191-200 [Conf ] Pavel Krcál , Wang Yi Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. [Citation Graph (0, 0)][DBLP ] TACAS, 2004, pp:236-250 [Conf ] Pavel Krcál Distributed Explicit Bounded LTL Model Checking. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp:- [Journal ] Pavel Krcál , Martin Stigge , Wang Yi Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times. [Citation Graph (0, 0)][DBLP ] FORMATS, 2007, pp:274-289 [Conf ] Parosh Aziz Abdulla , Pavel Krcál , Wang Yi Sampled Universality of Timed Automata. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2007, pp:2-16 [Conf ] Elena Fersman , Pavel Krcál , Paul Pettersson , Wang Yi Task automata: Schedulability, decidability and undecidability. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2007, v:205, n:8, pp:1149-1172 [Journal ] R-Automata. [Citation Graph (, )][DBLP ] Sampled Semantics of Timed Automata [Citation Graph (, )][DBLP ] Universality of R-automata with Value Copying. [Citation Graph (, )][DBLP ] Search in 0.001secs, Finished in 0.002secs