Sfoglia per Autore
Measuring the Confinement of Probabilistic Systems
2005-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
Quantitative Static Analysis of Distributed Systems
2005-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
Noninterference and the Most Powerful Probabilistic Adversary
2006-01-01 A., Aldini; DI PIERRO, Alessandra
Operator Algebras and the Operational Semantics of Probabilistic Languages
2006-01-01 Di Pierro, Alessandra; Wiklicky, Herbert
Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
2006-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
Reversible Combinatory Logic
2006-01-01 DI PIERRO, Alessandra; Hankin, C.; Wiklicky, H.
On Probabilistic Techniques for Data Flow Analysis
2007-01-01 Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
Abstract Interpretation for Worst and Average Case Analysis
2007-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
Tempus Fugit: How to plug it
2007-01-01 DI PIERRO, Alessandra; C., Hankin; I., Siveroni; H., Wiklicky
Relational analysis and precision via probabilistic abstract interpretation
2008-01-01 DI PIERRO, Alessandra; Sotin, P.; Wiklicky, H.
Quantifying Timing Leaks and Cost Optimisation
2008-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
A systematic approach to probabilistic pointer analysis
2008-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
Estimating the Maximum Information Leakage
2008-01-01 A., Aldini; DI PIERRO, Alessandra
Semantic Abstraction and Quantum Computation
2008-01-01 Di Pierro, Alessandra; Wiklicky, Herbert
Program Analysis Probably Counts
2010-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
Probabilistic Semantics and Program Analysis
2010-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
Probabilistic Timing Covert Channels: To Close or not to Close?
2011-01-01 DI PIERRO, Alessandra; Hankin, C.; Wiklicky, H.
Approximation and relative entropy
2012-01-01 DI PIERRO, Alessandra
Probabilistic data flow analysis: a linear equational approach
2013-01-01 DI PIERRO, Alessandra; H., Wiklicky
Computer Quantistici
2013-01-01 DI PIERRO, Alessandra; Oliver, Morsch
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Measuring the Confinement of Probabilistic Systems | 1-gen-2005 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky | |
Quantitative Static Analysis of Distributed Systems | 1-gen-2005 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky | |
Noninterference and the Most Powerful Probabilistic Adversary | 1-gen-2006 | A., Aldini; DI PIERRO, Alessandra | |
Operator Algebras and the Operational Semantics of Probabilistic Languages | 1-gen-2006 | Di Pierro, Alessandra; Wiklicky, Herbert | |
Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages | 1-gen-2006 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky | |
Reversible Combinatory Logic | 1-gen-2006 | DI PIERRO, Alessandra; Hankin, C.; Wiklicky, H. | |
On Probabilistic Techniques for Data Flow Analysis | 1-gen-2007 | Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert | |
Abstract Interpretation for Worst and Average Case Analysis | 1-gen-2007 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky | |
Tempus Fugit: How to plug it | 1-gen-2007 | DI PIERRO, Alessandra; C., Hankin; I., Siveroni; H., Wiklicky | |
Relational analysis and precision via probabilistic abstract interpretation | 1-gen-2008 | DI PIERRO, Alessandra; Sotin, P.; Wiklicky, H. | |
Quantifying Timing Leaks and Cost Optimisation | 1-gen-2008 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky | |
A systematic approach to probabilistic pointer analysis | 1-gen-2008 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky | |
Estimating the Maximum Information Leakage | 1-gen-2008 | A., Aldini; DI PIERRO, Alessandra | |
Semantic Abstraction and Quantum Computation | 1-gen-2008 | Di Pierro, Alessandra; Wiklicky, Herbert | |
Program Analysis Probably Counts | 1-gen-2010 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky | |
Probabilistic Semantics and Program Analysis | 1-gen-2010 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky | |
Probabilistic Timing Covert Channels: To Close or not to Close? | 1-gen-2011 | DI PIERRO, Alessandra; Hankin, C.; Wiklicky, H. | |
Approximation and relative entropy | 1-gen-2012 | DI PIERRO, Alessandra | |
Probabilistic data flow analysis: a linear equational approach | 1-gen-2013 | DI PIERRO, Alessandra; H., Wiklicky | |
Computer Quantistici | 1-gen-2013 | DI PIERRO, Alessandra; Oliver, Morsch |
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