toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN (down) ISBN DOI Volume Pages Links
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 details   pdf doi
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation 2014 In Proceedings of 17th EuroMicro Conference on Digital System Design (DSD 2014) 10.1109/DSD.2014.91 details   pdf doi
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico SyLVaaS: System Level Formal Verification as a Service 2015 Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), special session on Formal Approaches to Parallel and Distributed Systems (4PAD) 10.1109/PDP.2015.119 details   pdf doi
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 details   pdf doi
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico Simulator Semantics for System Level Formal Verification 2015 Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015), 10.4204/EPTCS.193.7 details   pdf doi
Alimguzhin, V.; Mari, F.; Melatti, I.; Tronci, E.; Ebeid, E.; Mikkelsen, S.A.; Jacobsen, R.H.; Gruber, J.K.; Hayes, B.; Huerta, F.; Prodanovic, M. A Glimpse of SmartHG Project Test-bed and Communication Infrastructure 2015 Digital System Design (DSD), 2015 Euromicro Conference on 10.1109/DSD.2015.106 225-232 details   pdf doi
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 details   pdf doi
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 details   pdf doi
Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E.; Gruber, J.K.; Hayes, B.; Prodanovic, M.; Elmegaard, L. User Flexibility Aware Price Policy Synthesis for Smart Grids 2015 Digital System Design (DSD), 2015 Euromicro Conference on 10.1109/DSD.2015.35 478-485 details   pdf doi
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 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: