Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 120
Titolo Data di pubblicazione Autore(i) File
GSTE is partitioned Model Checking 1-gen-2004 Sebastiani, Roberto; Eli, Singerman; Tonetta, Stefano; Moshe, Vardi
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 1-gen-2005 Sebastiani, Roberto; Tonetta, Stefano; Moshe, Vardi
From PSL to NBA: a Modular Symbolic Encoding 1-gen-2006 Cimatti, Alessandro; Roveri, Marco; Simone, Semprini; Tonetta, Stefano
A Uniform Framework for Predicate Abstraction Approximation 1-gen-2006 Tonetta, Stefano; Natasha, Sharygina
Boolean Abstraction for Temporal Logic Satisfiability 1-gen-2007 Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tonetta, Stefano
Syntactic Optimizations for PSL Verification 1-gen-2007 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
Property-driven partitioning for abstraction refinement 1-gen-2007 Sebastiani, Roberto; Tonetta, Stefano; Moshe, Vardi
GSTE is partitioned model checking 1-gen-2007 Sebastiani, Roberto; Eli, Singerman; Tonetta, Stefano; Moshe, Vardi
Object Models with Temporal Constraints 1-gen-2008 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Loop Summarization Using Abstract Transformers 1-gen-2008 Daniel, Kroening; Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich; Christoph M., Wintersteiger
Symbolic Compilation of PSL 1-gen-2008 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
From Informal Requirements to Property-Driven Formal Validation 1-gen-2008 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Abstract Model Checking without Computing the Abstraction 1-gen-2009 Tonetta, Stefano
Loopfrog: A Static Analyzer for ANSI-C Programs 1-gen-2009 Daniel, Kroening; Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich; Christoph M., Wintersteiger
The synergy of precise and fast abstractions for program verification 1-gen-2009 Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich
Requirements Validation for Hybrid Systems 1-gen-2009 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
Supporting Requirements Validation: The EuRailCheck Tool 1-gen-2009 Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Model Checking of Hybrid Systems using Shallow Synchronization 1-gen-2010 Lei, Bu; Cimatti, Alessandro; Xuandong, Li; Mover, Sergio; Tonetta, Stefano
Formalization and validation of a subset of the European Train Control System 1-gen-2010 Angelo, Chiappini; Cimatti, Alessandro; Macchi, Luca; Oscar, Rebollo; Roveri, Marco; Susi, Angelo; Tonetta, Stefano; Berardino, Vittorini
Formalization and Validation of Safety-Critical Requirements 1-gen-2010 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Mostrati risultati da 1 a 20 di 120
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