Joseph Kiniry

Joseph R. Kiniry

2008
25	EE	Joseph R. Kiniry, Daniel M. Zimmerman: Secret Ninja Formal Methods. FM 2008: 214-228
24	EE	Michal Moskal, Jakub Lopuszanski, Joseph R. Kiniry: E-matching for Fun and Profit. Electr. Notes Theor. Comput. Sci. 198(2): 19-35 (2008)
2007
23	EE	Gary T. Leavens, Joseph R. Kiniry, Erik Poll: A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. CAV 2007: 37
22	EE	Joseph Kiniry: Formally Counting Electronic Votes (But Still Only Trusting Paper). ICECCS 2007: 261-269
21	EE	Mikolás Janota, Joseph Kiniry: Reasoning about Feature Models in Higher-Order Logic. SPLC 2007: 13-22
2006
20	EE	Joseph R. Kiniry: Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application. Advanced Topics in Exception Handling Techniques 2006: 288-300
19	EE	Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers: The KOA Remote Voting System: A Summary of Work to Date. TGC 2006: 244-262
18	EE	Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Martijn Oostdijk, Engelbert Hubbers: Formal techniques in a remote voting system. ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006)
2005
17	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
16	EE	Joseph R. Kiniry, Patrice Chalin, Clément Hurlin: Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification. VSTTE 2005: 153-160
15	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
14	EE	David R. Cok, Joseph Kiniry: ESC/Java2: Uniting ESC/Java and JML. CASSIS 2004: 108-128
13	EE	Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll: Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops 2004: 76-83
12	EE	Joseph Kiniry: Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments. Electr. Notes Theor. Comput. Sci. 103: 81-103 (2004)
2003
11	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)
2002
10	EE	Bart Jacobs, Joseph Kiniry, Martijn Warnier: Java Program Verification Challenges. FMCO 2002: 202-219
9	EE	Joseph Kiniry: Monitoring and Debugging Concurrent and Distributed Object-Oriented Systems CoRR cs.SE/0204034: (2002)
8	EE	Joseph Kiniry: Semantic Properties for Lightweight Specification in Knowledgeable Development Environments CoRR cs.SE/0204035: (2002)
7	EE	Joseph Kiniry: Semantic Component Composition CoRR cs.SE/0204036: (2002)
1998
6		K. Mani Chandy, Paolo A. G. Sivilotti, Joseph Kiniry: A Cottage Industry of Software Publishing: Implications for Theories of Composition. IPPS/SPDP Workshops 1998: 890-899
5		Joseph Kiniry: Wavelength Division Multiplexing: Ultra High Speed Fiber Optics. IEEE Internet Computing 2(2): 13-15 (1998)
4		Joseph Kiniry, Christopher Metz: Cable Modems: Cable TV Delivers the Internet. IEEE Internet Computing 2(3): 12-15 (1998)
3		K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman: A Framework for Structured Distributed Object Computing. Parallel Computing 24(12-13): 1901-1922 (1998)
1997
2		Joseph Kiniry, Daniel M. Zimmerman: A Hands-On Look at Java Mobile Agents. IEEE Internet Computing 1(4): 21-30 (1997)
1	EE	K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman: Webs of Archived Distributed Computations for Asynchronous Collaboration. The Journal of Supercomputing 11(2): 101-118 (1997)

Coauthor Index

1	Lilian Burdy	[11] [15]
2	Patrice Chalin	[16] [17] [19]
3	K. Mani Chandy	[1] [3] [6]
4	Yoonsik Cheon	[11] [15]
5	Dermot Cochran	[18] [19]
6	Alessandro Coglio	[13]
7	David R. Cok	[11] [14] [15]
8	Michael D. Ernst	[11] [15]
9	Fintan Fairmichael	[19]
10	Engelbert Hubbers	[18] [19]
11	Marieke Huisman	[13]
12	Clément Hurlin	[16]
13	Bart Jacobs	[10]
14	Mikolás Janota	[21]
15	Gary T. Leavens	[11] [15] [17] [23]
16	K. Rustan M. Leino	[11] [15]
17	Jakub Lopuszanski	[24]
18	Christopher Metz	[4]
19	Alan E. Morkan	[18] [19]
20	Michal Moskal	[24]
21	Peter Müller	[13]
22	Martijn Oostdijk	[18] [19]
23	Erik Poll	[11] [13] [15] [17] [23]
24	Adam Rifkin	[1] [3]
25	Paolo A. G. Sivilotti	[6]
26	Martijn Warnier	[10]
27	Daniel M. Zimmerman	[1] [2] [3] [25]

Colors in the list of coauthors