| |
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 |
|
|
|
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. |
Anytime system level verification via parallel random exhaustive hardware in the loop simulation |
2016 |
Microprocessors and Microsystems |
41 |
12-28 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
|
|
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 |
|
|
|
|
|
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), |
|
|
|
