http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA12148
DIEGO LATELLA
- Type
- Label
- DIEGO LATELLA (literal)
- DIEGO LATELLA (literal)
- Partecipa a commessa
- Persona in rapporto
- Autore CNR di
- MarCaSPiS: a Markovian extension of a Calculus for Services (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 (Articolo in rivista) (Prodotto della ricerca)
- Automated verification of groupware protocols (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- 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)
- State to function labelled transition systems: a uniform framework for defining stochastic process calculi (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Model Checking Groupware Protocols (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)
- 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)
- FP7-ICT-2009-5 IP Ascens: Autonomic Service-Component Ensembles (Progetti) (Prodotto della ricerca)
- On StocS: a stochastic extension of SCEL (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- FAERUS, nell'ambito di RESIST, EU contr. n. 026764 (Progetti) (Prodotto della ricerca)
- XXL - CNR/RSTL (Progetti) (Prodotto della ricerca)
- Model checking publish/subscribe notification for thinkteam (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Scalable analysis of collective behaviour in smart service systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Rate-based transition systems for stochastic process calculi (Articolo in rivista) (Prodotto della ricerca)
- 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)
- 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)
- 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)
- Combining timed coordination primitives and probabilistic tuple spaces (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Engineering crowd interaction within smart environments (Contributo in atti di convegno) (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)
- On a uniform framework for the definition of stochastic process languages (Articolo in rivista) (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) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Formal Methods in System Design. An International Journal. Special issue on formal methods for industrial critical systems. (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- AGILE: Software Architecture for Mobility (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Science of Computer Programming. Special issue on formal methods for industrial critical systems (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- A fluid flow approach to usability analysis of multi-user systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Model checking publish/subscribe notification for thinkteam (Articolo in rivista) (Prodotto della ricerca)
- The definition of a graphical G-LOTOS editor using the meta-tool LOGGIE (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- SoSL: A Service-Oriented Stochastic Logic (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- On-the-fly fast mean-field model-checking - Extended version (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Mean runtime analysis of stochastic process algebra using partial orders (Articolo in rivista) (Prodotto della ricerca)
- Integrated formal methods - 9th International Conference, IFM 2012 (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- 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)
- Logics of space and time (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- TOCAI.it - MIUR (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Dependability analysis in the early phases of UML based system design. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Scalable context-dependent analysis of emergency egress models (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Model Checking Groupware Protocols (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- TOCAI.it - MIUR Tecnologie Orientate alla Conoscenza per Aggregazioni di Imprese in Internet (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Modelling crowd dynamics in Bio-PEPA - Extended Abstract (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- On mobility extensions of UML Statecharts; a pragmatic approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Stochastically timed predicate-based communication primitives for autonomic computing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- AGILE - D3.1b - UML-based Description Techniques for the Design of Mobile and Distributed System (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- UMLStatecharts@ISTI (Abstract/Poster in convegno) (Prodotto della ricerca)
- On testing UML statecharts (Articolo in rivista) (Prodotto della ricerca)
- A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Metric semantics for true concurrent real time (Articolo in rivista) (Prodotto della ricerca)
- Design validation of embedded dependable systems (Articolo in rivista) (Prodotto della ricerca)
- Analysing robot swarm decision-making with Bio-PEPA (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Thinkteam with replicated data repositories: stochastic model checking in industry (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Deriving manuals from formal specifications (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)
- 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)
- A case study on the automated verification of groupware protocols (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)
- On testing and conformance relations for UML statechart diagrams behaviours (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards a logic for performance and mobility (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- Engineering human flows in smart environments using formal techniques - Full version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- 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)
- PRIDE: an integrated software development environment for dependable systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Notes on non-Markovian Extension of Value Passing CCS (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- 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)
- SpiDer: a security model checker (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 (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (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)
- Specifying and Verifying Properties of Space (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities (Articolo in rivista) (Prodotto della ricerca)
- SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) (Progetti) (Prodotto della ricerca)
- Fluid Analysis of Foraging Ants (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Non-standard interpretations of LOTOS specifications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Shared abstract data types: An algebraic methodology for their specification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- 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)
- 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)
- Metric semantics for true concurrent real time (Ext. Abs.) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Stochastic analysis via a probabilistic process algebra (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Stochastic simulation of event structures (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- TOCAI.IT Tecnologie Orientate alla Conoscenza per Aggrezioni di Imprese per Internet (FIRB-MIUR) (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Rate-Based Transition Systems for Stochastic Process Calculi (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Performance analysis and true concurrency semantics (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Towards automatic temporal logic verification of value passing process algebra using abstract interpretation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A process algebraic fluid flow model of emergency egress (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Relating testing and conformance relations for UML statechart diagrams behaviours. Nota interna, 2002. (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Rigorous Design (Altre pubblicazioni) (Prodotto della ricerca)
- Formal modeling and quantitative analysis of KLAIM-based mobile systems. FULL VERSION (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- First passage time analysis of stochastic process algebra using partial orders (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Formal Methods: applying {logics in, theoretical} computer science (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Model checking dependability attributes of wireless group communication. (Contributo in atti di convegno) (Prodotto della ricerca)
- MarCaSPiS: a Markovian extension of a Calculus for Services (Articolo in rivista) (Prodotto della ricerca)
- Assisting the design of an industrial groupware system by model checking (Altre pubblicazioni) (Prodotto della ricerca)
- A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis (Contributo in atti di convegno) (Prodotto della ricerca)
- STOKLAIM: A Stochastic Extension of KLAIM (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- TR 09: Coalgebraic bisimulation of FuTS (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Towards a logic for performance and mobility (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Modular semantics for aUML statechart Diagrams Kernel and their extension to multicharts and branching time model checking (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Combining timed coordination primitives and probabilistic tuple spaces (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Towards a logic for performance and mobility. FULL VERSION (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Performance analysis and true concurrency semantics (extended abstract) (Contributo in atti di convegno) (Prodotto della ricerca)
- A formal testing framework for UML statechart diagrams behaviours: from theory to automatic verification (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- MoSL: A Stochastic Logic for StoKLAIM (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- TR 11: On STOCS: a stochastic exten- sion of SCEL. (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Formal modeling and quantitative analysis of KLAIM-based mobile systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- 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)
- Formal Methods for Distributed System Development (Curatela) (Prodotto della ricerca)
- Formal Aspects of Computing. The International Journal of Formal Methods. Special issue on formal methods for industrial critical systems. (Curatela) (Prodotto della ricerca)
- Model checking UML statechart diagrams using JACK (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)
- Towards a formal operational semantics of UML statechart diagrams (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A uniform definition of stochastic process calculi (Articolo in rivista) (Prodotto della ricerca)
- Towards a discipline of system engineering: Validation of dependable systems (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)
- Partial order models for quantitative extensions of LOTOS (Articolo in rivista) (Prodotto della ricerca)
- A consistent causality based view on a timed process algebra including urgent interactions (Articolo in rivista) (Prodotto della ricerca)
- A stochastic causality-based process algebra (Articolo in rivista) (Prodotto della ricerca)
- Towards a logic for performance and mobility (Contributo in atti di convegno) (Prodotto della ricerca)
- Quantitative Analysis of Services (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Formal test-case generation for UML statecharts (Contributo in atti di convegno) (Prodotto della ricerca)
- Correctness preserving transformations for the early phases of software development (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- A Fluid Flow Approach to Usability Analysis of Multi-user Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The osiride directory system: status and perspectives (Articolo in rivista) (Prodotto della ricerca)
- Specifying and verifying properties of space. Extended Version. (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Deriving manuals from formal specifications. Extended version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Model checking groupware protocols (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Mobile UML Statecharts with Localities. Full version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Mobile UML Statecharts with Localities (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics (Articolo in rivista) (Prodotto della ricerca)
- Model checking mobile stochastic logic (Articolo in rivista) (Prodotto della ricerca)
- On-the-fly probabilistic model checking (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- ASCENS - D2.3 - Third report on WP2 models for collaborative and competitive SCEs, and distributed implementation of connectors (Rapporti progetti di ricerca) (Prodotto della ricerca)
- On-the-fly probabilistic model checking. Extended version. QUANTICOL Technical Report nr. TR-QC-09-2014 (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Continuous approximation of collective systems behaviour: a tutorial (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- On a uniform framework for the definition of stochastic process languages (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)
- Data verification for collective adaptive systems: spatial model-checking of vehicle location data (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)) (Prodotto della ricerca)
- Revisiting the limit behaviour of ``El Botellon\" (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Towards a discipline of system engineering: Validation of dependable systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Automatic verification of a lip-synchronisation protocol using UPPAAL (Articolo in rivista) (Prodotto della ricerca)
- Using abstract interpretation for gate splitting in LOTOS specifications (extended abstract) (Contributo in atti di convegno) (Prodotto della ricerca)
- High-level integrated design environment for dependability (HIDE) (Contributo in atti di convegno) (Prodotto della ricerca)
- Gate splitting in LOTOS specifications using abstract interpretation (Articolo in rivista) (Prodotto della ricerca)
- Definizione di linguaggi di specifica visuali: L'esperienza G-LOTOS (Articolo in rivista) (Prodotto della ricerca)
- Performance analysis and true concurrency semantics (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Mobile UML statecharts with localities (Articolo in rivista) (Prodotto della ricerca)
- 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)
- Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Gate splitting in LOTOS specifications using abstract interpretation (Contributo in atti di convegno) (Prodotto della ricerca)
- The SCEL language: design, implementation, verification (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- SENSORIA - D4.2a - Stochastic logics (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Coautore
- Nome
- Cognome
- Afferisce a
- Ha pubblicazioni con
Incoming links:
- Autore CNR
- Formal test-case generation for UML statecharts (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal modeling and quantitative analysis of KLAIM-based mobile systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- 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 checking dependability attributes of wireless group communication. (Contributo in atti di convegno) (Prodotto della ricerca)
- On testing and conformance relations for UML statechart diagrams behaviours (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) (Prodotto della ricerca)
- Scalable analysis of collective behaviour in smart service systems (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)
- Dependability analysis in the early phases of UML based system design. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Mean runtime analysis of stochastic process algebra using partial orders (Articolo in rivista) (Prodotto della ricerca)
- AGILE: Software Architecture for Mobility (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards a logic for performance and mobility (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- MarCaSPiS: a Markovian extension of a Calculus for Services (Articolo in rivista) (Prodotto della ricerca)
- Mobile UML statecharts with localities (Articolo in rivista) (Prodotto della ricerca)
- Model checking mobile stochastic logic (Articolo in rivista) (Prodotto della ricerca)
- Automated verification of groupware protocols (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Assisting the design of an industrial groupware system by model checking (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)
- A fluid flow approach to usability analysis of multi-user systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- 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)
- On a uniform framework for the definition of stochastic process languages (Articolo in rivista) (Prodotto della ricerca)
- Rate-based transition systems for stochastic process calculi (Articolo in rivista) (Prodotto della ricerca)
- Model checking publish/subscribe notification for thinkteam (Articolo in rivista) (Prodotto della ricerca)
- SpiDer: a security model checker (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- PRIDE: an integrated software development environment for dependable systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Deriving manuals from formal specifications (Contributo in atti di convegno) (Prodotto della ricerca)
- A case study on the automated verification of groupware protocols (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)
- UMLStatecharts@ISTI (Abstract/Poster in convegno) (Prodotto della ricerca)
- Towards a logic for performance and mobility (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- Modelling crowd dynamics in Bio-PEPA - Extended Abstract (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- Model checking groupware protocols (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- TOCAI.it - MIUR (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- TOCAI.it - MIUR Tecnologie Orientate alla Conoscenza per Aggregazioni di Imprese in Internet (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Deriving manuals from formal specifications. Extended version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Mobile UML Statecharts with Localities. Full version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Towards a logic for performance and mobility. FULL VERSION (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- MoSL: A Stochastic Logic for StoKLAIM (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- STOKLAIM: A Stochastic Extension of KLAIM (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Relating testing and conformance relations for UML statechart diagrams behaviours. Nota interna, 2002. (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- 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) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Thinkteam with replicated data repositories: stochastic model checking in industry (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- TOCAI.IT Tecnologie Orientate alla Conoscenza per Aggrezioni di Imprese per Internet (FIRB-MIUR) (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) (Progetti) (Prodotto della ricerca)
- Model Checking Groupware Protocols (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- AGILE - D3.1b - UML-based Description Techniques for the Design of Mobile and Distributed System (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- SENSORIA - D4.2a - Stochastic logics (Rapporti progetti di ricerca) (Prodotto della ricerca)
- A process algebraic fluid flow model of emergency egress (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- FAERUS, nell'ambito di RESIST, EU contr. n. 026764 (Progetti) (Prodotto della ricerca)
- XXL - CNR/RSTL (Progetti) (Prodotto della ricerca)
- FP7-ICT-2009-5 IP Ascens: Autonomic Service-Component Ensembles (Progetti) (Prodotto della ricerca)
- A formal testing framework for UML statechart diagrams behaviours: from theory to automatic verification (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Modular semantics for aUML statechart Diagrams Kernel and their extension to multicharts and branching time model checking (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Formal modeling and quantitative analysis of KLAIM-based mobile systems. FULL VERSION (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Rigorous Design (Altre pubblicazioni) (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) (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)
- Notes on non-Markovian Extension of Value Passing CCS (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (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)
- A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Model Checking Groupware Protocols (Contributo in atti di convegno) (Prodotto della ricerca)
- MarCaSPiS: a Markovian extension of a Calculus for Services (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)
- Fluid Analysis of Foraging Ants (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) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- SoSL: A Service-Oriented Stochastic Logic (Contributo in volume (capitolo o saggio)) (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) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Science of Computer Programming. Special issue on formal methods for industrial critical systems (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Formal Methods in System Design. An International Journal. Special issue on formal methods for industrial critical systems. (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- 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) (Prodotto della ricerca)
- Using abstract interpretation for gate splitting in LOTOS specifications (extended abstract) (Contributo in atti di convegno) (Prodotto della ricerca)
- High-level integrated design environment for dependability (HIDE) (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards a discipline of system engineering: Validation of dependable systems (Contributo in atti di convegno) (Prodotto della ricerca)
- On mobility extensions of UML Statecharts; a pragmatic approach (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 (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)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Rate-Based Transition Systems for Stochastic Process Calculi (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Automatic verification of a lip-synchronisation protocol using UPPAAL (Articolo in rivista) (Prodotto della ricerca)
- Gate splitting in LOTOS specifications using abstract interpretation (Articolo in rivista) (Prodotto della ricerca)
- Definizione di linguaggi di specifica visuali: L'esperienza G-LOTOS (Articolo in rivista) (Prodotto della ricerca)
- Performance analysis and true concurrency semantics (Contributo in volume (capitolo o saggio)) (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)
- 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)
- Performance analysis and true concurrency semantics (extended abstract) (Contributo in atti di convegno) (Prodotto della ricerca)
- Revisiting the limit behaviour of ``El Botellon\" (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Continuous approximation of collective systems behaviour: a tutorial (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- 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) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Model checking publish/subscribe notification for thinkteam (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 (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A consistent causality based view on a timed process algebra including urgent interactions (Articolo in rivista) (Prodotto della ricerca)
- Partial order models for quantitative extensions of LOTOS (Articolo in rivista) (Prodotto della ricerca)
- A stochastic causality-based process algebra (Articolo in rivista) (Prodotto della ricerca)
- The osiride directory system: status and perspectives (Articolo in rivista) (Prodotto della ricerca)
- Quantitative Analysis of Services (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Correctness preserving transformations for the early phases of software development (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Formal Methods for Distributed System Development (Curatela) (Prodotto della ricerca)
- Formal Aspects of Computing. The International Journal of Formal Methods. Special issue on formal methods for industrial critical systems. (Curatela) (Prodotto della ricerca)
- A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis (Contributo in atti di convegno) (Prodotto della ricerca)
- First passage time analysis of stochastic process algebra using partial orders (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Metric semantics for true concurrent real time (Ext. Abs.) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Stochastic analysis via a probabilistic process algebra (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Stochastic simulation of event structures (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards automatic temporal logic verification of value passing process algebra using abstract interpretation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- 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) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Shared abstract data types: An algebraic methodology for their specification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- 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)
- Continuous approximation of collective systems behaviour: a tutorial (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- 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)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- 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)
- On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics (Articolo in rivista) (Prodotto della ricerca)
- Assisting the design of an industrial groupware system by model checking (Altre pubblicazioni) (Prodotto della ricerca)
- A uniform definition of stochastic process calculi (Articolo in rivista) (Prodotto della ricerca)
- Analysing robot swarm decision-making with Bio-PEPA (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Logics of space and time (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- On-the-fly fast mean-field model-checking - Extended version (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- On-the-fly fast mean-field model-checking (Contributo in volume (capitolo o saggio)) (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)
- ASCENS - D2.3 - Third report on WP2 models for collaborative and competitive SCEs, and distributed implementation of connectors (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Stochastically timed predicate-based communication primitives for autonomic computing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Specifying and verifying properties of space. 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) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- On-the-fly probabilistic model checking. Extended version. QUANTICOL Technical Report nr. TR-QC-09-2014 (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Scalable context-dependent analysis of emergency egress models (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Specifying and Verifying Properties of Space (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- 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)
- Data verification for collective adaptive systems: spatial model-checking of vehicle location data (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On-the-fly probabilistic model checking (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On StocS: a stochastic extension of SCEL (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- The SCEL language: design, implementation, verification (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Coautore
- Ha pubblicazioni con
- Partecipazione di
- Ha afferente
- Rapporto con persona