Joseph R. Kiniry

19 papers A* 1B 1Journal 2Unranked 15

Year	Rank	Type	Title / Venue / Authors
2013	—	`conf`	A rigorous methodology for analyzing and designing plug-ins. TOPI@ICSE Marieta V. Fasie, Anne E. Haxthausen, Joseph R. Kiniry
2013	—	`conf`	Formal Model-Based Validation for Tally Systems. VoteID Dermot Cochran, Joseph R. Kiniry
2012	—	`conf`	Testing Library Specifications by Verifying Conformance Tests. TAP@TOOLS Joseph R. Kiniry, Daniel M. Zimmerman, Ralph Hyland
2011	—	`conf`	Toward instant gradeification. CSEE&T Daniel M. Zimmerman, Joseph R. Kiniry, Fintan Fairmichael
2010	—	`conf`	Agile Formality: A Mole of Software Engineering Practices. FM+AM Vieri Del Bianco, Dragan Stosic, Joseph R. Kiniry
2009	—	`conf`	A Verification-Centric Software Development Process for Java. QSIC Daniel M. Zimmerman, Joseph R. Kiniry
2009	—	`conf`	CLOPS: A DSL for Command Line Options. DSL Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry
2009	—	`conf`	Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations. CBSE Joseph R. Kiniry, Fintan Fairmichael
2008	B	`conf`	Secret Ninja Formal Methods. FM Joseph R. Kiniry, Daniel M. Zimmerman
2007	A*	`conf`	A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. CAV Gary T. Leavens, Joseph R. Kiniry, Erik Poll
2007	—	`conf`	E-matching for Fun and Profit. SMT@CAV Michal Moskal, Jakub Lopuszanski, Joseph R. Kiniry
2007	—	`conf`	Verification-Centric Realization of Electronic Vote Counting. EVT Joseph R. Kiniry, Dermot Cochran, Patrick E. Tierney
2006	—	`conf`	Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application. Advanced Topics in Exception Handling Techniques Joseph R. Kiniry
2006	J	`jnl`	Formal techniques in a remote voting system. ACM SIGSOFT Softw. Eng. Notes Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Martijn Oostdijk, Engelbert Hubbers
2006	—	`conf`	Soundness and completeness warnings in ESC/Java2. SAVCBS@FSE Joseph R. Kiniry, Alan E. Morkan, Barry Denby
2006	—	`conf`	The KOA Remote Voting System: A Summary of Work to Date. TGC Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers
2005	J	`jnl`	An overview of JML tools and applications. Int. J. Softw. Tools Technol. Transf. Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
2005	—	`conf`	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. FMCO Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll
2005	—	`conf`	Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification. VSTTE Joseph R. Kiniry, Patrice Chalin, Clément Hurlin