| 2007 |
|---|
| 17 | EE | Jean Goubault-Larrecq,
Catuscia Palamidessi,
Angelo Troina:
A Probabilistic Applied Pi-Calculus.
APLAS 2007: 175-190 |
| 16 | EE | Roberto Barbuti,
Andrea Maggiolo-Schettini,
Paolo Milazzo,
Angelo Troina:
The Calculus of Looping Sequences for Modeling Biological Membranes.
Workshop on Membrane Computing 2007: 54-76 |
| 15 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Angelo Troina:
Parametric probabilistic transition systems for system design and analysis.
Formal Asp. Comput. 19(1): 93-109 (2007) |
| 2006 |
|---|
| 14 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Paolo Milazzo,
Angelo Troina:
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata.
FMOODS 2006: 108-122 |
| 13 | EE | Roberto Barbuti,
Andrea Maggiolo-Schettini,
Paolo Milazzo,
Angelo Troina:
Bisimulation Congruences in the Calculus of Looping Sequences.
ICTAC 2006: 93-107 |
| 12 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Angelo Troina:
A Classification of Time and/or Probability Dependent Security Properties.
Electr. Notes Theor. Comput. Sci. 153(2): 177-193 (2006) |
| 11 | EE | Roberto Barbuti,
Andrea Maggiolo-Schettini,
Paolo Milazzo,
Angelo Troina:
A Calculus of Looping Sequences for Modelling Microbiological Systems.
Fundam. Inform. 72(1-3): 21-35 (2006) |
| 2005 |
|---|
| 10 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Angelo Troina:
Timed Automata with Data Structures for Distributed Systems Design and Analysis.
SEFM 2005: 44-53 |
| 9 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Angelo Troina:
Automatic Analysis of a Non-Repudiation Protocol.
Electr. Notes Theor. Comput. Sci. 112: 113-129 (2005) |
| 8 | EE | Roberto Barbuti,
Stefano Cataudella,
Andrea Maggiolo-Schettini,
Paolo Milazzo,
Angelo Troina:
A Probabilistic Model for Molecular Systems.
Fundam. Inform. 67(1-3): 13-27 (2005) |
| 2004 |
|---|
| 7 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Angelo Troina:
Information Flow Analysis for Probabilistic Timed Automata.
Formal Aspects in Security and Trust 2004: 13-26 |
| 6 | EE | Angelo Troina,
Alessandro Aldini,
Roberto Gorrieri:
Towards a Formal Treatment of Secrecy Against Computational Adversaries.
Global Computing 2004: 77-92 |
| 5 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Simone Tini,
Angelo Troina,
Enrico Tronci:
Automatic Covert Channel Analysis of a Multilevel Secure Component.
ICICS 2004: 249-261 |
| 4 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Angelo Troina:
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security.
SEFM 2004: 114-121 |
| 3 | EE | Angelo Troina,
Alessandro Aldini,
Roberto Gorrieri:
Approximating Imperfect Cryptography in a Formal Model.
Electr. Notes Theor. Comput. Sci. 99: 183-203 (2004) |
| 2 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Simone Tini,
Angelo Troina,
Enrico Tronci:
Automatic Analysis of the NRL Pump.
Electr. Notes Theor. Comput. Sci. 99: 245-266 (2004) |
| 2003 |
|---|
| 1 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Angelo Troina:
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security.
SEFM 2003: 34-43 |
