Sfoglia per Autore
NuSMV
2002-01-01 Roveri, Marco; Cimatti, Alessandro; Cavada, Roberto; Tchaltsev, Andrei; Micheli, Andrea; Mariotti, Alessandro; Mover, Sergio; Marco, Pensallorto; Armando, Tacchella; Daniel, Sheridan; Gavin, Keighren; Tommi, Junttila; Timo, Latvala
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
KRATOS
2010-01-01 Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei
Verifying SystemC: a Software Model Checking Approach
2010-01-01 Cimatti, Alessandro; Micheli, Andrea; Narasamdya, Iman; Roveri, Marco
Kratos - A Software Model Checker for SystemC
2011-01-01 Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Iman, Narasamdya; Roveri, Marco
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
Solving Temporal Problems using SMT: Weak Controllability
2012-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Solving Temporal Problems using SMT: Strong Controllability
2012-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Timelines with Temporal Uncertainty
2013-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation
2014-01-01 Cimatti, Alessandro; Hunsberger, L.; Micheli, Andrea; Posenato, R; Roveri, Marco
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty
2014-01-01 Cimatti, Alessandro; Hunsberger, L.; Micheli, Andrea; Roveri, Marco
The nuXmv Symbolic Model Checker
2014-01-01 Cavada, Roberto; Cimatti, Alessandro; Dorigatti, Michele; Griggio, Alberto; Mariotti, Alessandro; Micheli, Andrea; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach
2015-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
2015-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
SMT-based Validation of Timed Failure Propagation Graphs
2015-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Micheli, Andrea
Solving strong controllability of temporal problems with uncertainty using SMT
2015-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms
2015-01-01 Gario, Marco Elio Gustavo; Micheli, Andrea
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations
2015-01-01 Micheli, Andrea; Do, Minh; Smith, David
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies
2016-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
The xSAP Safety Analysis Platform
2016-01-01 Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
NuSMV | 1-gen-2002 | Roveri, Marco; Cimatti, Alessandro; Cavada, Roberto; Tchaltsev, Andrei; Micheli, Andrea; Mariotti, Alessandro; Mover, Sergio; Marco, Pensallorto; Armando, Tacchella; Daniel, Sheridan; Gavin, Keighren; Tommi, Junttila; Timo, Latvala | |
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 | |
KRATOS | 1-gen-2010 | Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei | |
Verifying SystemC: a Software Model Checking Approach | 1-gen-2010 | Cimatti, Alessandro; Micheli, Andrea; Narasamdya, Iman; Roveri, Marco | |
Kratos - A Software Model Checker for SystemC | 1-gen-2011 | Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Iman, Narasamdya; Roveri, Marco | |
OthelloPlay: a plug-in based tool for requirement formalization and validation | 1-gen-2011 | Cavada, Roberto; Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco; Susi, Angelo; Tonetta, Stefano | |
Solving Temporal Problems using SMT: Weak Controllability | 1-gen-2012 | Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco | |
Solving Temporal Problems using SMT: Strong Controllability | 1-gen-2012 | Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco | |
Timelines with Temporal Uncertainty | 1-gen-2013 | Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco | |
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation | 1-gen-2014 | Cimatti, Alessandro; Hunsberger, L.; Micheli, Andrea; Posenato, R; Roveri, Marco | |
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty | 1-gen-2014 | Cimatti, Alessandro; Hunsberger, L.; Micheli, Andrea; Roveri, Marco | |
The nuXmv Symbolic Model Checker | 1-gen-2014 | Cavada, Roberto; Cimatti, Alessandro; Dorigatti, Michele; Griggio, Alberto; Mariotti, Alessandro; Micheli, Andrea; Mover, Sergio; Roveri, Marco; Tonetta, Stefano | |
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach | 1-gen-2015 | Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco | |
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty | 1-gen-2015 | Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco | |
SMT-based Validation of Timed Failure Propagation Graphs | 1-gen-2015 | Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Micheli, Andrea | |
Solving strong controllability of temporal problems with uncertainty using SMT | 1-gen-2015 | Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco | |
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms | 1-gen-2015 | Gario, Marco Elio Gustavo; Micheli, Andrea | |
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations | 1-gen-2015 | Micheli, Andrea; Do, Minh; Smith, David | |
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies | 1-gen-2016 | Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco | |
The xSAP Safety Analysis Platform | 1-gen-2016 | Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni |
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