Erik Poll

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

Coauthor Index

1	Gilles Barthe	[31]
2	Joachim van den Berg	[5] [9] [11] [15]
3	Lennart Beringer	[31]
4	Lilian Burdy	[22] [29]
5	Patrice Chalin	[30]
6	Yoonsik Cheon	[22] [29]
7	Alessandro Coglio	[28]
8	David R. Cok	[22] [29]
9	Pierre Crégut	[31]
10	Sophia Drossopoulou	[17] [19]
11	Huub M. M. ten Eikelder	[1]
12	Susan Eisenbach	[17] [19] [26]
13	Michael D. Ernst	[22] [29]
14	Herman Geuvers	[7]
15	Benjamin Grégoire	[31]
16	Christian Haack	[32]
17	Pieter H. Hartel	[20]
18	C. Hemerik	[1]
19	Martin Hofmann	[31]
20	Engelbert Hubbers	[23] [24] [27]
21	Marieke Huisman	[5] [28]
22	Bart Jacobs	[5] [9] [11] [12] [15] [16] [21] [25]
23	Eduard de Jong	[20]
24	Joseph Kiniry (Joseph R. Kiniry)	[22] [28] [29] [30] [33]
25	Gary T. Leavens	[17] [19] [22] [26] [29] [30] [33]
26	K. Rustan M. Leino	[22] [29]
27	Hans Meijer	[18]
28	Peter Müller	[26] [28] [31]
29	Martijn Oostdijk	[23] [24]
30	Arnd Poetzsch-Heffter	[17] [19] [26]
31	Germán Puebla (German Puebla)	[31]
32	Jan Schäfer	[32]
33	Aleksy Schubert	[32]
34	Paula Severi	[2]
35	Ian Stark	[31]
36	Simon Thompson	[10]
37	Eric Vétillard	[31]
38	Jan Zwanenburg	[6] [7] [14]

Colors in the list of coauthors