List View
 |   | 
   web
Author Title Year (down) Publication Publisher ISSN ISBN DOI Volume Pages
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
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
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
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)).
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
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
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Model Based Synthesis of Control Software from System Level Formal Specifications 2014 ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY ACM 1049-331X 10.1145/2559934 23 Article 6
Mancini, Toni ; Mari, Federico ; Massini, Annalisa; Melatti, Igor; Tronci, Enrico System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation 2014 Proc. of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing IEEE Computer Society 10.1109/PDP.2014.32
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.; 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