Sfoglia per Autore
'More deterministic' vs. 'Smaller' Buechi Automata for Efficient LTL Model Checking
2003-01-01 Sebastiani, Roberto; Tonetta, Stefano
More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking"
2003-01-01 Sebastiani, Roberto; Tonetta, Stefano
GSTE is Partitioned Model Checking
2004-01-01 Sebastiani, Roberto; Y. Vardi, Moshe; Singerman, Eli; Tonetta, Stefano
GSTE is partitioned model checking
2004-01-01 Sebastiani, Roberto; E., Singerman; Tonetta, Stefano; M. Y., Vardi
Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking
2005-01-01 Sebastiani, Roberto; Tonetta, Stefano; M. Y., Vardi
From PSL to NBA: a Modular Symbolic Encoding
2006-01-01 Cimatti, Alessandro; Roveri, Marco; Semprini, Simone; Tonetta, Stefano
Syntactic Optimizations for PSL Verification
2007-01-01 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
GSTE is partitioned Model Checking
2007-01-01 Sebastiani, Roberto; E., Siengeman; Tonetta, Stefano; M., Vardi
Property-Driven Partitioning for Abstraction Refinement
2007-01-01 Sebastiani, Roberto; Tonetta, Stefano; M., Vardi
Boolean Abstraction for Temporal Logic Satisfiability
2007-01-01 Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tonetta, Stefano
Symbolic Compilation of PSL
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
From Informal Requirements to Property-Driven Formal Validation
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Object Models with Temporal Constraints
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Supporting Requirements Validation: The EuRailCheck Tool
2009-01-01 Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Requirements Validation for Hybrid Systems
2009-01-01 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
Formalization and Validation of Safety-Critical Requirements
2010-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Formalization and validation of a subset of the European Train Control System
2010-01-01 Chiappini, Angelo; Cimatti, Alessandro; Macchi, Luca; Rebollo, Oscar; Roveri, Marco; Susi, Angelo; Tonetta, Stefano; Vittorini, Berardino
Model Checking and Safety Assessment of Altarica models
2011-01-01 Bozzano, M.; Cimatti, A.; Lisagor, O.; Mattarei, C.; Mover, S.; Roveri, M.; Tonetta, S.
OthelloPlay: a plug-in based tool for requirement formalization and validation
2011-01-01 Cavada, Roberto; Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Formalizing requirements with object models and temporal constraints
2011-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
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