Jirí Simsa
According to our database1,
Jirí Simsa
authored at least 12 papers
between 2004 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
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