MAURICE HENRI TER BEEK
- Type
- Persona (Classe)
- Label
- MAURICE HENRI TER BEEK (literal)
- MAURICE HENRI TER BEEK (literal)
- Subject
- Computational models (Categoria DBpedia)
- Theoretical computer science (Categoria DBpedia)
- Automata (Categoria DBpedia)
- Formal methods (Categoria DBpedia)
- Partecipa a commessa
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di MAURICE HENRI TER BEEK 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 MAURICE HENRI TER BEEK nell'anno 2006 (Partecipazione a commessa)
- Persona in rapporto
- Rapporto con CNR di MAURICE HENRI TER BEEK (Rapporto con CNR)
- Autore CNR di
- Vector Team Automata (Articolo in rivista) (Prodotto della ricerca)
- Contributions of team automata in security (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Model checking value-passing modal specifications (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Formal methods and analyses in software product line engineering (Track Summary) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Validating reconfigurations of reo circuits (Contributo in atti di convegno) (Prodotto della ricerca)
- VMC: a tool for product variability analysis. (Contributo in atti di convegno) (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)
- Synchronized shuffles (Articolo in rivista) (Prodotto della ricerca)
- Assume-Guarantee Testing of Evolving Software Product Line Architectures. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Team automata satysfying compositionality (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- QUANTICOL - D6.1 - Dissemination plan for the project (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Demonstration of a model checker for the analysis of product variability. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Formal methods and analysis in software product line engineering. 3rd edition of FMSPLE workshop series (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems (Curatela) (Prodotto della ricerca)
- Software product line analysis with mCRL2 (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Combining declarative and procedural views in the feature-oriented specification and analysis of product families (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Coautore
- ALDI SULOVA (Persona)
- FRANCO MAZZANTI (Persona)
- MARINELLA PETROCCHI (Unità di personale esterno)
- LUCA BORTOLUSSI (Unità di personale esterno)
- MIEKE MASSINK (Unità di personale interno)
- VINCENZO CIANCIA (Unità di personale interno)
- ALESSANDRO FANTECHI (Persona)
- STEFANIA GNESI (Unità di personale interno)
- MARINELLA PETROCCHI (Persona)
- Nome
- MAURICE HENRI (literal)
- Cognome
- TER BEEK (literal)
- Afferisce a
Incoming links:
- Coautore
- FRANCO MAZZANTI (Persona)
- MIEKE MASSINK (Unità di personale interno)
- STEFANIA GNESI (Unità di personale interno)
- MARINELLA PETROCCHI (Persona)
- LUCA BORTOLUSSI (Unità di personale esterno)
- MARINELLA PETROCCHI (Unità di personale esterno)
- ALDI SULOVA (Persona)
- ALESSANDRO FANTECHI (Persona)
- VINCENZO CIANCIA (Unità di personale interno)
- Ha afferente
- Http://www.w3.org/2002/07/owl#sameAs
- Partecipazione di
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di MAURICE HENRI TER BEEK 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 MAURICE HENRI TER BEEK nell'anno 2006 (Partecipazione a commessa)
- Rapporto con persona
- Rapporto con CNR di MAURICE HENRI TER BEEK (Rapporto con CNR)
- Http://www.w3.org/2004/02/skos/core#isSubjectOf
- Theoretical computer science (Categoria DBpedia)
- Computational models (Categoria DBpedia)
- Automata (Categoria DBpedia)
- Formal methods (Categoria DBpedia)
- Autore CNR
- Synchronized shuffles (Articolo in rivista) (Prodotto della ricerca)
- Team automata satysfying compositionality (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 (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Contributions of team automata in security (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- VMC: a tool for product variability analysis. (Contributo in atti di convegno) (Prodotto della ricerca)
- Assume-Guarantee Testing of Evolving Software Product Line Architectures. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Validating reconfigurations of reo circuits (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal methods and analysis in software product line engineering. 3rd edition of FMSPLE workshop series (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Demonstration of a model checker for the analysis of product variability. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Model checking value-passing modal specifications (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Vector Team Automata (Articolo in rivista) (Prodotto della ricerca)
- Combining declarative and procedural views in the feature-oriented specification and analysis of product families (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Software product line analysis with mCRL2 (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- QUANTICOL - D6.1 - Dissemination plan for the project (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Formal methods and analyses in software product line engineering (Track Summary) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems (Curatela) (Prodotto della ricerca)
