| |
Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume  |
Pages |
Links |
|
|
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; Tronci, Enrico; Finzi, Alberto |
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET |
2013 |
Mobile Information Systems |
IOS Press |
1574-017x (Print) 1875-905X (Online) |
|
10.3233/MIS-130162 |
3 |
261-280 |
|
|
|
Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico |
Automated analysis of timed security: a case study on web privacy |
2004 |
International Journal of Information Security |
|
|
|
10.1007/s10207-004-0037-9 |
2 |
168-186 |
|
|
|
Piperno, Adolfo; Tronci, Enrico |
Regular Systems of Equations in λ-calculus |
1990 |
Int. J. Found. Comput. Sci. |
|
|
|
10.1142/S0129054190000230 |
1 |
325-340 |
|
|
|
Della Penna, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico |
Automated Generation Of Optimal Controllers Through Model Checking Techniques |
2008 |
Informatics in Control Automation and Robotics. Selected Papers from ICINCO 2006 |
Springer |
|
|
10.1007/978-3-540-79142-3_10 |
|
107-119 |
|
|
|
Della Penna, Giuseppe; Tofani, Alberto; Pecorari, Marcello; Raparelli, Orazio; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico |
A Case Study on Automated Generation of Integration Tests |
2006 |
Fdl |
Ecsi |
978-3-00-019710-9 |
|
|
|
278-284 |
|
|
|
Bartolini, Novella; Tronci, Enrico |
On Optimizing Service Availability of an Internet Based Architecture for Infrastructure Protection |
2006 |
Cnip |
|
|
|
|
|
|
|
|
|
Cecconi, Michele; Tronci, Enrico |
Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher |
2000 |
Hase |
IEEE Computer Society |
0-7695-0927-4 |
|
10.1109/HASE.2000.895456 |
|
|
|
|
|
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico |
Merging Planning, Scheduling & Verification – A Preliminary Analysis |
2008 |
In Proc. of 10th ESA Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA) |
|
|
|
|
|
|
|
|
|
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico |
Validation and Verification Issues in a Timeline-based Planning System |
2008 |
In E-Proc. of ICAPS Workshop on Knowledge Engineering for Planning and Scheduling |
|
|
|
|
|
|
|
