toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher (up) ISSN ISBN DOI Volume Pages Links
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
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. SyLVaaS: System Level Formal Verification as a Service 2016 Fundamenta Informaticae 10.3233/FI-2016-1444 149 101-132 details   pdf doi
Chierichetti, Flavio; Lattanzi, Silvio; Mari, Federico; Panconesi, Alessandro On Placing Skips Optimally in Expectation 2008 Web Search and Web Data Mining (WSDM 2008) Acm 10.1145/1341531.1341537 15-24 details   pdf doi
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico On Model Based Synthesis of Embedded Control Software 2012 Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012 ACM 978-1-4503-1425-1 10.1145/2380356.2380398 227-236 details   pdf doi
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 details   pdf doi
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 2012 CoRR, Technical Report abs/1210.2276 details   url
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico On Model Based Synthesis of Embedded Control Software 2012 CoRR, Technical Report abs/1207.4474 details   url
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems 2012 CoRR, Technical Report abs/1207.4098 details   url
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Model Based Synthesis of Control Software from System Level Formal Specifications 2013 CoRR, Technical Report abs/1107.5638 details   url
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico From Boolean Functional Equations to Control Software 2011 CoRR, Technical Report abs/1106.0468 details   url
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: