IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 147
Titolo Data di pubblicazione Autore(i) File
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs 1-gen-2001 M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio
Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and lambda Prolog - A Case-study 1-gen-2001 Delzanno, Giorgio
Proofs as computations in linear logic 1-gen-2001 Delzanno, Giorgio; Martelli, Maurizio
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets 1-gen-2001 Carvajal Schiaffino, R.; Delzanno, Giorgio; Chiola, G.
Attacking Symbolic State Explosion 1-gen-2001 Delzanno, Giorgio; J. F., Raskin; L., Van Begin
Model Checking Communication Protocols 1-gen-2001 P., Argón; Delzanno, Giorgio; S., Mukhopadhyay; A., Podelski
An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems 1-gen-2002 Delzanno, Giorgio
Beyond Parameterized Verification 1-gen-2002 M., Bozzano; Delzanno, Giorgio
Towards the Automated Verification of Multithreaded Java Programs 1-gen-2002 Delzanno, Giorgio; J. F., Raskin; L., Van Begin
Algorithmic Verification of Invalidation-Based Protocols 1-gen-2002 M., Bozzano; Delzanno, Giorgio
An effective fixpoint semantics for linear logic programs 1-gen-2002 Bozzano, M.; Delzanno, Giorgio; Martelli, Maurizio
Constraint-Based Model Checking for Parameterized Synchronous Systems 1-gen-2002 Delzanno, Giorgio
Constraint-Based Verification of Parameterized Cache Coherence Protocols 1-gen-2003 Delzanno, Giorgio
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols 1-gen-2004 Delzanno, Giorgio; Bozzano, M.
A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus 1-gen-2004 Delzanno, Giorgio
Model checking linear logic specifications 1-gen-2004 Bozzano, M.; Delzanno, Giorgio; Martelli, Maurizio
SAT-Based Analysis of Cellular Automata 1-gen-2004 M., D'Antonio; Delzanno, Giorgio
Automatic Verification of Time Sensitive Cryptographic Protocols 1-gen-2004 Delzanno, Giorgio; P., Ganty
Covering sharing trees: a compact data structure for parameterized verification 1-gen-2004 Delzanno, Giorgio; Jean Francois, Raskin; Laurent Van, Begin
BDI^ATL: An Alternating-time BDI Logic for Multiagent Systems 1-gen-2005 Montagna, R.; Delzanno, Giorgio; Martelli, Maurizio; Mascardi, Viviana
Mostrati risultati da 21 a 40 di 147
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