FABIO FIORAVANTI
- Type
- Persona (Classe)
- Label
- FABIO FIORAVANTI (literal)
- FABIO FIORAVANTI (literal)
- Partecipa a commessa
- Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di FABIO FIORAVANTI nell'anno 2012 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di FABIO FIORAVANTI nell'anno 2010 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di FABIO FIORAVANTI nell'anno 2013 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di FABIO FIORAVANTI nell'anno 2014 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di FABIO FIORAVANTI nell'anno 2011 (Partecipazione a commessa)
- Persona in rapporto
- Employment relationship with CNR of FABIO FIORAVANTI (Rapporto con CNR)
- Autore CNR di
- Generalization strategies for the verification of infinite state systems (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Evaluation of complex security scenarios using defense trees and economic indexes (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Generalization Strategies for the Verification of Infinite State Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Constraint-Based Transformation for Verifying Infinite State Systems (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Program Transformation for Development, Verification, and Synthesis of Programs (Articolo in rivista) (Prodotto della ricerca)
- Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Articolo in rivista) (Prodotto della ricerca)
- Improving Reachability Analysis of Infinite State Systems by Specialization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Modeling Gene Regulatory Network Motifs using Statecharts (Articolo in rivista) (Prodotto della ricerca)
- Using Real Relaxations During Program Specialization (Contributo in atti di convegno) (Prodotto della ricerca)
- Controlling Polyvariance for Specialization-Based Verification (Contributo in atti di convegno) (Prodotto della ricerca)
- Rules and Strategies for Contextual Specialization of Constraint Logic Programs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Statechart based representation for SBML descriptions (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Generation of Test Data Structures Using Constraint Logic Programming (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Coautore
- MAURIZIO PROIETTI (Persona)
- Valerio Senni (Unità di personale esterno)
- Alberto Pettorossi (Unità di personale esterno)
- ENRICO NARDELLI (Persona)
- Nome
- FABIO (literal)
- Cognome
- FIORAVANTI (literal)
- Afferisce a
Incoming links:
- Autore CNR
- Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Generalization Strategies for the Verification of Infinite State Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Improving Reachability Analysis of Infinite State Systems by Specialization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Articolo in rivista) (Prodotto della ricerca)
- Program Transformation for Development, Verification, and Synthesis of Programs (Articolo in rivista) (Prodotto della ricerca)
- A Statechart based representation for SBML descriptions (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Controlling Polyvariance for Specialization-Based Verification (Contributo in atti di convegno) (Prodotto della ricerca)
- Using Real Relaxations During Program Specialization (Contributo in atti di convegno) (Prodotto della ricerca)
- A Constraint-Based Transformation for Verifying Infinite State Systems (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Generalization strategies for the verification of infinite state systems (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Evaluation of complex security scenarios using defense trees and economic indexes (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Modeling Gene Regulatory Network Motifs using Statecharts (Articolo in rivista) (Prodotto della ricerca)
- Generation of Test Data Structures Using Constraint Logic Programming (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Rules and Strategies for Contextual Specialization of Constraint Logic Programs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Coautore
- MAURIZIO PROIETTI (Persona)
- Valerio Senni (Unità di personale esterno)
- Alberto Pettorossi (Unità di personale esterno)
- ENRICO NARDELLI (Persona)
- Ha afferente
- Partecipazione di
- Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di FABIO FIORAVANTI nell'anno 2014 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di FABIO FIORAVANTI nell'anno 2013 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di FABIO FIORAVANTI nell'anno 2010 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di FABIO FIORAVANTI nell'anno 2011 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di FABIO FIORAVANTI nell'anno 2012 (Partecipazione a commessa)
- Rapporto con persona
- Employment relationship with CNR of FABIO FIORAVANTI (Rapporto con CNR)