The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ivana Cerná: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Petr Rockai, Pavel Simecek
    DiVinE - A Tool for Distributed Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:278-281 [Conf]
  2. Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa
    Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2004, pp:352-366 [Conf]
  3. Jiri Barnat, Lubos Brim, Ivana Cerná
    Cluster-Based LTL Model Checking of Large Systems. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:259-279 [Conf]
  4. 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]
  5. Ivana Cerná
    Some Properties of Zerotesting Bounded One-Way Multicounter Machines. [Citation Graph (0, 0)][DBLP]
    MFCS, 1990, pp:195-201 [Conf]
  6. Ivana Cerná, Radek Pelánek
    Relating Hierarchy of Temporal Properties to Model Checking. [Citation Graph (0, 0)][DBLP]
    MFCS, 2003, pp:318-327 [Conf]
  7. Lubos Brim, Ivana Cerná, Martin Necesal
    Randomization Helps in LTL Model Checking. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:105-119 [Conf]
  8. Lubos Brim, Ivana Cerná, Lukás Hejtmánek
    Distributed Negative Cycle Detection Algorithms. [Citation Graph (0, 0)][DBLP]
    PARCO, 2003, pp:297-304 [Conf]
  9. 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]
  10. Ivana Cerná, Ondrej Klíma, Jirí Srba
    Pattern Equations and Equations with Stuttering. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1999, pp:369-378 [Conf]
  11. Ivana Cerná, Radek Pelánek
    Distributed Explicit Fair Cycle Detection (Set Based Approach). [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:49-73 [Conf]
  12. Ivana Cerná, Mojmír Kretínský, Antonín Kucera
    Comparing Expressibility of Normed BPA and Normed BPP Processes. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1999, v:36, n:3, pp:233-256 [Journal]
  13. Tomás Brázdil, Ivana Cerná
    Model Checking of RegCTL. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 2006, v:25, n:1, pp:- [Journal]
  14. Tomás Brázdil, Ivana Cerná
    Local Distributed Model Checking of RegCTL. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
  15. Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa
    Distributed Partial Order Reduction of State Spaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:3, pp:63-74 [Journal]
  16. Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa
    How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:2, pp:3-18 [Journal]
  17. Ivana Cerná, Mojmír Kretínský, Antonín Kucera
    Bisimilarity is decidable in the union of normed BPA and normed BPP processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:5, n:, pp:- [Journal]
  18. Jitka Stríbrná, Ivana Cerná
    Modifications of Expansion Trees for Weak Bisimulation in BPA. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:6, pp:- [Journal]
  19. Jiri Barnat, Ivana Cerná
    Distributed breadth-first search LTL model checking. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:29, n:2, pp:117-134 [Journal]
  20. Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa
    On Combining Partial Order Reduction with Fairness Assumptions. [Citation Graph (0, 0)][DBLP]
    FMICS/PDMC, 2006, pp:84-99 [Conf]
  21. Ivana Cerná, Pavlína Vareková, Barbora Zimmerova
    Component Substitutability via Equivalencies of Component-Interaction Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:182, n:, pp:39-55 [Journal]

  22. Model Checking of Control-User Component-Based Parametrised Systems. [Citation Graph (, )][DBLP]


  23. Component-Interaction Automata Approach (CoIn). [Citation Graph (, )][DBLP]


  24. Partial Order Reduction for State/Event LTL. [Citation Graph (, )][DBLP]


  25. ProbDiVinE: A Parallel Qualitative LTL Model Checker. [Citation Graph (, )][DBLP]


  26. ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. [Citation Graph (, )][DBLP]


  27. Quantitative Model Checking of Systems with Degradation. [Citation Graph (, )][DBLP]


  28. Effective verification of systems with a dynamic number of components. [Citation Graph (, )][DBLP]


  29. Local Quantitative LTL Model Checking. [Citation Graph (, )][DBLP]


  30. BioDiVinE: A Framework for Parallel Analysis of Biological Models [Citation Graph (, )][DBLP]


  31. Preface. [Citation Graph (, )][DBLP]


  32. Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. [Citation Graph (, )][DBLP]


  33. Preface. [Citation Graph (, )][DBLP]


  34. A Case Study in Parallel Verification of Component-Based Systems. [Citation Graph (, )][DBLP]


  35. Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. [Citation Graph (, )][DBLP]


Search in 0.023secs, Finished in 0.024secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002