ALESSANDRO FANTECHI
- Type
- Persona (Classe)
- Label
- ALESSANDRO FANTECHI (literal)
- ALESSANDRO FANTECHI (literal)
- Partecipa a commessa
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2012 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2005 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2014 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2006 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2013 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2007 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2010 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2008 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2009 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2011 (Partecipazione a commessa)
- Persona in rapporto
- Rapporto con CNR di ALESSANDRO FANTECHI (Rapporto con CNR)
- Autore CNR di
- Preface to FMICS 2008 (Articolo in rivista) (Prodotto della ricerca)
- Model driven development and code generation: an automotive case study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer (Articolo in rivista) (Prodotto della ricerca)
- Stochastic model-based analysis of railway operation to support traffic planning (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The Metrô Rio ATP case study (Contributo in atti di convegno) (Prodotto della ricerca)
- Modelling variability, evolvability, and adaptability in service computing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Formal modeling for railway signaling using commercial tools (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Session types for safe Web service orchestration (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity (Contributo in atti di convegno) (Prodotto della ricerca)
- Some trends in formal methods applications to railway signaling (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- A collection of models of a bike-sharing case study. (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- A model checking approach for verifying COWS specifications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A model checking approach for verifying COWS specifications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- MOD-CONTROL, Train control and monitoring system, a sub-project of MODTRAIN (FP6-PLT-506652/TIP3-CT-2003-506652) (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Modellazione di sistemi ferroviari (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Informatica industriale (Monografia o trattato scientifico) (Prodotto della ricerca)
- A logical framework to deal with variability (Articolo in rivista) (Prodotto della ricerca)
- Experimenting with diversity in the model driven development of a railway signalling system (Contributo in atti di convegno) (Prodotto della ricerca)
- Model checking interlocking control tables (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Topologically configurable systems as product families (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Twenty-Five Years of Formal Methods and Railways: What Next? (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Model driven development of railway systems using diversity (Articolo in rivista) (Prodotto della ricerca)
- Model-based development and formal methods in the railway industry (Articolo in rivista) (Prodotto della ricerca)
- QuARS Express - A Tool Demonstration (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- The Metro Rio case study (Articolo in rivista) (Prodotto della ricerca)
- Statecharts composition to model topologically distributed applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Formal methods for intelligent transportation systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Distributing the challenge of model checking interlocking control tables (Contributo in atti di convegno) (Prodotto della ricerca)
- A logical framework to deal with variability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Evaluation of natural language requirements in the MODCONTROL project (Articolo in rivista) (Prodotto della ricerca)
- Witness and counterexample automata for ACTL (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Formal modeling for product families engineering (Contributo in atti di convegno) (Prodotto della ricerca)
- Experimenting with diversity in the formal development of railway signalling systems (Articolo in rivista) (Prodotto della ricerca)
- An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- A deontic logical framework for modelling product families (Contributo in atti di convegno) (Prodotto della ricerca)
- On the adoption of model checking in safety-related software industry (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A compositional framework to derive product line behavioural descriptions (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On the validation of an interlocking system by model-checking (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A behavioural model for product families (Contributo in atti di convegno) (Prodotto della ricerca)
- Deontic logics for modeling behavioural variability (Contributo in atti di convegno) (Prodotto della ricerca)
- A state/event-based model-checking approach for the analysis of abstract system properties (Articolo in rivista) (Prodotto della ricerca)
- Formal methods for railway control systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An industrial application of formal model based development: the Metro Rio ATP case (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Session types for orchestration charts (Articolo in rivista) (Prodotto della ricerca)
- An experience in using a tool for evaluating a large set of natural language requirements (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Formal development for railway signaling using commercial tools (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Model based testing and abstract interpretation in the railway signaling context (Contributo in atti di convegno) (Prodotto della ricerca)
- An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Coautore
- GIANLUCA TRENTANNI (Persona)
- ALESSIO FERRARI (Unità di personale interno)
- GIOVANNI LOMBARDI (Persona)
- FRANCO MAZZANTI (Unità di personale interno)
- MAURICE HENRI TER BEEK (Unità di personale esterno)
- PATRIZIA ASIRELLI (Persona)
- Massimiliano Leone Itria (Persona)
- PATRIZIA ASIRELLI (Unità di personale esterno)
- MAURICE HENRI TER BEEK (Unità di personale interno)
- MICHELE BANCI (Unità di personale esterno)
- FELICITA DI GIANDOMENICO (Persona)
- STEFANIA GNESI (Persona)
- Alessio Ferrari (Persona)
- ANTONIO BUCCHIARONE (Persona)
- GIANLUCA TRENTANNI (Persona)
- GIUSEPPE LAMI (Persona)
- Nome
- ALESSANDRO (literal)
- Cognome
- FANTECHI (literal)
- Afferisce a
- Ha pubblicazioni con
- GIOVANNI LOMBARDI (Persona)
- FRANCO MAZZANTI (Unità di personale interno)
- STEFANIA GNESI (Persona)
- GIUSEPPE LAMI (Persona)
- MAURICE HENRI TER BEEK (Unità di personale interno)
- MICHELE BANCI (Unità di personale esterno)
- ANTONIO BUCCHIARONE (Persona)
- GIANLUCA TRENTANNI (Persona)
Incoming links:
- Autore CNR
- An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal modeling for product families engineering (Contributo in atti di convegno) (Prodotto della ricerca)
- Deontic logics for modeling behavioural variability (Contributo in atti di convegno) (Prodotto della ricerca)
- Model based testing and abstract interpretation in the railway signaling context (Contributo in atti di convegno) (Prodotto della ricerca)
- A behavioural model for product families (Contributo in atti di convegno) (Prodotto della ricerca)
- A deontic logical framework for modelling product families (Contributo in atti di convegno) (Prodotto della ricerca)
- An industrial application of formal model based development: the Metro Rio ATP case (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Model driven development and code generation: an automotive case study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Session types for orchestration charts (Articolo in rivista) (Prodotto della ricerca)
- Formal development for railway signaling using commercial tools (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Preface to FMICS 2008 (Articolo in rivista) (Prodotto della ricerca)
- A model checking approach for verifying COWS specifications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A logical framework to deal with variability (Articolo in rivista) (Prodotto della ricerca)
- Evaluation of natural language requirements in the MODCONTROL project (Articolo in rivista) (Prodotto della ricerca)
- Witness and counterexample automata for ACTL (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Model driven development of railway systems using diversity (Articolo in rivista) (Prodotto della ricerca)
- The Metrô Rio ATP case study (Contributo in atti di convegno) (Prodotto della ricerca)
- Experimenting with diversity in the formal development of railway signalling systems (Articolo in rivista) (Prodotto della ricerca)
- Experimenting with diversity in the model driven development of a railway signalling system (Contributo in atti di convegno) (Prodotto della ricerca)
- Modelling variability, evolvability, and adaptability in service computing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Formal modeling for railway signaling using commercial tools (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity (Contributo in atti di convegno) (Prodotto della ricerca)
- An experience in using a tool for evaluating a large set of natural language requirements (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- QuARS Express - A Tool Demonstration (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Modellazione di sistemi ferroviari (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Informatica industriale (Monografia o trattato scientifico) (Prodotto della ricerca)
- MOD-CONTROL, Train control and monitoring system, a sub-project of MODTRAIN (FP6-PLT-506652/TIP3-CT-2003-506652) (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- A model checking approach for verifying COWS specifications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A logical framework to deal with variability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A state/event-based model-checking approach for the analysis of abstract system properties (Articolo in rivista) (Prodotto della ricerca)
- An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- On the adoption of model checking in safety-related software industry (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Statecharts composition to model topologically distributed applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Model checking interlocking control tables (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer (Articolo in rivista) (Prodotto della ricerca)
- A compositional framework to derive product line behavioural descriptions (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Distributing the challenge of model checking interlocking control tables (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal methods for intelligent transportation systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Model-based development and formal methods in the railway industry (Articolo in rivista) (Prodotto della ricerca)
- Stochastic model-based analysis of railway operation to support traffic planning (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Topologically configurable systems as product families (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Twenty-Five Years of Formal Methods and Railways: What Next? (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- The Metro Rio case study (Articolo in rivista) (Prodotto della ricerca)
- A collection of models of a bike-sharing case study. (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Session types for safe Web service orchestration (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Some trends in formal methods applications to railway signaling (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Formal methods for railway control systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- On the validation of an interlocking system by model-checking (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Coautore
- GIOVANNI LOMBARDI (Persona)
- FRANCO MAZZANTI (Unità di personale interno)
- PATRIZIA ASIRELLI (Persona)
- GIUSEPPE LAMI (Persona)
- FELICITA DI GIANDOMENICO (Persona)
- STEFANIA GNESI (Persona)
- MAURICE HENRI TER BEEK (Unità di personale interno)
- GIANLUCA TRENTANNI (Persona)
- ANTONIO BUCCHIARONE (Persona)
- Massimiliano Leone Itria (Persona)
- PATRIZIA ASIRELLI (Unità di personale esterno)
- Alessio Ferrari (Persona)
- MICHELE BANCI (Unità di personale esterno)
- MAURICE HENRI TER BEEK (Unità di personale esterno)
- GIANLUCA TRENTANNI (Persona)
- ALESSIO FERRARI (Unità di personale interno)
- Ha pubblicazioni con
- GIOVANNI LOMBARDI (Persona)
- FRANCO MAZZANTI (Unità di personale interno)
- GIUSEPPE LAMI (Persona)
- STEFANIA GNESI (Persona)
- MAURICE HENRI TER BEEK (Unità di personale interno)
- ANTONIO BUCCHIARONE (Persona)
- MICHELE BANCI (Unità di personale esterno)
- GIANLUCA TRENTANNI (Persona)
- Ha afferente
- Partecipazione di
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2010 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2007 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2011 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2005 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2014 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2012 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2013 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2008 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2009 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di ALESSANDRO FANTECHI nell'anno 2006 (Partecipazione a commessa)
- Rapporto con persona
- Rapporto con CNR di ALESSANDRO FANTECHI (Rapporto con CNR)
- Http://www.w3.org/2002/07/owl#sameAs