Annalisa Massini
Annalisa Massini
Associate Professor, Computer Science Department Sapienza University of Rome
Bestätigte E-Mail-Adresse bei di.uniroma1.it
Titel
Zitiert von
Zitiert von
Jahr
Push & Pull: autonomous deployment of mobile sensors for a complete coverage
N Bartolini, T Calamoneri, EG Fusco, A Massini, S Silvestri
Wireless Networks 16 (3), 607-625, 2010
662010
System level formal verification via model checking driven simulation
T Mancini, F Mari, A Massini, I Melatti, F Merli, E Tronci
International Conference on Computer Aided Verification, 296-312, 2013
492013
Snap and spread: A self-deployment algorithm for mobile sensor networks
N Bartolini, T Calamoneri, EG Fusco, A Massini, S Silvestri
International Conference on Distributed Computing in Sensor Systems, 451-456, 2008
462008
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
292016
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
262008
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
252014
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
222015
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
All-to-all personalized communication on multistage interconnection networks
A Massini
Discrete applied mathematics 128 (2-3), 435-446, 2003
212003
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
192014
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
182016
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 Davì, ...
2014 Formal Methods in Computer-Aided Design (FMCAD), 207-214, 2014
182014
Redundant binary number representation for an inherently parallel arithmetic on optical computers
GA De Biase, A Massini
Applied optics 32 (5), 659-664, 1993
171993
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 (1), 134-145, 2011
162011
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
152017
New results on edge-bandwidth
T Calamoneri, A Massini, I Vrťo
Theoretical computer science 307 (3), 503-513, 2003
122003
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, I Tronci, R Ehrig, ...
Intelligenza Artificiale, 1-16, 2018
112018
Antibandwidth of complete k-ary trees
T Calamoneri, A Massini, L Török, I Vrt’o
Discrete Mathematics 309 (22), 6408-6414, 2009
102009
Optimal three-dimensional layout of interconnection networks
T Calamoneri, A Massini
Theoretical computer science 255 (1-2), 263-279, 2001
102001
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20