Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 19 di 19
Titolo Anno di pubblicazione Autori Unitn File
Supporting Requirements Validation: The EuRailCheck Tool 1-gen-2009 Cavada, RobertoCimatti, AlessandroMattarei, CristianMicheli, AndreaMover, SergioRoveri, MarcoSusi, AngeloTonetta, Stefano +
Verifying SystemC: a Software Model Checking Approach 1-gen-2010 Cimatti, AlessandroMicheli, AndreaRoveri, Marco +
Kratos - A Software Model Checker for SystemC 1-gen-2011 Alessandro CimattiAlberto GriggioAndrea MicheliMarco Roveri +
OthelloPlay: a plug-in based tool for requirement formalization and validation 1-gen-2011 Roberto CavadaAlessandro CimattiAndrea MicheliMarco RoveriAngelo SusiStefano Tonetta
Solving Temporal Problems Using SMT: Strong Controllability 1-gen-2012 Cimatti, AlessandroMicheli, AndreaM. Roveri
Solving Temporal Problems Using SMT: Weak Controllability 1-gen-2012 Cimatti, AlessandroMicheli, AndreaMarco Roveri
Timelines with Temporal Uncertainty 1-gen-2013 Cimatti, AlessandroMicheli, Andrea +
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 1-gen-2014 Cimatti, AlessandroMicheli, AndreaRoveri M. +
Solving strong controllability of temporal problems with uncertainty using SMT 1-gen-2014 Cimatti, AlessandroMicheli, AndreaRoveri, Marco +
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 1-gen-2014 Cimatti, AlessandroMicheli, AndreaRoveri M. +
The nuXmv Symbolic Model Checker 1-gen-2014 Cimatti, AlessandroA. GriggioMicheli, AndreaM. Roveri +
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 1-gen-2015 Alessandro CimattiAndrea MicheliMarco Roveri
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 1-gen-2015 Cimatti A.Micheli A.Roveri M
Planning and Scheduling in Temporally Uncertain Domains 1-gen-2016 Micheli, Andrea
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 1-gen-2016 Alessandro CimattiAndrea MicheliMarco Roveri
The xSAP Safety Analysis Platform 1-gen-2016 Bittner, BenjaminCavada, RobertoCimatti, AlessandroGario, Marco Elio GustavoGriggio, AlbertoMattarei, CristianMicheli, Andrea +
Dynamic controllability via Timed Game Automata 1-gen-2016 Cimatti AlessandroMicheli AndreaRoveri Marco +
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 1-gen-2017 Cimatti AlessandroMicheli AndreaRoveri Marco
Strong temporal planning with uncontrollable durations 1-gen-2018 Cimatti, AlessandroMicheli, AndreaRoveri, Marco +
Mostrati risultati da 1 a 19 di 19
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