According to our database1, Jirí Simsa authored at least 12 papers between 2004 and 2013.
Legend:Book In proceedings Article PhD thesis Other
Parrot: a practical runtime for deterministic, stable, and reliable threads.
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013
Scalable Dynamic Partial Order Reduction.
Proceedings of the Runtime Verification, Third International Conference, 2012
dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems.
Proceedings of the Model Checking Software, 2011
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
Finding heap-bounds for hardware synthesis.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
Breaking Audio CAPTCHAs.
Proceedings of the Advances in Neural Information Processing Systems 21, 2008
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
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
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