Annalisa Massini | Ricerc@Sapienza

Pubblicazioni

Titolo	Pubblicato in	Anno
A Delay-Efficient Implementation of Quantum Carry Select Adders	2024 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)	2024
Realizing Optimal All-to-All Personalized Communication Using Butterfly-Based Networks	IEEE ACCESS	2023
A Bayesian Approach to Network Monitoring for Progressive Failure Localization	IEEE-ACM TRANSACTIONS ON NETWORKING	2022
All-to-All Personalized Communication on Fat-Trees Using Latin Squares	2022 International Conference on Software, Telecommunications and Computer Networks (SoftCOM)	2022
Topology Agnostic Bounds on Minimum Requirements for Network Failure Identification	IEEE ACCESS	2021
On checking equivalence of simulation scripts	THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING	2021
A Constraint Optimization–Based Sense and Response System for Interactive Business Performance Management	APPLIED ARTIFICIAL INTELLIGENCE	2021
Efficiently Parallelizable Strassen-Based Multiplication of a Matrix by its Transpose	50th International Conference on Parallel Processing	2021
Failure localization through progressive network tomography	Proceedings - IEEE INFOCOM	2021
A New Perspective for Rearrangeability of MINs	2021 International Conference on Software, Telecommunications and Computer Networks (SoftCOM)	2021
On checking equivalence of simulation scripts	THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING	2021
Generating T1DM virtual patients for in silico clinical trials via AI-guided statistical model checking	CEUR Workshop Proceedings	2020
In silico clinical trials through AI and statistical model checking	Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019	2020
On Fundamental Bounds on Failure Identifiability by Boolean Network Tomography	IEEE-ACM TRANSACTIONS ON NETWORKING	2020
Hybrid Solver for Quasi Block Diagonal Linear Systems	Parallel Processing and Applied Mathematics	2020
Monte carlo based statistical model checking of cyber-physical systems: A review	INFORMATION	2020
Optimal all-To-All personalized communication on Butterfly networks through a reduced Latin square	Proceedings - 2020 IEEE 22nd International Conference on High Performance Computing and Communications, IEEE 18th International Conference on Smart City and IEEE 6th International Conference on Data Science and Systems, HPCC-SmartCity-DSS 2020	2020
Massive NGS data analysis reveals hundreds of potential novel gene fusions in human cell lines	GIGASCIENCE	2018
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction.	Proceedings of the 25th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2018	2018
On minimising the maximum expected verification time	INFORMATION PROCESSING LETTERS	2017

Progetti di Ricerca

A Holistic Model-Based Approach to Design, Verification and Diagnosis of Cyber Physical Systems