Joseph Kiniry

Joseph R. Kiniry

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

25EEJoseph R. Kiniry, Daniel M. Zimmerman: Secret Ninja Formal Methods. FM 2008: 214-228
24EEMichal Moskal, Jakub Lopuszanski, Joseph R. Kiniry: E-matching for Fun and Profit. Electr. Notes Theor. Comput. Sci. 198(2): 19-35 (2008)
23EEGary T. Leavens, Joseph R. Kiniry, Erik Poll: A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. CAV 2007: 37
22EEJoseph Kiniry: Formally Counting Electronic Votes (But Still Only Trusting Paper). ICECCS 2007: 261-269
21EEMikolás Janota, Joseph Kiniry: Reasoning about Feature Models in Higher-Order Logic. SPLC 2007: 13-22
20EEJoseph R. Kiniry: Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application. Advanced Topics in Exception Handling Techniques 2006: 288-300
19EEJoseph 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
18EEJoseph 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)
17EEPatrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll: Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. FMCO 2005: 342-363
16EEJoseph R. Kiniry, Patrice Chalin, Clément Hurlin: Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification. VSTTE 2005: 153-160
15EELilian 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)
14EEDavid R. Cok, Joseph Kiniry: ESC/Java2: Uniting ESC/Java and JML. CASSIS 2004: 108-128
13EEAlessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll: Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops 2004: 76-83
12EEJoseph Kiniry: Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments. Electr. Notes Theor. Comput. Sci. 103: 81-103 (2004)
11EELilian 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)
10EEBart Jacobs, Joseph Kiniry, Martijn Warnier: Java Program Verification Challenges. FMCO 2002: 202-219
9EEJoseph Kiniry: Monitoring and Debugging Concurrent and Distributed Object-Oriented Systems CoRR cs.SE/0204034: (2002)
8EEJoseph Kiniry: Semantic Properties for Lightweight Specification in Knowledgeable Development Environments CoRR cs.SE/0204035: (2002)
7EEJoseph Kiniry: Semantic Component Composition CoRR cs.SE/0204036: (2002)
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)
2 Joseph Kiniry, Daniel M. Zimmerman: A Hands-On Look at Java Mobile Agents. IEEE Internet Computing 1(4): 21-30 (1997)
1EEK. 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)