|
Search the dblp DataBase
Alessandro Aldini:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Alessandro Aldini
Probabilistic Information Flow in a Process Algebra. [Citation Graph (0, 0)][DBLP] CONCUR, 2001, pp:152-168 [Conf]
- Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances. [Citation Graph (0, 0)][DBLP] DSN, 2004, pp:731-0 [Conf]
- Alessandro Aldini, Marco Bernardo
A General Approach to Deadlock Freedom Verification for Software Architectures. [Citation Graph (0, 0)][DBLP] FME, 2003, pp:658-677 [Conf]
- Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
Two Formal Approaches for Approximating Noninterference Properties. [Citation Graph (0, 0)][DBLP] FOSAD, 2002, pp:1-43 [Conf]
- Angelo Troina, Alessandro Aldini, Roberto Gorrieri
Towards a Formal Treatment of Secrecy Against Computational Adversaries. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:77-92 [Conf]
- Alessandro Aldini, Roberto Gorrieri
A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism. [Citation Graph (0, 0)][DBLP] Global Computing, 2003, pp:203-228 [Conf]
- Alessandro Aldini, Mario Bravetti
An Asynchronous Calculus for Generative-Reactive Probalistic Systems. [Citation Graph (0, 0)][DBLP] ICALP Satellite Workshops, 2000, pp:591-606 [Conf]
- Alessandro Aldini, Roberto Gorrieri
Security Analysis of a Probabilistic Non-repudiation Protocol. [Citation Graph (0, 0)][DBLP] PAPM-PROBMIV, 2002, pp:17-36 [Conf]
- Mario Bravetti, Alessandro Aldini
Expressing Processes with Different Action Durations through Probabilities. [Citation Graph (0, 0)][DBLP] PAPM-PROBMIV, 2001, pp:168-183 [Conf]
- Alessandro Aldini, Marco Bernardo
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. [Citation Graph (0, 0)][DBLP] QEST, 2004, pp:336-337 [Conf]
- Alessandro Aldini, Marco Bernardo
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. [Citation Graph (0, 0)][DBLP] SAFECOMP, 2004, pp:283-296 [Conf]
- Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management. [Citation Graph (0, 0)][DBLP] SFM, 2005, pp:155-189 [Conf]
- Alessandro Aldini
Coordination Model and Noninterference. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:85, n:3, pp:- [Journal]
- Alessandro Aldini, Alessandra Di Pierro
A Quantitative Approach to Noninterference for Probabilistic Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:155-182 [Journal]
- Alessandro Aldini, Alessandra Di Pierro
On Quantitative Analysis of Probabilistic Protocols. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:131-148 [Journal]
- Mario Bravetti, Alessandro Aldini
Non-determinism in Probabilistic Timed Systems with General Distributions. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:52, n:3, pp:- [Journal]
- Angelo Troina, Alessandro Aldini, Roberto Gorrieri
Approximating Imperfect Cryptography in a Formal Model. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:183-203 [Journal]
- Alessandro Aldini, Marco Bernardo
Component-Oriented Specification of Performance Measures. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:27-43 [Journal]
- Alessandro Aldini, Mario Bravetti, Roberto Gorrieri
A process-algebraic approach for the analysis of probabilistic noninterference. [Citation Graph (0, 0)][DBLP] Journal of Computer Security, 2004, v:12, n:2, pp:191-245 [Journal]
- Alessandro Aldini
Classification of security properties in a Linda-like process algebra. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2006, v:63, n:1, pp:16-38 [Journal]
- Alessandro Aldini, Marco Bernardo
On the usability of process algebra: An architectural view. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:335, n:2-3, pp:281-329 [Journal]
- Mario Bravetti, Alessandro Aldini
Discrete time generative-reactive probabilistic processes with different advancing speeds. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:290, n:1, pp:355-406 [Journal]
- Alessandro Aldini, Marco Bernardo, Roberto Gorrieri, Marco Roccetti
Comparing the QoS of Internet audio mechanisms via formal methods. [Citation Graph (0, 0)][DBLP] ACM Trans. Model. Comput. Simul., 2001, v:11, n:1, pp:1-42 [Journal]
- Alessandro Aldini, Franck van Breugel
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:1-2 [Journal]
- Alessandro Aldini, Marco Bernardo
Mixing logics and rewards for the component-oriented specification of performance measures. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2007, v:382, n:1, pp:3-23 [Journal]
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. [Citation Graph (, )][DBLP]
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions. [Citation Graph (, )][DBLP]
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. [Citation Graph (, )][DBLP]
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.304secs
|