|
Search the dblp DataBase
Angelo Troina:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
A Probabilistic Applied Pi-Calculus. [Citation Graph (, )][DBLP]
The Calculus of Looping Sequences for Modeling Biological Membranes. [Citation Graph (, )][DBLP]
A Type System for Required/Excluded Elements in CLS [Citation Graph (, )][DBLP]
A Type System for a Stochastic CLS [Citation Graph (, )][DBLP]
Types for BioAmbients [Citation Graph (, )][DBLP]
Stochastic Calculus of Wrapped Compartments [Citation Graph (, )][DBLP]
Stochastic Bigraphs. [Citation Graph (, )][DBLP]
Type Disciplines for Analysing Biologically Relevant Properties. [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|