`Travelled to:`

1 × New Zealand

1 × The Netherlands

1 × United Kingdom

`Collaborated with:`

S.L.Torre M.Napoli G.Parlato J.Gruska A.Ferrante M.Memoli F.Sorrentino

`Talks about:`

synchron (2) hierarch (2) machin (2) state (2) time (2) processor (1) succinct (1) properti (1) communic (1) problem (1)

## Person: Mimmo Parente

### DBLP: Parente:Mimmo

### Contributed to:

### Wrote 5 papers:

- CAV-2010-FerranteMNPS #model checking
- A NuSMV Extension for Graded-CTL Model Checking (AF, MM, MN, MP, FS), pp. 670–673.
- LATA-2007-TorreNPP #state machine #verification
- Verification of Succinct Hierarchical State Machines (SLT, MN, MP, GP), pp. 485–496.
- DLT-2004-GruskaTP #array #communication #problem
- Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings (JG, SLT, MP), pp. 200–211.
- ICALP-2003-TorreNPP #recursion #state machine
- Hierarchical and Recursive State Machines with Context-Dependent Properties (SLT, MN, MP, GP), pp. 776–789.
- TAPSOFT-1997-TorreNP
- Synchronization of a Line of Identical Processors at a Given Time (SLT, MN, MP), pp. 405–416.