toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author (down) Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
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
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico On-the-Fly Control Software Synthesis 2013 Proceedings of International SPIN Symposium on Model Checking of Software (SPIN 2013) Springer - Verlag 0302-9743 978-3-642-39175-0 10.1007/978-3-642-39176-7_5 61-80 details   pdf doi
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 2013 Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) Springer - Verlag 0302-9743 978-3-642-39175-0 10.1007/978-3-642-39176-7_4 43-60 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
Alimguzhin, V.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. Linearising Discrete Time Hybrid Systems 2017 IEEE Transactions on Automatic Control 0018-9286 10.1109/TAC.2017.2694559 62 5357-5364 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: