Sfoglia per Autore
From PSL to NBA: a Modular Symbolic Encoding
2006-01-01 Cimatti, Alessandro; Roveri, Marco; Semprini, Simone; Tonetta, Stefano
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers
2007-01-01 R., Cavada; A., Cimatti; Franzen, Per Anders; Krishnamani, Kalyanasundaram; Roveri, Marco; R. K., Shyamasundar
Preface
2007-01-01 Bloem, Roderick; Roveri, Marco; Somenzi, Fabio
Symbolic Implementation of Alternating Automata
2007-01-01 Bloem, Roderick; Cimatti, Alessandro; Pill, Ingo; Roveri, Marco
Syntactic Optimizations for PSL Verification
2007-01-01 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
Boolean Abstraction for Temporal Logic Satisfiability
2007-01-01 Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tonetta, Stefano
Rat: A tool for the formal analysis of requirements
2007-01-01 Bloem, Roderick; Cavada, Roberto; Pill, Ingo; Roveri, Marco; Tchaltsev, Andrei
On-Board Autonomy via Symbolic Model Based Reasoning
2008-01-01 Bozzano, Marco; Cimatti, Alessandro; Guiotto, Andrea; Martelli, Andrea; Roveri, Marco; Tchaltsev, Andrei; Yushtein, Yuri
On Board Model Checking for Space Applications
2008-01-01 Cimatti, Alessandro; Guiotto, Andrea; Roveri, Marco
Object Models with Temporal Constraints
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
From Informal Requirements to Property-Driven Formal Validation
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Symbolic Compilation of PSL
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
Diagnostic Information for Realizability
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tchaltsev, Andrei
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
Model-Based Codesign of Critical Embedded Systems
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas; Roveri, Marco
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
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
Structure-Aware Computation of Predicate Abstraction
2009-01-01 Cimatti, Alessandro; Juhani Dubrovin, Jori; Antero Junttila, Tommi; Roveri, Marco
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
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