Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoseph Kiniry
Person information
- affiliation: Galois, OR, USA
- affiliation: Free & Fair, OR, USA
- affiliation (former): Technical University of Denmark, Denmark
- affiliation (former): IT University of Copenhagen, Denmark
- affiliation (former): University College Dublin, Ireland
- affiliation (former): California Institute of Technology, CA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[j10]Tiziana Margaria, Joseph Kiniry:
Welcome to Formal Methods in Industry. IT Prof. 22(1): 9-12 (2020)
2010 – 2019
- 2016
- [j9]Christian Kroer, Martin Kjær Svendsen, Rune Møller Jensen, Joseph Kiniry, Eilif Leknes:
Symbolic Configuration for Interactive Container Ship Stowage Planning. Comput. Intell. 32(2): 259-283 (2016) - 2013
- [c30]Stefan Blom, Joseph Kiniry, Marieke Huisman
:
How Do Developers Use APIs? A Case Study in Concurrency. ICECCS 2013: 212-221 - [c29]Marieta V. Fasie, Anne E. Haxthausen, Joseph R. Kiniry:
A rigorous methodology for analyzing and designing plug-ins. TOPI@ICSE 2013: 49-50 - [c28]Dermot Cochran, Joseph R. Kiniry:
Formal Model-Based Validation for Tally Systems. VoteID 2013: 41-60 - 2012
- [c27]Joseph R. Kiniry, Daniel M. Zimmerman, Ralph Hyland:
Testing Library Specifications by Verifying Conformance Tests. TAP@TOOLS 2012: 51-66 - 2011
- [c26]Daniel M. Zimmerman, Joseph R. Kiniry, Fintan Fairmichael:
Toward instant gradeification. CSEE&T 2011: 406-410 - 2010
- [j8]Fintan Fairmichael, Joseph Kiniry:
Verified Visualisation of Textual Modelling Languages. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36 (2010) - [c25]Vieri Del Bianco, Dragan Stosic, Joseph R. Kiniry:
Agile Formality: A Mole of Software Engineering Practices. FM+AM 2010: 29-48
2000 – 2009
- 2009
- [c24]Joseph R. Kiniry, Fintan Fairmichael:
Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations. CBSE 2009: 242-261 - [c23]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 - [c22]Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry:
Strongest postcondition of unstructured programs. FTfJP@ECOOP 2009: 6:1-6:7 - [c21]Daniel M. Zimmerman, Joseph R. Kiniry:
A Verification-Centric Software Development Process for Java. QSIC 2009: 76-85 - 2008
- [c20]Joseph R. Kiniry, Daniel M. Zimmerman:
Secret Ninja Formal Methods. FM 2008: 214-228 - 2007
- [c19]Gary T. Leavens, Joseph R. Kiniry, Erik Poll:
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. CAV 2007: 37 - [c18]Joseph Kiniry:
Formally Counting Electronic Votes (But Still Only Trusting Paper). ICECCS 2007: 261-269 - [c17]Mikolás Janota, Joseph Kiniry:
Reasoning about Feature Models in Higher-Order Logic. SPLC 2007: 13-22 - [c16]Joseph R. Kiniry, Dermot Cochran, Patrick E. Tierney:
Verification-Centric Realization of Electronic Vote Counting. EVT 2007 - [c15]Michal Moskal, Jakub Lopuszanski, Joseph R. Kiniry:
E-matching for Fun and Profit. SMT@CAV 2007: 19-35 - 2006
- [j7]Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Martijn Oostdijk, Engelbert Hubbers:
Formal techniques in a remote voting system. ACM SIGSOFT Softw. Eng. Notes 31(6): 1-2 (2006) - [c14]Joseph R. Kiniry:
Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application. Advanced Topics in Exception Handling Techniques 2006: 288-300 - [c13]Joseph Kiniry:
Program Safety via Programmer Safety. ISoLA 2006: 8 - [c12]Joseph R. Kiniry, Alan E. Morkan, Barry Denby:
Soundness and completeness warnings in ESC/Java2. SAVCBS@FSE 2006: 19-24 - [c11]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 - 2005
- [j6]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. Int. J. Softw. Tools Technol. Transf. 7(3): 212-232 (2005) - [c10]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 - [c9]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 - 2004
- [c8]Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk:
Counting Votes with Formal Methods. AMAST 2004: 21-22 - [c7]David R. Cok, Joseph Kiniry:
ESC/Java2: Uniting ESC/Java and JML. CASSIS 2004: 108-128 - [c6]Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll:
Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops 2004: 76-83 - 2003
- [c5]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. FMICS 2003: 75-91 - [c4]Joseph Kiniry:
Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments. UITP@TPHOLs 2003: 81-103 - 2002
- [c3]Bart Jacobs, Joseph Kiniry, Martijn Warnier:
Java Program Verification Challenges. FMCO 2002: 202-219 - [i3]Joseph Kiniry:
Monitoring and Debugging Concurrent and Distributed Object-Oriented Systems. CoRR cs.SE/0204034 (2002) - [i2]Joseph Kiniry:
Semantic Properties for Lightweight Specification in Knowledgeable Development Environments. CoRR cs.SE/0204035 (2002) - [i1]Joseph Kiniry:
Semantic Component Composition. CoRR cs.SE/0204036 (2002)
1990 – 1999
- 1998
- [j5]Joseph Kiniry:
Wavelength Division Multiplexing: Ultra High Speed Fiber Optics. IEEE Internet Comput. 2(2): 13-15 (1998) - [j4]Joseph Kiniry, Christopher Metz:
Cable Modems: Cable TV Delivers the Internet. IEEE Internet Comput. 2(3): 12-15 (1998) - [j3]K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman:
A Framework for Structured Distributed Object Computing. Parallel Comput. 24(12-13): 1901-1922 (1998) - [c2]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 - [c1]Joseph Kiniry:
Modeling dynamic/emergent distributed object systems. OOPSLA Addendum 1998 - 1997
- [j2]Joseph Kiniry, Daniel M. Zimmerman:
A Hands-On Look at Java Mobile Agents. IEEE Internet Comput. 1(4): 21-30 (1997) - [j1]K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman:
Webs of Archived Distributed Computations for Asynchronous Collaboration. J. Supercomput. 11(2): 101-118 (1997)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
