Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 94
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
Mostrati risultati da 1 a 20 di 94
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