toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN (down) DOI Volume Pages Links
Chen, Q.M.; Finzi, A.; Mancini, T.; Melatti, I.; Tronci, E. MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks 2020 IOS Press 1875-8681 10.3233/FI-2020-1941 174 229-258 details   pdf doi
Fischer, S.; Ehrig, R.; Schaefer, S.; Tronci, E.; Mancini, T.; Egli, M.; Ille, F.; Krueger, T.H.C.; Leeners, B.; Roeblitz, S. Mathematical Modeling and Simulation Provides Evidence for New Strategies of Ovarian Stimulation 2021 Frontiers in Endocrinology 1664-2392 10.3389/fendo.2021.613048 12 117 details   pdf doi
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 details   pdf doi
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 details   pdf doi
Tronci, Enrico Introductory Paper 2006 Sttt 10.1007/s10009-005-0212-y 8 355-358 details   pdf doi
Della Penna, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico Automated Generation Of Optimal Controllers Through Model Checking Techniques 2008 Informatics in Control Automation and Robotics. Selected Papers from ICINCO 2006 Springer 10.1007/978-3-540-79142-3_10 107-119 details   pdf doi
Bartolini, Novella; Tronci, Enrico On Optimizing Service Availability of an Internet Based Architecture for Infrastructure Protection 2006 Cnip details   pdf openurl
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 details   pdf doi
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) details   pdf openurl
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 details   pdf openurl
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: