| Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN  |
DOI |
Volume |
Pages |
| 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 |
| 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 |
| 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 |
| Tronci, Enrico |
Introductory Paper |
2006 |
Sttt |
|
|
|
10.1007/s10009-005-0212-y |
8 |
355-358 |
| 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 |
| 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 |
|
|
|
|
|
|
