Sfoglia per Autore
Modelling OR-parallel Execution of Prolog using CHOCS
1995-01-01 Barbuti, R; De Francesco, N; Santone, Antonella
A Non-Standard Semantics for Generating Reduced Transition Systems
1996-01-01 De Francesco, N; Santone, Antonella; Vaglini, G.
Unfold/Fold Transformations of Concurrent Processes
1996-01-01 De Francesco, N; Santone, Antonella
Algebraic Computational Models of OR-Parallel Execution of Prolog”, Acta Informatica
1997-01-01 R., Barbuti; N., DE FRANCESCO; Santone, Antonella
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems
1997-01-01 Barbuti, R; De Francesco, N; Santone, Antonella; Vaglini, G.
Formal Validation of Fault-tolerance Mechanisms
1998-01-01 Bernardeschi, B; Fantechi, A; Gnesi, S; Santone, Antonella
A Transformation System for Concurrent Processes
1998-01-01 N., DE FRANCESCO; Santone, Antonella
Automated Verification of Fault Tolerance Mechanism
1998-01-01 Bernardeschi, B; Fantechi, A; Gnesi, S; Santone, Antonella
Towards a Logical Semantics for Pure Prolog
1998-01-01 R., Barbuti; N., DE FRANCESCO; P., Mancarella; Santone, Antonella
State Space Reduction by Non-Standard Semantics for Deadlock Analysis
1998-01-01 N., DE FRANCESCO; Santone, Antonella; G., Vaglini
Efficient Model Checking of Properties of a Multimedia Application
1999-01-01 Mazzocca, N; Santone, Antonella; Vaglini, G; Vittorini, V.
Abstract Interpretation of Trace Semantics for Concurrent Calculi
1999-01-01 R., Barbuti; N., DE FRANCESCO; Santone, Antonella; G., Vaglini
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs
1999-01-01 R., Barbuti; N., DE FRANCESCO; Santone, Antonella; G., Vaglini
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems
1999-01-01 R., Barbuti; N., DE FRANCESCO; Santone, Antonella; G., Vaglini
Formula Based Abstractions of Transition Systems for Real-time Model Checking
1999-01-01 Barbuti, R; De Francesco, R; Santone, Antonella; Vaglini, G.
Compositionality for Improving Model Checking
2000-01-01 Santone, Antonella
Logic Based Abstractions of Real-time Systems
2000-01-01 R., Barbuti; N., DE FRANCESCO; Santone, Antonella; G., Vaglini
Automatable Integrations for the Reuse of Concurrent Specifications
2001-01-01 Santone, Antonella; Vaglini, G.
Reusing LOTOS Specifications
2001-01-01 Santone, Antonella; G., Vaglini
A Notion of Non-Interference for Timed Automata
2001-01-01 Barbuti, R; De Francesco, N; Santone, Antonella; Tesei, L.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Modelling OR-parallel Execution of Prolog using CHOCS | 1-gen-1995 | Barbuti, R; De Francesco, N; Santone, Antonella | |
| A Non-Standard Semantics for Generating Reduced Transition Systems | 1-gen-1996 | De Francesco, N; Santone, Antonella; Vaglini, G. | |
| Unfold/Fold Transformations of Concurrent Processes | 1-gen-1996 | De Francesco, N; Santone, Antonella | |
| Algebraic Computational Models of OR-Parallel Execution of Prolog”, Acta Informatica | 1-gen-1997 | R., Barbuti; N., DE FRANCESCO; Santone, Antonella | |
| Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems | 1-gen-1997 | Barbuti, R; De Francesco, N; Santone, Antonella; Vaglini, G. | |
| Formal Validation of Fault-tolerance Mechanisms | 1-gen-1998 | Bernardeschi, B; Fantechi, A; Gnesi, S; Santone, Antonella | |
| A Transformation System for Concurrent Processes | 1-gen-1998 | N., DE FRANCESCO; Santone, Antonella | |
| Automated Verification of Fault Tolerance Mechanism | 1-gen-1998 | Bernardeschi, B; Fantechi, A; Gnesi, S; Santone, Antonella | |
| Towards a Logical Semantics for Pure Prolog | 1-gen-1998 | R., Barbuti; N., DE FRANCESCO; P., Mancarella; Santone, Antonella | |
| State Space Reduction by Non-Standard Semantics for Deadlock Analysis | 1-gen-1998 | N., DE FRANCESCO; Santone, Antonella; G., Vaglini | |
| Efficient Model Checking of Properties of a Multimedia Application | 1-gen-1999 | Mazzocca, N; Santone, Antonella; Vaglini, G; Vittorini, V. | |
| Abstract Interpretation of Trace Semantics for Concurrent Calculi | 1-gen-1999 | R., Barbuti; N., DE FRANCESCO; Santone, Antonella; G., Vaglini | |
| LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs | 1-gen-1999 | R., Barbuti; N., DE FRANCESCO; Santone, Antonella; G., Vaglini | |
| Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems | 1-gen-1999 | R., Barbuti; N., DE FRANCESCO; Santone, Antonella; G., Vaglini | |
| Formula Based Abstractions of Transition Systems for Real-time Model Checking | 1-gen-1999 | Barbuti, R; De Francesco, R; Santone, Antonella; Vaglini, G. | |
| Compositionality for Improving Model Checking | 1-gen-2000 | Santone, Antonella | |
| Logic Based Abstractions of Real-time Systems | 1-gen-2000 | R., Barbuti; N., DE FRANCESCO; Santone, Antonella; G., Vaglini | |
| Automatable Integrations for the Reuse of Concurrent Specifications | 1-gen-2001 | Santone, Antonella; Vaglini, G. | |
| Reusing LOTOS Specifications | 1-gen-2001 | Santone, Antonella; G., Vaglini | |
| A Notion of Non-Interference for Timed Automata | 1-gen-2001 | Barbuti, R; De Francesco, N; Santone, Antonella; Tesei, L. |
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