The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alessandro Aldini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alessandro Aldini
    Probabilistic Information Flow in a Process Algebra. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:152-168 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. Alessandro Aldini, Roberto Gorrieri
    Security Analysis of a Probabilistic Non-repudiation Protocol. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:17-36 [Conf]
  9. Mario Bravetti, Alessandro Aldini
    Expressing Processes with Different Action Durations through Probabilities. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:168-183 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. Alessandro Aldini
    Coordination Model and Noninterference. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:85, n:3, pp:- [Journal]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]

  26. Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. [Citation Graph (, )][DBLP]


  27. Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions. [Citation Graph (, )][DBLP]


  28. A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. [Citation Graph (, )][DBLP]


  29. Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior [Citation Graph (, )][DBLP]


  30. Preface. [Citation Graph (, )][DBLP]


  31. Preface. [Citation Graph (, )][DBLP]


Search in 0.036secs, Finished in 0.039secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002