Travelled to:1 × Spain
1 × USA
2 × Italy
Collaborated with:N.D.Francesco R.Barbuti A.Fantechi F.Paternò L.Tesei
Talks about:bytecod (3) java (3) interpret (2) abstract (2) secur (2) check (2) architectur (1) transform (1) properti (1) interfac (1)
Person: Cinzia Bernardeschi
DBLP: Bernardeschi:Cinzia
Contributed to:
2002
2002
20021995Wrote 4 papers:
- SAC-2002-BarbutiBF #abstract interpretation #bytecode #java #security
- Checking security of Java bytecode by abstract interpretation (RB, CB, NDF), pp. 229–236.
- SEKE-2002-BarbutiTBF #bytecode #java #verification
- Fixing the Java bytecode verifier by a suitable type domain (RB, LT, CB, NDF), pp. 377–382.
- VMCAI-2002-BernardeschiF #abstract interpretation #bytecode #java #model checking #security
- Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode (CB, NDF), pp. 1–15.
- SEKE-1995-BernardeschiFP #architecture #correctness #interactive #specification #user interface
- Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications (CB, AF, FP), pp. 234–243.