Annalisa Massini

Orcid: 0000-0001-8343-8929

According to our database1, Annalisa Massini authored at least 52 papers between 1993 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Bayesian Approach to Network Monitoring for Progressive Failure Localization.
IEEE/ACM Trans. Netw., April, 2023

Realizing Optimal All-to-All Personalized Communication Using Butterfly-Based Networks.
IEEE Access, 2023

2022
All-to-All Personalized Communication on Fat-Trees Using Latin Squares.
Proceedings of the 30th International Conference on Software, 2022

2021
On checking equivalence of simulation scripts.
J. Log. Algebraic Methods Program., 2021

Static and Dynamic Failure Localization through Progressive Network Tomography.
CoRR, 2021

Topology Agnostic Bounds on Minimum Requirements for Network Failure Identification.
IEEE Access, 2021

A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management.
Appl. Artif. Intell., 2021

A New Perspective for Rearrangeability of MINs.
Proceedings of the International Conference on Software, 2021

Failure Localization through Progressive Network Tomography.
Proceedings of the 40th IEEE Conference on Computer Communications, 2021

Efficiently Parallelizable Strassen-Based Multiplication of a Matrix by its Transpose.
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.
IEEE/ACM Trans. Netw., 2020

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

Optimal all-to-all personalized communication on Butterfly networks through a reduced Latin square.
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.
CoRR, 2019

Fast Strassen-based $A^t A$ Parallel Multiplication.
CoRR, 2019

Hybrid Solver for Quasi Block Diagonal Linear Systems.
Proceedings of the Parallel Processing and Applied Mathematics, 2019

Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking.
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.
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2018
Computing Personalised Treatments through In Silico Clinical Trials.
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.
Parallel Process. Lett., 2017

On minimising the maximum expected verification time.
Inf. Process. Lett., 2017

2016
Anytime system level verification via parallel random exhaustive hardware in the loop simulation.
Microprocess. Microsystems, 2016

SyLVaaS: System Level Formal Verification as a Service.
Fundam. Informaticae, 2016

2015
Simulator Semantics for System Level Formal Verification.
Proceedings of the Proceedings Sixth International Symposium on Games, 2015

Computing Biological Model Parameters by Parallel Statistical Model Checking.
Proceedings of the Bioinformatics and Biomedical Engineering, 2015

2014
System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Patient-specific models from inter-patient biological models and clinical records.
Proceedings of the Formal Methods in Computer-Aided Design, 2014

Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation.
Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2013
System Level Formal Verification via Model Checking Driven Simulation.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
P&P: an asynchronous and distributed protocol for mobile sensor deployment.
Wirel. Networks, 2012

High Performance Parallelization of COMPSYN on a Cluster of Multicore Processors with GPUs.
Proceedings of the International Conference on Computational Science, 2012

Accelerating the Production of Synthetic Seismograms by a Multicore Processor Cluster with Multiple GPUs.
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.
Mob. Networks Appl., 2011

2010
Push & Pull: autonomous deployment of mobile sensors for a complete coverage.
Wirel. Networks, 2010

2009
Variable Density Deployment and Topology Control for the Solution of the Sink-Hole Problem.
Proceedings of the Quality of Service in Heterogeneous Networks, 2009

P&P protocol: local coordination of mobile sensors for self-deployment.
Proceedings of the 12th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2009

Autonomous deployment of heterogeneous mobile sensors.
Proceedings of the 17th annual IEEE International Conference on Network Protocols, 2009

2008
Autonomous Deployment of Self-Organizing Mobile Sensors for a Complete Coverage.
Proceedings of the Self-Organizing Systems, Third International Workshop, 2008

Snap and Spread: A Self-deployment Algorithm for Mobile Sensor Networks.
Proceedings of the Distributed Computing in Sensor Systems, 2008

2006
Nearly optimal three dimensional layout of hypercube networks.
Networks, 2006

Antibandwidth of Complete k-Ary Trees.
Electron. Notes Discret. Math., 2006

2004
Efficient algorithms for checking the equivalence of multistage interconnection networks.
J. Parallel Distributed Comput., 2004

2003
New results on edge-bandwidth.
Theor. Comput. Sci., 2003

All-to-all Personalized Communication on Multistage Interconnection Networks.
Discret. Appl. Math., 2003

2001
Optimal three-dimensional layout of interconnection networks.
Theor. Comput. Sci., 2001

2000
The Shuffled Mesh: a flexible and efficient model for parallel computing.
Telecommun. Syst., 2000

1999
An optimal layout of multigrid networks.
Inf. Process. Lett., 1999

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

1997
On Three-Dimensional Layout of Interconnection Networks.
Proceedings of the Graph Drawing, 5th International Symposium, 1997

1995
An O(log<sub>2</sub> N) Depth Asymptotically Nonblocking Self-Routing Permutation Network.
IEEE Trans. Computers, 1995

1994
Fast Parallel Arithmetic on Cellular Automata.
Complex Syst., 1994

1993
A Quasi-Nonblocking Self-Routing Network which Routs Packets in log<sub>2</sub><i>N</i> Time.
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


  Loading...