Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 
Angelo Troina
Personal Home Page      Type-Hierarchical Overview
 
Chronological Overview 

2015
Giannini, Merelli and Troina"Interactions between Computer Science and Biology"
Article.

2014
Aldinucci, Calcagno, Coppo, Damiani, Drocco, Sciacca, Spinella, Torquati and Troina"On designing multicore-aware simulators for systems biology endowed with on-line statistics"
Article.

2013
Bioglio, Dezani-Ciancaglini, Giannini and Troina"Type Directed Semantics for the Calculus of Looping Sequences"
Article.

2012
Aldinucci, Coppo, Damiani, Drocco, Sciacca, Spinella, Torquati and Troina"On Parallelizing On-Line Statistics for Stochastic Biological Simulations"
In proceedings.
Bioglio, Dezani-Ciancaglini, Giannini and Troina"A Calculus of Looping Sequences with Local Rules"
In proceedings.
Bioglio, Dezani-Ciancaglini, Giannini and Troina"Typed Stochastic Semantics for the Calculus of Looping Sequences"
Article.
Ciobanu and Troina"Rate-Based Stochastic Fusion Calculus and Continuous Time Markov Chains"
In proceedings.
Compagnoni, Dezani-Ciancaglini, Giannini, Sauer, Sharma and Troina"Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions"
In proceedings.
Coppo, Damiani, Drocco, Grassi, Sciacca, Spinella and Troina"Simulation techniques for the calculus of wrapped compartments"
Article.
Ramón and Troina"Modelling Ecological Systems with the Calculus of Wrapped Compartments"
In proceedings.

2011
Aldinucci, Coppo, Damiani, Drocco, Torquati and Troina"On Designing Multicore-Aware Simulators for Biological Systems"
In proceedings.
Aldinucci, Coppo, Damiani, Drocco, Sciacca, Spinella, Torquati and Troina"On Parallelizing On-Line Statistics for Stochastic Biological Simulations"
In proceedings.
Bioglio, Calcagno, Coppo, Damiani, Sciacca, Spinella and Troina"A Spatial Calculus of Wrapped Compartments"
In proceedings.
Calcagno, Coppo, Damiani, Drocco, Sciacca, Spinella and Troina"Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments"
In proceedings.

2010
Aldinucci, Coppo, Damiani, Drocco, Torquati and Troina"On Designing Multicore-Aware Simulators for Biological Systems"
Technical report.
Barbuti, Dezani-Ciancaglini, Maggiolo-Schettini, Milazzo and Troina"A Formalism for the Description of Protein Interaction"
Article.
Capecchi and Troina"Types for BioAmbients"
In proceedings.
Coppo, Damiani, Drocco, Grassi, Sciacca, Spinella and Troina"Hybrid Calculus of Wrapped Compartments"
In proceedings.
Coppo, Damiani, Drocco, Grassi and Troina"Stochastic Calculus of Wrapped Compartment"
In proceedings: Workshop QAPL (affiliated with ETAPS 2010).
Lanotte, Maggiolo-Schettini and Troina"Reachability results for timed automata with unbounded data structures"
Article.
Lanotte, Maggiolo-Schettini and Troina"Time and Probability based Information Flow Analysis"
Article.
Lanotte, Maggiolo-Schettini and Troina"Weak Bisimulation for Probabilistic Timed Automata"
Article.
Sproston and Troina"Simulation and Bisimulation for Probabilistic Timed Automata"
In proceedings.

