Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review

by Angela Pappagallo, Annalisa Massini, Enrico Tronci
Published 2020-12-01

Visualisation of Control Software for Cyber-Physical Systems

by Igor Melatti, Federico Mari, Ivano Salvo, Enrico Tronci
Published 2021-04-01

A Multi-Hop Advertising Discovery and Delivering Protocol for Multi Administrative Domain MANET

by Federico Mari, Igor Melatti, Enrico Tronci, Alberto Finzi
Published 2013-01-01

Simulator Semantics for System Level Formal Verification

by Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
Published 2015-09-01

Neuroprediction and A.I. in Forensic Psychiatry and Criminal Justice: A Neurolaw Perspective

by Leda Tortora, Gerben Meynen, Gerben Meynen, Johannes Bijlsma, Enrico Tronci, Stefano Ferracuti
Published 2020-03-01

Mathematical Modeling and Simulation Provides Evidence for New Strategies of Ovarian Stimulation

by Sophie Fischer, Rainald Ehrig, Stefan Schäfer, Enrico Tronci, Toni Mancini, Marcel Egli, Fabian Ille, Tillmann H. C. Krüger, Brigitte Leeners, Susanna Röblitz
Published 2021-03-01

Associations Between Natural Physiological and Supraphysiological Estradiol Levels and Stress Perception

by Brigitte Leeners, Tillmann H. C. Krüger, Kirsten Geraedts, Enrico Tronci, Toni Mancini, Marcel Egli, Susanna Röblitz, Lanja Saleh, Katharina Spanaus, Cordula Schippert, Yuanyuan Zhang, Fabian Ille
Published 2019-06-01

Lack of Associations between Female Hormone Levels and Visuospatial Working Memory, Divided Attention and Cognitive Bias across Two Consecutive Menstrual Cycles

by Brigitte Leeners, Tillmann H. C. Kruger, Kirsten Geraedts, Enrico Tronci, Toni Mancini, Fabian Ille, Marcel Egli, Susanna Röblitz, Lanja Saleh, Katharina Spanaus, Cordula Schippert, Yuangyuang Zhang, Michael P. Hengartner
Published 2017-07-01