Jonathan Jacky

According to our database, Jonathan Jacky authored at least 20 papers between 1983 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers.

Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D. Ernst, Jonathan Jacky

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

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

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

2011

PyModel: Model-based testing in Python.

Jonathan Jacky

Proceedings of the 10th Python in Science Conference, 2011

2010

Composing model programs for analysis.

Margus Veanes, Jonathan Jacky

J. Log. Algebraic Methods Program., 2010

Model-based Testing Without a Model: Assessing Portability in the Seattle Testbed.

Justin Cappos, Jonathan Jacky

Proceedings of the 5th International Workshop on Systems Software Verification, 2010

2009

Model-Based Testing of Web Applications Using NModel.

Juhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes

Proceedings of the Testing of Software and Communication Systems, 2009

2004

Model-Based Testing with Spec#.

Jonathan Jacky

Proceedings of the Formal Methods and Software Engineering, 2004

2003

A declarative implementation of the DICOM-3 network protocol.

Ira J. Kalet, Robert S. Giansiracusa, Jonathan Jacky, Drora Avitan

J. Biomed. Informatics, 2003

1998

Analyzing a Real-Time Program with Z.

Jonathan Jacky

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

1997

Experience with Z Developing a Control Program for a Radiation Therapy Machine.

Jonathan Jacky, Jonathan Unger, Michael Patrick, David Reid, Ruedi Risler

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

1996

Safety-Critical Computing: Hazards, Practices, Standards, and Regulation.

Jonathan Jacky

Proceedings of the Computerization and Controversy, 2nd Ed., 1996

1995

From Z to Code: A Graphical User Interface for a Radiostation Therapy Machine.

Jonathan Jacky, Jonathan Unger

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

1993

Specifying a Safety-Critical Control System in Z.

Jonathan Jacky

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992

Formal Specification and Development of Control System Input/Output.

Jonathan Jacky

Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992

1990

Inside Risks: Risks in Medical Electronics.

Jonathan Jacky

Commun. ACM, 1990

Formal specification for a clinical cyclotron control system.

Jonathan Jacky

Proceedings of the Conference proceedings on Formal methods in software development, 1990

1989

Introduction - Computing and Social Responsibilities.

Doug Schuler, Jonathan Jacky

Commun. ACM, 1989

1987

An Object-Oriented Programming Discipline for Standard Pascal.

Jonathan Jacky, Ira Kalet

Commun. ACM, 1987

1986

An Object-Oriented Approach to a Large Scientific Application.

Jonathan Jacky, Ira Kalet

Proceedings of the Conference on Object-Oriented Programming Systems, 1986

1983

A General Purpose Data Entry Program.

Jonathan Jacky, Ira Kalet

Commun. ACM, 1983