Jirí Simsa

According to our database1, Jirí Simsa authored at least 12 papers between 2004 and 2013.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
Parrot: a practical runtime for deterministic, stable, and reliable threads.
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

2012
Scalable Dynamic Partial Order Reduction.
Proceedings of the Runtime Verification, Third International Conference, 2012

2011
dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems.
Proceedings of the Model Checking Software, 2011

2010
dBug: Systematic Evaluation of Distributed Systems.
Proceedings of the 5th International Workshop on Systems Software Verification, 2010

Designing hardware with dynamic memory abstraction.
Proceedings of the ACM/SIGDA 18th International Symposium on Field Programmable Gate Arrays, 2010

2009
Finding heap-bounds for hardware synthesis.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008
Breaking Audio CAPTCHAs.
Proceedings of the Advances in Neural Information Processing Systems 21, 2008

2006
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors.
Electr. Notes Theor. Comput. Sci., 2006

On Combining Partial Order Reduction with Fairness Assumptions.
Proceedings of the Formal Methods: Applications and Technology, 2006

2005
Distributed Partial Order Reduction of State Spaces.
Electr. Notes Theor. Comput. Sci., 2005

VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures.
Proceedings of the SOFSEM 2005: Theory and Practice of Computer Science, 2005

2004
Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking.
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004


  Loading...