Tags:
create new tag
view all tags

Publications on Journals

T. Mancini, F. Mari, A. Massini, I. Melatti, I. Salvo, E. Tronci On minimising the maximum expected verification time
Information Processing Letters, 122, 1, 8-16, 2017
---
T. Mancini, F. Mari, A. Massini, I. Melatti, E. Tronci SyLVaaS: System Level Formal Verification as a Service
Fundamenta Informaticae 149(1-2): 101-132, 2016
---
T. Mancini, F. Mari, A. Massini, I. Melatti, E. Tronci Anytime system level verification via parallel random exhaustive hardware in the loop simulation
Microprocessors and Microsystems - Embedded Hardware Design 41: 12-28, 2016
---
N. Bartolini, A. Massini, S. Silvestri P&P: an asynchronous and distributed protocol for mobile sensor deployment
Wireless Networks, 18(4), 381-399, 2012
---
N. Bartolini, T. Calamoneri, A. Massini, S. Silvestri On adaptive density deployment to mitigate the sink-hole problem in mobile sensor networks
ACM/Springer Mobile Networks and Applications, 16:134-145, 2011
pdf
N.Bartolini, T. Calamoneri. E. G. Fusco, A. Massini, S. Silvestri Push and Pull: Autonomous Deployment of Mobile Sensors for a Complete Coverage
Wireless Networks, 16(3), 607 - 625, 2010
pdf
T. Calamoneri, A. Massini, L. Torok, I. Vrto Antibandwidth of Complete k-ary Trees
Discrete Mathematics, Vol. 309, No. 22, 6408-6414, 2009
pdf
T. Calamoneri, A. Massini Nearly Optimal Three Dimensional Layout of Hypercubes
Networks, 47(19), pp. 1-8, 2006
pdf
T. Calamoneri, A. Massini Efficient Algorithms for Checking the Equivalence of Multistage Interconnection Networks
Journal of Parallel and Distributed Computing, 64, 135 - 150, 2004
pdf
T. Calamoneri , A. Massini, I. Vrto New results on Edge-Bandwidths
Theoretical Computer Science, 307, 503-513, 2003
pdf
A. Massini All-to-all personalized communication on multistage interconnection networks
Discrete Applied Mathematics, 128, 435-446, 2003
pdf
T. Calamoneri, A. Massini Optimal Three-Dimensional Layout of Interconnection Networks
Theoretical Computer Science, 255, 263-279, 2001
pdf
G. Bongiovanni, G. A. De Biase, A. Massini, A. Monti The shuffled mesh a flexible and efficient model for parallel computing
Telecommunication Systems, Vol 13-1, 21-27, 2000
pdf
T. Calamoneri, A. Massini An Optimal Layout of Multigrid Networks
Information Processing Letters, 72, 137-141, 1999
pdf
G. A. De Biase, A. Massini A virtually nonblocking self-routing permutation network which routes packets in O(log2N)
Telecommunication Systems, 10, 135-147, 1998
pdf
G. A. De Biase, C. Ferrone, A. Massini An O(log2N) depth asymptotically nonblocking self-routing permutation network
IEEE Trans. on Comp., vol. 44, 1047-1050, 1995
pdf
A. Clementi, G. A. De Biase, A. Massini Fast parallel arithmetic on cellular automata
Complex Systems, vol. 8, 435-441, 1994
pdf
G. A. De Biase, A. Massini High efficiency redundant binary number representations for parallel arithmetic on optical computers
Optics & Laser Technology - Special Issue on Optical Computing, vol.26, n. 4, 219-224, 1994
pdf1 pdf2
G. A. De Biase, A. Massini Redundant Binary Number Representation for an Inherently Parallel Arithmetic on Optical Computers
Applied Optics, vol. 32, 659-664, 1993
pdf
G. A. De Biase, A. Massini Parallel Optical Arithmetic on Images by a Redundant Binary Number Representation
Applied Optics, vol. 29, 1587-1589, 1990
pdf

Publications on Conferences

