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 × 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 DBLP: Maggiolo-Schettini:Andrea

Facilitated 1 volumes:

SEFM 2010Ed

Contributed to:

SFM 20082008
QAPL 20052006
SEFM 20052005
QAPL 20042005
SEFM 20042004
SEFM 20032003
TAGT 19941994
GG 19901990
GG 19781978
POPL 19731973

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

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.