Jirí Simácek

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