IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 61 a 80 di 120
Titolo Data di pubblicazione Autore(i) File
Verification of Railway Interlocking - Compositional Approach with OCRA 1-gen-2016 Christophe, Limbrée; Quentin, Cappart; Charles, Pecheur; Tonetta, Stefano
Catalogue of System and Software Properties 1-gen-2016 Victor, Bos; Harold, Bruintjes; Tonetta, Stefano
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 1-gen-2016 Gario, Marco Elio Gustavo; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 1-gen-2016 Jakub, Daniel; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio
A Lazy Approach to Temporal Epistemic Logic Model Checking 1-gen-2016 Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
Linear-time Temporal Logic with Event Freezing Functions 1-gen-2017 Tonetta, Stefano
From System Specification to Anomaly Detection (and back) 1-gen-2017 Fauri, Davide; Dos Santos, Daniel Ricardo; Costante, Elisa; den Hartog, Jerry; Etalle, Sandro; Tonetta, Stefano
Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings 1-gen-2017 Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann
Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings 1-gen-2017 Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann
Formal Methods for Aerospace Systems 1-gen-2017 Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano
Tightening the contract refinements of a system architecture 1-gen-2018 Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano
Certifying Proofs for LTL Model Checking 1-gen-2018 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano
Formal Specification and Verification of Dynamic Parametrized Architectures 1-gen-2018 Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano
Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation 1-gen-2018 Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 1-gen-2019 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano
NuRV: a nuXmv Extension for Runtime Verification 1-gen-2019 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems 1-gen-2019 Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano
Assumption-based Runtime Verification with Partial Observability and Resets 1-gen-2019 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
COMPASS 3.0 1-gen-2019 Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano
A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems 1-gen-2020 Gorm Larsen, Peter; Daniel Macedo, Hugo; Fitzgerald, John S.; Pfeifer, Holger; Benedikt, Martin; Tonetta, Stefano; Marguglio, Angelo; Gusmeroli, Sergio; Jr., George Suciu
Mostrati risultati da 61 a 80 di 120
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