Annalisa Massini

According to our database, Annalisa Massini authored at least 53 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A Delay-Efficient Implementation of Quantum Carry Select Adders.

Annalisa Massini, Federico Mingardi

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2024

2023

A Bayesian Approach to Network Monitoring for Progressive Failure Localization.

Viviana Arrigoni, Novella Bartolini, Annalisa Massini, Federico Trombetti

IEEE/ACM Trans. Netw., April, 2023

Realizing Optimal All-to-All Personalized Communication Using Butterfly-Based Networks.

Daniele Izzi, Annalisa Massini

IEEE Access, 2023

2022

All-to-All Personalized Communication on Fat-Trees Using Latin Squares.

Daniele Izzi, Annalisa Massini

Proceedings of the 30th International Conference on Software, 2022

2021

On checking equivalence of simulation scripts.

Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci

J. Log. Algebraic Methods Program., 2021

Static and Dynamic Failure Localization through Progressive Network Tomography.

Viviana Arrigoni, Novella Bartolini, Annalisa Massini, Federico Trombetti

CoRR, 2021

Topology Agnostic Bounds on Minimum Requirements for Network Failure Identification.

Viviana Arrigoni, Novella Bartolini, Annalisa Massini

IEEE Access, 2021

A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management.

Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci

Appl. Artif. Intell., 2021

A New Perspective for Rearrangeability of MINs.

Fitz Gerald Cabangcla, Daniele Izzi, Annalisa Massini

Proceedings of the International Conference on Software, 2021

Failure Localization through Progressive Network Tomography.

Viviana Arrigoni, Novella Bartolini, Annalisa Massini, Federico Trombetti

Proceedings of the 40th IEEE Conference on Computer Communications, 2021

Efficiently Parallelizable Strassen-Based Multiplication of a Matrix by its Transpose.

Viviana Arrigoni, Filippo Maggioli, Annalisa Massini, Emanuele Rodolà

Proceedings of the ICPP 2021: 50th International Conference on Parallel Processing, Lemont, IL, USA, August 9, 2021

2020

On Fundamental Bounds on Failure Identifiability by Boolean Network Tomography.

Novella Bartolini, Ting He, Viviana Arrigoni, Annalisa Massini, Federico Trombetti, Hana Khamfroush

IEEE/ACM Trans. Netw., 2020

Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review.

Angela Pappagallo, Annalisa Massini, Enrico Tronci

Inf., 2020

Optimal all-to-all personalized communication on Butterfly networks through a reduced Latin square.

Daniele Izzi, Annalisa Massini

Proceedings of the 22nd IEEE International Conference on High Performance Computing and Communications; 18th IEEE International Conference on Smart City; 6th IEEE International Conference on Data Science and Systems, 2020

2019

On Fundamental Bounds of Failure Identifiability by Boolean Network Tomography.

Novella Bartolini, Ting He, Viviana Arrigoni, Annalisa Massini, Hana Khamfroush

CoRR, 2019

Fast Strassen-based $A^t A$ Parallel Multiplication.

Viviana Arrigoni, Annalisa Massini

CoRR, 2019

Hybrid Solver for Quasi Block Diagonal Linear Systems.

Viviana Arrigoni, Annalisa Massini

Proceedings of the Parallel Processing and Applied Mathematics, 2019

Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking.

Agostina Calabrese, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci

Proceedings of the Joint Proceedings of the RCRA International Workshop and of the RCRA Incontri e Confronti Workshop co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AIIA 2019), 2019

In Silico Clinical Trials through AI and Statistical Model Checking.

Vadim Alimguzhin, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2018

Computing Personalised Treatments through In Silico Clinical Trials.

Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Stefano Sinisi, Enrico Tronci, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners

Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, 2018

2017

Parallelization of Cycle-Based Logic Simulation.

Toni Mancini, Annalisa Massini, Enrico Tronci

Parallel Process. Lett., 2017

On minimising the maximum expected verification time.

Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Enrico Tronci

Inf. Process. Lett., 2017

2016

Anytime system level verification via parallel random exhaustive hardware in the loop simulation.

Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci

Microprocess. Microsystems, 2016

SyLVaaS: System Level Formal Verification as a Service.

Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci

Fundam. Informaticae, 2016

2015

Simulator Semantics for System Level Formal Verification.

Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci

Proceedings of the Proceedings Sixth International Symposium on Games, 2015

Computing Biological Model Parameters by Parallel Statistical Model Checking.

Toni Mancini, Enrico Tronci, Ivano Salvo, Federico Mari, Annalisa Massini, Igor Melatti

Proceedings of the Bioinformatics and Biomedical Engineering, 2015

2014

System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation.

Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Patient-specific models from inter-patient biological models and clinical records.

Enrico Tronci, Toni Mancini, Ivano Salvo, Stefano Sinisi, Federico Mari, Igor Melatti, Annalisa Massini, Francesco Davì, Thomas Dierkes, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners, Tillmann H. C. Kruger, Marcel Egli, Fabian Ille

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation.

Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2013

