Travelled to:1 × Finland
1 × Germany
2 × USA
Collaborated with:A.Molinari A.Montanari L.Bozzelli A.Maggiolo-Schettini ∅ D.Carotenuto A.Murano S.L.Torre P.Sala
Talks about:statechart (2) tempor (2) interv (2) model (2) logic (2) check (2) transform (1) framework (1) structur (1) pushdown (1)
Person: Adriano Peron
DBLP: Peron:Adriano
Contributed to:
2015
2007
2006
1994
1995
2016Wrote 6 papers:
- CSL-2015-MolinariMP #logic #model checking
- A Model Checking Procedure for Interval Temporal Logics based on Track Representatives (AM, AM, AP), pp. 193–210.
- DLT-2007-CarotenutoMP #automaton
- 2-Visibly Pushdown Automata (DC, AM, AP), pp. 132–144.
- VMCAI-2006-BozzelliTP #communication #recursion #state machine #verification
- Verification of Well-Formed Communicating Recursive State Machines (LB, SLT, AP), pp. 412–426.
- TAGT-1994-Maggiolo-SchettiniP #framework #graph grammar #semantics
- A Graph Rewriting Framework for Statecharts Semantics (AMS, AP), pp. 107–121.
- TAPSOFT-1995-Peron
- Statecharts, Transition Structures and Transformations (AP), pp. 454–468.
- IJCAR-2016-BozzelliMMPS #logic #model checking
- Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments (LB, AM, AM, AP, PS), pp. 389–405.