Annalisa Massini

59 papers A* 3A 3B 4C 5Misc 3Journal 32Unranked 9

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