| |
Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
|
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
On Model Based Synthesis of Embedded Control Software |
2012 |
Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012 |
ACM |
|
978-1-4503-1425-1 |
10.1145/2380356.2380398 |
|
227-236 |
|
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa |
Synchronized Regular Expressions |
2002 |
Electr. Notes Theor. Comput. Sci. |
|
|
|
|
62 |
195-210 |
|
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa |
Exploiting Transition Locality in the Disk Based Mur$\varphi$ Verifier |
2002 |
4th International Conference on Formal Methods in Computer-Aided Design (FMCAD) |
Springer |
3-540-00116-6 |
|
10.1007/3-540-36126-X_13 |
|
202-219 |
|
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
From Boolean Relations to Control Software |
2011 |
Proceedings of ICSEA 2011, The Sixth International Conference on Software Engineering Advances |
ThinkMind |
978-1-61208-165-6 |
|
|
|
528-533 |
|
|
|
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; Alvisi, Lorenzo; Clement, Allen; Li, Harry |
Model Checking Nash Equilibria in MAD Distributed Systems |
2008 |
FMCAD '08: Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design |
IEEE Press |
978-1-4244-2735-2 |
|
10.1109/FMCAD.2008.ECP.16 |
|
1-8 |
|
|
|
Mari, Federico; Tronci, Enrico |
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems |
2007 |
Hybrid Systems: Computation and Control (HSCC 2007) |
Springer |
|
|
10.1007/978-3-540-71493-4_32 |
|
399-412 |
|
|
|
Alimguzhin, V.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. |
Linearising Discrete Time Hybrid Systems |
2017 |
IEEE Transactions on Automatic Control |
|
0018-9286 |
|
10.1109/TAC.2017.2694559 |
62 |
5357-5364 |
|
