Sfoglia per Autore
Formula Based Abstractions of Transition Systems for Real-time Model Checking
1999-01-01 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
Abstract Interpretation of Trace Semantics for Concurrent Calculi
1999-01-01 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola
Logic Based Abstractions of Real-time Systems
2000-01-01 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, A.; Vaglini, Gigliola
Efficient model checking of properties of a distributed application: a multimedia case study
2001-01-01 Mazzocca, M.; Santone, A.; Vaglini, Gigliola; Vittorini, V.
Automatable integrations for the reuse of concurrent specifications
2001-01-01 Santone, A.; Vaglini, Gigliola
Reusing LOTOS specifications
2001-01-01 Santone, A.; Vaglini, Gigliola
An approach to system design based on P/T net simulation
2001-01-01 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
A Tableau-based Procedure for Model Checking Programs
2002-01-01 Santone, A.; Vaglini, Gigliola
Local Model checking of Java Bytecode
2002-01-01 Santone, A.; Vaglini, Gigliola
Modifying LOTOS specifications by means of automatable formula-based integrations
2003-01-01 Santone, A.; Vaglini, Gigliola
COMPOSITIONALITY AND LOCALITY FOR IMPROVING MODEL CHECKING IN THE SELECTIVE MU-CALCULUS
2004-01-01 Santone, A.; Vaglini, Gigliola
Modular verification of abstract software descriptions
2004-01-01 Gradara, S.; Santone, A.; Vaglini, Gigliola; Villani, M. L.
MODEL CHECKING MULTITHREADED PROGRAMS BY MEANS OF REDUCED MODELS
2004-01-01 Gradara, S.; Santone, A.; Villani, M. L.; Vaglini, Gigliola
Formula-based abstractions and symbolic execution for model checking programs
2004-01-01 A., Santone; Vaglini, Gigliola
A LOCAL APPROACH FOR TEMPORAL MODEL CHECKING OF JAVA BYTECODE
2005-01-01 Santone, A.; Vaglini, Gigliola
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION
2005-01-01 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
A user-friendly interface to specify temporal properties of concurrent systems
2007-01-01 DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
MODULAR FORMAL VERIFICATION OF SPECIFICATIONS OF CONCURRENT SYSTEMS
2008-01-01 Gradara, S.; Santone, A.; Vaglini, Gigliola; Villani, M. L.
Minimum Latency Link Scheduling in TDMA Wireless Multi-Hop Networks
2009-01-01 Cappanera, P; Lenzini, Luciano; Lori, A; Vaglini, Gigliola
A FORMULA DRIVEN INCREMENTAL CONSTRUCTION OF WEB SERVICE COMPOSITIONS
2009-01-01 Santone, Antonella; Vaglini, Gigliola; VILLANI MARIA, Luisa
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Formula Based Abstractions of Transition Systems for Real-time Model Checking | 1-gen-1999 | Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola | |
Abstract Interpretation of Trace Semantics for Concurrent Calculi | 1-gen-1999 | Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola | |
Logic Based Abstractions of Real-time Systems | 1-gen-2000 | Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, A.; Vaglini, Gigliola | |
Efficient model checking of properties of a distributed application: a multimedia case study | 1-gen-2001 | Mazzocca, M.; Santone, A.; Vaglini, Gigliola; Vittorini, V. | |
Automatable integrations for the reuse of concurrent specifications | 1-gen-2001 | Santone, A.; Vaglini, Gigliola | |
Reusing LOTOS specifications | 1-gen-2001 | Santone, A.; Vaglini, Gigliola | |
An approach to system design based on P/T net simulation | 1-gen-2001 | Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola | |
A Tableau-based Procedure for Model Checking Programs | 1-gen-2002 | Santone, A.; Vaglini, Gigliola | |
Local Model checking of Java Bytecode | 1-gen-2002 | Santone, A.; Vaglini, Gigliola | |
Modifying LOTOS specifications by means of automatable formula-based integrations | 1-gen-2003 | Santone, A.; Vaglini, Gigliola | |
COMPOSITIONALITY AND LOCALITY FOR IMPROVING MODEL CHECKING IN THE SELECTIVE MU-CALCULUS | 1-gen-2004 | Santone, A.; Vaglini, Gigliola | |
Modular verification of abstract software descriptions | 1-gen-2004 | Gradara, S.; Santone, A.; Vaglini, Gigliola; Villani, M. L. | |
MODEL CHECKING MULTITHREADED PROGRAMS BY MEANS OF REDUCED MODELS | 1-gen-2004 | Gradara, S.; Santone, A.; Villani, M. L.; Vaglini, Gigliola | |
Formula-based abstractions and symbolic execution for model checking programs | 1-gen-2004 | A., Santone; Vaglini, Gigliola | |
A LOCAL APPROACH FOR TEMPORAL MODEL CHECKING OF JAVA BYTECODE | 1-gen-2005 | Santone, A.; Vaglini, Gigliola | |
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION | 1-gen-2005 | Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola | |
A user-friendly interface to specify temporal properties of concurrent systems | 1-gen-2007 | DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola | |
MODULAR FORMAL VERIFICATION OF SPECIFICATIONS OF CONCURRENT SYSTEMS | 1-gen-2008 | Gradara, S.; Santone, A.; Vaglini, Gigliola; Villani, M. L. | |
Minimum Latency Link Scheduling in TDMA Wireless Multi-Hop Networks | 1-gen-2009 | Cappanera, P; Lenzini, Luciano; Lori, A; Vaglini, Gigliola | |
A FORMULA DRIVEN INCREMENTAL CONSTRUCTION OF WEB SERVICE COMPOSITIONS | 1-gen-2009 | Santone, Antonella; Vaglini, Gigliola; VILLANI MARIA, Luisa |
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