| 2009 |
|---|
| 21 | EE | Bogdan Aman,
Mariangiola Dezani-Ciancaglini,
Angelo Troina:
Type Disciplines for Analysing Biologically Relevant Properties.
Electr. Notes Theor. Comput. Sci. 227: 97-111 (2009) |
| 2008 |
|---|
| 20 | EE | Jean Krivine,
Robin Milner,
Angelo Troina:
Stochastic Bigraphs.
Electr. Notes Theor. Comput. Sci. 218: 73-96 (2008) |
| 19 | EE | Roberto Barbuti,
Andrea Maggiolo-Schettini,
Paolo Milazzo,
Angelo Troina:
Bisimulations in calculi modelling membranes.
Formal Asp. Comput. 20(4-5): 351-377 (2008) |
| 18 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Paolo Milazzo,
Angelo Troina:
Design and verification of long-running transactions in a timed framework.
Sci. Comput. Program. 73(2-3): 76-94 (2008) |
| 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 |
