Travelled to:1 × Australia
1 × China
1 × Germany
1 × United Kingdom
Collaborated with:A.Maggiolo-Schettini A.Troina S.Tini
Talks about:probabilist (3) secur (3) time (3) automata (2) analysi (2) system (2) applic (2) semistochast (1) distribut (1) congruenc (1)
Person: Ruggero Lanotte
DBLP: Lanotte:Ruggero
Contributed to:
2005
2006
2005200520042003Wrote 6 papers:
- FoSSaCS-2005-LanotteT #congruence #generative #probability #process
- Probabilistic Congruence for Semistochastic Generative Processes (RL, ST), pp. 63–78.
- 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.