Travelled to:1 × Poland
1 × Russia
1 × United Kingdom
Collaborated with:F.Mari E.Tronci T.Mancini A.Massini I.Salvo G.D.Penna A.D.Marco B.Intrigila A.Pierantonio F.Merli
Talks about:system (4) formal (3) verif (3) level (3) simul (2) interoper (1) distribut (1) synthesi (1) feedback (1) softwar (1)
Person: Igor Melatti
DBLP: Melatti:Igor
Contributed to:
20152014
20132010
2003Wrote 5 papers:
- PDP-2015-ManciniMMMT #as a service #named #verification
- SyLVaaS: System Level Formal Verification as a Service (TM, FM, AM, IM, ET), pp. 476–483.
- PDP-2014-ManciniMMMT #distributed #hardware #manycore #simulation #verification
- System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation (TM, FM, AM, IM, ET), pp. 734–742.
- CAV-2013-ManciniMMMMT #model checking #simulation #verification
- System Level Formal Verification via Model Checking Driven Simulation (TM, FM, AM, IM, FM, ET), pp. 296–312.
- CAV-2010-MariMST #feedback #hybrid #linear #synthesis
- Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems (FM, IM, IS, ET), pp. 180–195.
- FASE-2003-PennaMIMP #diagrams #named #towards #xml
- Xere: Towards a Natural Interoperability between XML and ER Diagrams (GDP, ADM, BI, IM, AP), pp. 356–371.