Joseph R. Kiniry
List of publications from the
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) |