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: Piazza:Carla
Contributed to:
2015
2008
2007
20052004
2004
20032003
2003200220022002200119991998Wrote 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.