http://www.cnr.it/ontology/cnr/individuo/modulo/ID2102
Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.001)
- Type
- Label
- Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.001) (literal)
- Prodotto
- Towards automated dependability analysis of dynamically connected syste (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Monitoraggio Adattivo del livello di qualità in Architetture Orientate ai Servizi (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- EXaM: un tool per l'esecuzione e il monitoring di applicazioni a componenti distribuiti (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Architectural verification of black-box component-based systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Security Risk Analysis and Evaluation of Integrating Customer Energy Management Systems into Smart Distribution Grids (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On a modeling approach to analyze resilience of a smart grid infrastructure (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Power grid outlier treatment through Kalman filter (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- FP7 - Corso introduttivo sui principali aspetti amministrativi (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Towards a model-driven infrastructure for runtime monitoring (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards ensuring eternal connectability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An Extensible Framework for Online Testing of Choreographed Services (Articolo in rivista) (Prodotto della ricerca)
- Quantitative evaluation of distributed algorithms using the Neko framework: the NekoStat extension (Articolo in rivista) (Prodotto della ricerca)
- Dependability evaluation of Web service-based processes (Articolo in rivista) (Prodotto della ricerca)
- Quantification of dependencies between electrical and information infrastructures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An automatic tool for the analysis of natural language requirements (Articolo in rivista) (Prodotto della ricerca)
- Evaluation of the impact of congestion on service availability of GPRS infrastructures (Articolo in rivista) (Prodotto della ricerca)
- Systematic XACML request generation for testing purposes (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Software requirements elicitation in the context of a collaborative research project : technical report (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Una Strategia di test per la derivazione selettiva di istanze a partire da XML schema (Altre pubblicazioni) (Prodotto della ricerca)
- Model-based assessment of multi-region electric power systems showing heterogeneous characteristics (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Editorial - MARTE modelling, model transformations and their usages (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Sviluppo Model-Driven di uno strumento di modellazione visuale per Eclipse (Altre pubblicazioni) (Prodotto della ricerca)
- Instant collision resolution for tag identification in RFID networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Assessing the impact of interdependencies in electric power systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- The PLASTIC framework and tools for testing service-oriented applications (Articolo in rivista) (Prodotto della ricerca)
- Detailed HW and SW specification (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Model-based evaluation of the middleware services and protocols & architectural patterns (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- A decomposition-based modeling framework for complex systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- CRUTIAL D.21 - Dissemination and exploitation (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- D.16 - The CRUTIAL modelling framework (Final Version) (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Test suite reduction in good order: comparing heuristics from a new viewpoint (Contributo in atti di convegno) (Prodotto della ricerca)
- A modeling methodology for hierarchical control systems and its application (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Dependability analysis of diffusion protocols in wireless networks with heterogeneous node capabilities (Contributo in atti di convegno) (Prodotto della ricerca)
- Systematic XACML request generation for testing purposes (Contributo in atti di convegno) (Prodotto della ricerca)
- The CRUTIAL architecture for critical information infrastructures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- CRUTIAL D.19 - Model-based evaluation of the middleware services and protocols & architectural patterns (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Extending UML testing profile towards non-functional test modeling (Contributo in atti di convegno) (Prodotto della ricerca)
- ESEC/FSE 2007 Companion contents (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Software testing forever: old and new processes and techniques for validating today's applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Detailed HW and SW specification (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- PLASTIC Deliverable D4.2: test framework: prototype implementation (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Data flow-based validation of Web services compositions: perspectives and examples (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A methodology for mapping functional blocks into earliest deadline scheduled threads (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Addressing testing objectives for e-learning (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Integration of an MPS modeling approach into mobius (Contributo in atti di convegno) (Prodotto della ricerca)
- Model-based generation of testbeds for Web services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Model-based dimensioning of CAUTION++ (Contributo in atti di convegno) (Prodotto della ricerca)
- A modular approach for model-based dependability evaluation of a class of systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Critical utility infrastructural resilience (Contributo in atti di convegno) (Prodotto della ricerca)
- Non-functional analysis of service choreographies. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Quality requirements for service choreographies. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- WS-TAXI: a WSDL-based testing tool for Web Services (Contributo in atti di convegno) (Prodotto della ricerca)
- Quantification of dependencies in electrical and information infrastructures: the CRUTIAL approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Learn PAd : model-based social learning for public administrations (Abstract/Poster in convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1304)
- From functional blocks to the synthesis of the architectural model in embedded real-time applications (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Automatic synthesis of behavior protocols for composable Web-services (Contributo in atti di convegno) (Prodotto della ricerca)
- Interoperability testing of web services for e-learning (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- PLASTIC: Providing Lightweight & Adaptable Service Technology for Pervasive Information & Communication (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A fast skipping policy for H.263 video transcoder (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- A model based approach to design applications for network processor (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- An architecture-centric approach for producing quality systems (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Weighting influence of user behavior in software validation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Applying advanced UML based testing methodology to e-learning (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Audition of web services for testing conformance to open specified protocols (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Automatic XML schema generation UML application (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- PLASTIC Deliverable D4.3: Test Framework: Assessment and Revision (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- On-the-fly dependable mediation between heterogeneous networked systems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- TAS3 Deliverable D10.1: Trustworthiness - State of the Art (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- ESEC/FSE 2007 Proceedings contents (Altre pubblicazioni) (Prodotto della ricerca)
- Automatic generation of test-beds for pre-deployment QoS evaluation of Web services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- List of requirements on formalisms and selection of appropriate tools (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- TAXI - A Tool for XML-Based Testing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Model-based evaluation of the impact of attacks to the telecommunication service of the electrical grid (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Motion vector composition algorithm in H.264 transcoding (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- CRUTIAL D.18 - Architecture, services and protocols for CRUTIAL (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Stochastic assessment of power systems in presence of heterogeneity (Articolo in rivista) (Prodotto della ricerca)
- CRUTIAL - D3 - Methodologies Synthesis (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Verification and analysis of autonomic systems for networked enterprises (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Testing of PolPA-based usage control systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- UML-based design of network processor applications (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- The audition framework for testing web services interoperability (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Case Study on Critical Infrastructures: Assessment of Electric Power Systems. (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Assessing dependability and resilience in critical infrastructures: challenges and opportunities (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Preface. Workshop on Architecting Dependable Systems (WADS 2007) (Rassegne, recensioni, prefazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1716)
- Introducing a UML profile for application profiling in the e-learning domain (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- QoS analysis of a UMTS cell with different service classes (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An approach to adaptive dependability assessment in dynamic and evolving connected systems (Articolo in rivista) (Prodotto della ricerca)
- Software testing and/or software monitoring: differences and commonalities (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- From functional blocks to the synthesis of the architectural model in embedded real-time applications (Contributo in atti di convegno) (Prodotto della ricerca)
- A generative approach for the adaptive monitoring of SLA in service choreographies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- LearNext: learning to predict tourists movements (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A toolchain for designing and testing XACML policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- XACMUT: XACML 2.0 Mutants generator (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Automated synthesis of dependable mediators for heterogeneous interoperable systems (Articolo in rivista) (Prodotto della ricerca)
- On-line validation of service oriented systems in the european project TAS3 (Contributo in atti di convegno) (Prodotto della ricerca)
- A new motion activity measure in temporal video transcoding (Contributo in atti di convegno) (Prodotto della ricerca)
- On security countermeasures ranking through threat analysis (Contributo in atti di convegno) (Prodotto della ricerca)
- Social coverage for customized test adequacy and selection criteria. (Contributo in atti di convegno) (Prodotto della ricerca)
- NekoStat extension for Neko: quantitative evaluation of distributed algorithms (Contributo in atti di convegno) (Prodotto della ricerca)
- Monitoring architectural properties in dynamic component-based systems (Articolo in rivista) (Prodotto della ricerca)
- A requirements-led approach for specifying QoS-aware service choreographies: An experience report (Contributo in atti di convegno) (Prodotto della ricerca)
- Systematic generation of XML instances to test complex software applications (Articolo in rivista) (Prodotto della ricerca)
- ServicePot - An extensible registry for choreography governance (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach (Articolo in rivista) (Prodotto della ricerca)
- Tag Identification Protocols in RFID Systems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- VCR: Virtual Capture and Replay for performance testing (Contributo in atti di convegno) (Prodotto della ricerca)
- A resilient sil 2 driver machine interface for train control systems (Contributo in atti di convegno) (Prodotto della ricerca)
- A framework for analyzing and testing the performance of software services (Contributo in atti di convegno) (Prodotto della ricerca)
- Let the puppets move! Automated testbed generation for service-oriented mobile applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Exploiting ID Knowledge for Tag Identification in RFID Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- A product line architecture for web applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Addressing testing objectives for e-learning (Contributo in atti di convegno) (Prodotto della ricerca)
- An automated testing framework of model-driven tools for XACML policy specification (Contributo in atti di convegno) (Prodotto della ricerca)
- Automatic Test Data Generation for XML Schema-based Partition Testing (Contributo in atti di convegno) (Prodotto della ricerca)
- A UML profile and a methodology for real-Time systems design (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Simulation models and implementation of a simulator for the performability analysis of electric power systems considering interdependencies (Contributo in atti di convegno) (Prodotto della ricerca)
- XModel-Based Testing of XSLT Applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Software testing research: achievements, challenges, dreams (Contributo in atti di convegno) (Prodotto della ricerca)
- A hierarchical radio resource management framework for integrating WLANs in cellular networking environments (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An architecture-centric approach for producing quality systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Approaches to functional, structural and security SOA testing. (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Software architecture-based analysis and testing: a look into achievements and future challenges (Articolo in rivista) (Prodotto della ricerca)
- Validation and verification policies for governance of service choreographies. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Automated testing of eXtensible access control markup language-based access control systems (Articolo in rivista) (Prodotto della ricerca)
- Modelling and testing of XACML policies (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Extending the non-functional modeling of UML-TP (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Networks of heterogeneous and dynamic interoperable systems: an approach to enhance dependability and performance properties (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012) (Curatela) (Prodotto della ricerca)
- A brief essay on software testing (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Analysis of a redundant architecture for critical infrastructure protection (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Evaluation of critical infrastructures: challenges and viable approaches (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Exploiting software architecture to support requirements satisfaction testing (Contributo in atti di convegno) (Prodotto della ricerca)
- Yet another metamodel to specify non-functional properties (Contributo in atti di convegno) (Prodotto della ricerca)
- Performance measures for supporting project manager decisions (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An automated approach to robustness testing of BPEL orchestrations (Contributo in atti di convegno) (Prodotto della ricerca)
- More testable service compositions by test metadata (Contributo in atti di convegno) (Prodotto della ricerca)
- Improving test coverage measurement for reused software (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Testing software components for integration: a survey of issues and techniques (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Performance analysis of aspect-oriented UML models (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Towards automated dependability analysis of dynamically connected (Contributo in atti di convegno) (Prodotto della ricerca)
- Automatic XML-schema generation UML application profile (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Introducing service-oriented coverage testing (Contributo in atti di convegno) (Prodotto della ricerca)
- Meta-modeling of non-functional properties (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Profiling and testing within domains to facilitate document exchangeability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Coverage-based test cases selection for XACML policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- TAXI (Manufatti, prototipi d'arte e relativi progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1729)
- Real-time video transmission in vehicular networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Scaling up SLA monitoring in pervasive environments (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- PISATEL (Pisa Initiative on Software Architectures for TELecommunications) (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- MOdel Testing by Human Interrogations & Answers (Software) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1710)
- Computer Safety, Reliability, and Security. 33rd International Conference (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- On a modeling framework for the analysis of interdependencies in electric power systems (Contributo in atti di convegno) (Prodotto della ricerca)
- NESSOS - Initial Solutions for Security Assurance for Services (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- NESSoS - Joint Virtual Research Lab (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Access policy compliance testing in a user centric trust service infrastructure (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- CRUTIAL: Critical Utility Infrastructural Resilience - EU IST-FP6-STREP-027513 (Progetti) (Prodotto della ricerca)
- SAFEDMI: Safe Driver Machine Interface (DMI) for ERTMS Automatic Train Control - EU TST5-CT-2006-031413 (Progetti) (Prodotto della ricerca)
- ART DECO (Adaptive InfRasTructures for DECentralized Organizations) - FIRB 2005 (Progetti) (Prodotto della ricerca)
- Dependability Analysis and Verification for Connected Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- La Gestione dei progetti nel Settimo Programma Quadro (giornate 2 e 3) (Materiale didattico) (Prodotto della ricerca)
- WS-Guard (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- Puppet (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- Jambition (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- Lightweight & Adaptable Service Technology for pervasive Infromation & Communication (PLASTIC) - FP6 (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Training And Research On Testing (TAROT) - FP6 (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Preface to the Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- COWS V0.2 (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution (Contributo in atti di convegno) (Prodotto della ricerca)
- Generazione automatica di casi di test per sistemi di controllo degli accessi espressi tramite XACML (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Workshop on Architecting Dependable Systems (WADS 2007) (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Model-based dynamic QoS-driven service composition (Contributo in atti di convegno) (Prodotto della ricerca)
- Automatic XACML requests generation for policy testing. (Contributo in atti di convegno) (Prodotto della ricerca)
- The X-CREATE framework: a comparison of XACML policy testing strategies (Contributo in atti di convegno) (Prodotto della ricerca)
- Metrics for QoS analysis in dynamic, evolving and heterogeneous CONNECTed systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Whitening SOA testing (Contributo in atti di convegno) (Prodotto della ricerca)
- Exploiting signal strength detection and collision cancellation for tag identification in RFID systems (Contributo in atti di convegno) (Prodotto della ricerca)
- SOA test governance: enabling service integration testing across organization and technology borders (Contributo in atti di convegno) (Prodotto della ricerca)
- Approaches to testing service-oriented software systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Automated testing of healthcare document transformations in the PICASSO interoperability platform (Contributo in atti di convegno) (Prodotto della ricerca)
- CONNECT challenges: towards emergent connectors for eternal networked systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Networks of heterogeneous and dynamic interoperable systems: an approach to enhance dependability and performance properties (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Dynamic frame rate adjustment for real-time video in vehicular networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Critical utility infrastructural resilience (Abstract/Poster in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)
- NESSoS - JVRL Web Portal (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- An integrated development and runtime environment for the future Internet. (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Data Flow-based Validation of Web Services Compositions: Perspectives and Examples (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Trends and Research Issues in SOA Validation (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Analysis of electric power systems accounting for interdependencies in heterogeneous scenarios (Contributo in atti di convegno) (Prodotto della ricerca)
- Property-driven software engineering approach. (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Foreword to the AST '11: Proceedings of the 6th International Workshop on Automation of Software Test (Curatela) (Prodotto della ricerca)
- GLIMPSE: a generic and flexible monitoring infrastructure (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards Automated Robustness Testing of BPEL Orchestrators (Contributo in atti di convegno) (Prodotto della ricerca)
- Is my model right? Let me ask the expert (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Sixth international workshop on automation of software test (AST 2011) (Contributo in atti di convegno) (Prodotto della ricerca)
- A model based approach to design applications for network processor (Articolo in rivista) (Prodotto della ricerca)
- XaCml REquests derivAtion for TEsting. (Software) (Prodotto della ricerca)
- Generic fLexIble Monitoring based on a Publish-Subscribe infrastructurE (Software) (Prodotto della ricerca)
- Automated refinement of dependability analysis through monitoring in dynamically connected systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- D8: preliminary modeling framework (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Preliminary specification of services and protocols (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Scenario-based testing applied in two real contexts: healthcare and employability (Contributo in atti di convegno) (Prodotto della ricerca)
- Bringing white-box testing to service oriented architectures through a service oriented approach (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Pick UP Performance Evaluation Test-bed (Software) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1710)
- Dependability analysis of diffusion protocols in wireless networks with heterogeneous node capabilities (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- On enabling dependability assurance in heterogeneous networks through automated model-based analysis (Contributo in atti di convegno) (Prodotto della ricerca)
- (role)CAST: a framework for on-line service testing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A guided tour of four decades of a software testing discipline (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Modeling and analysis of the impact of failures in electric power systems organized in interconnected regions (Contributo in atti di convegno) (Prodotto della ricerca)
- Interdependency Analysis in Electric Power Systems (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Interoperability testing of web services for e-learning (Articolo in rivista) (Prodotto della ricerca)
- Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach (Comunicazione a convegno) (Prodotto della ricerca)
- Video transcoding architectures for multimedia real time services (Articolo in rivista) (Prodotto della ricerca)
- Failure Diagnosis of Complex Systems. (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- PLASTIC Deliverable D4.1: test framework specification and architecture. PLASTIC (Providing Lightweight and Adaptable Service Technology for pervasive Information and Communication) (IST-2005-26955). Deliverable PLASTIC IST-2005-26955 - D4.1, 2007. (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Evaluation of Critical Infrastructures: Challenges and Viable Approaches (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Trial results and analysis (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Monitoring service choreographies from multiple sources. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Final exploitation plans (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Architecture and related mechanisms. SAFEDMI - Safe Driver Machine Interface for ERTMS automatic train control. Deliverable D2.1, 2007. (Rapporti progetti di ricerca) (Prodotto della ricerca)
- ART DECO: preliminary report on devised methodologies and tools for verification, testing and QoS evaluation. ART DECO adaptive infrastructures for decentralised organizations. Deliverable FIRB-2005-RBNE05C3AH R.A.10.1, 2007. (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Foundations of measurement theory applied to the evaluation of dependability attributes (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Perspectives on Data Flow-based Validation of Web Services Compositions (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- A simulator for performability analysis of electrical power systems considering interdependencies (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Hidden markov models as a support for diagnosis: formalization of the problem and synthesis of the solution (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The audition framework for testing web services interoperability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On a modeling framework for the analysis of interdependencies in electric power systems (Contributo in atti di convegno) (Prodotto della ricerca)
- UML-based design of network processor applications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- On-the-fly interoperability through automated mediator synthesis and monitoring (Contributo in atti di convegno) (Prodotto della ricerca)
- Applying advanced UML based testing methodology to e-learning (Contributo in atti di convegno) (Prodotto della ricerca)
- Temporal video transcoding for multimedia services (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Experimental evaluation of the QoS of failure detectors on wide area network (Contributo in atti di convegno) (Prodotto della ricerca)
- Analysis of wireless sensor network protocols in dynamic scenarios (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Model-based evaluation as a support to the design of dependable systems (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Dissemination actions and collected publications (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Interdependency analysis in electric power systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Architecting dependable systems V - Preface (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Performance measures for supporting project manager decisions (Articolo in rivista) (Prodotto della ricerca)
- Never-stop Learning: continuous validation of learned models for evolving systems through monitoring (Articolo in rivista) (Prodotto della ricerca)
- Towards automated WSDL-based testing of Web services (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Property meta model. (Software) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1710)
- Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Hierarchical Radio Resource Management Framework for Integrating WLANs in Cellular Networking Environments (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A QoS test-bed generator for Web services (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Analisi e sviluppo di servizi Web utili al controllo della correttezza delle invocazioni (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- GLIMPSE: a generic and flexible monitoring infrastructure (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- QoS evaluation in a UMTS cell (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Software component integration testing: a survey (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Temporal transcoding for mobile video communication (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Partition testing from XML schema (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- A counter-example testing approach for orchestrated services (Contributo in atti di convegno) (Prodotto della ricerca)
- X-MuT: a tool for the generation of XSLT mutants (Contributo in atti di convegno) (Prodotto della ricerca)
- Definition, implementation and application of a model-based framework for analyzing interdependencies in electric power systems (Articolo in rivista) (Prodotto della ricerca)
- La Gestione dei Progetti nel Settimo Programma Quadro (giornate 1 e 4) (Materiale didattico) (Prodotto della ricerca)
- CRUTIAL - D4 - Preliminary Architecture Specification (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- CRUTIAL - D5 - Dissemination actions and collected publications (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Process scenarios in open source software certification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Complex events specification for properties validation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Validation of access control systems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Codice
- ICT.P09.005.001 (literal)
- Anno di chiusura previsto
- 2016-01-01T00:00:00+01:00 (literal)
- Istituto esecutore
- Primo anno di attività
- 2005-01-01T00:00:00+01:00 (literal)
- Abstract
- Questo modulo promuove l'avanzamento delle conoscenze informatiche relativamente alle metodologie di sviluppo di sistemi complessi e software-intensive, impiegati in applicazioni caratterizzate da elevati requisiti di qualità di servizio e di capacità di adattamento sia per l'inerente dinamicità di tali sistemi, sia per sopravvivere a malfunzionamenti.
Le metodologie e gli strumenti studiati sono orientati alla definizione di un'architettura generica del sistema, da impiegare in diversi campi applicativi.
I principali obiettivi del modulo sono:
- Metodologie, tecniche e tools per l'analisi, il testing e il monitoraggio di sistemi dinamici
- Analisi dell'impatto di malfunzionamento/attacchi in sistemi complessi caratterizzati da interazioni tra componenti di natura diversa (cyber-physical systems, critical infrastructures)
- Tecniche di testing per la verifica di proprietà di qualità e sicurezza del software
- Tecniche e meccanismi per dependability e fault tolerance
- Approcci model-based per il design e la validazione di sistemi e-learning (literal)
- Nome
- Architetture a componenti per sistemi complessi affidabili (literal)
- Descrizione
- Modulo di
- Gestore
Incoming links:
- Prodotto di
- From functional blocks to the synthesis of the architectural model in embedded real-time applications (Contributo in atti di convegno) (Prodotto della ricerca)
- QoS analysis of a UMTS cell with different service classes (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Simulation models and implementation of a simulator for the performability analysis of electric power systems considering interdependencies (Contributo in atti di convegno) (Prodotto della ricerca)
- XModel-Based Testing of XSLT Applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Software testing research: achievements, challenges, dreams (Contributo in atti di convegno) (Prodotto della ricerca)
- Automatic Test Data Generation for XML Schema-based Partition Testing (Contributo in atti di convegno) (Prodotto della ricerca)
- Exploiting ID Knowledge for Tag Identification in RFID Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- A framework for analyzing and testing the performance of software services (Contributo in atti di convegno) (Prodotto della ricerca)
- Let the puppets move! Automated testbed generation for service-oriented mobile applications (Contributo in atti di convegno) (Prodotto della ricerca)
- VCR: Virtual Capture and Replay for performance testing (Contributo in atti di convegno) (Prodotto della ricerca)
- A resilient sil 2 driver machine interface for train control systems (Contributo in atti di convegno) (Prodotto della ricerca)
- On-line validation of service oriented systems in the european project TAS3 (Contributo in atti di convegno) (Prodotto della ricerca)
- WS-TAXI: a WSDL-based testing tool for Web Services (Contributo in atti di convegno) (Prodotto della ricerca)
- Test suite reduction in good order: comparing heuristics from a new viewpoint (Contributo in atti di convegno) (Prodotto della ricerca)
- Dependability analysis of diffusion protocols in wireless networks with heterogeneous node capabilities (Contributo in atti di convegno) (Prodotto della ricerca)
- Systematic XACML request generation for testing purposes (Contributo in atti di convegno) (Prodotto della ricerca)
- A product line architecture for web applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Addressing testing objectives for e-learning (Contributo in atti di convegno) (Prodotto della ricerca)
- NekoStat extension for Neko: quantitative evaluation of distributed algorithms (Contributo in atti di convegno) (Prodotto della ricerca)
- A new motion activity measure in temporal video transcoding (Contributo in atti di convegno) (Prodotto della ricerca)
- Critical utility infrastructural resilience (Contributo in atti di convegno) (Prodotto della ricerca)
- Integration of an MPS modeling approach into mobius (Contributo in atti di convegno) (Prodotto della ricerca)
- Model-based dimensioning of CAUTION++ (Contributo in atti di convegno) (Prodotto della ricerca)
- Motion vector composition algorithm in H.264 transcoding (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Automatic generation of test-beds for pre-deployment QoS evaluation of Web services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- TAXI - A Tool for XML-Based Testing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- PLASTIC: Providing Lightweight & Adaptable Service Technology for Pervasive Information & Communication (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Weighting influence of user behavior in software validation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Automatic synthesis of behavior protocols for composable Web-services (Contributo in atti di convegno) (Prodotto della ricerca)
- Quantification of dependencies in electrical and information infrastructures: the CRUTIAL approach (Contributo in atti di convegno) (Prodotto della ricerca)
- X-MuT: a tool for the generation of XSLT mutants (Contributo in atti di convegno) (Prodotto della ricerca)
- A counter-example testing approach for orchestrated services (Contributo in atti di convegno) (Prodotto della ricerca)
- A model based approach to design applications for network processor (Articolo in rivista) (Prodotto della ricerca)
- Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A QoS test-bed generator for Web services (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Towards automated WSDL-based testing of Web services (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Architecting dependable systems V - Preface (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Analysis of wireless sensor network protocols in dynamic scenarios (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Interdependency analysis in electric power systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- On-the-fly interoperability through automated mediator synthesis and monitoring (Contributo in atti di convegno) (Prodotto della ricerca)
- A modeling methodology for hierarchical control systems and its application (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Instant collision resolution for tag identification in RFID networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Assessing the impact of interdependencies in electric power systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An automatic tool for the analysis of natural language requirements (Articolo in rivista) (Prodotto della ricerca)
- Evaluation of the impact of congestion on service availability of GPRS infrastructures (Articolo in rivista) (Prodotto della ricerca)
- Quantitative evaluation of distributed algorithms using the Neko framework: the NekoStat extension (Articolo in rivista) (Prodotto della ricerca)
- Dependability evaluation of Web service-based processes (Articolo in rivista) (Prodotto della ricerca)
- Architectural verification of black-box component-based systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A modular approach for model-based dependability evaluation of a class of systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Data flow-based validation of Web services compositions: perspectives and examples (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Model-based generation of testbeds for Web services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The CRUTIAL architecture for critical information infrastructures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Software testing forever: old and new processes and techniques for validating today's applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A decomposition-based modeling framework for complex systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- The PLASTIC framework and tools for testing service-oriented applications (Articolo in rivista) (Prodotto della ricerca)
- Automatic XML-schema generation UML application profile (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Performance measures for supporting project manager decisions (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Testing software components for integration: a survey of issues and techniques (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Performance analysis of aspect-oriented UML models (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A hierarchical radio resource management framework for integrating WLANs in cellular networking environments (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An architecture-centric approach for producing quality systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Monitoring architectural properties in dynamic component-based systems (Articolo in rivista) (Prodotto della ricerca)
- Systematic generation of XML instances to test complex software applications (Articolo in rivista) (Prodotto della ricerca)
- Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach (Articolo in rivista) (Prodotto della ricerca)
- Analysis of a redundant architecture for critical infrastructure protection (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Evaluation of critical infrastructures: challenges and viable approaches (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Interoperability testing of web services for e-learning (Articolo in rivista) (Prodotto della ricerca)
- Video transcoding architectures for multimedia real time services (Articolo in rivista) (Prodotto della ricerca)
- Applying advanced UML based testing methodology to e-learning (Contributo in atti di convegno) (Prodotto della ricerca)
- Experimental evaluation of the QoS of failure detectors on wide area network (Contributo in atti di convegno) (Prodotto della ricerca)
- The audition framework for testing web services interoperability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- UML-based design of network processor applications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Foundations of measurement theory applied to the evaluation of dependability attributes (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Hidden markov models as a support for diagnosis: formalization of the problem and synthesis of the solution (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On a modeling framework for the analysis of interdependencies in electric power systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Real-time video transmission in vehicular networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Scaling up SLA monitoring in pervasive environments (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Profiling and testing within domains to facilitate document exchangeability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Introducing service-oriented coverage testing (Contributo in atti di convegno) (Prodotto della ricerca)
- Approaches to testing service-oriented software systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Automated testing of healthcare document transformations in the PICASSO interoperability platform (Contributo in atti di convegno) (Prodotto della ricerca)
- CONNECT challenges: towards emergent connectors for eternal networked systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Dynamic frame rate adjustment for real-time video in vehicular networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Exploiting signal strength detection and collision cancellation for tag identification in RFID systems (Contributo in atti di convegno) (Prodotto della ricerca)
- SOA test governance: enabling service integration testing across organization and technology borders (Contributo in atti di convegno) (Prodotto della ricerca)
- Whitening SOA testing (Contributo in atti di convegno) (Prodotto della ricerca)
- Metrics for QoS analysis in dynamic, evolving and heterogeneous CONNECTed systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Model-based dynamic QoS-driven service composition (Contributo in atti di convegno) (Prodotto della ricerca)
- A guided tour of four decades of a software testing discipline (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach (Comunicazione a convegno) (Prodotto della ricerca)
- Perspectives on Data Flow-based Validation of Web Services Compositions (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- A simulator for performability analysis of electrical power systems considering interdependencies (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Critical utility infrastructural resilience (Abstract/Poster in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)
- Workshop on Architecting Dependable Systems (WADS 2007) (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Model-based evaluation as a support to the design of dependable systems (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Temporal video transcoding for multimedia services (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- TAXI (Manufatti, prototipi d'arte e relativi progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1729)
- PISATEL (Pisa Initiative on Software Architectures for TELecommunications) (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Partition testing from XML schema (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- QoS evaluation in a UMTS cell (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Software component integration testing: a survey (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Temporal transcoding for mobile video communication (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Dissemination actions and collected publications (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Trial results and analysis (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Final exploitation plans (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Architecture and related mechanisms. SAFEDMI - Safe Driver Machine Interface for ERTMS automatic train control. Deliverable D2.1, 2007. (Rapporti progetti di ricerca) (Prodotto della ricerca)
- ART DECO: preliminary report on devised methodologies and tools for verification, testing and QoS evaluation. ART DECO adaptive infrastructures for decentralised organizations. Deliverable FIRB-2005-RBNE05C3AH R.A.10.1, 2007. (Rapporti progetti di ricerca) (Prodotto della ricerca)
- PLASTIC Deliverable D4.1: test framework specification and architecture. PLASTIC (Providing Lightweight and Adaptable Service Technology for pervasive Information and Communication) (IST-2005-26955). Deliverable PLASTIC IST-2005-26955 - D4.1, 2007. (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Interdependency Analysis in Electric Power Systems (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- D8: preliminary modeling framework (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Preliminary specification of services and protocols (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Dependability analysis of diffusion protocols in wireless networks with heterogeneous node capabilities (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Analisi e sviluppo di servizi Web utili al controllo della correttezza delle invocazioni (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- GLIMPSE: a generic and flexible monitoring infrastructure (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- A brief essay on software testing (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- COWS V0.2 (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- WS-Guard (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- Puppet (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- CRUTIAL: Critical Utility Infrastructural Resilience - EU IST-FP6-STREP-027513 (Progetti) (Prodotto della ricerca)
- SAFEDMI: Safe Driver Machine Interface (DMI) for ERTMS Automatic Train Control - EU TST5-CT-2006-031413 (Progetti) (Prodotto della ricerca)
- ART DECO (Adaptive InfRasTructures for DECentralized Organizations) - FIRB 2005 (Progetti) (Prodotto della ricerca)
- A UML profile and a methodology for real-Time systems design (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- A fast skipping policy for H.263 video transcoder (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- A model based approach to design applications for network processor (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- An architecture-centric approach for producing quality systems (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Applying advanced UML based testing methodology to e-learning (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Audition of web services for testing conformance to open specified protocols (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Automatic XML schema generation UML application (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- From functional blocks to the synthesis of the architectural model in embedded real-time applications (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Interoperability testing of web services for e-learning (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- CRUTIAL D.18 - Architecture, services and protocols for CRUTIAL (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- ESEC/FSE 2007 Proceedings contents (Altre pubblicazioni) (Prodotto della ricerca)
- List of requirements on formalisms and selection of appropriate tools (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- PLASTIC Deliverable D4.3: Test Framework: Assessment and Revision (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- TAS3 Deliverable D10.1: Trustworthiness - State of the Art (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- FP7 - Corso introduttivo sui principali aspetti amministrativi (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Monitoraggio Adattivo del livello di qualità in Architetture Orientate ai Servizi (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- EXaM: un tool per l'esecuzione e il monitoring di applicazioni a componenti distribuiti (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Towards automated dependability analysis of dynamically connected syste (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Jambition (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- Lightweight & Adaptable Service Technology for pervasive Infromation & Communication (PLASTIC) - FP6 (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Training And Research On Testing (TAROT) - FP6 (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- A methodology for mapping functional blocks into earliest deadline scheduled threads (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Addressing testing objectives for e-learning (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Introducing a UML profile for application profiling in the e-learning domain (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- UML-based design of network processor applications (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- The audition framework for testing web services interoperability (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Preface. Workshop on Architecting Dependable Systems (WADS 2007) (Rassegne, recensioni, prefazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1716)
- CRUTIAL - D3 - Methodologies Synthesis (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- CRUTIAL - D4 - Preliminary Architecture Specification (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- CRUTIAL - D5 - Dissemination actions and collected publications (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- CRUTIAL D.19 - Model-based evaluation of the middleware services and protocols & architectural patterns (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- ESEC/FSE 2007 Companion contents (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Detailed HW and SW specification (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- PLASTIC Deliverable D4.2: test framework: prototype implementation (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- CRUTIAL D.21 - Dissemination and exploitation (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- D.16 - The CRUTIAL modelling framework (Final Version) (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Detailed HW and SW specification (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Model-based evaluation of the middleware services and protocols & architectural patterns (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Sviluppo Model-Driven di uno strumento di modellazione visuale per Eclipse (Altre pubblicazioni) (Prodotto della ricerca)
- Una Strategia di test per la derivazione selettiva di istanze a partire da XML schema (Altre pubblicazioni) (Prodotto della ricerca)
- Editorial - MARTE modelling, model transformations and their usages (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Systematic XACML request generation for testing purposes (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Data Flow-based Validation of Web Services Compositions: Perspectives and Examples (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution (Contributo in atti di convegno) (Prodotto della ricerca)
- Dependability Analysis and Verification for Connected Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- (role)CAST: a framework for on-line service testing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Bringing white-box testing to service oriented architectures through a service oriented approach (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Automated refinement of dependability analysis through monitoring in dynamically connected systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- GLIMPSE: a generic and flexible monitoring infrastructure (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Is my model right? Let me ask the expert (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Access policy compliance testing in a user centric trust service infrastructure (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- La Gestione dei Progetti nel Settimo Programma Quadro (giornate 1 e 4) (Materiale didattico) (Prodotto della ricerca)
- Generazione automatica di casi di test per sistemi di controllo degli accessi espressi tramite XACML (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Hierarchical Radio Resource Management Framework for Integrating WLANs in Cellular Networking Environments (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Performance measures for supporting project manager decisions (Articolo in rivista) (Prodotto della ricerca)
- On enabling dependability assurance in heterogeneous networks through automated model-based analysis (Contributo in atti di convegno) (Prodotto della ricerca)
- Modeling and analysis of the impact of failures in electric power systems organized in interconnected regions (Contributo in atti di convegno) (Prodotto della ricerca)
- Scenario-based testing applied in two real contexts: healthcare and employability (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards Automated Robustness Testing of BPEL Orchestrators (Contributo in atti di convegno) (Prodotto della ricerca)
- Sixth international workshop on automation of software test (AST 2011) (Contributo in atti di convegno) (Prodotto della ricerca)
- Preface to the Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- NESSOS - Initial Solutions for Security Assurance for Services (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- NESSoS - Joint Virtual Research Lab (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- On a modeling framework for the analysis of interdependencies in electric power systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Evaluation of Critical Infrastructures: Challenges and Viable Approaches (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Definition, implementation and application of a model-based framework for analyzing interdependencies in electric power systems (Articolo in rivista) (Prodotto della ricerca)
- Towards a model-driven infrastructure for runtime monitoring (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards ensuring eternal connectability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Process scenarios in open source software certification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Foreword to the AST '11: Proceedings of the 6th International Workshop on Automation of Software Test (Curatela) (Prodotto della ricerca)
- NESSoS - JVRL Web Portal (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Trends and Research Issues in SOA Validation (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Towards automated dependability analysis of dynamically connected (Contributo in atti di convegno) (Prodotto della ricerca)
- Exploiting software architecture to support requirements satisfaction testing (Contributo in atti di convegno) (Prodotto della ricerca)
- Yet another metamodel to specify non-functional properties (Contributo in atti di convegno) (Prodotto della ricerca)
- An automated approach to robustness testing of BPEL orchestrations (Contributo in atti di convegno) (Prodotto della ricerca)
- More testable service compositions by test metadata (Contributo in atti di convegno) (Prodotto della ricerca)
- Networks of heterogeneous and dynamic interoperable systems: an approach to enhance dependability and performance properties (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- XaCml REquests derivAtion for TEsting. (Software) (Prodotto della ricerca)
- Generic fLexIble Monitoring based on a Publish-Subscribe infrastructurE (Software) (Prodotto della ricerca)
- Failure Diagnosis of Complex Systems. (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Automatic XACML requests generation for policy testing. (Contributo in atti di convegno) (Prodotto della ricerca)
- The X-CREATE framework: a comparison of XACML policy testing strategies (Contributo in atti di convegno) (Prodotto della ricerca)
- Validation and verification policies for governance of service choreographies. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Modelling and testing of XACML policies (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- MOdel Testing by Human Interrogations & Answers (Software) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1710)
- Case Study on Critical Infrastructures: Assessment of Electric Power Systems. (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Assessing dependability and resilience in critical infrastructures: challenges and opportunities (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Verification and analysis of autonomic systems for networked enterprises (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Approaches to functional, structural and security SOA testing. (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Non-functional analysis of service choreographies. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Quality requirements for service choreographies. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Complex events specification for properties validation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Never-stop Learning: continuous validation of learned models for evolving systems through monitoring (Articolo in rivista) (Prodotto della ricerca)
- Analysis of electric power systems accounting for interdependencies in heterogeneous scenarios (Contributo in atti di convegno) (Prodotto della ricerca)
- Networks of heterogeneous and dynamic interoperable systems: an approach to enhance dependability and performance properties (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Automated testing of eXtensible access control markup language-based access control systems (Articolo in rivista) (Prodotto della ricerca)
- A generative approach for the adaptive monitoring of SLA in service choreographies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A toolchain for designing and testing XACML policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- XACMUT: XACML 2.0 Mutants generator (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Software architecture-based analysis and testing: a look into achievements and future challenges (Articolo in rivista) (Prodotto della ricerca)
- Stochastic assessment of power systems in presence of heterogeneity (Articolo in rivista) (Prodotto della ricerca)
- Model-based evaluation of the impact of attacks to the telecommunication service of the electrical grid (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Property meta model. (Software) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1710)
- Property-driven software engineering approach. (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- An integrated development and runtime environment for the future Internet. (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Monitoring service choreographies from multiple sources. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Meta-modeling of non-functional properties (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Quantification of dependencies between electrical and information infrastructures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Model-based assessment of multi-region electric power systems showing heterogeneous characteristics (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Tag Identification Protocols in RFID Systems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- ServicePot - An extensible registry for choreography governance (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- LearNext: learning to predict tourists movements (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An approach to adaptive dependability assessment in dynamic and evolving connected systems (Articolo in rivista) (Prodotto della ricerca)
- Extending the non-functional modeling of UML-TP (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- On-the-fly dependable mediation between heterogeneous networked systems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Extending UML testing profile towards non-functional test modeling (Contributo in atti di convegno) (Prodotto della ricerca)
- Security Risk Analysis and Evaluation of Integrating Customer Energy Management Systems into Smart Distribution Grids (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On a modeling approach to analyze resilience of a smart grid infrastructure (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Power grid outlier treatment through Kalman filter (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Validation of access control systems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Coverage-based test cases selection for XACML policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Learn PAd : model-based social learning for public administrations (Abstract/Poster in convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1304)
- Software testing and/or software monitoring: differences and commonalities (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- Computer Safety, Reliability, and Security. 33rd International Conference (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Pick UP Performance Evaluation Test-bed (Software) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1710)
- On security countermeasures ranking through threat analysis (Contributo in atti di convegno) (Prodotto della ricerca)
- An Extensible Framework for Online Testing of Choreographed Services (Articolo in rivista) (Prodotto della ricerca)
- Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012) (Curatela) (Prodotto della ricerca)
- Software requirements elicitation in the context of a collaborative research project : technical report (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- La Gestione dei progetti nel Settimo Programma Quadro (giornate 2 e 3) (Materiale didattico) (Prodotto della ricerca)
- Social coverage for customized test adequacy and selection criteria. (Contributo in atti di convegno) (Prodotto della ricerca)
- A requirements-led approach for specifying QoS-aware service choreographies: An experience report (Contributo in atti di convegno) (Prodotto della ricerca)
- Automated synthesis of dependable mediators for heterogeneous interoperable systems (Articolo in rivista) (Prodotto della ricerca)
- Testing of PolPA-based usage control systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An automated testing framework of model-driven tools for XACML policy specification (Contributo in atti di convegno) (Prodotto della ricerca)
- Improving test coverage measurement for reused software (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- http://www.cnr.it/ontology/cnr/individuo/prodotto/ID180032
- http://www.cnr.it/ontology/cnr/individuo/prodotto/ID217405
- Modulo
- Istituto esecutore di
- Gestore di
- Descrizione di