Toni Mancini | Ricerc@Sapienza

Pubblicazioni

Titolo	Pubblicato in	Anno
Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures	THE JOURNAL OF SYSTEMS AND SOFTWARE	2024
Sexual attraction to visual sexual stimuli in association with steroid hormones across menstrual cycles and fertility treatment	PSYCHONEUROENDOCRINOLOGY	2023
The androgen system across the menstrual cycle: Hormonal, (epi-)genetic and psychometric alterations	PHYSIOLOGY & BEHAVIOR	2023
Special issue on embedded real-time applications	REAL-TIME SYSTEMS	2023
Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING	2023
Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry	IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS	2023
The impact of machine learning in predicting risk of violence: a systematic review	FRONTIERS IN PSYCHIATRY	2022
Food preferences throughout the menstrual cycle – A computer-assisted neuro-endocrino-psychological investigation	PHYSIOLOGY & BEHAVIOR	2022
Reconciling interoperability with efficient Verification and Validation within open source simulation environments	SIMULATION MODELLING PRACTICE AND THEORY	2021
On checking equivalence of simulation scripts	THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING	2021
Mathematical Modeling and Simulation Provides Evidence for New Strategies of Ovarian Stimulation	FRONTIERS IN ENDOCRINOLOGY	2021
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING	2021
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries	IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS	2021
Cognitive function in association with high estradiol levels resulting from fertility treatment	HORMONES AND BEHAVIOR	2021
Complete populations of virtual patients for in silico clinical trials	BIOINFORMATICS	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
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks	FUNDAMENTA INFORMATICAE	2020
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins	FUNDAMENTA INFORMATICAE	2020

Progetti di Ricerca

Explainable Artificial Intelligence to learn and standardise decision making in safety-critical clinical domains, with applications to psychotropic drug-based treatments of mental illness during pregnancy and lactation and criminal forensic psychiatry
Computing Complete Cohorts of Virtual Phenotypes for In Silico Clinical Trials and Model-Based Precision Medicine
NeVuAMA: Artificial Intelligence for Network Vulnerability Analysis under Malicious Attacks

Gruppi di ricerca

MCLab: Model Checking Lab