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:
2010
2007
2004
2003
1997Wrote 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.