Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.001)
- Type
- Modulo (Classe)
- Label
- Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.001) (literal)
- Prodotto
- A Metric Encoding for Bounded Model Checking (extended version) (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms (Rapporti progetti di ricerca) (Prodotto della ricerca)
- System Configuration Check Against Security Policies in Industrial Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Trio2Promela: a model checker for temporal metric specifications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Practical Automated Partial Verification of Multi-Paradigm Real-Time Models (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Combining declarative and procedural views in the specification and analysis of product families (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- a virtual machine for small embedded systems (Contributo in atti di convegno) (Prodotto della ricerca)
- The Seventh International Workshop on Variability Modelling of Software-intensive Systems (Curatela) (Prodotto della ricerca)
- Formal methods for industrial critical systems: a survey of applications (Curatela) (Prodotto della ricerca)
- Scalable context-dependent analysis of emergency egress models (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Picture recognizability with automata based on Wang tiles (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session (Curatela) (Prodotto della ricerca)
- On the Analysis of Vulnerability Chains in Industrial Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Refining Real-Time System Specifications Through Bounded Model- and Satisfiability-Checking (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Software procurement and methods for specification and validation in the railway transportation industry (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- ArchiTRIO: a UML-compatible lan- guage for architectural description and its formal semantics (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Associative Language Descriptions versus Context-Free models (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Simple indicators for Lorentzian causets (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Associative Definition of Programming Languages, Computer Languages (Articolo in rivista) (Prodotto della ricerca)
- Comments on Temporal Logics for Real-Time System Specification (Articolo in rivista) (Prodotto della ricerca)
- Automatic Analysis of Security Policies in Industrial Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- A SAT-Based Parser and Completer for Pictures Specified by Tiling (Articolo in rivista) (Prodotto della ricerca)
- Programming Language Support to Context-Aware Adaptation - A Case-Study with Erlang (Contributo in atti di convegno) (Prodotto della ricerca)
- Teilhard de Chardin e Wolfram: modelli di universo computazionale ed emergenza del foglietto interno delle cose (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Regional Languages and Tiling: a Unifying Approach to Picture Grammars (Contributo in atti di convegno) (Prodotto della ricerca)
- A Tile-based Approach for Self-assembling Service Compositions (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An Automatic Approach to Enable Replacement of Conversational Services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Using clustering to improve the structure of natural language requirements documents (Contributo in atti di convegno) (Prodotto della ricerca)
- On-the-fly fast mean-field model-checking - Extended version (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- ASCENS - D2.3 - Third report on WP2 models for collaborative and competitive SCEs, and distributed implementation of connectors (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Comments on An interval logic for Real-Time System specification (Articolo in rivista) (Prodotto della ricerca)
- Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Specification and implementation of demonstrators for the case studies (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Automatic Testing Equivalence Verification of Spi-calculus Specifications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Deterministic recognizability of picture languages with Wang automata (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Strategies to scan pictures with automata based on Wang tiles (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- On the robustness of temporal properties for stochastic models (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Model checking Markov population models by central Limit approximation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Tools for Cryptographic Protocols Analysis: A Technical and Experimental Comparison (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Unified Class Model for Checking Security Policies in ICT Infrastructures (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Detecting Chains of Vulnerabilities in Industrial Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Automatic Detection of Attacks on Cryptographic Protocols: A Case Study (Articolo in rivista) (Prodotto della ricerca)
- Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis (Articolo in rivista) (Prodotto della ricerca)
- A CKY Parser for Picture Grammars (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Formal Approach for Designing CORBA based Applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software (Contributo in atti di convegno) (Prodotto della ricerca)
- Exploiting Symmetries for Testing Equivalence in the Spi Calculus (Articolo in rivista) (Prodotto della ricerca)
- The challenges of software engineering education (Contributo in atti di convegno) (Prodotto della ricerca)
- Families of dependable systems:a model checking approach (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Session types for orchestration charts (Articolo in rivista) (Prodotto della ricerca)
- Model checking temporal metric specifications with Trio2Promela (Articolo in rivista) (Prodotto della ricerca)
- Guest Editorial for Special Section from Component-based Software Engineering (CBSE) 2011 (Curatela) (Prodotto della ricerca)
- Improving the Security of Industrial Networks by Means of Formal Verification (Articolo in rivista) (Prodotto della ricerca)
- 1st FME workshop on formal methods in software engineering (FormaliSE 2013) (Contributo in atti di convegno) (Prodotto della ricerca)
- Learning and designing stochastic processes from logical constraints (Contributo in atti di convegno) (Prodotto della ricerca)
- Conformità di politiche di sicurezza in ambienti industriali (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Experimenting with diversity in the formal development of railway signalling systems (Articolo in rivista) (Prodotto della ricerca)
- Synthesizing adapters for conversational web-services from their WSDL interface (Contributo in atti di convegno) (Prodotto della ricerca)
- Context Oriented Programming in Highly Concurrent Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Bounded Reachability for Temporal Logic over Constraint Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability (Contributo in atti di convegno) (Prodotto della ricerca)
- Validating reconfigurations of reo circuits in an e-Banking scenario (Contributo in atti di convegno) (Prodotto della ricerca)
- 17th International Software Product Line Conference (Curatela) (Prodotto della ricerca)
- Specifying and verifying properties of space. Extended Version. (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Linguaggi formali e compilazione (Monografia o trattato scientifico) (Prodotto della ricerca)
- Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis (Articolo in rivista) (Prodotto della ricerca)
- A Metric Encoding for Bounded Model Checking (Contributo in atti di convegno) (Prodotto della ricerca)
- A New Knowledge Representation Strategy for Cryptographic Protocol Analysis (Articolo in rivista) (Prodotto della ricerca)
- A UML 2-compatible language and tool for formal modeling real-time system architectures (Contributo in atti di convegno) (Prodotto della ricerca)
- Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms (Contributo in atti di convegno) (Prodotto della ricerca)
- A UML-compatible formal language for system architecture description (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Modeling Emergency Response Plans with Coloured Petri Nets (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Benchmarking Model- and Satisfiability-Checking on Bi-Infinite Time (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Practical Automated Partial Verification of Multi-Paradigm Real-Time Models (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Codice
- ICT.P09.008.001 (literal)
- Anno di chiusura previsto
- 2012-01-01T00:00:00+01:00 (literal)
- Istituto esecutore
- Primo anno di attività
- 2005-01-01T00:00:00+01:00 (literal)
- Abstract
- I metodi formali (linguaggi, tecniche e strumenti s/w basati su solide teorie matematiche) per la specifica e l'analisi di modelli giocano un ruolo primario nell'ingegnerizzazione di sistemi software complessi quali quelli che prevedono pesanti interazioni uomo-macchina (sistemi di controllo, apparecchiature medicali, sistemi di e-commerce ed e-business). Essi costituiscono uno strumento indispensabile per la progettazione e lo sviluppo di sistemi affidabili complessi e possono essere usati come misura complementare di controllo qualità, per rilevare inconsistenze, ambiguità, incompletezze e vari altri difetti già nelle fasi iniziali del progetto. I recenti progressi nella definizione di strumenti formali idonei alla specifica, analisi e verifica di sistemi concorrenti e distribuiti e la loro applicazione in alcuni contesti produttivi industriali ne incoraggiano l'ulteriore sviluppo e la diffusione soprattutto nell'ambito della progettazione dei sistemi critici, dei protocolli di comunicazione, delle reti di grandi dimensioni, dei sistemi real-time, dell'interazione uomo-macchina, dei protocolli per la sicurezza e della progettazione di hardware. (literal)
- Nome
- Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (literal)
- Descrizione
- Descrizione del modulo "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.001)" (Descrizione modulo)
- Descrizione collaborazioni del modulo "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.001)" (Descrizione collaborazioni)
- Descrizione dello stato di avanzamento delle attività del modulo "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.001)" (Descrizione stato avanzamento attività)
- Modulo di
- Gestore
- ADRIANO VALENZANO (Unità di personale interno)
Incoming links:
- Prodotto di
- Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Regional Languages and Tiling: a Unifying Approach to Picture Grammars (Contributo in atti di convegno) (Prodotto della ricerca)
- Refining Real-Time System Specifications Through Bounded Model- and Satisfiability-Checking (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Software procurement and methods for specification and validation in the railway transportation industry (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- ArchiTRIO: a UML-compatible lan- guage for architectural description and its formal semantics (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Associative Language Descriptions versus Context-Free models (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On the Analysis of Vulnerability Chains in Industrial Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Picture recognizability with automata based on Wang tiles (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- a virtual machine for small embedded systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Trio2Promela: a model checker for temporal metric specifications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Benchmarking Model- and Satisfiability-Checking on Bi-Infinite Time (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Practical Automated Partial Verification of Multi-Paradigm Real-Time Models (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A UML-compatible formal language for system architecture description (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Metric Encoding for Bounded Model Checking (Contributo in atti di convegno) (Prodotto della ricerca)
- Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms (Contributo in atti di convegno) (Prodotto della ricerca)
- Synthesizing adapters for conversational web-services from their WSDL interface (Contributo in atti di convegno) (Prodotto della ricerca)
- Context Oriented Programming in Highly Concurrent Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Bounded Reachability for Temporal Logic over Constraint Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability (Contributo in atti di convegno) (Prodotto della ricerca)
- Conformità di politiche di sicurezza in ambienti industriali (Contributo in atti di convegno) (Prodotto della ricerca)
- Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis (Articolo in rivista) (Prodotto della ricerca)
- A New Knowledge Representation Strategy for Cryptographic Protocol Analysis (Articolo in rivista) (Prodotto della ricerca)
- Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A CKY Parser for Picture Grammars (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Formal Approach for Designing CORBA based Applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Exploiting Symmetries for Testing Equivalence in the Spi Calculus (Articolo in rivista) (Prodotto della ricerca)
- Automatic Detection of Attacks on Cryptographic Protocols: A Case Study (Articolo in rivista) (Prodotto della ricerca)
- Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis (Articolo in rivista) (Prodotto della ricerca)
- Automatic Testing Equivalence Verification of Spi-calculus Specifications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Comments on An interval logic for Real-Time System specification (Articolo in rivista) (Prodotto della ricerca)
- Comments on Temporal Logics for Real-Time System Specification (Articolo in rivista) (Prodotto della ricerca)
- A SAT-Based Parser and Completer for Pictures Specified by Tiling (Articolo in rivista) (Prodotto della ricerca)
- Associative Definition of Programming Languages, Computer Languages (Articolo in rivista) (Prodotto della ricerca)
- Improving the Security of Industrial Networks by Means of Formal Verification (Articolo in rivista) (Prodotto della ricerca)
- Model checking temporal metric specifications with Trio2Promela (Articolo in rivista) (Prodotto della ricerca)
- Detecting Chains of Vulnerabilities in Industrial Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Tools for Cryptographic Protocols Analysis: A Technical and Experimental Comparison (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Deterministic recognizability of picture languages with Wang automata (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Strategies to scan pictures with automata based on Wang tiles (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Session types for orchestration charts (Articolo in rivista) (Prodotto della ricerca)
- Experimenting with diversity in the formal development of railway signalling systems (Articolo in rivista) (Prodotto della ricerca)
- The challenges of software engineering education (Contributo in atti di convegno) (Prodotto della ricerca)
- A Tile-based Approach for Self-assembling Service Compositions (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An Automatic Approach to Enable Replacement of Conversational Services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Automatic Analysis of Security Policies in Industrial Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Programming Language Support to Context-Aware Adaptation - A Case-Study with Erlang (Contributo in atti di convegno) (Prodotto della ricerca)
- Linguaggi formali e compilazione (Monografia o trattato scientifico) (Prodotto della ricerca)
- Practical Automated Partial Verification of Multi-Paradigm Real-Time Models (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- A Metric Encoding for Bounded Model Checking (extended version) (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- System Configuration Check Against Security Policies in Industrial Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software (Contributo in atti di convegno) (Prodotto della ricerca)
- Modeling Emergency Response Plans with Coloured Petri Nets (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Specification and implementation of demonstrators for the case studies (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- A UML 2-compatible language and tool for formal modeling real-time system architectures (Contributo in atti di convegno) (Prodotto della ricerca)
- A Unified Class Model for Checking Security Policies in ICT Infrastructures (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session (Curatela) (Prodotto della ricerca)
- On-the-fly fast mean-field model-checking - Extended version (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- 17th International Software Product Line Conference (Curatela) (Prodotto della ricerca)
- Validating reconfigurations of reo circuits in an e-Banking scenario (Contributo in atti di convegno) (Prodotto della ricerca)
- Learning and designing stochastic processes from logical constraints (Contributo in atti di convegno) (Prodotto della ricerca)
- 1st FME workshop on formal methods in software engineering (FormaliSE 2013) (Contributo in atti di convegno) (Prodotto della ricerca)
- Guest Editorial for Special Section from Component-based Software Engineering (CBSE) 2011 (Curatela) (Prodotto della ricerca)
- The Seventh International Workshop on Variability Modelling of Software-intensive Systems (Curatela) (Prodotto della ricerca)
- Formal methods for industrial critical systems: a survey of applications (Curatela) (Prodotto della ricerca)
- Combining declarative and procedural views in the specification and analysis of product families (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Families of dependable systems:a model checking approach (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On the robustness of temporal properties for stochastic models (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Model checking Markov population models by central Limit approximation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Using clustering to improve the structure of natural language requirements documents (Contributo in atti di convegno) (Prodotto della ricerca)
- ASCENS - D2.3 - Third report on WP2 models for collaborative and competitive SCEs, and distributed implementation of connectors (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Teilhard de Chardin e Wolfram: modelli di universo computazionale ed emergenza del foglietto interno delle cose (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Specifying and verifying properties of space. Extended Version. (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Scalable context-dependent analysis of emergency egress models (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Simple indicators for Lorentzian causets (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Istituto esecutore di
- Modulo
- Gestore di
- ADRIANO VALENZANO (Unità di personale interno)
- Descrizione di
- Descrizione del modulo "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.001)" (Descrizione modulo)
- Descrizione collaborazioni del modulo "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.001)" (Descrizione collaborazioni)
- Descrizione dello stato di avanzamento delle attività del modulo "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.001)" (Descrizione stato avanzamento attività)