System Level Formal Verification via Model Checking Driven Simulation.

Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

P&P: an asynchronous and distributed protocol for mobile sensor deployment.

Novella Bartolini, Annalisa Massini, Simone Silvestri

Wirel. Networks, 2012

High Performance Parallelization of COMPSYN on a Cluster of Multicore Processors with GPUs.

Ferdinando Alessi, Annalisa Massini, Roberto Basili

Proceedings of the International Conference on Computational Science, 2012

Accelerating the Production of Synthetic Seismograms by a Multicore Processor Cluster with Multiple GPUs.

Ferdinando Alessi, Annalisa Massini, Roberto Basili

Proceedings of the 20th Euromicro International Conference on Parallel, 2012

2011

On Adaptive Density Deployment to Mitigate the Sink-Hole Problem in Mobile Sensor Networks.

Novella Bartolini, Tiziana Calamoneri, Annalisa Massini, Simone Silvestri

Mob. Networks Appl., 2011

2010

Push & Pull: autonomous deployment of mobile sensors for a complete coverage.

Novella Bartolini, Tiziana Calamoneri, Emanuele G. Fusco, Annalisa Massini, Simone Silvestri

Wirel. Networks, 2010

2009

Variable Density Deployment and Topology Control for the Solution of the Sink-Hole Problem.

Novella Bartolini, Tiziana Calamoneri, Annalisa Massini, Simone Silvestri

Proceedings of the Quality of Service in Heterogeneous Networks, 2009

P&P protocol: local coordination of mobile sensors for self-deployment.

Novella Bartolini, Annalisa Massini, Simone Silvestri

Proceedings of the 12th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2009

Autonomous deployment of heterogeneous mobile sensors.

Novella Bartolini, Tiziana Calamoneri, Thomas La Porta, Annalisa Massini, Simone Silvestri

Proceedings of the 17th annual IEEE International Conference on Network Protocols, 2009

2008

Autonomous Deployment of Self-Organizing Mobile Sensors for a Complete Coverage.

Novella Bartolini, Tiziana Calamoneri, Emanuele G. Fusco, Annalisa Massini, Simone Silvestri

Proceedings of the Self-Organizing Systems, Third International Workshop, 2008

Snap and Spread: A Self-deployment Algorithm for Mobile Sensor Networks.

Novella Bartolini, Tiziana Calamoneri, Emanuele G. Fusco, Annalisa Massini, Simone Silvestri

Proceedings of the Distributed Computing in Sensor Systems, 2008

2006

Nearly optimal three dimensional layout of hypercube networks.

Tiziana Calamoneri, Annalisa Massini

Networks, 2006

Antibandwidth of Complete k-Ary Trees.

Tiziana Calamoneri, Annalisa Massini, Lubomir Torok, Imrich Vrto

Electron. Notes Discret. Math., 2006

2004

Efficient algorithms for checking the equivalence of multistage interconnection networks.

Tiziana Calamoneri, Annalisa Massini

J. Parallel Distributed Comput., 2004

2003

New results on edge-bandwidth.

Tiziana Calamoneri, Annalisa Massini, Imrich Vrto

Theor. Comput. Sci., 2003

All-to-all Personalized Communication on Multistage Interconnection Networks.

Annalisa Massini

Discret. Appl. Math., 2003

2001

Optimal three-dimensional layout of interconnection networks.

Tiziana Calamoneri, Annalisa Massini

Theor. Comput. Sci., 2001

2000

The Shuffled Mesh: a flexible and efficient model for parallel computing.

G. Bongiovanni, Giuseppe A. De Biase, Annalisa Massini, Angelo Monti

Telecommun. Syst., 2000

1999

An optimal layout of multigrid networks.

Tiziana Calamoneri, Annalisa Massini

Inf. Process. Lett., 1999

1998

A virtually nonblocking self-routing permutation network which routes packets in \mathrm{O}(\log_{2} N) time.

Giuseppe A. De Biase, Annalisa Massini

Telecommun. Syst., 1998

1997

On Three-Dimensional Layout of Interconnection Networks.

Tiziana Calamoneri, Annalisa Massini

Proceedings of the Graph Drawing, 5th International Symposium, 1997

1995

An O(log₂ N) Depth Asymptotically Nonblocking Self-Routing Permutation Network.

Giuseppe A. De Biase, Claudia Ferrone, Annalisa Massini

IEEE Trans. Computers, 1995

1994

Fast Parallel Arithmetic on Cellular Automata.

Andrea Clementi, Giuseppe A. De Biase, Annalisa Massini

Complex Syst., 1994

1993

A Quasi-Nonblocking Self-Routing Network which Routs Packets in log₂<i>N</i> Time.

Giuseppe A. De Biase, Claudia Ferrone, Annalisa Massini

Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993