| |
Author |
Title |
Year |
Publication |
Volume |
Pages  |
Links |
|
|
Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E.; Gruber, J.K.; Hayes, B.; Prodanovic, M.; Elmegaard, L. |
User Flexibility Aware Price Policy Synthesis for Smart Grids |
2015 |
Digital System Design (DSD), 2015 Euromicro Conference on |
|
478-485 |
|
|
|
Mikkelsen, S.A.; Jacobsen, R.H. |
Consumer-Centric and Service-Oriented Architecture for the Envisioned Energy Internet |
2015 |
Digital System Design (DSD), 2015 Euromicro Conference on |
|
301-305 |
|
|
|
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 |
|
|
|
Jacobsen, R.H.; Mikkelsen, S.A.; Rasmussen, N.H. |
Towards the Use of Pairing-Based Cryptography for Resource-Constrained Home Area Networks |
2015 |
Digital System Design (DSD), 2015 Euromicro Conference on |
|
233-240 |
|
|
|
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 |
|
225-232 |
|
|
|
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 |
|
|
|
Jacobsen, R.H.; Mikkelsen, S.A. |
Infrastructure for Intelligent Automation Services in the Smart Grid |
2014 |
Wireless Personal Communications |
76 |
125-147 |
|
|
|
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
SyLVaaS: System Level Formal Verification as a Service |
2016 |
Fundam. Inform. |
149 |
101-132 |
|
|
|
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 |
|
|
|
Mancini, T. |
Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts |
2016 |
Fundam. Inform. |
149 |
61-100 |
|
