>   Computer Science Department   >   Toni Mancini
[login|signup]      [Italiano|English]

Selected publications

In this page you can find a selected list of my publications, in reverse chronological order. If you need a missing paper, feel free to contact me.

Copyright notice
The documents available from this site are provided as a means to ensure timely dissemination of technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder (Springer-Verlag for works appeared in the LNCS series, ACM-SIAM, IEEE, etc.). Permission to make digital or hard copies of part or all of these works for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage. The electronic version of some of the works available from this site may differ from the definitive published version. Copyright of works submitted for publication may be transferred without further notice and this version may no longer be accessible.
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci.
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation.
In proceedings of 17th EuroMicro Conference on Digital System Design (DSD 2014). Verona, Italy.
Pages 236-245. IEEE, 2014.
[permalink]


[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]