Travelled to:1 × Canada
1 × Italy
1 × Russia
1 × USA
Collaborated with:M.Cadoli F.Mari A.Massini I.Melatti E.Tronci P.Flener J.Pearson F.Merli
Talks about:system (3) formal (3) verif (3) level (3) constraint (2) synthesi (2) simul (2) view (2) combinatori (1) distribut (1)
Person: Toni Mancini
DBLP: Mancini:Toni
Contributed to:
20152014
2013
2012
2004
2002Wrote 6 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.
- SAC-2012-ManciniFP #combinator #constraints #database #problem #relational #synthesis
- Combinatorial problem solving over relational databases: view synthesis through constraint-based local search (TM, PF, JP), pp. 80–87.
- KR-2004-CadoliM #automation #constraints #specification
- Automated Reformulation of Specifications by Safe Delay of Constraints (MC, TM), pp. 388–398.
- PODS-2002-CadoliM #compilation #query #synthesis
- Knowledge Compilation = Query Rewriting + View Synthesis (MC, TM), pp. 199–208.