IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 147
Titolo Data di pubblicazione Autore(i) File
Attacking Symbolic State Explosion 1-gen-2001 Delzanno, Giorgio; J. F., Raskin; L., Van Begin
Constraint-based Deductive Model Checking 1-gen-2001 Delzanno, Giorgio; Podelski, A.
On the relations between disjunctive and linear logic programming 1-gen-2001 M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio
Constraint-Based Verification of Client-Server Protocols 1-gen-2001 Delzanno, Giorgio; T., Bultan
An Assertional Language for the Verification of Systems Parametric in Several Dimensions 1-gen-2001 Delzanno, Giorgio
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets 1-gen-2001 Carvajal Schiaffino, R.; Delzanno, Giorgio; Chiola, G.
Beyond Parameterized Verification 1-gen-2002 M., Bozzano; Delzanno, Giorgio
Algorithmic Verification of Invalidation-Based Protocols 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
Constraint-Based Model Checking for Parameterized Synchronous Systems 1-gen-2002 Delzanno, Giorgio
An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems 1-gen-2002 Delzanno, Giorgio
An effective fixpoint semantics for linear logic programs 1-gen-2002 Bozzano, M.; Delzanno, Giorgio; Martelli, Maurizio
Constraint-Based Verification of Parameterized Cache Coherence Protocols 1-gen-2003 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
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
A compositional semantics for CHR 1-gen-2005 Delzanno, Giorgio; M., Gabbrielli; M. C., Meo
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