| |
Author |
Title |
Year |
Publication |
Volume |
Pages |
Links |
|
|
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
SyLVaaS: System Level Formal Verification as a Service |
2016 |
Fundam. Inform. |
149 |
101-132 |
|
|
|
Mancini, T. |
Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts |
2016 |
Fundam. Inform. |
149 |
61-100 |
|
|
|
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
Anytime system level verification via parallel random exhaustive hardware in the loop simulation |
2016 |
Microprocessors and Microsystems |
41 |
12-28 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
Simulator Semantics for System Level Formal Verification |
2015 |
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015), |
|
|
|
|
|
Mancini, T. |
Now or Never: negotiating efficiently with unknown counterparts |
2015 |
In proceedings of the 22nd RCRA International Workshop. Ferrara, Italy. CEUR, 2015 (Co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015)). |
|
|
|
|
|
Hayes, B. P.; Prodanovic, M. |
A comparison of MV distribution system state estimation methods using field data |
2015 |
IEEE PES General Meeting, Denver, CO, United States |
|
|
|
