toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages (down) Links
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 details   pdf doi
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
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
Mancini, T. Now or Never: negotiating efficiently with unknown counterparts 2015 In proceedings of the 22nd RCRA International Workshop. Ferrara, Italy. CEUR, 2015 (Co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015)). details   pdf url
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 details   pdf doi
Mancini, T.; Massini, A.; Tronci, E. Parallelization of Cycle-Based Logic Simulation 2017 Parallel Processing Letters 10.1142/S0129626417500037 27 details   pdf doi
Ehrig, R.; Dierkes, T.; Schaefer, S.; Roeblitz, S.; Tronci, E.; Mancini, T.; Salvo, I.; Alimguzhin, V.; Mari, F.; Melatti, I.; Massini, A.; Leeners, B.; Krueger, T.H.C.; Egli, M.; Ille, F. An integrative approach for model driven computation of treatments in reproductive medicine 2015 Proceedings of the 15th International Symposium on Mathematical and Computational Biology (BIOMAT 2015), Rorkee, India 10.1142/9789813141919_0005 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
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: