List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN DOI (up) Volume Pages
Bartolini, Novella; Tronci, Enrico On Optimizing Service Availability of an Internet Based Architecture for Infrastructure Protection 2006 Cnip
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
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico Verifying Flexible Timeline-based Plans 2009 E-Proc. of ICAPS Workshop on Validation and Verification of Planning and Scheduling Systems
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa Synchronized regular expressions 2003 Acta Inf. 39 31-70
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa Synchronized Regular Expressions 2002 Electr. Notes Theor. Comput. Sci. 62 195-210
Bobbio, Andrea; Bologna, Sandro; Minichino, Michele; Ciancamerla, Ester; Incalcaterra, Piero; Kropp, Corrado; Tronci, Enrico Advanced techniques for safety analysis applied to the gas turbine control system of Icaro co generative plant 2001 X Convegno Tecnologie e Sistemi Energetici Complessi 339-350
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
Cavaliere, Federico; Mari, Federico; Melatti, Igor; Minei, Giovanni; Salvo, Ivano; Tronci, Enrico; Verzino, Giovanni; Yushtein, Yuri Model Checking Satellite Operational Procedures 2011 DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. San Anton, Malta, EuroSpace.
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