IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 61 a 80 di 114
Titolo Data di pubblicazione Autore(i) File
Performability Measure Specification: Combining CSRL and MSL 1-gen-2011 Aldini, Alessandro; Bernardo, Marco; Sproston, Jeremy
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures 1-gen-2011 Aldini, Alessandro; Gorrieri, R.
Component-Oriented Verification of Noninterference 1-gen-2011 Aldini, Alessandro; Bernardo, Marco
A Process Algebraic Approach to Software Architecture Design 1-gen-2010 Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio
Formal Methods for Quantitative Aspects of Programming Languages (SFM 2010) 1-gen-2010 Aldini, Alessandro; Bernardo, Marco; Di Pierro, Alessandra; Wiklicky, Herbert
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior 1-gen-2010 Aldini, Alessandro
European Performance Engineering Workshop (EPEW 2010) 1-gen-2010 Aldini, Alessandro; Bernardo, Marco; Bononi, Luciano; Cortellessa, Vittorio
Handling Communications in Process Algebraic Architectural Description Languages: Modeling, Verification, and Implementation 1-gen-2010 Bernardo, Marco; Bontà, Edoardo; Aldini, Alessandro
Foundations of Security Analysis and Design V 1-gen-2009 Aldini, Alessandro; Barthe, G; Gorrieri, R.
Proceedings of the 3rd International Workshop on Views on Designing Complex Architectures (VODCA2008) 1-gen-2009 Aldini, Alessandro; TER BEEK, M; Gadducci, F.
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference 1-gen-2009 Aldini, Alessandro; Bernardo, Marco
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems 1-gen-2009 Aldini, Alessandro; Bernardo, Marco
Estimating the Maximum Information Leakage 1-gen-2008 Aldini, Alessandro; DI PIERRO, A.
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages(QAPL 2008), Budapest, Hungary 1-gen-2008 Aldini, Alessandro; Baier, C.
Foundations of Security Analysis and Design IV 1-gen-2007 Aldini, Alessandro; Gorrieri, R.
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages(QAPL 2007), Braga, Portugal 1-gen-2007 Aldini, Alessandro; VAN BREUGEL, F.
A Formal Approach to the Integrated Analysis of Security and QoS 1-gen-2007 Aldini, Alessandro; Bernardo, Marco
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions 1-gen-2007 Bernardo, Marco; Aldini, Alessandro
Mixing Logics and Rewards for the Component-Oriented Specification of Performance Measures 1-gen-2007 Aldini, Alessandro; Bernardo, Marco
Classification of Security Properties in a Linda-like Process Algebra 1-gen-2006 Aldini, Alessandro
Mostrati risultati da 61 a 80 di 114
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