| |
Author  |
Title |
Year |
Publication |
Volume |
Pages |
Links |
|
|
Jacobsen, R.H.; Mikkelsen, S.A. |
Infrastructure for Intelligent Automation Services in the Smart Grid |
2014 |
Wireless Personal Communications |
76 |
125-147 |
|
|
|
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 |
|
|
|
Kidmose, E.; Ebeid, E.; Jacobsen, R. |
A Framework for Predicting User Behavior from the Main Smart Meter Data. |
2015 |
IARIA Fourth International Conference on Smart Systems, Devices and Technologies (SMART 2015), Brussels, Belgium |
|
|
|
|
|
Mancini, T. |
Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts |
2016 |
Fundam. Inform. |
149 |
61-100 |
|
|
|
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)). |
|
|
|
|
|
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.; 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.; Massini, A.; Melatti, I.; Tronci, E. |
SyLVaaS: System Level Formal Verification as a Service |
2015 |
Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), special session on Formal Approaches to Parallel and Distributed Systems (4PAD) |
|
|
|
|
|
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.; 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) |
|
|
|
