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 × 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 DBLP: Bernardeschi:Cinzia

Contributed to:

SAC 20022002
SEKE 20022002
VMCAI 20022002
SEKE 19951995

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

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.