BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
C.Basile C.Pitscheider M.Vallini S.Zhao D.Canavese L.Benini G.D.Micheli E.Macii G.Odasso M.Poncino
Talks about:
polici (2) reconcili (1) sequenti (1) reachabl (1) independ (1) network (1) analysi (1) toward (1) specif (1) kernel (1)

Person: Antonio Lioy

DBLP DBLP: Lioy:Antonio

Contributed to:

PDP 20152015
PDP 20132013
PDP 20102010
DAC 19981998

Wrote 4 papers:

PDP-2015-BasileLPZ #formal method #policy
A Formal Model of Policy Reconciliation (CB, AL, CP, SZ), pp. 587–594.
PDP-2013-BasileCLP #analysis #reachability #security
Improved Reachability Analysis for Security Management (CB, DC, AL, CP), pp. 534–541.
PDP-2010-BasileLV #independence #policy #specification #towards
Towards a Network-Independent Policy Specification (CB, AL, MV), pp. 649–653.
DAC-1998-BeniniMLMOP #kernel #optimisation
Computational Kernels and their Application to Sequential Power Optimization (LB, GDM, AL, EM, GO, MP), pp. 764–769.

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.