| |
Author  |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Alvisi, Lorenzo; Clement, Allen; Li, Harry |
Model Checking Nash Equilibria in MAD Distributed Systems |
2008 |
FMCAD '08: Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design |
IEEE Press |
978-1-4244-2735-2 |
|
10.1109/FMCAD.2008.ECP.16 |
|
1-8 |
|
|
|
Mari, Federico; Melatti, Igor; Tronci, Enrico; Finzi, Alberto |
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET |
2013 |
Mobile Information Systems |
IOS Press |
1574-017x (Print) 1875-905X (Online) |
|
10.3233/MIS-130162 |
3 |
261-280 |
|
|
|
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 |
|
|
|
Mazzini, Silvia; Puri, Stefano; Mari, Federico; Melatti, Igor; Tronci, Enrico |
Formal Verification at System Level |
2009 |
In: DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. Instanbul, Turkey, EuroSpace |
|
|
|
|
|
|
|
|
|
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 |
|
|
|
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 |
|
|
|
Toni Mancini; Enrico Tronci; Ivano Salvo; Federico Mari; Annalisa Massini; Igor Melatti |
Computing Biological Model Parameters by Parallel Statistical Model Checking |
2015 |
International Work Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2015) |
|
|
|
10.1007/978-3-319-16480-9_52 |
9044 |
542-554 |
|
|
|
Tronci, E.; Mancini, T.; Mari, F.; Melatti, I.; Jacobsen, R. H.; Ebeid, E.; Mikkelsen, S. A.; Prodanovic, M.; Gruber, J. K.; Hayes, B. |
SmartHG: Energy Demand Aware Open Services for Smart Grid Intelligent Automation |
2014 |
Proceedings of the Work in Progress Session of SEAA/DSD 2014 |
|
|
978-3-902457-40-0 |
|
|
|
|
|
|
Tronci, E.; Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Prodanovic, M.; Gruber, J. K.; Hayes, B.; Elmegaard, L. |
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids |
2014 |
Proceedings of Smart Grid Communications (SmartGridComm), 2014 IEEE International Conference On |
|
|
|
10.1109/SmartGridComm.2014.7007745 |
|
|
|
|
|
Tronci, E.; Mancini, T.; Salvo, I.; Mari, F.; Melatti, I.; Massini, A.; Sinisi, S.; Davì, F.; Dierkes, T.; Ehrig, R.; Röblitz, S.; Leeners, B.; Krüger, T.; Egli, M.; Ille, F. |
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records |
2014 |
Formal Methods in Computer-Aided Design (FMCAD) |
|
|
|
10.1109/FMCAD.2014.6987615 |
|
|
|
