February 2014: The paper “System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation” of Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, and Enrico Tronci has been presented at the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP 2014).
Full paper details are available here.