toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author (up) Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Driouich, Y.; Parente, M.; Tronci, E. A methodology for a complete simulation of Cyber-Physical Energy Systems 2018 EESMS 2018 – Environmental, Energy, and Structural Monitoring Systems, Proceedings 10.1109/EESMS.2018.8405826 1-5 details   pdf doi
Driouich, Y.; Parente, M.; Tronci, E. Model Checking Cyber-Physical Energy Systems 2018 Proceedings of 2017 International Renewable and Sustainable Energy Conference, IRSEC 2017 Institute of Electrical and Electronics Engineers Inc. 10.1109/IRSEC.2017.8477334 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.; 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
Mancini, T.; Tronci, E.; Scialanca, A.; Lanciotti, F.; Finzi, A.; Guarneri, R.; Di Pompeo, S. Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network 2018 25th RCRA International Workshop on “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion” (RCRA 2018) 10.29007/grw9 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: