Jirí Simácek

According to our database, Jirí Simácek authored at least 13 papers between 2008 and 2023.

Collaborative distances:

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

2023

Optimizing an LTS-Simulation Algorithm (Technical Report).

Lukás Holík, Jirí Simácek

CoRR, 2023

2019

Forester Virtual Machine.

Ondrej Lengál, Lukás Holík, Tomás Vojnar, Adam Rogalewicz, Jirí Simácek, Martin Hruska, Peter Habermehl

Dataset, July, 2019

2017

Forester: From Heap Shapes to Automata Predicates - (Competition Contribution).

Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar

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

2016

Run Forester, Run Backwards! - (Competition Contribution).

Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar

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

2015

Forester: Shape Analysis Using Tree Automata - (Competition Contribution).

Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar

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

2013

Fully Automated Shape Analysis Based on Forest Automata.

Lukás Holík, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

The Tree Width of Separation Logic with Recursive Definitions.

Radu Iosif, Adam Rogalewicz, Jirí Simácek

Proceedings of the Automated Deduction - CADE-24, 2013

2012

Harnessing Forest Automata for Verification of Heap Manipulating Programs. (Vérification de programmes avec structures de données complexes).

Jirí Simácek

PhD thesis, 2012

Forest automata for verification of heap manipulation.

Peter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar

Formal Methods Syst. Des., 2012

VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata.

Ondrej Lengál, Jirí Simácek, Tomás Vojnar

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

2011

Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata.

Lukás Holík, Ondrej Lengál, Jirí Simácek, Tomás Vojnar

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Evolutionary Design of Reconfiguration Strategies to Reduce the Test Application Time.

Jirí Simácek, Lukás Sekanina, Lukás Starecek

Proceedings of the Evolvable Systems: From Biology to Hardware, 2010

2008

Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars.

Tomás Masopust, Alexander Meduna, Jirí Simácek

Acta Cybern., 2008