toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN 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
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa Exploiting Transition Locality in the Disk Based Mur$\varphi$ Verifier 2002 4th International Conference on Formal Methods in Computer-Aided Design (FMCAD) Springer 3-540-00116-6 10.1007/3-540-36126-X_13 202-219 details   pdf doi
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico On Model Based Synthesis of Embedded Control Software 2012 Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012 ACM 978-1-4503-1425-1 10.1145/2380356.2380398 227-236 details   pdf doi
Gribaudo, Marco; Horváth, Andras; Bobbio, Andrea; Tronci, Enrico; Ciancamerla, Ester; Minichino, Michele Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant 2002 21st International Conference on Computer Safety, Reliability and Security (SAFECOMP) Springer 3-540-44157-3 10.1007/3-540-45732-1_27 273-283 details   pdf doi
Ciancamerla, Ester; Minichino, Michele; Serro, Stefano; Tronci, Enrico Automatic Timeliness Verification of a Public Mobile Network 2003 22nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP) Springer 978-3-540-20126-7 10.1007/978-3-540-39878-3_4 35-48 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 2006 Icinco-Icso INSTICC Press 972-8865-59-7 10.1007/978-3-540-79142-3 26-33 details   pdf doi
Mari, Federico; Tronci, Enrico CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems 2007 Hybrid Systems: Computation and Control (HSCC 2007) Springer 10.1007/978-3-540-71493-4_32 399-412 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: