| |
Author |
Title |
Year |
Publication |
Publisher |
ISSN  |
ISBN |
DOI |
Volume |
Pages |
Links |
|
|
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software |
2013 |
Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) |
Springer - Verlag |
0302-9743 |
978-3-642-39175-0 |
10.1007/978-3-642-39176-7_4 |
|
43-60 |
|
|
|
Intrigila, Benedetto; Salvo, Ivano; Sorgi, Stefano |
A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser |
2001 |
Information and Computation |
Academic Press, Inc. |
0890-5401 |
|
10.1006/inco.2001.2945 |
171 |
137-155 |
|
|
|
Bucciarelli, Antonio; Piperno, Adolfo; Salvo, Ivano |
Intersection types and λ-definability |
2003 |
Mathematical Structures in Computer Science |
Cambridge University Press |
0960-1295 |
|
10.1017/S0960129502003833 |
13 |
15-53 |
|
|
|
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 |
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; 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; 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 |
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 |
|
