Travelled to:1 × Australia
1 × China
1 × Cyprus
1 × Germany
Collaborated with:R.Lanotte A.Maggiolo-Schettini M.Coppo F.Damiani M.Drocco E.Grassi M.Aldinucci M.Torquati
Talks about:system (3) secur (3) time (3) probabilist (2) automata (2) analysi (2) design (2) applic (2) distribut (1) structur (1)
Person: Angelo Troina
DBLP: Troina:Angelo
Contributed to:
2011
20102006
2005200520042003Wrote 7 papers:
- PDP-2011-AldinucciCDDTT #biology #design #multi #on the
- On Designing Multicore-Aware Simulators for Biological Systems (MA, MC, FD, MD, MT, AT), pp. 318–325.
- QAPL-2010-CoppoDDGT #calculus #probability
- Stochastic Calculus of Wrapped Compartments (MC, FD, MD, EG, AT), pp. 82–98.
- QAPL-2005-LanotteMT06 #classification #probability #security
- A Classification of Time and/or Probability Dependent Security Properties (RL, AMS, AT), pp. 177–193.
- SEFM-2005-LanotteMT #analysis #automaton #data type #design #distributed
- Timed Automata with Data Structures for Distributed Systems Design and Analysis (RL, AMS, AT), pp. 44–53.
- QAPL-2004-LanotteMT05 #analysis #automation #protocol
- Automatic Analysis of a Non-Repudiation Protocol (RL, AMS, AT), pp. 113–129.
- SEFM-2004-LanotteMT #decidability #parametricity #probability #security
- Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security (RL, AMS, AT), pp. 114–121.
- SEFM-2003-LanotteMT #automaton #bisimulation #probability #security
- Weak Bisimulation for Probabilistic Timed Automata and Applications to Security (RL, AMS, AT), pp. 34–43.