The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Erik Poll: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bart Jacobs, Erik Poll
    A Monad for Basic Java Semantics. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:150-164 [Conf]
  2. Erik Poll, Joachim van den Berg, Bart Jacobs
    Specification of the JavaCard API in JML. [Citation Graph (0, 0)][DBLP]
    CARDIS, 2000, pp:135-154 [Conf]
  3. Erik Poll, Pieter H. Hartel, Eduard de Jong
    A Java Reference Model of Transacted Memory for Smart Cards. [Citation Graph (0, 0)][DBLP]
    CARDIS, 2002, pp:75-86 [Conf]
  4. Herman Geuvers, Erik Poll, Jan Zwanenburg
    Safe Proof Checking in Type Theory with Y. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:439-452 [Conf]
  5. Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll
    Formal Techniques for Java-Like Programs (FTfJP). [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2004, pp:76-83 [Conf]
  6. Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll
    Formal Techniques for Java-like Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2002, pp:203-210 [Conf]
  7. Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll
    Formal Techniques for Java-Like Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2003, pp:62-71 [Conf]
  8. Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll
    Formal Techniques for Java Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2001, pp:30-40 [Conf]
  9. Hans Meijer, Erik Poll
    Towards a Full Formal Specification of the JavaCard API. [Citation Graph (0, 0)][DBLP]
    E-smart, 2001, pp:165-178 [Conf]
  10. Engelbert Hubbers, Erik Poll
    Reasoning about Card Tears and Transactions in Java Card. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:114-128 [Conf]
  11. Bart Jacobs, Erik Poll
    A Logic for the Java Modeling Language JML. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:284-299 [Conf]
  12. Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll
    Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:342-363 [Conf]
  13. Erik Poll, Simon Thompson
    Integrating Computer Algebra and Reasoning through the Type System of Aldor. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:136-150 [Conf]
  14. Bart Jacobs, Erik Poll
    Java Program Verification at Nijmegen: Developments and Perspective. [Citation Graph (0, 0)][DBLP]
    ISSS, 2003, pp:134-153 [Conf]
  15. Joachim van den Berg, Bart Jacobs, Erik Poll
    Formal Specification and Verification of JavaCard's Application Identifier Class. [Citation Graph (0, 0)][DBLP]
    Java Card Workshop, 2000, pp:137-150 [Conf]
  16. Paula Severi, Erik Poll
    Pure Type Systems with Definitions. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:316-328 [Conf]
  17. Engelbert Hubbers, Martijn Oostdijk, Erik Poll
    From Finite State Machines to Provably Correct Java Card Applets. [Citation Graph (0, 0)][DBLP]
    SEC, 2003, pp:465-470 [Conf]
  18. Engelbert Hubbers, Martijn Oostdijk, Erik Poll
    Implementing a Formally Verifiable Security Protocol in Java Card. [Citation Graph (0, 0)][DBLP]
    SPC, 2003, pp:213-226 [Conf]
  19. Erik Poll
    System F with Width-Subtyping and Record Updating. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:439-457 [Conf]
  20. Erik Poll, Jan Zwanenburg
    A Logic for Abstract Data Types as Existential Types. [Citation Graph (0, 0)][DBLP]
    TLCA, 1999, pp:310-324 [Conf]
  21. Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll
    A Type-Theoretic Memory Model for Verification of Sequential Java Programs. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:1-21 [Conf]
  22. Erik Poll, Joachim van den Berg, Bart Jacobs
    Formal specification of the JavaCard API in JML: the APDU class. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2001, v:36, n:4, pp:407-421 [Journal]
  23. Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
    An overview of JML tools and applications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
  24. Erik Poll
    A Coalgebraic Semantics of Subtyping. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
  25. Erik Poll, Jan Zwanenburg
    From Algebras and Coalgebras to Dialgebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:1, pp:- [Journal]
  26. Erik Poll
    A Coalgebraic Semantics of Subtyping. [Citation Graph (0, 0)][DBLP]
    ITA, 2001, v:35, n:1, pp:61-81 [Journal]
  27. Erik Poll, C. Hemerik, Huub M. M. ten Eikelder
    CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping. [Citation Graph (0, 0)][DBLP]
    ITA, 1993, v:27, n:3, pp:221-260 [Journal]
  28. Erik Poll
    Expansion Postponement for Normalising Pure Type Systems. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1998, v:8, n:1, pp:89-96 [Journal]
  29. Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
    An overview of JML tools and applications. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:3, pp:212-232 [Journal]
  30. Bart Jacobs, Erik Poll
    Coalgebras and monads in the semantics of Java. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:291, n:3, pp:329-349 [Journal]
  31. Gary T. Leavens, Joseph R. Kiniry, Erik Poll
    A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:37- [Conf]
  32. Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert
    Immutable Objects for a Java-Like Language. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:347-362 [Conf]

  33. Malicious Code on Java Card Smartcards: Attacks and Countermeasures. [Citation Graph (, )][DBLP]


  34. Type-Based Object Immutability with Flexible Initialization. [Citation Graph (, )][DBLP]


  35. Teaching Program Specification and Verification Using JML and ESC/Java2. [Citation Graph (, )][DBLP]


  36. MOBIUS: Mobility, Ubiquity, Security. [Citation Graph (, )][DBLP]


  37. Model-Based Testing of Electronic Passports. [Citation Graph (, )][DBLP]


Search in 0.031secs, Finished in 0.032secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002