BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mancini:Toni

Contributed to:

PDP 20152015
PDP 20142014
CAV 20132013
SAC 20122012
KR 20042004
PODS 20022002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.