|
Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
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 |
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems |
2012 |
Theoretical Aspects of Computing – ICTAC 2012 |
Springer Berlin Heidelberg |
|
978-3-642-32942-5 |
10.1007/978-3-642-32943-2_19 |
|
243-258 |
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems |
2010 |
Computer Aided Verification |
Springer Berlin / Heidelberg |
|
|
10.1007/978-3-642-14295-6_20 |
|
180-195 |
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Alvisi, Lorenzo; Clement, Allen; Li, Harry |
Model Checking Coalition Nash Equilibria in MAD Distributed Systems |
2009 |
Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings |
Springer |
|
|
10.1007/978-3-642-05118-0_37 |
|
531-546 |
|
|
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 |
|
|
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
From Boolean Functional Equations to Control Software |
2011 |
|
CoRR, Technical Report |
|
|
|
abs/1106.0468 |
|
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters |
2011 |
|
CoRR, Technical Report |
|
|
|
abs/1105.5640 |
|
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Synthesizing Control Software from Boolean Relations |
2012 |
International Journal on Advances in Software |
IARIA |
1942-2628 |
|
|
vol. 5, nr 3&4 |
212-223 |
|
|
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 |
|