BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Russia
Collaborated with:
T.Mancini F.Mari I.Melatti E.Tronci F.Alessi R.Basili F.Merli
Talks about:
system (3) formal (3) verif (3) level (3) simul (2) seismogram (1) processor (1) distribut (1) multicor (1) synthet (1)

Person: Annalisa Massini

DBLP DBLP: Massini:Annalisa

Contributed to:

PDP 20152015
PDP 20142014
CAV 20132013
PDP 20122012

Wrote 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.
PDP-2012-AlessiMB #clustering #manycore
Accelerating the Production of Synthetic Seismograms by a Multicore Processor Cluster with Multiple GPUs (FA, AM, RB), pp. 434–441.
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.