Travelled to:1 × Russia
1 × United Kingdom
Collaborated with:I.Melatti E.Tronci T.Mancini A.Massini I.Salvo F.Merli
Talks about:system (4) formal (3) verif (3) level (3) simul (2) distribut (1) synthesi (1) feedback (1) softwar (1) quantiz (1)
Person: Federico Mari
DBLP: Mari:Federico
Contributed to:
20152014
20132010Wrote 4 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.