2009
Aman, Dezani-Ciancaglini and Troina"Type Disciplines for Analysing Biologically Relevant Properties"
In proceedings.
Barbuti, Maggiolo-Schettini, Milazzo and Troina"A Methodology for the Stochastic Modelling and Simulation of Sympatric Speciation by Sexual Selection"
Article.
Coppo, Damiani, Grassi, Guether and Troina"Modelling an Ammonium Transporter with SCLS"
In proceedings: Workshop CompMod 2009 (affiliated with FM 2009), EPTCS (http://published.eptcs.org/).
Dezani-Ciancaglini, Giannini and Troina"A Type System for Required/Excluded Elements in CLS"
In proceedings.
Dezani-Ciancaglini, Giannini and Troina"A Type System for a Stochastic CLS"
In proceedings.

2008
Barbuti, Maggiolo-Schettini, Milazzo and Troina"Bisimulations in Calculi Modelling Membranes"
Article.
Barbuti, Maggiolo-Schettini, Milazzo, Tiberi and Troina"Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways"
Article.
Krivine, Milner and Troina"Stochastic Bigraphs"
In proceedings.
Lanotte, Maggiolo-Schettini, Milazzo and Troina"Design and Verification of Long-Running Transactions in a Timed Framework"
Article.

2007
Barbuti, Maggiolo-Schettini, Milazzo and Troina"The Calculus of Looping Sequences for Modeling Biological Membranes"
In proceedings.
Goubault-Larrecq, Palamidessi and Troina"A Probabilistic Applied Pi-Calculus"
In proceedings.
Lanotte, Maggiolo-Schettini and Troina"Parametric Probabilistic Transition Systems for System Design and Analysis"
Article.

2006
Barbuti, Maggiolo-Schettini, Milazzo and Troina"Bisimulation Congruences in the Calculus of Looping Sequences"
In proceedings.
Lanotte, Maggiolo-Schettini, Milazzo and Troina"Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata"
In proceedings.
Troina"Probabilistic Timed Automata for Security Analysis and Design"
PhD thesis.

2005
Barbuti, Maggiolo-Schettini, Milazzo and Troina"A Calculus of Looping Sequences for Modelling Microbiological Systems"
Article.
Barbuti, Maggiolo-Schettini, Milazzo and Troina"A Calculus of Looping Sequences for Modelling Microbiological Systems"
In proceedings.
Barbuti, Cataudella, Maggiolo-Schettini, Milazzo and Troina"A Probabilistic Model for Molecular Systems"
Article.
Barbuti, Maggiolo-Schettini, Milazzo and Troina"An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions"
In proceedings.
Lanotte, Maggiolo-Schettini and Troina"A Classification of Time and/or Probability Dependent Security Properties"
In proceedings.
Lanotte, Maggiolo-Schettini and Troina"Timed Automata with Data Structures for Distributed Systems Design and Analysis"
In proceedings.
Troina, Aldini and Gorrieri"Towards a Formal Treatment of Secrecy against Computational Adversaries"
In proceedings.

2004
Barbuti, Cataudella, Maggiolo-Schettini, Milazzo and Troina"A Probabilistic Calculus for Molecular Systems"
In proceedings.
Lanotte, Maggiolo-Schettini, Tini, Troina and Tronci"Automatic Covert Channel Analysis of a Multilevel Secure Component"
In proceedings.
Lanotte, Maggiolo-Schettini, Tini and Troina"Verification of Hybrid Automata by Synthesis and Refinement"
In proceedings.
Lanotte, Maggiolo-Schettini and Troina"Weak Bisimulation for Probabilistic Timed Automata and Applications to Security"
In proceedings.
Lanotte, Maggiolo-Schettini and Troina"Weak Bisimulation for Probabilistic Timed Automata and Applications to Security"
In proceedings.

2003
Lanotte, Maggiolo-Schettini, Tini, Troina and Tronci"Automatic Analysis of the NRL Pum"
In proceedings.
Lanotte, Maggiolo-Schettini and Troina"Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security"
In proceedings.
Lanotte, Maggiolo-Schettini and Troina"Weak Bisimulation for Probabilistic Timed Automata and Applications to Security"
In proceedings.
Troina, Aldini and Gorrieri"A Probabilistic Formulation of Imperfect Cryptography"
In proceedings.
Troina, Aldini and Gorrieri"Approximating Imperfect Cryptography in a Formal Model"
In proceedings.

2002
Troina"Un Approccio Algebrico Probabilistico all'Analisi di Proprietà di Sicurezza di Sistemi Crittografici"
Master's thesis.
 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!