Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation Fabio Fioravanti1, Alberto Pettorossi2, Maurizio Proietti3 , and Valerio Senni2 1 Dipartimento di Scienze, University ‘G. D’Ann

Source URL: www.sci.unich.it

Fundamenta Informaticae–20 DOIFIIOS Press Proving Theorems by Program Transformation Fabio Fioravanti∗

Source URL: www.sci.unich.it

Terminating Minimal Model Generation Procedures for Propositional Modal Logics? Fabio Papacchini and Renate A. Schmidt The University of Manchester, UK Abstract. Model generation and minimal model generation are useful

Source URL: www.cs.man.ac.uk

Nome da Autoridade FÁBIO GEORGE CRUZ DA NÓBREGA OCTÁVIO CELSO GONDIM PAULA NET0 VICTOR VEGII

Source URL: www.cnmp.gov.br

7th International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI5th International Work-conference on Ambient Assisted Living (IWAAL6th Latin American Conference on Human Computer Interac

Source URL: mami.uclm.es

• Humancomputer interaction
• Technology
• Human communication
• Ubiquitous computing
• User interface techniques
• Ambient intelligence
• Multimodal interaction
• Context awareness
• Location awareness
• Smart environment
• Humanrobot interaction
• Fabio Patern

IDONEO Barchiesi  Fabio Binci  Andrea Latorraca  Domenico Pusceddu  Cristina Anfuso  Alessio

Source URL: www.issnaf.org

Generalization Strategies for the Verification of Infinite State Systems Fabio Fioravanti1 , Alberto Pettorossi2 , Maurizio Proietti3 , and Valerio Senni2 1 2

Source URL: ceur-ws.org

Using Real Relaxations During Program Specialization Fabio Fioravanti1 , Alberto Pettorossi2 , Maurizio Proietti3 , and Valerio Senni2,4 1 Dipartimento di Scienze, University ‘G. D’Annunzio’, Pescara, Italy

Source URL: www.sci.unich.it

Journal of Experimental & Theoretical Artificial Intelligence Vol. 24, No. 2, June 2012, 161–192 Evaluation of complex security scenarios using defense trees and economic indexes Stefano Bistarellia, Fabio Fioravantib,

Source URL: www.sci.unich.it

Generalization Strategies for the Verification of Infinite State Systems Fabio Fioravanti1, Alberto Pettorossi2, Maurizio Proietti3 , and Valerio Senni2 1 2

Source URL: www.sci.unich.it