Jonathan Jacky

Publication Activity (10 Years)

Years Active: 1983-2016
Publications (10 Years): 1

Top Topics

Parametric Models

Experimental Data

Top Venues

Publications

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