Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
SyLVaaS: System Level Formal Verification as a Service |
2016 |
Fundamenta Informaticae |
|
|
|
10.3233/FI-2016-1444 |
149 |
101-132 |
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.; 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.; 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 |
Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E.; Mari, F.; Leeners, B. |
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins |
2020 |
|
IOS Press |
1875-8681 |
|
10.3233/FI-2020-1943 |
174 |
283-310 |
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 |
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Synthesizing Control Software from Boolean Relations |
2012 |
International Journal on Advances in Software |
IARIA |
1942-2628 |
|
|
vol. 5, nr 3&4 |
212-223 |
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
From Boolean Relations to Control Software |
2011 |
Proceedings of ICSEA 2011, The Sixth International Conference on Software Engineering Advances |
ThinkMind |
978-1-61208-165-6 |
|
|
|
528-533 |
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems |
2010 |
Computer Aided Verification |
Springer Berlin / Heidelberg |
|
|
10.1007/978-3-642-14295-6_20 |
|
180-195 |
Bobbio, Andrea; Ciancamerla, Ester; Di Blasi, Saverio; Iacomini, Alessandro; Mari, Federico; Melatti, Igor; Minichino, Michele; Scarlatti, Alessandro; Tronci, Enrico; Terruggia, Roberta; Zendri, Emilio |
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks |
2009 |
Proceedings of Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS) |
|
|
|
10.1109/CRISIS.2009.5411974 |
|
90-97 |