| |
Author |
Title |
Year |
Publication |
Volume |
Pages |
Links  |
|
|
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. |
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)). |
|
|
|
|
|
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. |
Simulator Semantics for System Level Formal Verification |
2015 |
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015), |
|
|
|
|
|
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. |
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 |
|
|
|
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.; Gruber, J. K.; Prodanovic, M. |
A closed-loop state estimation tool for MV network monitoring and operation |
2015 |
IEEE Transactions on Smart Grid |
PP |
|
|
