Sfoglia per Autore
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
1993 R. DE NICOLA; FANTECHI A.; GNESI S.; RISTORI G.
Model Checking for Action-based Logics
1994 A. FANTECHI; S. GNESI; G. RISTORI
Object-oriented analysis of COBOL
1997 A. Fantechi;P. Nesi;E. Somma
Transformations and Consistent Semantics for ODP Viewpoints
1997 C. BERNARDESCHI; J. DUSTZADEH; A. FANTECHI; E. NAJM; ET AL.
A Symbolic Model Checker for ACTL
1998 A. Fantechi; S. Gnesi; F. Mazzanti; R. Pugliese; E. Tronci
Formal Verification Environment for Railway Signalling System Design
1998 C. BERNARDESCHI; A. FANTECHI; S. GNESI; S. LAROSA; ET AL.
Formal Methods for Open Object-based Distributed Systems
1999 P. Ciancarini; A. Fantechi; R. Gorrieri
Integrated Validation of Dependable Systems
1999 A. Bondavalli;A. Fantechi;D. Latella;L. Simoncini
Formal Description and Validation for an Integrity Policy Supporting Multiple Levels of Criticality
1999 A. FANTECHI; S. GNESI; L. SEMINI
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems
1999 D. POWELL; J. ARLAT; L. BEUS-DUKIC; A. BONDAVALLI; P. COPPOLA; A. FANTECHI; E. JENN; C. RABEJAC; A. WELLINGS
Towards a Discipline of System Engineering: Validation of Dependable Systems
1999 A. Bondavalli;A. Fantechi;D. Latella;L. Simoncini
An Integrated and Compositional Approach to Design Validation of Embedded Dependable Systems
2000 A. Bondavalli;A. Fantechi;D. Latella;L. Simoncini
Formally Verifying Fault Tolerant System Designs
2000 C. BERNARDESCHI; A. FANTECHI; L. SIMONCINI
Introduction and Overview (Chapter 1).
2001 D. POWELL; A. AMENDOLA; J. ARLAT; B. ATTERMEYER; L. BEUS-DUKIC; A. BONDAVALLI; P. COPPOLA; C. DAMBRA; A. FANTECHI; E. JENN; C. RABEJAC; V. THEVENOT; A. WELLINGS
Formal verification (Chapter 10).
2001 C. BERNARDESCHI; A. FANTECHI; S. GNESI
Introduction and Overview
2001 D. POWELL; A. AMENDOLA; J. ARLAT; B. ATTERMEYER; L. BEUS-DUKIC; A. BONDAVALLI; P. COPPOLA; C. DAMBRA; A. FANTECHI; E. JENN; C. RABÉJAC; V. THEVENOT; A. WELLINGS
Finite Approximations for Model Checking non-finite state processes
2001 N. DE FRANCESCO; A. FANTECHI; S. GNESI; P.INVERARDI
Formal Validation of the GUARDS Inter-consistency Mechanism
2001 C. BERNARDESCHI.; A. FANTECHI; S. GNESI
ESA: an approach to Systems Design by Equation Solving
2001 CARCHIOLO V.; DE FRANCESCO N.; A. FANTECHI; MANGIONI G.
Design Validation of Embedded Dependable Systems
2001 A. BONDAVALLI; A. FANTECHI; D. LATELLA; L. SIMONCINI
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems | 1993 | R. DE NICOLA; FANTECHI A.; GNESI S.; RISTORI G. | |
Model Checking for Action-based Logics | 1994 | A. FANTECHI; S. GNESI; G. RISTORI | |
Object-oriented analysis of COBOL | 1997 | A. Fantechi;P. Nesi;E. Somma | |
Transformations and Consistent Semantics for ODP Viewpoints | 1997 | C. BERNARDESCHI; J. DUSTZADEH; A. FANTECHI; E. NAJM; ET AL. | |
A Symbolic Model Checker for ACTL | 1998 | A. Fantechi; S. Gnesi; F. Mazzanti; R. Pugliese; E. Tronci | |
Formal Verification Environment for Railway Signalling System Design | 1998 | C. BERNARDESCHI; A. FANTECHI; S. GNESI; S. LAROSA; ET AL. | |
Formal Methods for Open Object-based Distributed Systems | 1999 | P. Ciancarini; A. Fantechi; R. Gorrieri | |
Integrated Validation of Dependable Systems | 1999 | A. Bondavalli;A. Fantechi;D. Latella;L. Simoncini | |
Formal Description and Validation for an Integrity Policy Supporting Multiple Levels of Criticality | 1999 | A. FANTECHI; S. GNESI; L. SEMINI | |
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems | 1999 | D. POWELL; J. ARLAT; L. BEUS-DUKIC; A. BONDAVALLI; P. COPPOLA; A. FANTECHI; E. JENN; C. RABEJAC; A. WELLINGS | |
Towards a Discipline of System Engineering: Validation of Dependable Systems | 1999 | A. Bondavalli;A. Fantechi;D. Latella;L. Simoncini | |
An Integrated and Compositional Approach to Design Validation of Embedded Dependable Systems | 2000 | A. Bondavalli;A. Fantechi;D. Latella;L. Simoncini | |
Formally Verifying Fault Tolerant System Designs | 2000 | C. BERNARDESCHI; A. FANTECHI; L. SIMONCINI | |
Introduction and Overview (Chapter 1). | 2001 | D. POWELL; A. AMENDOLA; J. ARLAT; B. ATTERMEYER; L. BEUS-DUKIC; A. BONDAVALLI; P. COPPOLA; C. DAMBRA; A. FANTECHI; E. JENN; C. RABEJAC; V. THEVENOT; A. WELLINGS | |
Formal verification (Chapter 10). | 2001 | C. BERNARDESCHI; A. FANTECHI; S. GNESI | |
Introduction and Overview | 2001 | D. POWELL; A. AMENDOLA; J. ARLAT; B. ATTERMEYER; L. BEUS-DUKIC; A. BONDAVALLI; P. COPPOLA; C. DAMBRA; A. FANTECHI; E. JENN; C. RABÉJAC; V. THEVENOT; A. WELLINGS | |
Finite Approximations for Model Checking non-finite state processes | 2001 | N. DE FRANCESCO; A. FANTECHI; S. GNESI; P.INVERARDI | |
Formal Validation of the GUARDS Inter-consistency Mechanism | 2001 | C. BERNARDESCHI.; A. FANTECHI; S. GNESI | |
ESA: an approach to Systems Design by Equation Solving | 2001 | CARCHIOLO V.; DE FRANCESCO N.; A. FANTECHI; MANGIONI G. | |
Design Validation of Embedded Dependable Systems | 2001 | A. BONDAVALLI; A. FANTECHI; D. LATELLA; L. SIMONCINI |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile