Erik Poll - Concepedia

Author

Erik Poll

Radboud University Nijmegen ORCID

Also Known As

E. Poll, ERIK POLL, Erik Poll, Meredith Patterson, Poll, E (Erik), Poll, E., Poll, Erik

136

Publications

3.9K

Citations

H-Index

Concepts

All Affiliations

Radboud University Nijmegen Iowa State University Microsoft (United States)Leiden University Kodak (United States)

About

Erik Poll is an author at Radboud University Nijmegen specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	24	1.7K
2	Language Studies	2	2	24
3	Business	1	1	20
4	Education	1	1	79
5	Management	1	1	707

Erik Poll

Publications

2.5K

Citations

H-Index

Page 1

	Year	Citations
An overview of JML tools and applications Lilian Burdy, Yoonsik Cheon, David R. Cok, International Journal on Software Tools for Technology Transfer Xml LibraryEngineeringJml ToolsManagementSystems Engineering	2004	707
<i>Algebra of Programming</i> by Richard Bird and Oege de Moor, Prentice Hall, 1996 (dated 1997). Erik Poll, Simon Thompson Journal of Functional Programming	1999	246
An overview of JML tools and applications1 1www.jmlspecs.org Lilian Burdy, Yoonsik Cheon, David R. Cok, Electronic Notes in Theoretical Computer Science Software MaintenanceJava Source FilesEngineeringObject-oriented ModelingVerification	2003	205
Protocol state fuzzing of TLS implementations Joeri de Ruiter, Erik Poll	2015	193
JML: notations and tools supporting detailed design in Java Gary T. Leavens, Clyde Ruby, K. Rustan,	2000	126
Model learning and model checking of SSH implementations Paul Fiterău-Broştean, Toon Lenaerts, Erik Poll, EngineeringInformation SecurityVerificationComputer-aided VerificationModel Checking	2017	93
Formal Models of Bank Cards for Free Fides Aarts, Joeri de Ruiter, Erik Poll EngineeringInformation SecurityVerificationComputer-aided VerificationModel Verification	2013	81
Smart metering in the Netherlands: What, how, and why Pol Van Aubel, Erik Poll International Journal of Electrical Power & Energy Systems EngineeringSmart GridMeasurementSmart CityAdvanced Metering Infrastructure	2019	79
JML (poster session) Gary T. Leavens, Clyde Ruby, K. Rustan M. Leino, EngineeringProgram AnalysisPoster SessionJava ClassesFormal Methods	2000	78
An Information-Centric Communication Infrastructure for Real-Time State Estimation of Active Distribution Networks Wei Koong Chai, Ning Wang, Konstantinos V. Katsaros, IEEE Transactions on Smart Grid Cluster ComputingEngineeringNetwork OperationPower Grid OperationNetwork Analysis	2015	69

Page 1