Travelled to:1 × Australia
1 × China
1 × Italy
2 × USA
3 × Germany
Collaborated with:R.Lanotte A.Troina J.Winkowski A.Peron B.K.Rosen H.R.Strong R.Barbuti G.Caravagna P.Milazzo G.Pardini
Talks about:structur (3) secur (3) time (3) probabilist (2) automata (2) analysi (2) system (2) applic (2) statechart (1) framework (1)
Person: Andrea Maggiolo-Schettini
DBLP: Maggiolo-Schettini:Andrea
Facilitated 1 volumes:
EdContributed to:
2008
20062005200520042003
199419901978
1973Wrote 10 papers:
- SFM-2008-BarbutiCMMP #calculus #sequence
- The Calculus of Looping Sequences (RB, GC, AMS, PM, GP), pp. 387–423.
- 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.
- TAGT-1994-Maggiolo-SchettiniP #framework #graph grammar #semantics
- A Graph Rewriting Framework for Statecharts Semantics (AMS, AP), pp. 107–121.
- GG-1990-Maggiolo-SchettiniW #relational
- Programmed Derivations of Relational Structures (AMS, JW), pp. 582–598.
- GG-1978-Maggiolo-SchettiniW #process
- Processes in Structures (AMS, JW), pp. 317–330.
- POPL-1973-Maggiolo-SchettiniRS #optimisation
- Procedure Linkage Optimization (AMS, BKR, HRS), pp. 183–193.