Concepedia

Lilian Burdy

LB

5

Publications

997

Citations

5

H-Index

2003

Active since

Affiliations

Radboud University Nijmegen(Current)

Iowa State University

Kodak (United States)

Microsoft (United States)

Institut national de recherche en sciences et technologies du numérique

Lilian Burdy is an author at Radboud University Nijmegen specializing in engineering, software analysis, and computer science.

Top concepts

EngineeringComputer ScienceSoftware AnalysisFormal MethodsSystem SoftwareProgram AnalysisFormal VerificationVerificationData ModelingSoftware Testing

Publications per year

2003–2012

5

Publications

5

An overview of JML tools and applications

Lilian Burdy, Yoonsik Cheon, David R. Cok et al. · International Journal on Software Tools for Technology Transfer · 2004 · 707 citations

Xml Library, Engineering, Jml Tools +12

An overview of JML tools and applications1 1www.jmlspecs.org

Lilian Burdy, Yoonsik Cheon, David R. Cok et al. · Electronic Notes in Theoretical Computer Science · 2003 · 205 citations · Full text

Software Maintenance, Java Source Files, Engineering +25

Formal development of an embedded verifier for Java Card byte code

Ludovic Casset, Lilian Burdy, A Requet · 2003 · 32 citations

Engineering, Hardware Verification Language, Information Security +25

Formally Checking Large Data Sets in the Railways

Thierry Lecomte, Lilian Burdy, Michaël Leuschel · arXiv (Cornell University) · 2012 · 30 citations · Full text

Engineering, Industrial Experience, Verification +21

Java bytecode specification and verification

Lilian Burdy, Mariela Pavlova · 2006 · 23 citations

Engineering, Verification, Software Engineering +23

Rows per page

1–5 of 5