Jirí Simácek

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 3

Top Venues

CoRR

TACAS

CAV

CADE

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Lukás Holík, Jirí Simácek
Optimizing an LTS-Simulation Algorithm (Technical Report). CoRR (2023)
Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
Forester: From Heap Shapes to Automata Predicates - (Competition Contribution). TACAS (2) (2017)
Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
Run Forester, Run Backwards! - (Competition Contribution). TACAS (2016)
Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
Forester: Shape Analysis Using Tree Automata - (Competition Contribution). TACAS (2015)
Lukás Holík, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
Fully Automated Shape Analysis Based on Forest Automata CoRR (2013)
Radu Iosif, Adam Rogalewicz, Jirí Simácek
The Tree Width of Separation Logic with Recursive Definitions CoRR (2013)
Lukás Holík, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
Fully Automated Shape Analysis Based on Forest Automata. CAV (2013)
Radu Iosif, Adam Rogalewicz, Jirí Simácek
The Tree Width of Separation Logic with Recursive Definitions. CADE (2013)
Peter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
Forest automata for verification of heap manipulation. Formal Methods Syst. Des. 41 (1) (2012)
Ondrej Lengál, Jirí Simácek, Tomás Vojnar
VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata. TACAS (2012)
Lukás Holík, Ondrej Lengál, Jirí Simácek, Tomás Vojnar
Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata. ATVA (2011)
Peter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
Forest Automata for Verification of Heap Manipulation. CAV (2011)
Jirí Simácek, Lukás Sekanina, Lukás Starecek
Evolutionary Design of Reconfiguration Strategies to Reduce the Test Application Time. ICES (2010)
Tomás Masopust, Alexander Meduna, Jirí Simácek
Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars. Acta Cybern. 18 (4) (2008)

Jirí Simácek.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jirí Simácek