Sfoglia per Autore
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
Efficient Interpolant Generation in Satisfiability Modulo Theories
2008-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Software Model Checking via Large-Block Encoding
2009-01-01 Beyer, Dirk; Keremoglu, M. Erkan; Cimatti, Alessandro; Sebastiani, Roberto; Griggio, Alberto
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
Codesign of Dependable Systems: A Component-Based Modeling Language
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas
Model-Based Codesign of Critical Embedded Systems
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas; Roveri, Marco
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis
2009-01-01 Bruttomesso, Roberto; Cimatti, Alessandro; A., Franzen; Griggio, Alberto; Sebastiani, Roberto
Structure-Aware Computation of Predicate Abstraction
2009-01-01 Cimatti, Alessandro; Juhani Dubrovin, Jori; Antero Junttila, Tommi; Roveri, Marco
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
Software Model Checking via Large-Block Encoding.
2009-01-01 D., Beyer; Cimatti, Alessandro; Griggio, Alberto; E., Keremoglu; Sebastiani, Roberto
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas; Roveri, Marco
Requirements Validation for Hybrid Systems
2009-01-01 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version
2009-01-01 Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto
Verification and performance evaluation of AADL models
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas
Formalization and Validation of Safety-Critical Requirements
2010-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Satisfiability Modulo the Theory of Costs: Foundations and Applications
2010-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto; C., Stenico
Tighter Integration of BDD and SMT for Predicate Abstraction
2010-01-01 Cimatti, Alessandro; Franzen, Anders; Griggio, Alberto; Krishnamani, Kalyanasundaram; Roveri, Marco
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
A Model Checker for AADL
2010-01-01 Bozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas; Roveri, Marco; Wimmer, Ralf
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