BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Troina:Angelo

Contributed to:

PDP 20112011
QAPL 20102010
QAPL 20052006
SEFM 20052005
QAPL 20042005
SEFM 20042004
SEFM 20032003

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.