IRIS Institutional Research Information System

Sfoglia per Titolo

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 7.515 a 7.534 di 20.279
Titolo Data di pubblicazione Autore(i) File
Formal Modelling and Automated Trade-off Analysis of Enforcement Architectures for Cryptographic Access Control in the Cloud 1-gen-2022 Berlato, Stefano; Carbone, Roberto; Lee, Adam J.; Ranise, Silvio
Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations 1-gen-2014 Armando, Alessandro; Oudkerk, S.; Ranise, Silvio; Wrona, K.
Formal Procedural Security Modeling and Analysis 1-gen-2008 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Formal reliability analysis of redundant architectures 1-gen-2019 Bozzano, M.; Cimatti, A.; Mattarei, C.
Formal Safety Assessment via Contract-Based Design. 1-gen-2014 Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano
Formal security proof for a scheme on a topological network 1-gen-2021 Civino, Roberto; Longo, Riccardo
Formal Specification and Analysis of an e-Voting System 1-gen-2010 Weldemariam, Komminist Sisai; Richard, Kemmerer; Villafiorita Monteleone, Adolfo
Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: an Action-based Approach 1-gen-2009 Armando, Alessandro; Giunchiglia, E.; Ponta, S. E.
Formal Specification and Development of a Safety-Critical Train Management 1-gen-1999 A., Chiappini; Cimatti, Alessandro; C., Porzia; G., Rotondo; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo
Formal Specification and Synthesis of FDI through an Example 1-gen-2013 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
Formal Specification and validation of a Vital Communication Protocol 1-gen-1999 Cimatti, Alessandro; P. L., Pieraccini; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo
Formal Specification and Verification of an e-voting System: An experience Report. 1-gen-2011 Weldemariam, Komminist Sisai; Richard A., Kemmerer; Villafiorita Monteleone, Adolfo
Formal Specification and Verification of Dynamic Parametrized Architectures 1-gen-2018 Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano
Formal specification of Beliefs in Multi-Agents Systems 1-gen-1999 Massimo, Benerecetti; Villafiorita Monteleone, Adolfo
Formal Theories for Reactive Planning Systems: some considerations raised from an experimental application 1-gen-1996 Traverso, Paolo; Enrico, Giunchiglia; Luca, Spalazzi; Giunchiglia, Fausto
Formal Theories for Reactive Planning Systems: Some Considerations Raised from an Experimental Application 1-gen-1996 Traverso, Paolo; Enrico, Giunchiglia; Luca, Spalazzi; Giunchiglia, Fausto
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 1-gen-1997 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; B., Pietra; D., Romano; F., Torielli; Traverso, Paolo
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 1-gen-1997 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; B., Pietra; D., Romano; F., Torielli; Traverso, Paolo
Formal Verification and Validation of AADL Model 1-gen-2010 Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Xavier, Olive
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 1-gen-2012 Cimatti, Alessandro; Raffaele, Corvino; Armando, Lazzaro; Narasamdya, Iman; Tiziana, Rizzo; Roveri, Marco; Angela, Sanseviero; Andrei, Tchaltsev
Mostrati risultati da 7.515 a 7.534 di 20.279
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