Erik Poll

	2009
37		Christian Haack, Erik Poll: Type-Based Object Immutability with Flexible Initialization. ECOOP 2009: 520-545
36		Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur: Model-Based Testing of Electronic Passports. FMICS 2009: 207-209
35		Erik Poll: Teaching Program Specification and Verification Using JML and ESC/Java2. TFM 2009: 92-104
	2008
34		Wojciech Mostowski, Erik Poll: Malicious Code on Java Card Smartcards: Attacks and Countermeasures. CARDIS 2008: 1-16
	2007
33		Gary T. Leavens, Joseph R. Kiniry, Erik Poll: A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. CAV 2007: 37
32		Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert: Immutable Objects for a Java-Like Language. ESOP 2007: 347-362
	2006
31		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		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		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		Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll: Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops 2004: 76-83
27		Engelbert Hubbers, Erik Poll: Reasoning about Card Tears and Transactions in Java Card. FASE 2004: 114-128
	2003
26		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		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		Engelbert Hubbers, Martijn Oostdijk, Erik Poll: Implementing a Formally Verifiable Security Protocol in Java Card. SPC 2003: 213-226
22		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		Erik Poll, Pieter H. Hartel, Eduard de Jong: A Java Reference Model of Transacted Memory for Smart Cards. CARDIS 2002: 75-86
19		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		Hans Meijer, Erik Poll: Towards a Full Formal Specification of the JavaCard API. E-smart 2001: 165-178
17		Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java Programs. ECOOP Workshops 2001: 30-40
16		Bart Jacobs, Erik Poll: A Logic for the Java Modeling Language JML. FASE 2001: 284-299
15		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		Erik Poll, Jan Zwanenburg: From Algebras and Coalgebras to Dialgebras. Electr. Notes Theor. Comput. Sci. 44(1): (2001)
13		Erik Poll: A Coalgebraic Semantics of Subtyping. ITA 35(1): 61-81 (2001)
	2000
12		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		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		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		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] [37]
17	Pieter H. Hartel	[20]
18	Kees Hemerik (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	Wojciech Mostowski	[34] [36]
29	Peter Müller	[26] [28] [31]
30	Martijn Oostdijk	[23] [24]
31	Arnd Poetzsch-Heffter	[17] [19] [26]
32	Germán Puebla (German Puebla)	[31]
33	Jan Schäfer (Jan Schaefer)	[32]
34	Julien Schmaltz	[36]
35	Ronny Wichers Schreur	[36]
36	Aleksy Schubert	[32]
37	Paula Severi	[2]
38	Ian Stark	[31]
39	Simon Thompson	[10]
40	Jan Tretmans	[36]
41	Eric Vétillard	[31]
42	Jan Zwanenburg	[6] [7] [14]

Colors in the list of coauthors