Jonathan Jacky

20 papers A 1C 1Journal 7Unranked 10
YearRankTypeTitle / Venue / Authors
2016 — conf
Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers.
CAV (2)
Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D. Ernst, Jonathan Jacky
2011 — conf
PyModel: Model-based testing in Python.
SciPy
Jonathan Jacky
2010 J jnl
Composing model programs for analysis.
J. Log. Algebraic Methods Program.
Margus Veanes, Jonathan Jacky
2010 — conf
Model-based Testing Without a Model: Assessing Portability in the Seattle Testbed.
SSV
Justin Cappos, Jonathan Jacky
2009 — conf
Model-Based Testing of Web Applications Using NModel.
TestCom/FATES
Juhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes
2004 C conf
Model-Based Testing with Spec#.
ICFEM
Jonathan Jacky
2003 J jnl
A declarative implementation of the DICOM-3 network protocol.
J. Biomed. Informatics
Ira J. Kalet, Robert S. Giansiracusa, Jonathan Jacky, Drora Avitan
1998 — conf
Analyzing a Real-Time Program with Z.
ZUM
Jonathan Jacky
1997 — conf
Experience with Z Developing a Control Program for a Radiation Therapy Machine.
ZUM
Jonathan Jacky, Jonathan Unger, Michael Patrick, David Reid, Ruedi Risler
1996 — ch.
Safety-Critical Computing: Hazards, Practices, Standards, and Regulation.
Computerization and Controversy, 2nd Ed.
Jonathan Jacky
1995 — conf
From Z to Code: A Graphical User Interface for a Radiostation Therapy Machine.
ZUM
Jonathan Jacky, Jonathan Unger
1995 J jnl
Specifying a Safety-Critical Control System in Z.
IEEE Trans. Software Eng.
Jonathan Jacky
1993 — conf
Specifying a Safety-Critical Control System in Z.
FME
Jonathan Jacky
1992 — conf
Formal Specification and Development of Control System Input/Output.
Z User Workshop
Jonathan Jacky
1990 — conf
Formal specification for a clinical cyclotron control system.
Formal Methods in Software Development
Jonathan Jacky
1990 J jnl
Inside Risks: Risks in Medical Electronics.
Commun. ACM
Jonathan Jacky
1989 J jnl
Introduction - Computing and Social Responsibilities.
Commun. ACM
Doug Schuler, Jonathan Jacky
1987 J jnl
An Object-Oriented Programming Discipline for Standard Pascal.
Commun. ACM
Jonathan Jacky, Ira Kalet
1986 A conf
An Object-Oriented Approach to a Large Scientific Application.
OOPSLA
Jonathan Jacky, Ira Kalet
1983 J jnl
A General Purpose Data Entry Program.
Commun. ACM
Jonathan Jacky, Ira Kalet