@misc(bibliographystylewebpage1,
 title        = "Common Criteria",
 url          = "http://www.commmoncriteria.org/",
)
@inproceedings(DBLP:conf/oopsla/BachrachP01,
 author       = "Jonathan Bachrach and Keith Playford",
 year         = "2001",
 title        = "The Java Syntactic Extender",
 booktitle    = "OOPSLA",
 pages        = "31--42",
 doi          = "10.1145/504311.504285",
)
@article(Binder:2005:JBT:1705549.1706046,
 author       = "Walter Binder and Jarle Hulaas",
 year         = "2005",
 title        = "Java Bytecode Transformations for Efficient, Portable CPU Accounting",
 journal      = "Electron. Notes Theor. Comput. Sci.",
 volume       = "141",
 number       = "1",
 pages        = "53--73",
 doi          = "10.1016/j.entcs.2005.02.037",
)
@inproceedings(DBLP:conf/fase/BurdyHP07,
 author       = "Lilian Burdy and Marieke Huisman and Mariela Pavlova",
 year         = "2007",
 title        = "Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode",
 booktitle    = "FASE",
 pages        = "215--229",
 url          = "http://dx.doi.org/10.1007/978-3-540-71289-3_18",
)
@inproceedings(DBLP:conf/sac/BurdyP06,
 author       = "Lilian Burdy and Mariela Pavlova",
 year         = "2006",
 title        = "Java bytecode specification and verification",
 booktitle    = "SAC",
 pages        = "1835--1839",
 doi          = "10.1145/1141277.1141708",
)
@inproceedings(DBLP:conf/jit/Dahm99,
 author       = "Markus Dahm",
 year         = "1999",
 title        = "Byte Code Engineering",
 booktitle    = "Java-Informations-Tage",
 pages        = "267--277",
)
@article(Denker:2006:RBT:1646593.1646614,
 author       = "Marcus Denker and St{\'e}phane Ducasse and \'{\i }ric Tanter",
 year         = "2006",
 title        = "Runtime bytecode transformation for Smalltalk",
 journal      = "Comput. Lang. Syst. Struct.",
 volume       = "32",
 number       = "2-3",
 pages        = "125--139",
 doi          = "10.1016/j.cl.2005.10.002",
)
@inbook(Dijkstra:1972:CIN:1243380.1243381,
 author       = "Edsger W. Dijkstra",
 year         = "1972",
 title        = "Structured programming",
 chapter      = "Notes on structured programming",
 pages        = "1--82",
 publisher    = "Academic Press Ltd.",
 address      = "London, UK",
 url          = "http://dl.acm.org/citation.cfm?id=1243380.1243381",
)
@article(Freund:1999:TSO:330643.330646,
 author       = "Stephen N. Freund and John C. Mitchell",
 year         = "1999",
 title        = "A type system for object initialization in the Java bytecode language",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "21",
 number       = "6",
 pages        = "1196--1250",
 url          = "http://doi.acm.org/10.1145/330643.330646",
)
@article(DBLP:journals/jar/FreundM03,
 author       = "Stephen N. Freund and John C. Mitchell",
 year         = "2003",
 title        = "A Type System for the Java Bytecode Language and Verifier",
 journal      = "J. Autom. Reasoning",
 volume       = "30",
 number       = "3-4",
 pages        = "271--321",
 doi          = "10.1023/A:1025011624925",
)
@article(DBLP:journals/ase/GannodC96,
 author       = "Gerald C. Gannod and Betty H. C. Cheng",
 year         = "1996",
 title        = "Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering",
 journal      = "Autom. Softw. Eng.",
 volume       = "3",
 number       = "1/2",
 pages        = "139--164",
 url          = "http://dx.doi.org/10.1007/BF00126962",
)
@inproceedings(Gregoire:2007:CVC:1793574.1793580,
 author       = "Benjamin Gr{\'e}goire and Jorge Luis Sacchini",
 year         = "2008",
 title        = "Combining a verification condition generator for a bytecode language with static analyses",
 booktitle    = "Proceedings of the 3rd conference on Trustworthy global computing",
 series       = "TGC'07",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "23--40",
 doi          = "10.1007/978-3-540-78663-4\_4",
 url          = "http://dl.acm.org/citation.cfm?id=1793574.1793580",
)
@article(DBLP:journals/cacm/Hoare69,
 author       = "C. A. R. Hoare",
 year         = "1969",
 title        = "An Axiomatic Basis for Computer Programming",
 journal      = "Commun. ACM",
 volume       = "12",
 number       = "10",
 pages        = "576--580",
 doi          = "10.1145/363235.363259",
)
@phdthesis(phdthesis1,
 author       = "A.C. Noubissi",
 year         = "2011",
 title        = "Mise {\'a} jour dynamique et scuris{\'e}e de composants syst{\'e}me dans une carte {\'a} puce",
 school       = "University of Limoges",
 address      = "France",
)
@article(10.1109/ICONS.2010.27,
 author       = "Agnes C. Noubissi and Julien Iguchi-Cartigny and Jean-Louis Lanet",
 year         = "2010",
 title        = "Incremental Dynamic Update for Java-Based Smart Cards",
 journal      = "2010 Fifth International Conference on Systems",
 volume       = "0",
 pages        = "110--113",
 doi          = "10.1109/ICONS.2010.27",
)
@inproceedings(DBLP:conf/icde/NoubissiIL11,
 author       = "Agnes C. Noubissi and Julien Iguchi-Cartigny and Jean-Louis Lanet",
 year         = "2011",
 title        = "Hot updates for Java based smart cards",
 booktitle    = "ICDE Workshops",
 pages        = "168--173",
 url          = "http://dx.doi.org/10.1109/ICDEW.2011.5767630",
)
@inproceedings(DBLP:conf/ma/SakamotoSY00,
 author       = "Takahiro Sakamoto and Tatsurou Sekiguchi and Akinori Yonezawa",
 year         = "2000",
 title        = "Bytecode Transformation for Portable Thread Migration in Java",
 booktitle    = "ASA/MA",
 pages        = "16--28",
 url          = "http://dx.doi.org/10.1007/978-3-540-45347-5_3",
)
@article(DBLP:journals/toplas/StataA99,
 author       = "Raymie Stata and Mart\'{\i }n Abadi",
 year         = "1999",
 title        = "A Type System for Java Bytecode Subroutines",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "21",
 number       = "1",
 pages        = "90--137",
 url          = "http://doi.acm.org/10.1145/314602.314606",
)