Andrea Lomuscio

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 3

Top Topics

Ibm Zenterprise

Hardware Design

Pspace Complete

Top Venues

Publications

Jonathan Ezekiel, Andrea Lomuscio
Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems. Inf. Comput. 254 (2017)
Andrea Lomuscio, Gian Carlo Cardarilli, Alberto Nannarelli, Marco Re
A hardware framework for on-chip FPGA acceleration. ISIC (2016)
A. Esposito, Andrea Lomuscio, Gian Carlo Cardarilli, Luca Di Nunzio, Rocco Fazzolari, Alberto Nannarelli, Marco Re
Dynamically-loaded Hardware Libraries (HLL) technology for audio applications. ACSSC (2016)