List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages (down)
Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E.; Gruber, J.; Hayes, B.; Prodanovic, M.; Elmegaard, L. Parallel Statistical Model Checking for Safety Verification in Smart Grids 2018 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm) 10.1109/SmartGridComm.2018.8587416 1-6
Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E.; Leeners, B. Complete populations of virtual patients for in silico clinical trials 2021 Bioinformatics 1367-4803 10.1093/bioinformatics/btaa1026 1-8
Melatti, I.; Mari, F.; Mancini, T.; Prodanovic, M.; Tronci, E. A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 2021 IEEE Transactions on Industrial Electronics 10.1109/TIE.2021.3102431 1-1
Mancini, T.; Melatti, I.; Tronci, E. Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification 2021 IEEE Transactions on Software Engineering 1939-3520 10.1109/TSE.2021.3109842 1-1
Bartolini, Novella; Tronci, Enrico On Optimizing Service Availability of an Internet Based Architecture for Infrastructure Protection 2006 Cnip
Cecconi, Michele; Tronci, Enrico Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher 2000 Hase IEEE Computer Society 0-7695-0927-4 10.1109/HASE.2000.895456
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico Merging Planning, Scheduling & Verification – A Preliminary Analysis 2008 In Proc. of 10th ESA Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA)
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico Validation and Verification Issues in a Timeline-based Planning System 2008 In E-Proc. of ICAPS Workshop on Knowledge Engineering for Planning and Scheduling
Cavaliere, Federico; Mari, Federico; Melatti, Igor; Minei, Giovanni; Salvo, Ivano; Tronci, Enrico; Verzino, Giovanni; Yushtein, Yuri Model Checking Satellite Operational Procedures 2011 DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. San Anton, Malta, EuroSpace.
Mazzini, Silvia; Puri, Stefano; Mari, Federico; Melatti, Igor; Tronci, Enrico Formal Verification at System Level 2009 In: DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. Instanbul, Turkey, EuroSpace