Author  |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
| 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 |
|
| 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 |
|
| 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 |
| 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 |
| 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 |
| 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 |
