| |
Author |
Title |
Year  |
Publication |
Volume |
Pages |
Links |
|
|
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
On Model Based Synthesis of Embedded Control Software |
2012 |
International Conference on Embedded Software, EMSOFT |
|
|
|
|
|
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
On-the-Fly Control Software Synthesis |
2013 |
Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) |
|
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) |
|
43-60 |
|
|
|
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Merli, Fabio; Tronci, Enrico |
System Level Formal Verification via Model Checking Driven Simulation |
2013 |
Proceedings of the 25th International Conference on Computer Aided Verification (CAV 2013). July 13–19, 2013, Saint Petersburg, Russia |
|
296-312 |
|
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems |
2013 |
International Journal on Advances in Software |
vol. 6, nr 1&2 |
155-169 |
|
|
|
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 DSD/SEAA 2014 |
|
|
|
|
|
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 the 5th IEEE International Conference On Smart Grid Communications (SmartGridComm 2014) |
|
|
|
|
|
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
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 Computing (PDP 2014) |
|
|
|
|
|
Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. |
Model Based Synthesis of Control Software from System Level Formal Specifications |
2014 |
Acm Transactions On Software Engineering And Methodology |
23 |
6 |
|
|
|
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation |
2014 |
In Proceedings of 17th EuroMicro Conference on Digital System Design (DSD 2014) |
|
|
|
