The SCEAS System
Navigation Menu

Search the dblp DataBase


Pavel Krcál: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Pavel Krcál, Radek Pelánek
    On Sampled Semantics of Timed Systems. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2005, pp:310-321 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
    Sampled Universality of Timed Automata. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:2-16 [Conf]
  10. 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]

  11. R-Automata. [Citation Graph (, )][DBLP]

  12. Sampled Semantics of Timed Automata [Citation Graph (, )][DBLP]

  13. Universality of R-automata with Value Copying. [Citation Graph (, )][DBLP]

Search in 0.037secs, Finished in 0.038secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002