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 × Denmark
1 × Norway
1 × Poland
2 × France
2 × Spain
2 × USA
2 × United Kingdom
3 × Italy
Collaborated with:
S.Rossi R.Focardi A.Bossi A.Policriti A.Dovier E.Pontelli G.Rossi C.Braghin A.Cortesi F.L.Luccio T.Dang T.Dreossi E.Pivato R.Gentilini M.Antoniotti V.Mysore F.Winkler B.Mishra S.Filippone
Talks about:
secur (7) bisimul (3) system (3) inform (3) flow (3) algorithm (2) languag (2) ambient (2) algebra (2) unwind (2)

Person: Carla Piazza

DBLP DBLP: Piazza:Carla

Contributed to:

FM 20152015
ICLP 20082008
LOPSTR 20072007
CAV 20052005
LOPSTR 20042004
TACAS 20042004
SEFM 20032003
TACAS 20032003
VMCAI 20032003
LOPSTR 20022002
TACAS 20022002
VMCAI 20022002
CAV 20012001
ICLP 19991999
JICSLP 19981998

Wrote 16 papers:

FM-2015-DangDP #logic #parametricity #specification #synthesis
Parameter Synthesis Through Temporal Logic Specifications (TD, TD, CP), pp. 213–230.
ICLP-2008-PiazzaP #biology #logic #modelling
Systems Biology: Models and Logics (CP, AP), p. 14.
LOPSTR-2007-BossiPR #algebra #process #refinement #security
Action Refinement in Process Algebra and Security Issues (AB, CP, SR), pp. 201–217.
CAV-2005-PiazzaAMPWM #algebra #algorithm #biology #challenge #model checking
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology (CP, MA, VM, AP, FW, BM), pp. 5–19.
LOPSTR-2004-BossiPR #imperative #security
Unwinding Conditions for Security in Imperative Languages (AB, CP, SR), pp. 85–100.
TACAS-2004-PiazzaPR #named #persistent #security
CoPS — Checker of Persistent Security (CP, EP, SR), pp. 144–152.
SEFM-2003-BossiFPR #data flow #refinement #security
Refinement Operators and Information Flow Security (AB, RF, CP, SR), pp. 44–53.
TACAS-2003-BraghinCFFLP #analysis #bound #named
BANANA — A Tool for Boundary Ambients Nesting ANAlysis (CB, AC, SF, RF, FLL, CP), pp. 437–441.
VMCAI-2003-BossiFPR #bisimulation #security #verification
Bisimulation and Unwinding for Verifying Possibilistic Security Properties (AB, RF, CP, SR), pp. 223–237.
VMCAI-2003-BraghinCFLP #analysis #complexity #mobile
Complexity of Nesting Analysis in Mobile Ambients (CB, AC, RF, FLL, CP), pp. 86–101.
LOPSTR-2002-BossiFPR #data flow #proving #security
A Proof System for Information Flow Security (AB, RF, CP, SR), pp. 199–218.
TACAS-2002-GentiliniPP #problem #simulation
Simulation as Coarsest Partition Problem (RG, CP, AP), pp. 415–430.
VMCAI-2002-FocardiPR #bisimulation #data flow #proving #security
Proofs Methods for Bisimulation Based Information Flow Security (RF, CP, SR), pp. 16–31.
CAV-2001-DovierPP #algorithm #bisimulation #performance
A Fast Bisimulation Algorithm (AD, CP, AP), pp. 79–90.
ICLP-1999-DovierPPR #constraints
ACI1 Constraints (AD, CP, EP, GR), pp. 573–587.
JICSLP-1998-DovierPRP #finite #on the #representation #set
On the Representation and Management of Finite Sets in CLP Languages (AD, CP, GR, EP), pp. 40–54.

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.