| |
Author |
Title |
Year  |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
|
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 |
|
|
|
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.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
On Checking Equivalence of Simulation Scripts |
2021 |
Journal of Logical and Algebraic Methods in Programming |
|
2352-2208 |
|
10.1016/j.jlamp.2021.100640 |
|
100640 |
|
|
|
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 |
|
|
|
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Sinisi, S.; Tronci, E.; Ehrig, R.; Röblitz, S.; Leeners, B. |
Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction |
2018 |
25th RCRA International Workshop on “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion” (RCRA 2018) |
|
|
|
10.29007/g864 |
|
|
|
|
|
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 |
|
|
|
Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. |
An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks |
2018 |
Foundations of Intelligent Systems – 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29-31, 2018, Proceedings |
|
|
|
10.1007/978-3-030-01851-1_29 |
|
302-312 |
|
|
|
Alimguzhin, V.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. |
Linearising Discrete Time Hybrid Systems |
2017 |
IEEE Transactions on Automatic Control |
|
0018-9286 |
|
10.1109/TAC.2017.2694559 |
62 |
5357-5364 |
|
|
|
Hayes, B. P. ; Melatti, I.; Mancini, T.; Prodanovic, M.; Tronci, E. |
Residential Demand Management using Individualised Demand Aware Price Policies |
2017 |
IEEE Transactions On Smart Grid |
|
|
|
10.1109/TSG.2016.2596790 |
8 |
1284-1294 |
|
|
|
Mancini, T. ; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Tronci, E. |
On minimising the maximum expected verification time |
2017 |
Information Processing Letters |
|
|
|
10.1016/j.ipl.2017.02.001 |
|
|
|
