Jiri Slaby

According to our database, Jiri Slaby authored at least 11 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Symbiotic 4: Beyond Reachability - (Competition Contribution).

Marek Chalupa, Martina Vitovská, Martin Jonás, Jiri Slaby, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution).

Marek Chalupa, Martin Jonás, Jiri Slaby, Jan Strejcek, Martina Vitovská

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2014

Symbiotic 2: More Precise Slicing - (Competition Contribution).

Jiri Slaby, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

ClabureDB: Classified Bug-Reports Database.

Jiri Slaby, Jan Strejcek, Marek Trtík

Proceedings of the Verification, 2013

Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution).

Jiri Slaby, Jan Strejcek, Marek Trtík

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Compact Symbolic Execution.

Jiri Slaby, Jan Strejcek, Marek Trtík

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

On Synergy of Metal, Slicing, and Symbolic Execution

Jiri Slaby, Jan Strejcek, Marek Trtík

CoRR, 2012

Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution.

Jiri Slaby, Jan Strejcek, Marek Trtík

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2011

STANSE: Bug-Finding Framework for C Programs.

Jan Obdrzálek, Jiri Slaby, Marek Trtík

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

2010

Web-Based Service for Collaborative Organization of Academic Events - Case Study of "Takeplace".

Jaroslav Skrabalek, Tomás Ludík, Jiri Slaby, Tomás Pitner

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

Integrated Approach in Management and Design of Modern Web-Based Services.

Jaroslav Skrabalek, Lucia Tokárová, Jiri Slaby, Tomás Pitner

Proceedings of the Information Systems Development, 2010