Search the dblp DataBase

Publications of Author

1. 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]
   
2. David Safránek, Jirí Simsa
   VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures. [Citation Graph (0, 0)][DBLP]
   SOFSEM, 2005, pp:320-329 [Conf]
   
3. 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]
   
4. 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]
   
5. 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]
   
6. 
   Finding heap-bounds for hardware synthesis. [Citation Graph (, )][DBLP]
   
   
7. 
   Designing hardware with dynamic memory abstraction. [Citation Graph (, )][DBLP]
   
   
8. 
   Breaking Audio CAPTCHAs. [Citation Graph (, )][DBLP]