Travelled to:1 × Estonia
1 × Russia
1 × United Kingdom
2 × USA
Collaborated with:A.Rogalewicz T.Vojnar O.Lengál L.Holík R.Iosif P.Habermehl M.Hruska
Talks about:automata (4) forest (3) tree (3) manipul (2) analysi (2) shape (2) determinist (1) contribut (1) competit (1) librari (1)
Person: Jirí Simácek
DBLP: Sim=aacute=cek:Jir=iacute=
Contributed to:
2015
2013
201320122011Wrote 5 papers:
- TACAS-2015-HolikHLRSV #analysis #automaton #contest #named #using
- Forester: Shape Analysis Using Tree Automata — (Competition Contribution) (LH, MH, OL, AR, JS, TV), pp. 432–435.
- CADE-2013-IosifRS #logic #recursion
- The Tree Width of Separation Logic with Recursive Definitions (RI, AR, JS), pp. 21–38.
- CAV-2013-HolikLRSV #analysis #automation #automaton
- Fully Automated Shape Analysis Based on Forest Automata (LH, OL, AR, JS, TV), pp. 740–755.
- TACAS-2012-LengalSV #automaton #library #named #nondeterminism #performance
- VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata (OL, JS, TV), pp. 79–94.
- CAV-2011-HabermehlHRSV #automaton #verification
- Forest Automata for Verification of Heap Manipulation (PH, LH, AR, JS, TV), pp. 424–440.