A General Purpose Data Entry Program. - Jonathan Jacky; Ira Kalet (Commun. ACM, 1983)

An Object-Oriented Approach to a Large Scientific Application. - Jonathan Jacky; Ira Kalet (OOPSLA, 1986)

An Object-Oriented Programming Discipline for Standard Pascal. - Jonathan Jacky; Ira Kalet (Commun. ACM, 1987)

Introduction - Computing and Social Responsibilities. - Doug Schuler; Jonathan Jacky (Commun. ACM, 1989)

Formal specification for a clinical cyclotron control system. - Jonathan Jacky (Formal Methods in Software Development, 1990)

Inside Risks: Risks in Medical Electronics. - Jonathan Jacky (Commun. ACM, 1990)

Formal Specification and Development of Control System Input/Output. - Jonathan Jacky (Z User Workshop, 1992)

From Z to Code: A Graphical User Interface for a Radiostation Therapy Machine. - Jonathan Jacky; Jonathan Unger (ZUM, 1995)

Specifying a Safety-Critical Control System in Z. - Jonathan Jacky (IEEE Trans. Software Eng., 1995)

Safety-Critical Computing: Hazards, Practices, Standards, and Regulation. - Jonathan Jacky (Computerization and Controversy, 2nd Ed., 1996)

Experience with Z Developing a Control Program for a Radiation Therapy Machine. - Jonathan Jacky; Jonathan Unger; Michael Patrick; David Reid; Ruedi Risler (ZUM, 1997)

Analyzing a Real-Time Program with Z. - Jonathan Jacky (ZUM, 1998)

A declarative implementation of the DICOM-3 network protocol. - Ira J. Kalet; Robert S. Giansiracusa; Jonathan Jacky; Drora Avitan (J. Biomed. Informatics, 2003)

Model-Based Testing with Spec#. - Jonathan Jacky (ICFEM, 2004)

Model-Based Testing of Web Applications Using NModel. - Juhan P. Ernits; Rivo Roo; Jonathan Jacky; Margus Veanes (TestCom/FATES, 2009)

Model-based Testing Without a Model: Assessing Portability in the Seattle Testbed. - Justin Cappos; Jonathan Jacky (SSV, 2010)

Composing model programs for analysis. - Margus Veanes; Jonathan Jacky (J. Log. Algebraic Methods Program., 2010)

PyModel: Model-based testing in Python. - Jonathan Jacky (SciPy, 2011)

Toward a Dependability Case Language and Workflow for a Radiation Therapy System. - Michael D. Ernst; Dan Grossman; Jon Jacky; Calvin Loncaric; Stuart Pernsteiner; Zachary Tatlock; Emina Torlak; Xi Wang 005 (SNAPL, 2015)

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers. - Stuart Pernsteiner; Calvin Loncaric; Emina Torlak; Zachary Tatlock; Xi Wang 005; Michael D. Ernst; Jonathan Jacky (CAV (2), 2016)