Travelled to:1 × Australia
1 × Korea
1 × Russia
1 × United Kingdom
2 × USA
Collaborated with:J.Simácek R.Iosif T.Vojnar L.Holík P.Habermehl O.Lengál A.Bouajjani M.Hruska
Talks about:automata (4) forest (3) tree (3) analysi (2) shape (2) base (2) contribut (1) structur (1) competit (1) abstract (1)
Person: Adam Rogalewicz
DBLP: Rogalewicz:Adam
Contributed to:
2015
2013
20132011
2009
2006Wrote 6 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.
- CAV-2011-HabermehlHRSV #automaton #verification
- Forest Automata for Verification of Heap Manipulation (PH, LH, AR, JS, TV), pp. 424–440.
- CIAA-2009-IosifR #proving #termination
- Automata-Based Termination Proofs (RI, AR), pp. 165–177.
- SAS-2006-BouajjaniHRV #data type #model checking
- Abstract Regular Tree Model Checking of Complex Dynamic Data Structures (AB, PH, AR, TV), pp. 52–70.