IRIS Institutional Research Information System

Sfoglia per Serie  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 2 a 20 di 20
Titolo Data di pubblicazione Autore(i) File
Catalogue of System and Software Properties 1-gen-2016 Victor, Bos; Harold, Bruintjes; Tonetta, Stefano
Classification of News by Topic Using Location Data 1-gen-2016 Dashdorj, Zolzaya; Khan, Muhammad Tahir; Bozzato, Loris; Sangkeun, Lee
Clustering-Aided Page Object Generation for Web Testing 1-gen-2016 Stocco, Andrea; Leotta, Maurizio; Ricca, Filippo; Tonella, Paolo
Combining MILS with Contract-Based Design for Safety and Security Requirements 1-gen-2015 Cimatti, Alessandro; Delong, Rance; Marcantonio, Davide; Tonetta, Stefano
Completing Workflow Traces Using Action Languages 1-gen-2015 Di Francescomarino, Chiara; Ghidini, Chiara; Tessaris, Sergio; Sandoval, Itzel Vázquez
Complex Symbolic Sequence Encodings for Predictive Monitoring of Business Processes 1-gen-2015 Leontjeva, Anna; Conforti, Raffaele; Di Francescomarino, Chiara; Dumas, Marlon; Maggi, Fabrizio Maria
Developing an Ontology for Autonomous Entities in a Virtual Reality: The PRESTO Experience 1-gen-2015 Paolo, Busetta; Mauro, Fruet; Piero, Consolati; Dragoni, Mauro; Ghidini, Chiara
Efficient Anytime Techniques for Model-Based Safety Analysis 1-gen-2015 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Mattarei, Cristian
FAME: A Model-Based Environment for FDIR Design in Aerospace 1-gen-2014 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; De Ferluc, R.; Gario, Marco Elio Gustavo; Guiotto, A.; Yushtein, Y.
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 1-gen-2015 Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Jones, D.; Kimberly, G.; Petri, T.; Robinson, R.; Tonetta, Stefano
HYCOMP - an SMT-based model checker for hybrid systems 1-gen-2015 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case 1-gen-2014 Thomas, Arts; Dorigatti, Michele; Tonetta, Stefano
Mining User Opinions to Support Requirement Engineering: An Empirical Study 1-gen-2020 Dabrowski, Jacek; Letier, Emmanuel; Perini, Anna; Susi, Angelo
On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows 1-gen-2017 dos Santos, Daniel Ricardo; Ranise, Silvio
Safely Using the AUTOSAR End-to-End Protection Library 1-gen-2015 Arts, Thomas; Tonetta, Stefano
Tightening a Contract Refinement 1-gen-2016 Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano
TLSAssistant Goes FINSEC - A Security Platform Integration Extending Threat Intelligence Language 1-gen-2021 Manfredi, Salvatore; Ranise, Silvio; Sciarretta, Giada; Tomasi, Alessandro
Verification of Railway Interlocking - Compositional Approach with OCRA 1-gen-2016 Christophe, Limbrée; Quentin, Cappart; Charles, Pecheur; Tonetta, Stefano
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 2 a 20 di 20
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