toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
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 details   pdf doi
Bartolini, Novella; Tronci, Enrico On Optimizing Service Availability of an Internet Based Architecture for Infrastructure Protection 2006 Cnip details   pdf openurl
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 details   pdf doi
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) details   pdf openurl
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 details   pdf openurl
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 details   pdf openurl
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Troina, Angelo; Tronci, Enrico Automatic Covert Channel Analysis of a Multilevel Secure Component 2004 Information and Communications Security, 6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004, Proceedings Springer 10.1007/b101042 249-261 details   pdf doi
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Troina, Angelo; Tronci, Enrico Automatic Analysis of the NRL Pump 2004 Electr. Notes Theor. Comput. Sci. 10.1016/j.entcs.2004.02.011 99 245-266 details   pdf doi
Ciancamerla, Ester; Minichino, Michele; Serro, Stefano; Tronci, Enrico Automatic Timeliness Verification of a Public Mobile Network 2003 22nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP) Springer 978-3-540-20126-7 10.1007/978-3-540-39878-3_4 35-48 details   pdf doi
Tronci, Enrico; Della Penna, Giuseppe; Intrigila, Benedetto; Venturini Zilli, Marisa A Probabilistic Approach to Automatic Verification of Concurrent Systems 2001 8th Asia-Pacific Software Engineering Conference (APSEC) IEEE Computer Society 0-7695-1408-1 10.1109/APSEC.2001.991495 317-324 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: