Erik Poll
TitelGeciteerd doorJaar
An overview of JML tools and applications
L Burdy, Y Cheon, DR Cok, MD Ernst, JR Kiniry, GT Leavens, KRM Leino, ...
International journal on software tools for technology transfer 7 (3), 212-232, 2005
Beyond assertions: Advanced specification and verification with JML and ESC/Java2
P Chalin, JR Kiniry, GT Leavens, E Poll
International Symposium on Formal Methods for Components and Objects, 342-363, 2005
JML reference manual
GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...
JML (poster session): notations and tools supporting detailed design in Java
GT Leavens, C Ruby, KRM Leino, E Poll, B Jacobs
Addendum to the 2000 proceedings of the conference on Object-oriented …, 2000
A logic for the Java Modeling Language JML
B Jacobs, E Poll
International Conference on Fundamental Approaches to Software Engineering …, 2001
Java program verification at Nijmegen: Developments and perspective
B Jacobs, E Poll
Software Security-Theories and Systems, 134-153, 2004
Pure type systems with definitions
P Severi, E Poll
International Symposium on Logical Foundations of Computer Science, 316-328, 1994
Protocol State Fuzzing of TLS Implementations.
J De Ruiter, E Poll
USENIX Security Symposium, 193-206, 2015
Malicious code on Java Card smartcards: Attacks and countermeasures
W Mostowski, E Poll
International Conference on Smart Card Research and Advanced Applications, 1-16, 2008
Specification of the JavaCard API in JML
E Poll, J van den Berg, B Jacobs
Smart Card Research and Advanced Applications, 135-154, 2000
A type-theoretic memory model for verification of sequential Java programs
J van den Berg, M Huisman, B Jacobs, E Poll
International Workshop on Algebraic Development Techniques, 1-21, 1999
Formal models of bank cards for free
F Aarts, J De Ruiter, E Poll
Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE …, 2013
Coalgebras and monads in the semantics of Java
B Jacobs, E Poll
Theoretical Computer Science 291 (3), 329-349, 2003
From algebras and coalgebras to dialgebras
E Poll, J Zwanenburg
[Sl: sn], 2001
Formal analysis of the EMV protocol suite
J De Ruiter, E Poll
Theory of Security and Applications, 113-129, 2011
JML reference manual. Department of Computer Science, Iowa State University
GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, DR Cok, P Müller, ...
Formal specification of the JavaCard API in JML: the APDU class
E Poll, J Van Den Berg, B Jacobs
Computer Networks 36 (4), 407-421, 2001
Immutable objects for a Java-like language
C Haack, E Poll, J Schäfer, A Schubert
European Symposium on Programming, 347-362, 2007
An information-centric communication infrastructure for real-time state estimation of active distribution networks
WK Chai, N Wang, KV Katsaros, G Kamel, G Pavlou, S Melis, M Hoefling, ...
IEEE Transactions on Smart Grid 6 (4), 2134-2146, 2015
Mobius: Mobility, ubiquity, security
G Barthe, L Beringer, P Crégut, B Grégoire, M Hofmann, P Müller, E Poll, ...
International Symposium on Trustworthy Global Computing, 10-29, 2006
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20