| |
Author  |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
|
Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E.; Gruber, J.; Hayes, B.; Prodanovic, M.; Elmegaard, L. |
Parallel Statistical Model Checking for Safety Verification in Smart Grids |
2018 |
2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm) |
|
|
|
10.1109/SmartGridComm.2018.8587416 |
|
1-6 |
|
|
|
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 |
|
|
|
10.1109/DSD.2015.35 |
|
478-485 |
|
|
|
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 |
IARIA |
1942-2628 |
|
|
vol. 6, nr 1&2 |
155-169 |
|
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Synthesizing Control Software from Boolean Relations |
2012 |
International Journal on Advances in Software |
IARIA |
1942-2628 |
|
|
vol. 5, nr 3&4 |
212-223 |
|
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Model Based Synthesis of Control Software from System Level Formal Specifications |
2014 |
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY |
ACM |
1049-331X |
|
10.1145/2559934 |
23 |
Article 6 |
|
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Model Based Synthesis of Control Software from System Level Formal Specifications |
2013 |
|
CoRR, Technical Report |
|
|
|
abs/1107.5638 |
|
|
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems |
2012 |
Proceedings of ICSEA 2012, The Seventh International Conference on Software Engineering Advances |
ThinkMind |
|
|
|
|
664-671 |
|
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Control Software Visualization |
2012 |
Proceedings of INFOCOMP 2012, The Second International Conference on Advanced Communications and Computation |
ThinkMind |
978-1-61208-226-4 |
|
|
|
15-20 |
|
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems |
2012 |
Theoretical Aspects of Computing – ICTAC 2012 |
Springer Berlin Heidelberg |
|
978-3-642-32942-5 |
10.1007/978-3-642-32943-2_19 |
|
243-258 |
|
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
From Boolean Functional Equations to Control Software |
2011 |
|
CoRR, Technical Report |
|
|
|
abs/1106.0468 |
|
|