T. Mancini, E. Tronci, I. Salvo, F. Mari, A. Massini, I. Melatti Computing Biological Model Parameters by Parallel Statistical Model Checking
Proc. IWBBIO (2), 542-554, 2015
---
T. Mancini, F. Mari, A. Massini, I. Melatti, E. Tronci SyLVaaS: System Level Formal Verification as a Service
Proc. PDP, 476-483, 2015
---
T. Mancini, F. Mari, A. Massini, I. Melatti, E. Tronci Simulator Semantics for System Level Formal Verification
Proc. Gandalf, 86-99, 2015
---
T. Mancini, F. Mari, A. Massini, I. Melatti, E. Tronci Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation
Proc. 17th Euromicro Conf on Digital Systems Design (DSD 2014) Verona, Italy, 2014
---
T. Mancini, I. Salvo, F. Mari, I. Melatti, A. Massini, S. Sinisi, E. Tronci, F. Davý, T. Dierkes, R. Ehrig et al. Patient-Specific Models from Inter-Patient Biological Models and Clinical Records
Formal Methods in Computer-Aided Design (FMCAD), Lausanne, Switzerland, 2014
---
T. Mancini, F. Mari, A. Massini, I. Melatti, E. Tronci System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation
Proc. 22nd Euromicro Int. Conf. on Parallel, Distributed and Network-Based Computing (PDP 2014) Turin, Italy, 2014
---
T. Mancini, F. Mari, A. Massini, I. Melatti, F. Merli, E. Tronci System Level Formal Verification via Model Checking Driven Simulation
Proc. CAV 2013 - 25th Int. Conf. on Computer Aided Verification, Saint Petersburg, Russia , 2013
---
F. Alessi, A. Massini, R. Basili High Performance Parallelization of COMPSYN on a Cluster of Multicore Processors with GPUs
Proc. 2.nd Int. Workshop on Advances in High-Performance Computational Earth Sciences: Applications and Frameworks (IHPCES), Int. Con. on Computational Science, Omaha, Nebraska, USA, 2012
---
F. Alessi, A. Massini, R. Basili Accelerating the Production of Synthetic Seismograms by a Multicore Processor Cluster with Multiple GPUs
Proc. 20th Euromicro Int. Conf. on Parallel, Distributed and Network-Based Computing (PDP 2012) Garching, Germany, 2012
---
N. Bartolini, T. Calamoneri, A. Massini, S. Silvestri Variable density deployment and topology control for the solution of the sink-hole problem
Proc. ICST QShine 2009, Las Palmas de Gran Canaria, Spain, 2009
pdf
N. Bartolini, A. Massini, S. Silvestri P&P protocol: local coordination of mobile sensors for self-deployment
Proc. ACM Int. Conf. on Modeling, Analysis and Simulation of Wireless and Mobile Systems (ACM MSWIM 2009), Tenerife, Canary Island, Spain, 2009
pdf
N. Bartolini, T. Calamoneri, T. La Porta, A. Massini, S. Silvestri Autonomous deployment of heterogeneous mobile sensors
Proc. IEEE International Conference on Network Protocols (IEEE ICNP 2009), Princeton, New Jersey, USA, 2009
Best Paper Award winner
pdf
A. Massini, M. T. Raffa Using the LCP based Decomposition for Permutation Routing on (2 log N -1) Stage Interconnection Networks
Proc. IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN2009), Innsbruck, Austria, 2009
pdf
N. Bartolini, T. Calamoneri, E.G. Fusco, A. Massini, S. Silvestri Autonomous deployment of self-organizing mobile sensors for a complete coverage
Proc. 3rd International Workshop on Self-Organizing Systems (IWSOS 2008), Vienna, Austria, 2008
pdf
N. Bartolini, T. Calamoneri, E. G. Fusco, A. Massini, S. Silvestri Snap and Spread: a self-deployment algorithm for mobile sensor networks
Proc. 4th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS '08), Santorini, Greece, 2008
pdf
T. Calamoneri, A. Massini, L. Torok, I. Vrto Antibandwidth of complete k-ary tree
Proc. of 5th Cracow Conference on Graph Theory, Polland, Electronic Notes in Discrete Mathematics, 24, pp. 259-266, 2006
pdf
T. Calamoneri, A. Massini Nearly optimal three-dimensional layout of hypercube networks
Proc. of Graph Drawing 03, Italy, Lecture Notes in Computer Science, vol. 2912, 64-75, 2003
pdf
G. A. De Biase, A. Massini Parallel Sorting of n-strings in Kn Time
Proc. International Conference on Communications in Computing - CIC'2002, Las Vegas, Nevada, USA, 24-27, 2002
pdf
T. Calamoneri, A. Massini A New Approach to the Rearrangeability of (2 log N -1) Stage MINs
Proc. IASTED International Conference on Applied Informatics (AI2001), Austria, 2001
pdf
A. Massini All-to-all personalized communication on multistage interconnection networks
International Conference on Communications in Computing - CIC'2000, Las Vegas, Nevada, USA, 217-223, 2000
pdf
T. Calamoneri, A. Massini Efficiently checking the equivalence of multistage interconnection networks
Proc. 11th IASTED International Conference on Parallel and Distributed Computing Systems (PDCS’99 ), Cambridge, Massachusset, USA, 23-30, 1999
pdf
A. Clementi, G. A. De Biase, A. Massini Pipelined addition, accumulation and multiplication of binary numbers on cellular automata
Proc. Fourth Joint Conference on Information Science (JCIS'98), RTP, North Carolina, USA, 134-141, 1998
pdf
G. Bongiovanni, G.A. De Biase, A. Massini, A. Monti The shuffled mesh: a flexible and efficient model for parallel computing
Proc. 6th International Conference on Telecommunication Systems, Nashville, USA, 652-654, 1998
pdf
T. Calamoneri, A. Massini, On three-dimensional layout of interconnection networks
Proc. of Graph Drawing 97, Roma, Italy, 64-75, 1997
pdf
G. A. De Biase, A. Massini Parallel Arithmetic on Optical Computers by Redundant Binary Number Representation
Proc. of International Conference on Application of Photonic Technology, Plenum Press, Toronto, Canada, 101-108, 1995
 
G. A. De Biase, C. Ferrone, A. Massini A quasi-nonblocking self-routing network which routes packets in log2N time
Proc. of IEEE INFOCOM'93, S. Francisco, California, USA, 1375-1381, 1993
pdf

Thesis

A. Massini High efficiency self-routing interconnection networks
Reti di interconnessione autoinstradanti ad alta efficienza
Ph. D. Thesis, 1993
---
A. Massini Binary redundant number representation for a parallel arithmetic on optical and electronic computers
Rappresentazione binaria ridondante dei numeri per un'aritmetica parallela su calcolatori ottici ed elettronici
Laurea Thesis, 1989
---

-- AnnalisaMassini - 2009 March 4

Topic attachments
I Attachment History Action Size Date Who Comment
Microsoft Word filedoc curriculum08.doc r1 manage 68.0 K 2010-03-04 - 14:49 AnnalisaMassini Curriculum
Microsoft Word filedoc elenco-pubblicazioni.doc r1 manage 32.0 K 2010-03-04 - 14:50 AnnalisaMassini  
Edit | Attach | Watch | Print version | History: r28 < r27 < r26 < r25 < r24 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r28 - 2017-03-25 - AnnalisaMassini






 
Questo sito usa cookies, usandolo ne accettate la presenza. (CookiePolicy)
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2017 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback