IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 61 a 80 di 129
Titolo Data di pubblicazione Autore(i) File
Structure-Aware Computation of Predicate Abstraction 1-gen-2009 Cimatti, Alessandro; Jori Juhani, Dubrovin; Tommi Antero, Junttila; Roveri, Marco
NuGAT 1-gen-2009 Roveri, Marco; Cimatti, Alessandro; Schuppan, Viktor; Tchaltsev, Andrei; Cavada, Roberto
Codesign of Dependable Systems: A Component-Based Modeling Language 1-gen-2009 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll
Model-Based Codesign of Critical Embedded Systems 1-gen-2009 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 1-gen-2009 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco
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
RATSY - A new Requirements Analysis Tool with Synthesis 1-gen-2010 Roderick, Bloem; Cimatti, Alessandro; Karin, Greimel; Georg, Hofferek; Robert, Koenighofer; Roveri, Marco; Schuppan, Viktor; Richard, Seeber
A Model Checker for AADL 1-gen-2010 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco; Ralf, Wimmer
Semi-Formal Functional Verification by EFSM traversing via NuSMV 1-gen-2010 Giuseppe Di, Guglielmo; Franco, Fummi; Graziano, Pravadelli; Roveri, Marco; Stefano, Soffia
Formalization and validation of a subset of the European Train Control System 1-gen-2010 Angelo, Chiappini; Cimatti, Alessandro; Macchi, Luca; Oscar, Rebollo; Roveri, Marco; Susi, Angelo; Tonetta, Stefano; Berardino, Vittorini
Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings 1-gen-2010 Stefan, Kowalewski; Roveri, Marco
KRATOS 1-gen-2010 Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei
COMPASS Tool 1-gen-2010 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco; Ralf, Wimmer; Cavada, Roberto
Tighter Integration of BDD and SMT for Predicate Abstraction 1-gen-2010 Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Kalyanasundaram, Krishnamani; Roveri, Marco
Formalization and Validation of Safety-Critical Requirements 1-gen-2010 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Verifying SystemC: a Software Model Checking Approach 1-gen-2010 Cimatti, Alessandro; Micheli, Andrea; Narasamdya, Iman; Roveri, Marco
Formalizing requirements with object models and temporal constraints 1-gen-2011 Cimatti, Alessandro; Susi, Angelo; Tonetta, Stefano; Roveri, Marco
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 1-gen-2011 Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
A Comprehensive Approach to On-Board Autonomy Verification and Validation 1-gen-2011 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
A Critical Overview and Open Questions for Temporal Planning with Uncertainty 1-gen-2011 Rosella, Gennari; Anna, Roubickova; Roveri, Marco
Mostrati risultati da 61 a 80 di 129
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