| |
Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI  |
Volume |
Pages |
Links |
|
|
Mazzini, Silvia; Puri, Stefano; Mari, Federico; Melatti, Igor; Tronci, Enrico |
Formal Verification at System Level |
2009 |
In: DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. Instanbul, Turkey, EuroSpace |
|
|
|
|
|
|
|
|
|
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico |
Flexible Plan Verification: Feasibility Results |
2009 |
16th RCRA International Workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” (RCRA). Proceedings |
|
|
|
|
|
|
|
|
|
Bobbio, Andrea; Ciancamerla, Ester; Minichino, Michele; Tronci, Enrico |
Functional analysis of a telecontrol system and stochastic measures of its GSM/GPRS connections |
2005 |
Archives of Transport – International Journal of Transport Problems |
|
|
|
|
17 |
|
|
|
|
Böhm, Corrado; Piperno, Adolfo; Tronci, Enrico |
Solving Equations in λ-calculus |
1989 |
Proc. of: Logic Colloquium 88 |
|
|
|
|
|
|
|
|
|
Böhm, Corrado; Tronci, Enrico |
X-Separability and Left-Invertibility in lambda-calculus |
1987 |
Symposium on Logic in Computer Science (LICS) |
IEEE Computer Society |
|
|
|
|
320-328 |
|
|
|
Böhm, Corrado; Tronci, Enrico |
X-separability and left-invertibility in the λ-calculus (extended abstract, invited paper) |
1987 |
Proceedings of: Temi e prospettive della Logica e della Filosofia della Scienza contemporanea |
|
|
|
|
|
|
|
|
|
Tronci, Enrico |
On Computing Optimal Controllers for Finite State Systems |
1997 |
CDC '97: Proceedings of the 36th IEEE International Conference on Decision and Control |
IEEE Computer Society |
|
|
|
|
|
|
|
|
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 |
|
|
|
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software |
2012 |
|
CoRR, Technical Report |
|
|
|
abs/1210.2276 |
|
|
