Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 39
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
Mostrati risultati da 1 a 20 di 39
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