Sfoglia per Autore
On the Relations between Disjunctive and Linear Logic Programming
2001-01-01 Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio
Automated Protocol Verification in Linear Logic
2002-01-01 Bozzano, Marco; G., Delzanno
An effective fixpoint semantics for linear logic programs
2002-01-01 Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio
Algorithmic Verification of Invalidation-Based Protocols
2002-01-01 Bozzano, Marco; Delzanno, Giorgio
Beyond parameterized verification
2002-01-01 Bozzano, Marco; Delzanno, Giorgio
ESACS: an integrated methodology for design and safety analysis of complex systems
2003-01-01 Bozzano, Marco; Villafiorita Monteleone, Adolfo; O., Akerlund; P., Bieber; C., Bougnol; E., Boede; M., Bretschneider; A., Cavallo; C., Castel; M., Cifaldi; Cimatti, Alessandro; A., Griffault; C., Kehren; B., Lawrence; A., Luedtke; S., Metge; C., Papadopoulos; R., Passarello; T., Peikenkamp; P., Persson; C., Seguin; L., Trotta; L. Villafiorita A., Valacca; Zacco, Gabriele
Improving Safety Assessment of Complex Systems: An Industrial case study
2003-01-01 Bozzano, Marco; A., Cavallo; M., Cifaldi; L., Valacca; Villafiorita Monteleone, Adolfo
Integrating Fault Tree Analysis with Event Ordering Information
2003-01-01 Bozzano, Marco; Villafiorita Monteleone, Adolfo
Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform
2003-01-01 Bozzano, Marco; Villafiorita Monteleone, Adolfo
Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform
2003-01-01 Bozzano, Marco; Villafiorita Monteleone, Adolfo
Improving Safety Assessment of Complex Systems: An Industrial case study
2003-01-01 Bozzano, Marco; A., Cavallo; M., Cifaldi; L., Valacca; Villafiorita Monteleone, Adolfo
Verifying Industrial Hybrid Systems with MathSAT
2003-01-01 Audemard, Gilles; Bozzano, Marco; Cimatti, Alessandro; Sebastiani, Roberto
Model Checking Linear Logic Specifications
2004-01-01 Bozzano, Marco; G., Delzanno; M., Martelli
Automatic Verification of Secrecy Properties for Linear Logic Specifications of Cryptographic Protocolos
2004-01-01 Bozzano, Marco; G., Delzanno
The MAthSAT Solver. A progress report
2004-01-01 Bozzano, Marco; Cimatti, Alessandro; G., Colombini; V., Kirov; Sebastiani, Roberto
The MathSAT solver -- a progress report
2004-01-01 Bozzano, Marco; Cimatti, Alessandro; Gabriele, Colombini; Veselin, Kirov; Sebastiani, Roberto
The MathSAT Solver - a comparative evaluation
2004-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Sebastiani, Roberto
The Mathsat3 System
2005-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi A., Junttila; Peter van, Rossum; Stephan Peter, Schulz; Sebastiani, Roberto
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures
2005-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; R., Peter van; S. P., Schulz; Sebastiani, Roberto
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic
2005-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; Rossum Peter, Van; S. P., Schulz; Sebastiani, Roberto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
On the Relations between Disjunctive and Linear Logic Programming | 1-gen-2001 | Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio | |
Automated Protocol Verification in Linear Logic | 1-gen-2002 | Bozzano, Marco; G., Delzanno | |
An effective fixpoint semantics for linear logic programs | 1-gen-2002 | Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio | |
Algorithmic Verification of Invalidation-Based Protocols | 1-gen-2002 | Bozzano, Marco; Delzanno, Giorgio | |
Beyond parameterized verification | 1-gen-2002 | Bozzano, Marco; Delzanno, Giorgio | |
ESACS: an integrated methodology for design and safety analysis of complex systems | 1-gen-2003 | Bozzano, Marco; Villafiorita Monteleone, Adolfo; O., Akerlund; P., Bieber; C., Bougnol; E., Boede; M., Bretschneider; A., Cavallo; C., Castel; M., Cifaldi; Cimatti, Alessandro; A., Griffault; C., Kehren; B., Lawrence; A., Luedtke; S., Metge; C., Papadopoulos; R., Passarello; T., Peikenkamp; P., Persson; C., Seguin; L., Trotta; L. Villafiorita A., Valacca; Zacco, Gabriele | |
Improving Safety Assessment of Complex Systems: An Industrial case study | 1-gen-2003 | Bozzano, Marco; A., Cavallo; M., Cifaldi; L., Valacca; Villafiorita Monteleone, Adolfo | |
Integrating Fault Tree Analysis with Event Ordering Information | 1-gen-2003 | Bozzano, Marco; Villafiorita Monteleone, Adolfo | |
Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform | 1-gen-2003 | Bozzano, Marco; Villafiorita Monteleone, Adolfo | |
Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform | 1-gen-2003 | Bozzano, Marco; Villafiorita Monteleone, Adolfo | |
Improving Safety Assessment of Complex Systems: An Industrial case study | 1-gen-2003 | Bozzano, Marco; A., Cavallo; M., Cifaldi; L., Valacca; Villafiorita Monteleone, Adolfo | |
Verifying Industrial Hybrid Systems with MathSAT | 1-gen-2003 | Audemard, Gilles; Bozzano, Marco; Cimatti, Alessandro; Sebastiani, Roberto | |
Model Checking Linear Logic Specifications | 1-gen-2004 | Bozzano, Marco; G., Delzanno; M., Martelli | |
Automatic Verification of Secrecy Properties for Linear Logic Specifications of Cryptographic Protocolos | 1-gen-2004 | Bozzano, Marco; G., Delzanno | |
The MAthSAT Solver. A progress report | 1-gen-2004 | Bozzano, Marco; Cimatti, Alessandro; G., Colombini; V., Kirov; Sebastiani, Roberto | |
The MathSAT solver -- a progress report | 1-gen-2004 | Bozzano, Marco; Cimatti, Alessandro; Gabriele, Colombini; Veselin, Kirov; Sebastiani, Roberto | |
The MathSAT Solver - a comparative evaluation | 1-gen-2004 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Sebastiani, Roberto | |
The Mathsat3 System | 1-gen-2005 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi A., Junttila; Peter van, Rossum; Stephan Peter, Schulz; Sebastiani, Roberto | |
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures | 1-gen-2005 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; R., Peter van; S. P., Schulz; Sebastiani, Roberto | |
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic | 1-gen-2005 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; Rossum Peter, Van; S. P., Schulz; Sebastiani, Roberto |
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