Annalisa Massini

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 25

Top Topics

Formal Verification

Constraint Optimization

Top Venues

IEEE/ACM Trans. Netw.

Publications

Annalisa Massini, Federico Mingardi
A Delay-Efficient Implementation of Quantum Carry Select Adders. IPDPS (Workshops) (2024)
Viviana Arrigoni, Novella Bartolini, Annalisa Massini, Federico Trombetti
A Bayesian Approach to Network Monitoring for Progressive Failure Localization. IEEE/ACM Trans. Netw. 31 (2) (2023)
Daniele Izzi, Annalisa Massini
Realizing Optimal All-to-All Personalized Communication Using Butterfly-Based Networks. IEEE Access 11 (2023)
Daniele Izzi, Annalisa Massini
All-to-All Personalized Communication on Fat-Trees Using Latin Squares. SoftCOM (2022)
Viviana Arrigoni, Novella Bartolini, Annalisa Massini, Federico Trombetti
Static and Dynamic Failure Localization through Progressive Network Tomography. CoRR (2021)
Fitz Gerald Cabangcla, Daniele Izzi, Annalisa Massini
A New Perspective for Rearrangeability of MINs. SoftCOM (2021)
Viviana Arrigoni, Filippo Maggioli, Annalisa Massini, Emanuele Rodolà
Efficiently Parallelizable Strassen-Based Multiplication of a Matrix by its Transpose. CoRR (2021)
Viviana Arrigoni, Filippo Maggioli, Annalisa Massini, Emanuele Rodolà
Efficiently Parallelizable Strassen-Based Multiplication of a Matrix by its Transpose. ICPP (2021)
Viviana Arrigoni, Novella Bartolini, Annalisa Massini
Topology Agnostic Bounds on Minimum Requirements for Network Failure Identification. IEEE Access 9 (2021)
Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management. Appl. Artif. Intell. 35 (5) (2021)
Viviana Arrigoni, Novella Bartolini, Annalisa Massini, Federico Trombetti
Failure Localization through Progressive Network Tomography. INFOCOM (2021)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
On checking equivalence of simulation scripts. J. Log. Algebraic Methods Program. 120 (2021)
Angela Pappagallo, Annalisa Massini, Enrico Tronci
Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review. Inf. 11 (12) (2020)
Daniele Izzi, Annalisa Massini
Optimal all-to-all personalized communication on Butterfly networks through a reduced Latin square. HPCC/DSS/SmartCity (2020)
Novella Bartolini, Ting He, Viviana Arrigoni, Annalisa Massini, Federico Trombetti, Hana Khamfroush
On Fundamental Bounds on Failure Identifiability by Boolean Network Tomography. IEEE/ACM Trans. Netw. 28 (2) (2020)
Novella Bartolini, Ting He, Viviana Arrigoni, Annalisa Massini, Hana Khamfroush
On Fundamental Bounds of Failure Identifiability by Boolean Network Tomography. CoRR (2019)
Viviana Arrigoni, Annalisa Massini
Fast Strassen-based $A^t A$ Parallel Multiplication. CoRR (2019)
Viviana Arrigoni, Annalisa Massini
Hybrid Solver for Quasi Block Diagonal Linear Systems. PPAM (1) (2019)
Agostina Calabrese, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci
Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking. RCRA/RiCeRcA@AI*IA (2019)
Vadim Alimguzhin, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci
In Silico Clinical Trials through AI and Statistical Model Checking. OVERLAY@AI*IA (2019)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Stefano Sinisi, Enrico Tronci, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners
Computing Personalised Treatments through In Silico Clinical Trials. RCRA@FLoC (2018)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Enrico Tronci
On minimising the maximum expected verification time. Inf. Process. Lett. 122 (2017)
Toni Mancini, Annalisa Massini, Enrico Tronci
Parallelization of Cycle-Based Logic Simulation. Parallel Process. Lett. 27 (2) (2017)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
Anytime system level verification via parallel random exhaustive hardware in the loop simulation. Microprocess. Microsystems 41 (2016)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
SyLVaaS: System Level Formal Verification as a Service. Fundam. Informaticae 149 (1-2) (2016)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
Simulator Semantics for System Level Formal Verification. GandALF (2015)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
SyLVaaS: System Level Formal Verification as a Service. PDP (2015)
Toni Mancini, Enrico Tronci, Ivano Salvo, Federico Mari, Annalisa Massini, Igor Melatti
Computing Biological Model Parameters by Parallel Statistical Model Checking. IWBBIO (2) (2015)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation. PDP (2014)
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
Patient-specific models from inter-patient biological models and clinical records. FMCAD (2014)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation. DSD (2014)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci
System Level Formal Verification via Model Checking Driven Simulation. CAV (2013)
Novella Bartolini, Annalisa Massini, Simone Silvestri
P&P: an asynchronous and distributed protocol for mobile sensor deployment. Wirel. Networks 18 (4) (2012)
Ferdinando Alessi, Annalisa Massini, Roberto Basili
Accelerating the Production of Synthetic Seismograms by a Multicore Processor Cluster with Multiple GPUs. PDP (2012)
Ferdinando Alessi, Annalisa Massini, Roberto Basili
High Performance Parallelization of COMPSYN on a Cluster of Multicore Processors with GPUs. ICCS (2012)
Novella Bartolini, Tiziana Calamoneri, Annalisa Massini, Simone Silvestri
On Adaptive Density Deployment to Mitigate the Sink-Hole Problem in Mobile Sensor Networks. Mob. Networks Appl. 16 (1) (2011)
Novella Bartolini, Tiziana Calamoneri, Emanuele G. Fusco, Annalisa Massini, Simone Silvestri
Push & Pull: autonomous deployment of mobile sensors for a complete coverage. Wirel. Networks 16 (3) (2010)
Novella Bartolini, Tiziana Calamoneri, Annalisa Massini, Simone Silvestri
Variable Density Deployment and Topology Control for the Solution of the Sink-Hole Problem. QSHINE (2009)
Tiziana Calamoneri, Annalisa Massini, L'ubomír Török, Imrich Vrto
Antibandwidth of complete k-ary trees. Discret. Math. 309 (22) (2009)
Novella Bartolini, Annalisa Massini, Simone Silvestri
P&P protocol: local coordination of mobile sensors for self-deployment. MSWiM (2009)
Novella Bartolini, Tiziana Calamoneri, Thomas La Porta, Annalisa Massini, Simone Silvestri
Autonomous deployment of heterogeneous mobile sensors. ICNP (2009)
Novella Bartolini, Tiziana Calamoneri, Emanuele G. Fusco, Annalisa Massini, Simone Silvestri
Push&Pull: autonomous deployment of mobile sensors for a complete coverage CoRR (2008)
Novella Bartolini, Annalisa Massini, Simone Silvestri
P&P protocol: local coordination of mobile sensors for self-deployment CoRR (2008)
Novella Bartolini, Tiziana Calamoneri, Emanuele G. Fusco, Annalisa Massini, Simone Silvestri
Snap and Spread: A Self-deployment Algorithm for Mobile Sensor Networks. DCOSS (2008)
Novella Bartolini, Tiziana Calamoneri, Emanuele G. Fusco, Annalisa Massini, Simone Silvestri
Autonomous Deployment of Self-Organizing Mobile Sensors for a Complete Coverage. IWSOS (2008)
Tiziana Calamoneri, Annalisa Massini
Nearly optimal three dimensional layout of hypercube networks. Networks 47 (1) (2006)
Tiziana Calamoneri, Annalisa Massini, Lubomir Torok, Imrich Vrto
Antibandwidth of Complete k-Ary Trees. Electron. Notes Discret. Math. 24 (2006)
Tiziana Calamoneri, Annalisa Massini
Efficient algorithms for checking the equivalence of multistage interconnection networks. J. Parallel Distributed Comput. 64 (1) (2004)
Annalisa Massini
All-to-all Personalized Communication on Multistage Interconnection Networks. Discret. Appl. Math. 128 (2-3) (2003)
Tiziana Calamoneri, Annalisa Massini, Imrich Vrto
New results on edge-bandwidth. Theor. Comput. Sci. 307 (3) (2003)
Tiziana Calamoneri, Annalisa Massini
Nearly Optimal Three Dimensional Layout of Hypercube Networks. Graph Drawing (2003)
Tiziana Calamoneri, Annalisa Massini
Optimal three-dimensional layout of interconnection networks. Theor. Comput. Sci. 255 (1-2) (2001)
G. Bongiovanni, Giuseppe A. De Biase, Annalisa Massini, Angelo Monti
The Shuffled Mesh: a flexible and efficient model for parallel computing. Telecommun. Syst. 13 (1) (2000)
Tiziana Calamoneri, Annalisa Massini
An optimal layout of multigrid networks. Inf. Process. Lett. 72 (3-4) (1999)
Giuseppe A. De Biase, Annalisa Massini
A virtually nonblocking self-routing permutation network which routes packets in \mathrm{O}(\log_{2} N) time. Telecommun. Syst. 10 (1) (1998)
Tiziana Calamoneri, Annalisa Massini
On Three-Dimensional Layout of Interconnection Networks. Graph Drawing (1997)
Giuseppe A. De Biase, Claudia Ferrone, Annalisa Massini
N) Depth Asymptotically Nonblocking Self-Routing Permutation Network. IEEE Trans. Computers 44 (8) (1995)
Andreas Clementi, Giuseppe A. De Biase, Annalisa Massini
Fast Parallel Arithmetic on Cellular Automata. Complex Syst. 8 (6) (1994)
Giuseppe A. De Biase, Claudia Ferrone, Annalisa Massini
Time. INFOCOM (1993)