The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Angelo Troina: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
    Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:108-122 [Conf]
  2. 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]
  3. Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
    Automatic Covert Channel Analysis of a Multilevel Secure Component. [Citation Graph (0, 0)][DBLP]
    ICICS, 2004, pp:249-261 [Conf]
  4. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
    Bisimulation Congruences in the Calculus of Looping Sequences. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:93-107 [Conf]
  5. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
    Information Flow Analysis for Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2004, pp:13-26 [Conf]
  6. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
    Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:34-43 [Conf]
  7. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
    Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:114-121 [Conf]
  8. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
    Timed Automata with Data Structures for Distributed Systems Design and Analysis. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:44-53 [Conf]
  9. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
    Automatic Analysis of a Non-Repudiation Protocol. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:113-129 [Journal]
  10. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
    A Classification of Time and/or Probability Dependent Security Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:177-193 [Journal]
  11. Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
    Automatic Analysis of the NRL Pump. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:245-266 [Journal]
  12. 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]
  13. Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
    A Probabilistic Model for Molecular Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:13-27 [Journal]
  14. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
    A Calculus of Looping Sequences for Modelling Microbiological Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:21-35 [Journal]
  15. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
    Parametric probabilistic transition systems for system design and analysis. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2007, v:19, n:1, pp:93-109 [Journal]

  16. A Probabilistic Applied Pi-Calculus. [Citation Graph (, )][DBLP]


  17. The Calculus of Looping Sequences for Modeling Biological Membranes. [Citation Graph (, )][DBLP]


  18. A Type System for Required/Excluded Elements in CLS [Citation Graph (, )][DBLP]


  19. A Type System for a Stochastic CLS [Citation Graph (, )][DBLP]


  20. Types for BioAmbients [Citation Graph (, )][DBLP]


  21. Stochastic Calculus of Wrapped Compartments [Citation Graph (, )][DBLP]


  22. Stochastic Bigraphs. [Citation Graph (, )][DBLP]


  23. Type Disciplines for Analysing Biologically Relevant Properties. [Citation Graph (, )][DBLP]


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


Search in 0.111secs, Finished in 0.111secs
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