Follow
Annalisa Massini
Annalisa Massini
Associate Professor, Computer Science Department Sapienza University of Rome
Verified email at di.uniroma1.it
Title
Cited by
Cited by
Year
System level formal verification via model checking driven simulation
T Mancini, F Mari, A Massini, I Melatti, F Merli, E Tronci
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
692013
Push & pull: autonomous deployment of mobile sensors for a complete coverage
N Bartolini, T Calamoneri, EG Fusco, A Massini, S Silvestri
Wireless Networks 16, 607-625, 2010
692010
SyLVaaS: System level formal verification as a service
T Mancini, F Mari, A Massini, I Melatti, E Tronci
Fundamenta Informaticae 149 (1-2), 101-132, 2016
572016
Snap and spread: A self-deployment algorithm for mobile sensor networks
N Bartolini, T Calamoneri, EG Fusco, A Massini, S Silvestri
Distributed Computing in Sensor Systems: 4th IEEE International Conference …, 2008
482008
Computing biological model parameters by parallel statistical model checking
T Mancini, E Tronci, I Salvo, F Mari, A Massini, I Melatti
International Conference on Bioinformatics and Biomedical Engineering, 542-554, 2015
462015
System level formal verification via distributed multi-core hardware in the loop simulation
T Mancini, F Mari, A Massini, I Melatti, E Tronci
2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014
392014
Autonomous deployment of self-organizing mobile sensors for a complete coverage
N Bartolini, T Calamoneri, EG Fusco, A Massini, S Silvestri
international workshop on self-organizing systems, 194-205, 2008
382008
Computing personalised treatments through in silico clinical trials. A case study on downregulation in assisted reproduction
T Mancini, F Mari, A Massini, I Melatti, I Salvo, S Sinisi, E Tronci, R Ehrig, ...
Intelligenza Artificiale, 1-16, 2018
362018
Patient-specific models from inter-patient biological models and clinical records
E Tronci, T Mancini, I Salvo, S Sinisi, F Mari, I Melatti, A Massini, F Davi, ...
2014 Formal Methods in Computer-Aided Design (FMCAD), 207-214, 2014
362014
Anytime system level verification via random exhaustive hardware in the loop simulation
T Mancini, F Mari, A Massini, I Melatti, E Tronci
2014 17th Euromicro Conference on Digital System Design, 236-245, 2014
362014
On fundamental bounds on failure identifiability by boolean network tomography
N Bartolini, T He, V Arrigoni, A Massini, F Trombetti, H Khamfroush
IEEE/ACM Transactions on Networking 28 (2), 588-601, 2020
332020
Anytime system level verification via parallel random exhaustive hardware in the loop simulation
T Mancini, F Mari, A Massini, I Melatti, E Tronci
Microprocessors and Microsystems 41, 12-28, 2016
332016
On minimising the maximum expected verification time
T Mancini, F Mari, A Massini, I Melatti, I Salvo, E Tronci
Information Processing Letters 122, 8-16, 2017
302017
All-to-all personalized communication on multistage interconnection networks
A Massini
Discrete applied mathematics 128 (2-3), 435-446, 2003
262003
High efficiency redundant binary number representations for parallel arithmetic on optical computers
GA De Biase, A Massini
Optics & Laser Technology 26 (4), 219-224, 1994
221994
Antibandwidth of complete k-ary trees
T Calamoneri, A Massini, I Vrt'o
Electronic Notes in Discrete Mathematics 24, 259-266, 2006
212006
On adaptive density deployment to mitigate the sink-hole problem in mobile sensor networks
N Bartolini, T Calamoneri, A Massini, S Silvestri
Mobile Networks and Applications 16, 134-145, 2011
182011
Redundant binary number representation for an inherently parallel arithmetic on optical computers
GA De Biase, A Massini
Applied optics 32 (5), 659-664, 1993
161993
Monte carlo based statistical model checking of cyber-physical systems: A review
A Pappagallo, A Massini, E Tronci
Information 11 (12), 588, 2020
132020
New results on edge-bandwidth
T Calamoneri, A Massini, I Vrťo
Theoretical computer science 307 (3), 503-513, 2003
122003
The system can't perform the operation now. Try again later.
Articles 1–20