http://www.cnr.it/ontology/cnr/individuo/modulo/ID4147
Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002)
- Type
- Label
- Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (literal)
- Prodotto
- A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Assume-Guarantee Testing of Evolving Software Product Line Architectures. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The Metrô Rio ATP case study (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Model-based evaluation of the availability of a CBTC system. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- First passage time analysis of stochastic process algebra using partial orders (Contributo in atti di convegno) (Prodotto della ricerca)
- Dynamic software architectures verification using DynAlloy (Articolo in rivista) (Prodotto della ricerca)
- Modelling dynamic software architectures using typed graph grammars (Articolo in rivista) (Prodotto della ricerca)
- Formal methods for service composition (Articolo in rivista) (Prodotto della ricerca)
- Formal test-case generation for UML statecharts (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On mobility extensions of UML Statecharts; a pragmatic approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Preface (Curatela) (Prodotto della ricerca)
- Lessons learnt from the adoption of formal model-based development. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking (Articolo in rivista) (Prodotto della ricerca)
- Formal verification of an automotive scenario in service-oriented computing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- TEAMS OF PUSHDOWN AUTOMATA (Articolo in rivista) (Prodotto della ricerca)
- The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties (Contributo in atti di convegno) (Prodotto della ricerca)
- A calculus for team automata (Abstract/Poster in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)
- TeStor: deriving test sequences from model-based specifications (Articolo in rivista) (Prodotto della ricerca)
- Dependability analysis in the early phases of UML based system design. (Articolo in rivista) (Prodotto della ricerca)
- Quantitative Aspects of Programming Languages and Systems (2011-12). Preface (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Using hybrid automata to support human factors analysis in a critical system (Articolo in rivista) (Prodotto della ricerca)
- Model driven development and code generation: an automotive case study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Variability and Rigour in Service Computing Engineering (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- AGILE: Software Architecture for Mobility (Contributo in atti di convegno) (Prodotto della ricerca)
- Challenges in modelling and analyzing quantitative aspects of bike-sharing systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Deadlock avoidance in train scheduling: A model checking approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Stochastic approximation of global reachability probabilities of Markov population models (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Software engineering: Ugo Montanari's main contributions and introduction to the section (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A pseudo-random network mobile automaton with linear growth (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A model-checking approach for service component architectures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Formal development for railway signaling using commercial tools (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A model-checking tool for families of services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Model Checking : cos'è e come si applica (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Associativity of Infinite Synchronized Shuffles and Team Automata (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- On Competence in CD Grammar Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Preface to FMICS 2008 (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Combining timed coordination primitives and probabilistic tuple spaces (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- VMC: a tool for product variability analysis. (Contributo in atti di convegno) (Prodotto della ricerca)
- FMICS 2005 - 10th International Workshop on Formal Methods in SAfety Critical Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Preface of the Proceedings Tenth Workshop on Quantitative Aspects of Programming Languages (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Towards a logic for performance and mobility (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Towards integrated cognitive and interface analysis (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal verification in the design of gestural interaction (Contributo in atti di convegno) (Prodotto della ricerca)
- Model checking publish/subscribe notification for thinkteam (Articolo in rivista) (Prodotto della ricerca)
- Planar trinet dynamics with two rewrite rules (Articolo in rivista) (Prodotto della ricerca)
- Modelling interactive experience, function and performance in ubiquitous systems (Articolo in rivista) (Prodotto della ricerca)
- Rate-Based Transition Systems for Stochastic Process Calculi (Contributo in atti di convegno) (Prodotto della ricerca)
- Design and validation of variability in product lines (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Shuffles and synchronized shuffles: a survey (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Process algebra under the light of Wolfram's NKS (Articolo in rivista) (Prodotto della ricerca)
- A team automaton scenario for the analysis of security properties in communication protocols (Articolo in rivista) (Prodotto della ricerca)
- Formal modelling and verification in service-oriented computing (Articolo in rivista) (Prodotto della ricerca)
- On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics (Articolo in rivista) (Prodotto della ricerca)
- Automatic verification of a lip synchronisation algorithm using UPPAAL - extended version (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Specification and verification of media constraints using UPPAAL (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Investigating the behaviour of PREMO synchronisable objects (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Using LOTOS for the evaluation of design options in the PREMO standard (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Completeness of the equational semantics for basic LOTOS (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A stochastic extension of a behavioural subset of UML statechart diagrams (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Model checking UML statechart diagrams using JACK (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards a discipline of system engineering: Validation of dependable systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards a formal operational semantics of UML statechart diagrams (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Using hybrid automata to support human factors analysis in a critical system (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Continuous approximation of collective systems behaviour: a tutorial (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Performance analysis and true concurrency semantics (extended abstract) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards security analyses of an identity federation protocol for Web services in convergent networks (Contributo in atti di convegno) (Prodotto della ricerca)
- The Metro Rio case study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- QUANTICOL - D6.1 - Dissemination plan for the project (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Model checking interlocking control tables (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Preface of SEFM 2010 (Curatela) (Prodotto della ricerca)
- Integrated formal methods - 9th International Conference, IFM 2012 (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- On a uniform framework for the definition of stochastic process languages (Contributo in atti di convegno) (Prodotto della ricerca)
- Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer (Articolo in rivista) (Prodotto della ricerca)
- A statistical approach for computing reachability of non-linear and stochastic dynamical systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Special Section on St.Eve workshop - Introduction (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Formal modelling and verification of an asynchronous extension of SOAP (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A highly flexible, parallel virtual machine: design and experience of ILDJIT (Articolo in rivista) (Prodotto della ricerca)
- Preface to iFM&ABZ 2012 (Curatela) (Prodotto della ricerca)
- Preface of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Model driven software development con Eclipse, statechartUMC (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- 18th International Software Product Line Conference (Curatela) (Prodotto della ricerca)
- Sensoria - Manual for using the UMC model of the finance case study (Rapporti finali progetti di ricerca) (Prodotto della ricerca)
- Evaluation of the IBM rhapsody tool for modeling automatic train protection (ATP) systems: the restrictive signal confirmation (RSC) button (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- The HAL-online Tool (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Modelling and analysing the finance case study in UMC (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- A process algebraic fluid flow model of emergency egress (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Haptic cues for image disambiguation (Articolo in rivista) (Prodotto della ricerca)
- A logical framework to deal with variability (Contributo in atti di convegno) (Prodotto della ricerca)
- A formal security analysis of an OSA/Parlay authentication interface (Contributo in atti di convegno) (Prodotto della ricerca)
- Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker (Articolo in rivista) (Prodotto della ricerca)
- Performance analysis and true concurrency semantics (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Preface. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (Curatela) (Prodotto della ricerca)
- QuARS Express: A Tool for Evaluating Natural Language Requirements (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Automatic verification of a lip-synchronisation protocol using UPPAAL (Articolo in rivista) (Prodotto della ricerca)
- Modelling and verification of PREMO synchronisable objects (Articolo in rivista) (Prodotto della ricerca)
- Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems. (Curatela) (Prodotto della ricerca)
- Theoretical and Practical Aspects of SPIN Model Checking. 5th and 6th Int. SPIN Workshops (Curatela) (Prodotto della ricerca)
- Modellazione di sistemi ferroviari (Progetti) (Prodotto della ricerca)
- Formal methods and analysis in software product line engineering. 3rd edition of FMSPLE workshop series (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- TOCAI.it - MIUR (Progetti) (Prodotto della ricerca)
- Demonstration of a model checker for the analysis of product variability. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- TOCAI.it - MIUR Tecnologie Orientate alla Conoscenza per Aggregazioni di Imprese in Internet (Progetti) (Prodotto della ricerca)
- Analysis of Pointing Tasks on a White Board (Contributo in atti di convegno) (Prodotto della ricerca)
- Interaction and observation: categorical semantics of reactive systems trough dialgebras (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Stochastic process algebra and stability analysis of collective systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- From EU projects to a family of model checkers from Kandinsky to KandISTI (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Formal verification of the MUD case study (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- The Variability Model Checker VMC. (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Designing a deadlock-free train scheduler: A model checking approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Stochastically timed predicate-based communication primitives for autonomic computing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Mean-field approximation and quasi-equilibrium reduction of Markov population models (Contributo in atti di convegno) (Prodotto della ricerca)
- Measuring and improving the completeness of natural language requirements (Contributo in atti di convegno) (Prodotto della ricerca)
- Model checking value-passing modal specifications (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Formalizing uncertainty in service request/offer description and matching (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Software product line analysis with mCRL2 (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On-the-fly PCTL fast mean-field model-checking for self-organising coordination - Preliminary version (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- A Quality Evaluation Process for Collaborative Requirements: An Industrial Case Study (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Preface. First International Workshop on Software Certification (Rassegne, recensioni, prefazioni) (Prodotto della ricerca)
- Preface. First International Workshop on Views on Designing Complex Architectures (Rassegne, recensioni, prefazioni) (Prodotto della ricerca)
- On-the-fly probabilistic model checking. Extended version. QUANTICOL Technical Report nr. TR-QC-09-2014 (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- A model checking approach for verifying COWS specifications (Contributo in atti di convegno) (Prodotto della ricerca)
- My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A case of adoption of 25000 standards family: Establishing evaluation requirements in the audio-visual preservation context (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- 2nd FME Workshop on Formal Methods in Software Engineering (Curatela) (Prodotto della ricerca)
- Fundamental Approaches to Software Engineering (Curatela) (Prodotto della ricerca)
- Modelling and analysing an identity federation protocol: federated network providers scenario (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- Product line use cases: scenario-based specification and testing of requirements (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Informatica industriale (Monografia o trattato scientifico) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1401)
- SENSORIA - D4.2a - Stochastic logics (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Analysis of a pointing task on a white board (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- QuARS Express - A Tool Demonstration (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Modelling dynamic software architectures using typed graph grammars (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- MarCaSPiS: a Markovian extension of a Calculus for Services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Foreward - VaMoS '12 (Curatela) (Prodotto della ricerca)
- QuARS. User Manual (version 0.5) (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- SEFM 2010 - Poster and Tool Demo Session Proceedings (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Preface. Second international workshop on views on designing complex architectures (Rassegne, recensioni, prefazioni) (Prodotto della ricerca)
- A state/event-based model-checking approach for the analysis of abstract system properties (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- TOCAI - D7.2 - Process-oriented models and languages: scientific results and application scenarios (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Pragmatic ambiguity detection in natural language requirements (Contributo in atti di convegno) (Prodotto della ricerca)
- Context transformations for goal models (Contributo in atti di convegno) (Prodotto della ricerca)
- Contributions of team automata in security (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Humanity is much more than the sum of humans (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- On the validation of an interlocking system by model-checking (Contributo in atti di convegno) (Prodotto della ricerca)
- TR 09: Coalgebraic bisimulation of FuTS (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Resilience of Interaction Techniques to Interrupts: A formal model-based approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Mobile UML Statecharts with Localities (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Data verification for collective adaptive systems: spatial model-checking of vehicle location data (Contributo in atti di convegno) (Prodotto della ricerca)
- KandISTI: a family of model checkers for the analysis of software designs (Articolo in rivista) (Prodotto della ricerca)
- On distributed cooperation and synchronised collaboration (Articolo in rivista) (Prodotto della ricerca)
- Towards a logic for performance and mobility (Contributo in atti di convegno) (Prodotto della ricerca)
- QuARS and the natural language processing techniques: looking for a suitable syntax parser (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Distributing the challenge of model checking interlocking control tables (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal methods and analyses in software product line engineering (Track Summary) (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal methods for intelligent transportation systems (Contributo in atti di convegno) (Prodotto della ricerca)
- A collection of models of a bike-sharing case study. (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Using mCRL2 for the analysis of software product lines (extended version). (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- TR 11: On STOCS: a stochastic exten- sion of SCEL. (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- SENSORIA - D3.3A - An Overview of Techniques for Behavioural Properties (Rapporti progetti di ricerca) (Prodotto della ricerca)
- On-the-fly probabilistic model checking (Contributo in atti di convegno) (Prodotto della ricerca)
- Guaranteeing correct evolution of software product lines: setting up the problem (Contributo in atti di convegno) (Prodotto della ricerca)
- Assisting the design of a groupware system - model checking usability aspects of thinkteam (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems (Curatela) (Prodotto della ricerca)
- Notes on Markovian Extension of a Dialect of Value Passing CCS (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Tile Rewriting Grammars and Picture Languages (Articolo in rivista) (Prodotto della ricerca)
- A pseudo-random network mobile automaton with linear growth (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Relations among case studies and theme 2 results: qualitative and quantitative analysis of aspects of services (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Notes on non-Markovian Extension of Value Passing CCS (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Proceedings of the 18th International Software Product Line Conference, Volume 2 (Curatela) (Prodotto della ricerca)
- Quantitative Evaluation of Enforcement Strategies (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Gate splitting in LOTOS specifications using abstract interpretation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On specifying real-time systems in a causality-based setting (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On a uniform framework for the definition of stochastic process languages---Full Version--- (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Modeling systems by probabilistic process algebra: An event structures approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Research challenges in business process adaptability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Formal methods for railway control systems (Articolo in rivista) (Prodotto della ricerca)
- Using abstract interpretation for gate splitting in LOTOS specifications (extended abstract) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- High-level integrated design environment for dependability (HIDE) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards a discipline of system engineering: Validation of dependable systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On-the-fly fast mean-field model-checking (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2009) (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Proceedings of the Third international workshop on Views On Designing Complex Architectures (VODCA 2008) (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Sensoria results applied to the case studies (Rapporti progetti di ricerca) (Prodotto della ricerca)
- A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Causal sets from simple models of computation (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Modelling crowd dynamics in Bio-PEPA - Extended Abstract (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- Web service composition approaches: from industrial standards to formal methods (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Experimenting with diversity in the model driven development of a railway signalling system (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- CBTC.ATS.006_00_03 Documentazione prototipo ATS (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Formal verification of an automotive scenario in service-oriented computing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards modular verification of software product lines with mCRL2 (Contributo in atti di convegno) (Prodotto della ricerca)
- Using mCRL2 for the analysis of software product lines (Contributo in atti di convegno) (Prodotto della ricerca)
- VMC: Recent advances and challenges ahead (Contributo in atti di convegno) (Prodotto della ricerca)
- A deontic logical framework for modelling product families (Contributo in atti di convegno) (Prodotto della ricerca)
- Modelling variability, evolvability, and adaptability in service computing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- CBTC preliminary report (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Scalable analysis of collective behaviour in smart service systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal modeling for railway signaling using commercial tools (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Revisiting the limit behaviour of ``El Botellon\" (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Evaluating web site quality: a statistical approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- WCS: a Witness and Counterexample Server (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- A calculus for team automata (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An industrial application of formal model based development: the Metro Rio ATP case (Contributo in atti di convegno) (Prodotto della ricerca)
- Quality analysis of NL requirements: An industrial case study (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- An experience in using a tool for evaluating a large set of natural language requirements (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Continuous approximation of collective systems behaviour: a tutorial (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Vector Team Automata (Articolo in rivista) (Prodotto della ricerca)
- An experience on formal analysis of a high-level graphical SOA design (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards an architectural approach for the dynamic and automatic composition of software components (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Towards model checking stochastic aspects of the thinkteam user interface - FULL VERSION (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Model Checking Groupware Protocols (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Product lines for service oriented applications - PL for SOA (Contributo in atti di convegno) (Prodotto della ricerca)
- UMC User Guide (version 3.3) (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Automatic instantiation of generic statecharts (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Analysis of Pointing Tasks on a White Board -- Extended Version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Proceedings of the Software Product Lines Doctoral Symposium (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Topologically configurable systems as product families (Contributo in atti di convegno) (Prodotto della ricerca)
- Twenty-Five Years of Formal Methods and Railways: What Next? (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Formal Methods: applying {logics in, theoretical} computer science (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Detecting policy conflicts by model checking UML state machines (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Formal description of variability in product families (Contributo in atti di convegno) (Prodotto della ricerca)
- A scalable formal method for design and automatic checking of user interfaces (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Coherent branching feature bisimulation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Quantitative analysis of probabilistic models of software product lines with statistical model checking (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The definition of a graphical G-LOTOS editor using the meta-tool LOGGIE (Articolo in rivista) (Prodotto della ricerca)
- SoSL: A Service-Oriented Stochastic Logic (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Proceedings of the third international workshop on formal methods for interactive systems (FMIS 2009) (Curatela) (Prodotto della ricerca)
- The hybrid world of virtual environments (Articolo in rivista) (Prodotto della ricerca)
- Continuous interaction in future computing systems (Curatela) (Prodotto della ricerca)
- International Workshop on Conti- nuity in Future Computer Systems, Apr. 23-24, 2001, Porto, Portugal (Curatela) (Prodotto della ricerca)
- Formal Methods in System Design. An International Journal. Special issue on the fourth international workshop of the ercim working group on formal methods for industrial critical systems, trento, july 11-12, 1999 - selected papers (Curatela) (Prodotto della ricerca)
- Science of Computer Programming. Special issue on formal methods for industrial critical systems (Curatela) (Prodotto della ricerca)
- Formal Methods in System Design. An International Journal. Special issue on formal methods for industrial critical systems. (Curatela) (Prodotto della ricerca)
- Modelling Non-linear Crowd Dynamics in Bio-PEPA (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Analysing robot swarm decision-making with Bio-PEPA (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Basic concepts of software certification (Contributo in atti di convegno) (Prodotto della ricerca)
- A case study on the automated verification of groupware protocols (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Formal modelling and verification of an asynchronous extension of SOAP (Contributo in atti di convegno) (Prodotto della ricerca)
- On the adoption of model checking in safety-related software industry (Contributo in atti di convegno) (Prodotto della ricerca)
- Statecharts composition to model topologically distributed applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Algorithmic causal sets for a computational spacetime (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Continuous interaction with computers: Issues and requirements (Contributo in atti di convegno) (Prodotto della ricerca)
- A formal testing framework for {UML Statechart Diagrams} behaviours: From theory to automatic verification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Do particles evolve? (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Model checking value-passing modal specifications (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- On testing and conformance relations for UML statechart diagrams behaviours (Contributo in atti di convegno) (Prodotto della ricerca)
- Stochastically timed predicate-based communication primitives for autonomic computing - Full Paper. (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- A behavioural model for product families (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Mining commonalities and variabilities from natural language documents (Contributo in atti di convegno) (Prodotto della ricerca)
- Using collective intelligence to detect pragmatic ambiguities. (Contributo in atti di convegno) (Prodotto della ricerca)
- Basic observables for probabilistic may testing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Evaluation of natural language requirements in an industrial case study (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- A clustering-based approach for discovering flaws in requirements specifications (Contributo in atti di convegno) (Prodotto della ricerca)
- Stochastic and algorithmic causal sets for de sitter spacetime (Contributo in atti di convegno) (Prodotto della ricerca)
- Validating reconfigurations of reo circuits (Contributo in atti di convegno) (Prodotto della ricerca)
- A uniform definition of stochastic process calculi (Articolo in rivista) (Prodotto della ricerca)
- A Calculus for Team Automata (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Case studies scenario description (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- CMC_ model checker per la logica SOCL (Risultati di valorizzazione applicativa) (Prodotto della ricerca)
- TOCAI.IT - D7.1 - Process-oriented models and languages (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Introductory paper - Special section on St.Eve workshop (Altre pubblicazioni) (Prodotto della ricerca)
- Foreword - FMICS'05 Tenth International Workshop on Formal Methods for Industrial Critical Systems. (Rassegne, recensioni, prefazioni) (Prodotto della ricerca)
- Telecommunication case study: requirements modelling and analysis of selected scenarios. EU FP6-IP-IST-016004 project Sensoria (Software Engineering for Service-Oriented Overlay Computers). Deliverable D8.1.a, 2007. (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Planar trivalent network computation (Contributo in atti di convegno) (Prodotto della ricerca)
- CBTC.ATS.0003_00_03 ATS Specifica dei requisiti di Sistema (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- CMC-UMC: a framework for the verification of abstract service-oriented properties (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A fluid flow approach to usability analysis of multi-user systems - Full Version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Model driven software development con Eclipse, statechartUMC (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Fluid model checking (Contributo in atti di convegno) (Prodotto della ricerca)
- Dynamic software architecture development: towards an automated process (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Engineering crowd interaction within smart environments (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Resilience of interaction techniques to interrupts - A formal model-based approach - Full Version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Composing event constraints in state-based specification (Contributo in atti di convegno) (Prodotto della ricerca)
- Engineering human flows in smart environments using formal techniques - Full version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- State to function labelled transition systems: a uniform framework for defining stochastic process calculi (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Preface of the Proceedings of the Third International Workshop on Formal Methods for Interactive Systems (Rassegne, recensioni, prefazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1716)
- Preface of the Special Section on FMICS05 (Rassegne, recensioni, prefazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1716)
- Thinkteam with replicated data repositories: stochastic model checking in industry (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Sensoria - Manual for using the UMC model of the automotive case study (Rapporti finali progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1718)
- Analysing robot swarm decision-making with Bio-PEPA (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Specifying and Verifying Properties of Space (Contributo in atti di convegno) (Prodotto della ricerca)
- A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities (Articolo in rivista) (Prodotto della ricerca)
- The SCEL language: design, implementation, verification (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Session types for safe Web service orchestration (Articolo in rivista) (Prodotto della ricerca)
- Logics of space and time (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Mobile UML statecharts with localities (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Some trends in formal methods applications to railway signaling (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- A comparison between handwritten and automatic generation of C code from SDL using static analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living (Articolo in rivista) (Prodotto della ricerca)
- Towards model checking stochastic aspects of the 'thinkteam' user interface (Articolo in rivista) (Prodotto della ricerca)
- Infinite unfair shuffles and associativity (Articolo in rivista) (Prodotto della ricerca)
- Model checking dependability attributes of wireless group communication. (Contributo in atti di convegno) (Prodotto della ricerca)
- Model checking mobile stochastic logic (Articolo in rivista) (Prodotto della ricerca)
- Model based testing and abstract interpretation in the railway signaling context (Contributo in atti di convegno) (Prodotto della ricerca)
- A model checking verification environemnt for UML statecharts (Contributo in atti di convegno) (Prodotto della ricerca)
- A scalable fluid flow process algebraic approach to emergency egress analysis (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- UMC V3.3 (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- CMC: COWS model checker version 0.4 (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications (Articolo in rivista) (Prodotto della ricerca)
- SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) (Progetti) (Prodotto della ricerca)
- TOCAI.IT Tecnologie Orientate alla Conoscenza per Aggrezioni di Imprese per Internet (FIRB-MIUR) (Progetti) (Prodotto della ricerca)
- Instantiating generic charts for railway interlocking systems (Contributo in atti di convegno) (Prodotto della ricerca)
- A model checking approach for verifying COWS specifications (Articolo in rivista) (Prodotto della ricerca)
- Team automata for security - a survey (Contributo in atti di convegno) (Prodotto della ricerca)
- A compositional framework to derive product line behavioural descriptions (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Logical specification and analysis of fault tolerant systems through partial model checking (Contributo in atti di convegno) (Prodotto della ricerca)
- Introduction to the Sensoria Case Studies (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- An abstract, on the fly framework for the verification of service-oriented systems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Graph-based design and analysis of dynamic software architectures (Articolo in rivista) (Prodotto della ricerca)
- Process algebra under the light of Wolfram's NKS (Contributo in atti di convegno) (Prodotto della ricerca)
- A new quality model for natural language requirements specifications (Contributo in atti di convegno) (Prodotto della ricerca)
- A logical framework to deal with variability (Articolo in rivista) (Prodotto della ricerca)
- Product line architectures for SOA (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An empirical study on the relationship between defective requirements and test failures (Contributo in atti di convegno) (Prodotto della ricerca)
- SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) (Progetti) (Prodotto della ricerca)
- Validation coverage for a component-based SDL model of a railway signalling system (Contributo in atti di convegno) (Prodotto della ricerca)
- The Sensoria approach applied to the finance case study (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Constructing a vulnerable society (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Assisting the design of an industrial groupware system by model checking (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- A syndetic approach to human computer interfaces (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Infinite unfair shuffles and associativity (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Formal Modelling and Verification of an Asynchronous Extension of SOAP (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- MoSL: A Stochastic Logic for StoKLAIM (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Model based design of interlocking systems (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Testing UML statecharts (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Towards a logic for performance and mobility. FULL VERSION (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Statemate XMI Exporter (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- VMC: a tool for the analysis of variability in software product lines (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Railway model reduction (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- STOKLAIM: A Stochastic Extension of KLAIM (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Causal sets from simple models of computation (Articolo in rivista) (Prodotto della ricerca)
- Product line engineering applied to CBTC systems development. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Automatic analysis of multimodal requirements: a research preview. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Detecting policy conflicts by model checking UML state machines (Contributo in atti di convegno) (Prodotto della ricerca)
- Web Services and Formal Methods (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Quality Analysis of NL Requirements: An Industrial Case Study (Contributo in atti di convegno) (Prodotto della ricerca)
- Enhancing test coverage by back-tracing model-checker counterexamples (Contributo in atti di convegno) (Prodotto della ricerca)
- Stochastic simulation of event structures (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards automatic temporal logic verification of value passing process algebra using abstract interpretation (Contributo in atti di convegno) (Prodotto della ricerca)
- Analysing robot movement using the SENSORIA methods (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Performance analysis and true concurrency semantics (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- A reference framework for continuous interaction (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Assembling components with behavioural contracts - assemblage de composants selon des contrats comportementaux (Articolo in rivista) (Prodotto della ricerca)
- Metric semantics for true concurrent real time (Ext. Abs.) (Contributo in atti di convegno) (Prodotto della ricerca)
- Stochastic analysis via a probabilistic process algebra (Contributo in atti di convegno) (Prodotto della ricerca)
- Techniques for the formal definition of the G-LOTOS syntax (Contributo in atti di convegno) (Prodotto della ricerca)
- The CNUCE OSI prototyping laboratory (Contributo in atti di convegno) (Prodotto della ricerca)
- An interactive debugger for a concurrent language (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal modeling and quantitative analysis of KLAIM-based mobile systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal specification and validation of a critical system in presence of byzantine errors (Contributo in atti di convegno) (Prodotto della ricerca)
- Geographical vs. Functional modelling by statecharts of interlocking systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Infinite Unfair Shuffles and Associativity (Contributo in atti di convegno) (Prodotto della ricerca)
- On StocS: a stochastic extension of SCEL (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- A survey on services composition languages and models (Contributo in atti di convegno) (Prodotto della ricerca)
- Non-standard interpretations of LOTOS specifications (Contributo in atti di convegno) (Prodotto della ricerca)
- Architecting fault-tolerant component-based systems: from requirements to testing (Articolo in rivista) (Prodotto della ricerca)
- Equational semantics for basic LOTOS and an example of its use in a transformational proof style (Contributo in atti di convegno) (Prodotto della ricerca)
- Shared abstract data types: An algebraic methodology for their specification (Contributo in atti di convegno) (Prodotto della ricerca)
- Responsible scientists - a social-constructivist approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Statecharts composition to model topologically distributed applications (Articolo in rivista) (Prodotto della ricerca)
- Reasoning about interactive systems with stochastic models (Altre pubblicazioni) (Prodotto della ricerca)
- The industrialization of formal methods (Articolo in rivista) (Prodotto della ricerca)
- Quality analysis of NL requirements: an industrial case study (Contributo in atti di convegno) (Prodotto della ricerca)
- Assisting the design of an industrial groupware system by model checking (Articolo in rivista) (Prodotto della ricerca)
- Evaluation of natural language requirements in the MODCONTROL project (Articolo in rivista) (Prodotto della ricerca)
- A graph-based design framework for global computing systems (Articolo in rivista) (Prodotto della ricerca)
- From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Modeling Free Flight with Collision Avoidance. (Contributo in atti di convegno) (Prodotto della ricerca)
- Fluid Analysis of Foraging Ants (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards an executable algebra for product lines (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- TCPS specifica business process e log. (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Formal methods for service composition (Contributo in atti di convegno) (Prodotto della ricerca)
- An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Automatic Instantiation for Railway Interlocking Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Algorithmic causets (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Guaranteeing correct evolution of software product lines (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Formal modeling for product families engineering (Contributo in atti di convegno) (Prodotto della ricerca)
- A logical verification methodology for service-oriented computing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A formal security analysis of an OSA/Parlay authentication interface (Articolo in rivista) (Prodotto della ricerca)
- Synchronized shuffles (Articolo in rivista) (Prodotto della ricerca)
- A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems (Contributo in atti di convegno) (Prodotto della ricerca)
- A practical architecture-centric analysis process (Articolo in rivista) (Prodotto della ricerca)
- A story about formal methods adoption by a railway signaling Manufacturer (Articolo in rivista) (Prodotto della ricerca)
- Modularity for teams of I/O automata (Articolo in rivista) (Prodotto della ricerca)
- Achieving fault tolerance by a formally validated interaction policy (Articolo in rivista) (Prodotto della ricerca)
- A model-checking approach for service component architectures (Contributo in atti di convegno) (Prodotto della ricerca)
- Design validation of embedded dependable systems (Articolo in rivista) (Prodotto della ricerca)
- Metric semantics for true concurrent real time (Articolo in rivista) (Prodotto della ricerca)
- On testing UML statecharts (Articolo in rivista) (Prodotto della ricerca)
- Model-based development and formal methods in the railway industry (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Behavioral complexity indicators for process algebra: the NKS approach (Articolo in rivista) (Prodotto della ricerca)
- CBTC.ATS.0001_00_05 Specifica preliminare di sistema (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- On-the-fly fluid model checking via discrete time population models - Extended version. (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Analysis of a pointing task on a white board (Articolo in rivista) (Prodotto della ricerca)
- On Competence in CD Grammar Systems with Parallel Rewriting (Articolo in rivista) (Prodotto della ricerca)
- Model checking value-passing modal specifications (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Chaining available tools to support the modelling and analysis of a bike-sharing product line: an experience report (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- CBTC.AGEN.0023_00_06 Protocollo ATS-ATC (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Two possibly alternative approaches to the semantics of stochastic process calculi. (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- The osiride directory system: status and perspectives (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Quantitative Analysis of Services (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Correctness preserving transformations for the early phases of software development (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- A consistent causality based view on a timed process algebra including urgent interactions (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Partial order models for quantitative extensions of LOTOS (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Formal Methods for Distributed System Development (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Cooperating distributed grammar systems: components with nonincreasing competence (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Formal Aspects of Computing. The International Journal of Formal Methods. Special issue on formal methods for industrial critical systems. (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Sensoria Results Applied to the Case Studies (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Statecharts composition to model topologically distributed applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Combining declarative and procedural views in the feature-oriented specification and analysis of product families (Contributo in atti di convegno) (Prodotto della ricerca)
- MOD-CONTROL, Train control and monitoring system, a sub-project of MODTRAIN (FP6-PLT-506652/TIP3-CT-2003-506652) (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- PSC V0.4 (Manufatti, prototipi d'arte e relativi progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1729)
- XXL - CNR/RSTL (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- A uniform approach to security and fault-tolerance specification and analysis (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Model driven development of railway systems using diversity (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- FAERUS, nell'ambito di RESIST, EU contr. n. 026764 (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- FP7-ICT-2009-5 IP Ascens: Autonomic Service-Component Ensembles (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Combining timed coordination primitives and probabilistic tuple spaces (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Preface - Architecting Dependable Systems VI (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Codice
- ICT.P09.008.002 (literal)
- Anno di chiusura previsto
- 2018-01-01T00:00:00+01:00 (literal)
- Istituto esecutore
- Primo anno di attività
- 2005-01-01T00:00:00+01:00 (literal)
- Abstract
- La dipendenza della società da sistemi software è sempre maggiore: un grande numero di prodotti e servizi comunemente utilizzati ne dipendono strettamente. I sistemi software a cui ci riferiamo sono spesso caratterizzati da elevata complessità e criticità, come sistemi bancari e di e-business, sistemi di controllo, apparecchiature medicali,applicazione basate su servizi. È necessario fin dalle prime fasi del loro sviluppo garantire tutti gli aspetti essenziali di affidabilità, sicurezza, robustezza, usabilita'.
Questa commessa si propone di sviluppare nuovi metodi e strumenti formali (linguaggi, metodologie, tecniche e strumenti automatici ) di supporto alla progettazione, sviluppo e verifica di Sistemi Software-Intensive ad Elevata Complessità di nuova generazione basati anche su infrastrutture di comunicazione globali e distribuite.
Il trasferimento tecnologico verso l'industria dei risultati raggiunti e' uno dei principali obiettivi della commessa cosi' come la partecipazione a progetti di ricerca nazionali ed internazionali. (literal)
- Nome
- Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (literal)
- Descrizione
- Modulo di
- Gestore
Incoming links:
- Prodotto di
- The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal test-case generation for UML statecharts (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Enhancing test coverage by back-tracing model-checker counterexamples (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal modeling and quantitative analysis of KLAIM-based mobile systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Geographical vs. Functional modelling by statecharts of interlocking systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Infinite Unfair Shuffles and Associativity (Contributo in atti di convegno) (Prodotto della ricerca)
- Quality analysis of NL requirements: an industrial case study (Contributo in atti di convegno) (Prodotto della ricerca)
- A survey on services composition languages and models (Contributo in atti di convegno) (Prodotto della ricerca)
- Modeling Free Flight with Collision Avoidance. (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal methods for service composition (Contributo in atti di convegno) (Prodotto della ricerca)
- An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Automatic Instantiation for Railway Interlocking Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal modeling for product families engineering (Contributo in atti di convegno) (Prodotto della ricerca)
- A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems (Contributo in atti di convegno) (Prodotto della ricerca)
- A scalable fluid flow process algebraic approach to emergency egress analysis (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Model based testing and abstract interpretation in the railway signaling context (Contributo in atti di convegno) (Prodotto della ricerca)
- Model checking dependability attributes of wireless group communication. (Contributo in atti di convegno) (Prodotto della ricerca)
- A model checking verification environemnt for UML statecharts (Contributo in atti di convegno) (Prodotto della ricerca)
- Instantiating generic charts for railway interlocking systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Logical specification and analysis of fault tolerant systems through partial model checking (Contributo in atti di convegno) (Prodotto della ricerca)
- Process algebra under the light of Wolfram's NKS (Contributo in atti di convegno) (Prodotto della ricerca)
- Team automata for security - a survey (Contributo in atti di convegno) (Prodotto della ricerca)
- Validation coverage for a component-based SDL model of a railway signalling system (Contributo in atti di convegno) (Prodotto della ricerca)
- A new quality model for natural language requirements specifications (Contributo in atti di convegno) (Prodotto della ricerca)
- An empirical study on the relationship between defective requirements and test failures (Contributo in atti di convegno) (Prodotto della ricerca)
- Basic concepts of software certification (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal modelling and verification of an asynchronous extension of SOAP (Contributo in atti di convegno) (Prodotto della ricerca)
- Statecharts composition to model topologically distributed applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Continuous interaction with computers: Issues and requirements (Contributo in atti di convegno) (Prodotto della ricerca)
- On testing and conformance relations for UML statechart diagrams behaviours (Contributo in atti di convegno) (Prodotto della ricerca)
- A behavioural model for product families (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Basic observables for probabilistic may testing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Calculus for Team Automata (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Model driven software development con Eclipse, statechartUMC (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- CMC-UMC: a framework for the verification of abstract service-oriented properties (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Dynamic software architecture development: towards an automated process (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Engineering crowd interaction within smart environments (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A deontic logical framework for modelling product families (Contributo in atti di convegno) (Prodotto della ricerca)
- Scalable analysis of collective behaviour in smart service systems (Contributo in atti di convegno) (Prodotto della ricerca)
- An industrial application of formal model based development: the Metro Rio ATP case (Contributo in atti di convegno) (Prodotto della ricerca)
- Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking (Articolo in rivista) (Prodotto della ricerca)
- TEAMS OF PUSHDOWN AUTOMATA (Articolo in rivista) (Prodotto della ricerca)
- TeStor: deriving test sequences from model-based specifications (Articolo in rivista) (Prodotto della ricerca)
- Dependability analysis in the early phases of UML based system design. (Articolo in rivista) (Prodotto della ricerca)
- Using hybrid automata to support human factors analysis in a critical system (Articolo in rivista) (Prodotto della ricerca)
- Model driven development and code generation: an automotive case study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- AGILE: Software Architecture for Mobility (Contributo in atti di convegno) (Prodotto della ricerca)
- Software engineering: Ugo Montanari's main contributions and introduction to the section (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A pseudo-random network mobile automaton with linear growth (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A model-checking approach for service component architectures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Formal development for railway signaling using commercial tools (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Associativity of Infinite Synchronized Shuffles and Team Automata (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Preface to FMICS 2008 (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- FMICS 2005 - 10th International Workshop on Formal Methods in SAfety Critical Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Towards a logic for performance and mobility (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Formal verification in the design of gestural interaction (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards integrated cognitive and interface analysis (Contributo in atti di convegno) (Prodotto della ricerca)
- Planar trinet dynamics with two rewrite rules (Articolo in rivista) (Prodotto della ricerca)
- Modelling interactive experience, function and performance in ubiquitous systems (Articolo in rivista) (Prodotto della ricerca)
- A comparison between handwritten and automatic generation of C code from SDL using static analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Mobile UML statecharts with localities (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Towards model checking stochastic aspects of the 'thinkteam' user interface (Articolo in rivista) (Prodotto della ricerca)
- Infinite unfair shuffles and associativity (Articolo in rivista) (Prodotto della ricerca)
- Model checking mobile stochastic logic (Articolo in rivista) (Prodotto della ricerca)
- A model checking approach for verifying COWS specifications (Articolo in rivista) (Prodotto della ricerca)
- An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications (Articolo in rivista) (Prodotto della ricerca)
- Graph-based design and analysis of dynamic software architectures (Articolo in rivista) (Prodotto della ricerca)
- A logical framework to deal with variability (Articolo in rivista) (Prodotto della ricerca)
- Causal sets from simple models of computation (Articolo in rivista) (Prodotto della ricerca)
- A reference framework for continuous interaction (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Assembling components with behavioural contracts - assemblage de composants selon des contrats comportementaux (Articolo in rivista) (Prodotto della ricerca)
- Statecharts composition to model topologically distributed applications (Articolo in rivista) (Prodotto della ricerca)
- The industrialization of formal methods (Articolo in rivista) (Prodotto della ricerca)
- Architecting fault-tolerant component-based systems: from requirements to testing (Articolo in rivista) (Prodotto della ricerca)
- Assisting the design of an industrial groupware system by model checking (Articolo in rivista) (Prodotto della ricerca)
- Evaluation of natural language requirements in the MODCONTROL project (Articolo in rivista) (Prodotto della ricerca)
- A graph-based design framework for global computing systems (Articolo in rivista) (Prodotto della ricerca)
- A formal security analysis of an OSA/Parlay authentication interface (Articolo in rivista) (Prodotto della ricerca)
- Modularity for teams of I/O automata (Articolo in rivista) (Prodotto della ricerca)
- Synchronized shuffles (Articolo in rivista) (Prodotto della ricerca)
- A practical architecture-centric analysis process (Articolo in rivista) (Prodotto della ricerca)
- A story about formal methods adoption by a railway signaling Manufacturer (Articolo in rivista) (Prodotto della ricerca)
- Achieving fault tolerance by a formally validated interaction policy (Articolo in rivista) (Prodotto della ricerca)
- On testing UML statecharts (Articolo in rivista) (Prodotto della ricerca)
- Design validation of embedded dependable systems (Articolo in rivista) (Prodotto della ricerca)
- Metric semantics for true concurrent real time (Articolo in rivista) (Prodotto della ricerca)
- Analysis of a pointing task on a white board (Articolo in rivista) (Prodotto della ricerca)
- Behavioral complexity indicators for process algebra: the NKS approach (Articolo in rivista) (Prodotto della ricerca)
- On Competence in CD Grammar Systems with Parallel Rewriting (Articolo in rivista) (Prodotto della ricerca)
- Model driven development of railway systems using diversity (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A uniform approach to security and fault-tolerance specification and analysis (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Combining timed coordination primitives and probabilistic tuple spaces (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Preface - Architecting Dependable Systems VI (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- The Metrô Rio ATP case study (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Model checking publish/subscribe notification for thinkteam (Articolo in rivista) (Prodotto della ricerca)
- A team automaton scenario for the analysis of security properties in communication protocols (Articolo in rivista) (Prodotto della ricerca)
- Process algebra under the light of Wolfram's NKS (Articolo in rivista) (Prodotto della ricerca)
- Formal modelling and verification in service-oriented computing (Articolo in rivista) (Prodotto della ricerca)
- Formal methods for service composition (Articolo in rivista) (Prodotto della ricerca)
- Dynamic software architectures verification using DynAlloy (Articolo in rivista) (Prodotto della ricerca)
- Modelling dynamic software architectures using typed graph grammars (Articolo in rivista) (Prodotto della ricerca)
- A case study on the automated verification of groupware protocols (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A formal testing framework for {UML Statechart Diagrams} behaviours: From theory to automatic verification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Web service composition approaches: from industrial standards to formal methods (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Experimenting with diversity in the model driven development of a railway signalling system (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Formal verification of an automotive scenario in service-oriented computing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Modelling variability, evolvability, and adaptability in service computing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Formal modeling for railway signaling using commercial tools (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Evaluating web site quality: a statistical approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An experience in using a tool for evaluating a large set of natural language requirements (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An experience on formal analysis of a high-level graphical SOA design (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A calculus for team automata (Abstract/Poster in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)
- Modelling and analysing an identity federation protocol: federated network providers scenario (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- QuARS Express - A Tool Demonstration (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Modelling crowd dynamics in Bio-PEPA - Extended Abstract (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- Detecting policy conflicts by model checking UML state machines (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- TOCAI.it - MIUR (Progetti) (Prodotto della ricerca)
- TOCAI.it - MIUR Tecnologie Orientate alla Conoscenza per Aggregazioni di Imprese in Internet (Progetti) (Prodotto della ricerca)
- Modellazione di sistemi ferroviari (Progetti) (Prodotto della ricerca)
- Infinite unfair shuffles and associativity (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Testing UML statecharts (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Towards a logic for performance and mobility. FULL VERSION (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Formal Modelling and Verification of an Asynchronous Extension of SOAP (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- MoSL: A Stochastic Logic for StoKLAIM (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Model based design of interlocking systems (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Railway model reduction (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- STOKLAIM: A Stochastic Extension of KLAIM (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Statemate XMI Exporter (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Evaluation of natural language requirements in an industrial case study (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Introductory paper - Special section on St.Eve workshop (Altre pubblicazioni) (Prodotto della ricerca)
- Foreword - FMICS'05 Tenth International Workshop on Formal Methods for Industrial Critical Systems. (Rassegne, recensioni, prefazioni) (Prodotto della ricerca)
- Case studies scenario description (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- TOCAI.IT - D7.1 - Process-oriented models and languages (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Telecommunication case study: requirements modelling and analysis of selected scenarios. EU FP6-IP-IST-016004 project Sensoria (Software Engineering for Service-Oriented Overlay Computers). Deliverable D8.1.a, 2007. (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- A fluid flow approach to usability analysis of multi-user systems - Full Version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Engineering human flows in smart environments using formal techniques - Full version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Resilience of interaction techniques to interrupts - A formal model-based approach - Full Version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Thinkteam with replicated data repositories: stochastic model checking in industry (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Preface of the Proceedings of the Third International Workshop on Formal Methods for Interactive Systems (Rassegne, recensioni, prefazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1716)
- Preface of the Special Section on FMICS05 (Rassegne, recensioni, prefazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1716)
- Sensoria - Manual for using the UMC model of the automotive case study (Rapporti finali progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1718)
- Preface of SEFM 2010 (Curatela) (Prodotto della ricerca)
- Preface (Curatela) (Prodotto della ricerca)
- UMC V3.3 (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- CMC: COWS model checker version 0.4 (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) (Progetti) (Prodotto della ricerca)
- TOCAI.IT Tecnologie Orientate alla Conoscenza per Aggrezioni di Imprese per Internet (FIRB-MIUR) (Progetti) (Prodotto della ricerca)
- SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) (Progetti) (Prodotto della ricerca)
- Formal verification of the MUD case study (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Formalizing uncertainty in service request/offer description and matching (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Preface. First International Workshop on Software Certification (Rassegne, recensioni, prefazioni) (Prodotto della ricerca)
- Preface. First International Workshop on Views on Designing Complex Architectures (Rassegne, recensioni, prefazioni) (Prodotto della ricerca)
- A Quality Evaluation Process for Collaborative Requirements: An Industrial Case Study (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- SENSORIA - D4.2a - Stochastic logics (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Modelling dynamic software architectures using typed graph grammars (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- QuARS. User Manual (version 0.5) (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Preface. Second international workshop on views on designing complex architectures (Rassegne, recensioni, prefazioni) (Prodotto della ricerca)
- TOCAI - D7.2 - Process-oriented models and languages: scientific results and application scenarios (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Model driven software development con Eclipse, statechartUMC (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Modelling and analysing the finance case study in UMC (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- A process algebraic fluid flow model of emergency egress (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Sensoria - Manual for using the UMC model of the finance case study (Rapporti finali progetti di ricerca) (Prodotto della ricerca)
- Product line use cases: scenario-based specification and testing of requirements (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Informatica industriale (Monografia o trattato scientifico) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1401)
- SEFM 2010 - Poster and Tool Demo Session Proceedings (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- PSC V0.4 (Manufatti, prototipi d'arte e relativi progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1729)
- MOD-CONTROL, Train control and monitoring system, a sub-project of MODTRAIN (FP6-PLT-506652/TIP3-CT-2003-506652) (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- FAERUS, nell'ambito di RESIST, EU contr. n. 026764 (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- XXL - CNR/RSTL (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- FP7-ICT-2009-5 IP Ascens: Autonomic Service-Component Ensembles (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- CMC_ model checker per la logica SOCL (Risultati di valorizzazione applicativa) (Prodotto della ricerca)
- A calculus for team automata (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Quality analysis of NL requirements: An industrial case study (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Towards an architectural approach for the dynamic and automatic composition of software components (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Towards model checking stochastic aspects of the thinkteam user interface - FULL VERSION (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- UMC User Guide (version 3.3) (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Proceedings of the Software Product Lines Doctoral Symposium (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Automatic instantiation of generic statecharts (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Analysis of Pointing Tasks on a White Board -- Extended Version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- QuARS and the natural language processing techniques: looking for a suitable syntax parser (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- SENSORIA - D3.3A - An Overview of Techniques for Behavioural Properties (Rapporti progetti di ricerca) (Prodotto della ricerca)
- A pseudo-random network mobile automaton with linear growth (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Assisting the design of a groupware system - model checking usability aspects of thinkteam (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Notes on Markovian Extension of a Dialect of Value Passing CCS (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Notes on non-Markovian Extension of Value Passing CCS (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Relations among case studies and theme 2 results: qualitative and quantitative analysis of aspects of services (Rapporti progetti di ricerca) (Prodotto della ricerca)
- On a uniform framework for the definition of stochastic process languages---Full Version--- (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2009) (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Proceedings of the Third international workshop on Views On Designing Complex Architectures (VODCA 2008) (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Causal sets from simple models of computation (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Sensoria results applied to the case studies (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Tile Rewriting Grammars and Picture Languages (Articolo in rivista) (Prodotto della ricerca)
- Model Checking Groupware Protocols (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Analysis of a pointing task on a white board (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- MarCaSPiS: a Markovian extension of a Calculus for Services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Resilience of Interaction Techniques to Interrupts: A formal model-based approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Mobile UML Statecharts with Localities (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Towards a logic for performance and mobility (Contributo in atti di convegno) (Prodotto della ricerca)
- A model checking approach for verifying COWS specifications (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal modelling and verification of an asynchronous extension of SOAP (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A logical framework to deal with variability (Contributo in atti di convegno) (Prodotto della ricerca)
- A formal security analysis of an OSA/Parlay authentication interface (Contributo in atti di convegno) (Prodotto della ricerca)
- Special Section on St.Eve workshop - Introduction (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Fluid Analysis of Foraging Ants (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The hybrid world of virtual environments (Articolo in rivista) (Prodotto della ricerca)
- The definition of a graphical G-LOTOS editor using the meta-tool LOGGIE (Articolo in rivista) (Prodotto della ricerca)
- SoSL: A Service-Oriented Stochastic Logic (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Proceedings of the third international workshop on formal methods for interactive systems (FMIS 2009) (Curatela) (Prodotto della ricerca)
- Continuous interaction in future computing systems (Curatela) (Prodotto della ricerca)
- International Workshop on Conti- nuity in Future Computer Systems, Apr. 23-24, 2001, Porto, Portugal (Curatela) (Prodotto della ricerca)
- Formal Methods in System Design. An International Journal. Special issue on the fourth international workshop of the ercim working group on formal methods for industrial critical systems, trento, july 11-12, 1999 - selected papers (Curatela) (Prodotto della ricerca)
- Science of Computer Programming. Special issue on formal methods for industrial critical systems (Curatela) (Prodotto della ricerca)
- Formal Methods in System Design. An International Journal. Special issue on formal methods for industrial critical systems. (Curatela) (Prodotto della ricerca)
- Analysing robot swarm decision-making with Bio-PEPA (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Modelling Non-linear Crowd Dynamics in Bio-PEPA (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On specifying real-time systems in a causality-based setting (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Modeling systems by probabilistic process algebra: An event structures approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Gate splitting in LOTOS specifications using abstract interpretation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Using abstract interpretation for gate splitting in LOTOS specifications (extended abstract) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- High-level integrated design environment for dependability (HIDE) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards a discipline of system engineering: Validation of dependable systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A state/event-based model-checking approach for the analysis of abstract system properties (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- On mobility extensions of UML Statecharts; a pragmatic approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards security analyses of an identity federation protocol for Web services in convergent networks (Contributo in atti di convegno) (Prodotto della ricerca)
- On Competence in CD Grammar Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Combining timed coordination primitives and probabilistic tuple spaces (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Rate-Based Transition Systems for Stochastic Process Calculi (Contributo in atti di convegno) (Prodotto della ricerca)
- A model-checking approach for service component architectures (Contributo in atti di convegno) (Prodotto della ricerca)
- Quality Analysis of NL Requirements: An Industrial Case Study (Contributo in atti di convegno) (Prodotto della ricerca)
- Detecting policy conflicts by model checking UML state machines (Contributo in atti di convegno) (Prodotto della ricerca)
- Composing event constraints in state-based specification (Contributo in atti di convegno) (Prodotto della ricerca)
- A scalable formal method for design and automatic checking of user interfaces (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Haptic cues for image disambiguation (Articolo in rivista) (Prodotto della ricerca)
- Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker (Articolo in rivista) (Prodotto della ricerca)
- Automatic verification of a lip-synchronisation protocol using UPPAAL (Articolo in rivista) (Prodotto della ricerca)
- Modelling and verification of PREMO synchronisable objects (Articolo in rivista) (Prodotto della ricerca)
- Performance analysis and true concurrency semantics (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Preface. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (Curatela) (Prodotto della ricerca)
- Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems. (Curatela) (Prodotto della ricerca)
- Theoretical and Practical Aspects of SPIN Model Checking. 5th and 6th Int. SPIN Workshops (Curatela) (Prodotto della ricerca)
- Analysis of Pointing Tasks on a White Board (Contributo in atti di convegno) (Prodotto della ricerca)
- A stochastic extension of a behavioural subset of UML statechart diagrams (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Model checking UML statechart diagrams using JACK (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards a discipline of system engineering: Validation of dependable systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards a formal operational semantics of UML statechart diagrams (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Using hybrid automata to support human factors analysis in a critical system (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Automatic verification of a lip synchronisation algorithm using UPPAAL - extended version (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Specification and verification of media constraints using UPPAAL (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Investigating the behaviour of PREMO synchronisable objects (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Using LOTOS for the evaluation of design options in the PREMO standard (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Completeness of the equational semantics for basic LOTOS (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Performance analysis and true concurrency semantics (extended abstract) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Design and validation of variability in product lines (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Cooperating distributed grammar systems: components with nonincreasing competence (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Sensoria Results Applied to the Case Studies (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Analysing robot movement using the SENSORIA methods (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Introduction to the Sensoria Case Studies (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- An abstract, on the fly framework for the verification of service-oriented systems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- The Sensoria approach applied to the finance case study (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Formal description of variability in product families (Contributo in atti di convegno) (Prodotto della ricerca)
- On the adoption of model checking in safety-related software industry (Contributo in atti di convegno) (Prodotto della ricerca)
- Revisiting the limit behaviour of ``El Botellon\" (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- CBTC preliminary report (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- WCS: a Witness and Counterexample Server (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Continuous approximation of collective systems behaviour: a tutorial (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- TR 09: Coalgebraic bisimulation of FuTS (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Contributions of team automata in security (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- On a uniform framework for the definition of stochastic process languages (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal verification of an automotive scenario in service-oriented computing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Statecharts composition to model topologically distributed applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Algorithmic causets (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Planar trivalent network computation (Contributo in atti di convegno) (Prodotto della ricerca)
- A highly flexible, parallel virtual machine: design and experience of ILDJIT (Articolo in rivista) (Prodotto della ricerca)
- A consistent causality based view on a timed process algebra including urgent interactions (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Partial order models for quantitative extensions of LOTOS (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- The osiride directory system: status and perspectives (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Quantitative Analysis of Services (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Correctness preserving transformations for the early phases of software development (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Formal Methods for Distributed System Development (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Formal Aspects of Computing. The International Journal of Formal Methods. Special issue on formal methods for industrial critical systems. (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- First passage time analysis of stochastic process algebra using partial orders (Contributo in atti di convegno) (Prodotto della ricerca)
- Metric semantics for true concurrent real time (Ext. Abs.) (Contributo in atti di convegno) (Prodotto della ricerca)
- Stochastic analysis via a probabilistic process algebra (Contributo in atti di convegno) (Prodotto della ricerca)
- Stochastic simulation of event structures (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards automatic temporal logic verification of value passing process algebra using abstract interpretation (Contributo in atti di convegno) (Prodotto della ricerca)
- Performance analysis and true concurrency semantics (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Non-standard interpretations of LOTOS specifications (Contributo in atti di convegno) (Prodotto della ricerca)
- Shared abstract data types: An algebraic methodology for their specification (Contributo in atti di convegno) (Prodotto della ricerca)
- Techniques for the formal definition of the G-LOTOS syntax (Contributo in atti di convegno) (Prodotto della ricerca)
- The CNUCE OSI prototyping laboratory (Contributo in atti di convegno) (Prodotto della ricerca)
- An interactive debugger for a concurrent language (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal specification and validation of a critical system in presence of byzantine errors (Contributo in atti di convegno) (Prodotto della ricerca)
- Model checking interlocking control tables (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer (Articolo in rivista) (Prodotto della ricerca)
- A model-checking tool for families of services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Model Checking : cos'è e come si applica (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Product lines for service oriented applications - PL for SOA (Contributo in atti di convegno) (Prodotto della ricerca)
- Guaranteeing correct evolution of software product lines: setting up the problem (Contributo in atti di convegno) (Prodotto della ricerca)
- Preface of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Evaluation of the IBM rhapsody tool for modeling automatic train protection (ATP) systems: the restrictive signal confirmation (RSC) button (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- The HAL-online Tool (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- QuARS Express: A Tool for Evaluating Natural Language Requirements (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Continuous approximation of collective systems behaviour: a tutorial (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Product line architectures for SOA (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- State to function labelled transition systems: a uniform framework for defining stochastic process calculi (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Formal Methods: applying {logics in, theoretical} computer science (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Foreward - VaMoS '12 (Curatela) (Prodotto della ricerca)
- A compositional framework to derive product line behavioural descriptions (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Product line engineering applied to CBTC systems development. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Automatic analysis of multimodal requirements: a research preview. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Using collective intelligence to detect pragmatic ambiguities. (Contributo in atti di convegno) (Prodotto della ricerca)
- A clustering-based approach for discovering flaws in requirements specifications (Contributo in atti di convegno) (Prodotto della ricerca)
- Fluid model checking (Contributo in atti di convegno) (Prodotto della ricerca)
- Stochastic process algebra and stability analysis of collective systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Integrated formal methods - 9th International Conference, IFM 2012 (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Preface to iFM&ABZ 2012 (Curatela) (Prodotto della ricerca)
- On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics (Articolo in rivista) (Prodotto della ricerca)
- Variability and Rigour in Service Computing Engineering (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- VMC: a tool for product variability analysis. (Contributo in atti di convegno) (Prodotto della ricerca)
- Assume-Guarantee Testing of Evolving Software Product Line Architectures. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Model-based evaluation of the availability of a CBTC system. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Lessons learnt from the adoption of formal model-based development. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A logical verification methodology for service-oriented computing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Constructing a vulnerable society (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Assisting the design of an industrial groupware system by model checking (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- A syndetic approach to human computer interfaces (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- A uniform definition of stochastic process calculi (Articolo in rivista) (Prodotto della ricerca)
- Towards an executable algebra for product lines (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Analysing robot swarm decision-making with Bio-PEPA (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Logics of space and time (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- VMC: a tool for the analysis of variability in software product lines (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Algorithmic causal sets for a computational spacetime (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Do particles evolve? (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Mining commonalities and variabilities from natural language documents (Contributo in atti di convegno) (Prodotto della ricerca)
- Stochastic and algorithmic causal sets for de sitter spacetime (Contributo in atti di convegno) (Prodotto della ricerca)
- Validating reconfigurations of reo circuits (Contributo in atti di convegno) (Prodotto della ricerca)
- Quantitative Evaluation of Enforcement Strategies (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- On-the-fly fast mean-field model-checking (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- The Variability Model Checker VMC. (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Formal methods and analysis in software product line engineering. 3rd edition of FMSPLE workshop series (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Demonstration of a model checker for the analysis of product variability. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Equational semantics for basic LOTOS and an example of its use in a transformational proof style (Contributo in atti di convegno) (Prodotto della ricerca)
- Responsible scientists - a social-constructivist approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Reasoning about interactive systems with stochastic models (Altre pubblicazioni) (Prodotto della ricerca)
- Interaction and observation: categorical semantics of reactive systems trough dialgebras (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Preface of the Proceedings Tenth Workshop on Quantitative Aspects of Programming Languages (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Guaranteeing correct evolution of software product lines (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- CBTC.ATS.0001_00_05 Specifica preliminare di sistema (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- CBTC.AGEN.0023_00_06 Protocollo ATS-ATC (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Model checking value-passing modal specifications (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Chaining available tools to support the modelling and analysis of a bike-sharing product line: an experience report (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Web Services and Formal Methods (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Vector Team Automata (Articolo in rivista) (Prodotto della ricerca)
- Distributing the challenge of model checking interlocking control tables (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal methods for intelligent transportation systems (Contributo in atti di convegno) (Prodotto della ricerca)
- On-the-fly PCTL fast mean-field model-checking for self-organising coordination - Preliminary version (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Model-based development and formal methods in the railway industry (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Combining declarative and procedural views in the feature-oriented specification and analysis of product families (Contributo in atti di convegno) (Prodotto della ricerca)
- From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Stochastically timed predicate-based communication primitives for autonomic computing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- TCPS specifica business process e log. (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- A statistical approach for computing reachability of non-linear and stochastic dynamical systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Challenges in modelling and analyzing quantitative aspects of bike-sharing systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Deadlock avoidance in train scheduling: A model checking approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Stochastic approximation of global reachability probabilities of Markov population models (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Shuffles and synchronized shuffles: a survey (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Topologically configurable systems as product families (Contributo in atti di convegno) (Prodotto della ricerca)
- Twenty-Five Years of Formal Methods and Railways: What Next? (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- The Metro Rio case study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- KandISTI: a family of model checkers for the analysis of software designs (Articolo in rivista) (Prodotto della ricerca)
- On distributed cooperation and synchronised collaboration (Articolo in rivista) (Prodotto della ricerca)
- A collection of models of a bike-sharing case study. (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Using mCRL2 for the analysis of software product lines (extended version). (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- TR 11: On STOCS: a stochastic exten- sion of SCEL. (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Humanity is much more than the sum of humans (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Designing a deadlock-free train scheduler: A model checking approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Mean-field approximation and quasi-equilibrium reduction of Markov population models (Contributo in atti di convegno) (Prodotto della ricerca)
- Measuring and improving the completeness of natural language requirements (Contributo in atti di convegno) (Prodotto della ricerca)
- Model checking value-passing modal specifications (Contributo in atti di convegno) (Prodotto della ricerca)
- Software product line analysis with mCRL2 (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On-the-fly probabilistic model checking. Extended version. QUANTICOL Technical Report nr. TR-QC-09-2014 (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- QUANTICOL - D6.1 - Dissemination plan for the project (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- 18th International Software Product Line Conference (Curatela) (Prodotto della ricerca)
- Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living (Articolo in rivista) (Prodotto della ricerca)
- Session types for safe Web service orchestration (Articolo in rivista) (Prodotto della ricerca)
- Some trends in formal methods applications to railway signaling (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- CBTC.ATS.006_00_03 Documentazione prototipo ATS (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Specifying and Verifying Properties of Space (Contributo in atti di convegno) (Prodotto della ricerca)
- A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities (Articolo in rivista) (Prodotto della ricerca)
- Stochastically timed predicate-based communication primitives for autonomic computing - Full Paper. (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- On-the-fly fluid model checking via discrete time population models - Extended version. (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Two possibly alternative approaches to the semantics of stochastic process calculi. (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Towards modular verification of software product lines with mCRL2 (Contributo in atti di convegno) (Prodotto della ricerca)
- Using mCRL2 for the analysis of software product lines (Contributo in atti di convegno) (Prodotto della ricerca)
- VMC: Recent advances and challenges ahead (Contributo in atti di convegno) (Prodotto della ricerca)
- Data verification for collective adaptive systems: spatial model-checking of vehicle location data (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal methods and analyses in software product line engineering (Track Summary) (Contributo in atti di convegno) (Prodotto della ricerca)
- On-the-fly probabilistic model checking (Contributo in atti di convegno) (Prodotto della ricerca)
- Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems (Curatela) (Prodotto della ricerca)
- Proceedings of the 18th International Software Product Line Conference, Volume 2 (Curatela) (Prodotto della ricerca)
- Research challenges in business process adaptability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Formal methods for railway control systems (Articolo in rivista) (Prodotto della ricerca)
- My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A case of adoption of 25000 standards family: Establishing evaluation requirements in the audio-visual preservation context (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- 2nd FME Workshop on Formal Methods in Software Engineering (Curatela) (Prodotto della ricerca)
- Fundamental Approaches to Software Engineering (Curatela) (Prodotto della ricerca)
- Quantitative Aspects of Programming Languages and Systems (2011-12). Preface (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Pragmatic ambiguity detection in natural language requirements (Contributo in atti di convegno) (Prodotto della ricerca)
- Context transformations for goal models (Contributo in atti di convegno) (Prodotto della ricerca)
- On the validation of an interlocking system by model-checking (Contributo in atti di convegno) (Prodotto della ricerca)
- CBTC.ATS.0003_00_03 ATS Specifica dei requisiti di Sistema (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- On StocS: a stochastic extension of SCEL (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- From EU projects to a family of model checkers from Kandinsky to KandISTI (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- The SCEL language: design, implementation, verification (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Model checking value-passing modal specifications (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Coherent branching feature bisimulation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Quantitative analysis of probabilistic models of software product lines with statistical model checking (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190790
- http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190792
- http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190783
- http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190557
- http://www.cnr.it/ontology/cnr/individuo/prodotto/ID320568
- http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190386
- Istituto esecutore di
- Modulo
- Gestore di
- Descrizione di