37
Publications
2.5K
Citations
21
H-Index
1994
Active since
Erik Poll is an author at Radboud University Nijmegen specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsData SecuritySoftware AnalysisInformation SecurityFormal VerificationCryptographySystems EngineeringProgram Analysis
Publications per year
1994–2020
37
37
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
Protocol state fuzzing of TLS implementations
Joeri de Ruiter, Erik Poll · 2015 · 193 citations · Full text
JML: notations and tools supporting detailed design in Java
Gary T. Leavens, Clyde Ruby, K. Rustan et al. · 2000 · 126 citations
Rows per page
1–5 of 37