Joseph Kiniry Vis

Joseph R. Kiniry

*	2009
28	EE	Joseph R. Kiniry, Fintan Fairmichael: Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations. CBSE 2009: 242-261
27	EE	Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry: CLOPS: A DSL for Command Line Options. DSL 2009: 187-210
	2008
26	EE	Joseph R. Kiniry, Daniel M. Zimmerman: Secret Ninja Formal Methods. FM 2008: 214-228
25	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
24	EE	Gary T. Leavens, Joseph R. Kiniry, Erik Poll: A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. CAV 2007: 37
23	EE	Joseph Kiniry: Formally Counting Electronic Votes (But Still Only Trusting Paper). ICECCS 2007: 261-269
22	EE	Mikolás Janota, Joseph Kiniry: Reasoning about Feature Models in Higher-Order Logic. SPLC 2007: 13-22
	2006
21	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
20	EE	Joseph Kiniry: Program Safety via Programmer Safety. ISoLA 2006: 8
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	Julien Charles	[27]
5	Yoonsik Cheon	[11] [15]
6	Dermot Cochran	[18] [19] [27]
7	Alessandro Coglio	[13]
8	David R. Cok	[11] [14] [15]
9	Michael D. Ernst	[11] [15]
10	Fintan Fairmichael	[19] [27] [28]
11	Radu Grigore	[27]
12	Viliam Holub	[27]
13	Engelbert Hubbers	[18] [19]
14	Marieke Huisman	[13]
15	Clément Hurlin	[16]
16	Bart Jacobs	[10]
17	Mikolás Janota	[22] [27]
18	Gary T. Leavens	[11] [15] [17] [24]
19	K. Rustan M. Leino	[11] [15]
20	Jakub Lopuszanski	[25]
21	Christopher Metz	[4]
22	Alan E. Morkan	[18] [19]
23	Michal Moskal	[25]
24	Peter Müller	[13]
25	Martijn Oostdijk	[18] [19]
26	Erik Poll	[11] [13] [15] [17] [24]
27	Adam Rifkin	[1] [3]
28	Paolo A. G. Sivilotti	[6]
29	Martijn Warnier	[10]
30	Daniel M. Zimmerman	[1] [2] [3] [26]

Colors in the list of coauthors