Jonathan Jacky - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2016

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable CheckersStuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D. Ernst, Jonathan Jacky. cav 2016: 23-41 [doi]

2011

PyModel: Model-based testing in PythonJonathan Jacky. scipy 2011: 48-52 [doi]

2010

Model-based Testing Without a Model: Assessing Portability in the Seattle TestbedJustin Cappos, Jonathan Jacky. ssv 2010: [doi]

Composing model programs for analysisMargus Veanes, Jonathan Jacky. jlp, 79(7):467-482, 2010. [doi]

2009

Model-Based Testing of Web Applications Using NModelJuhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes. pts 2009: 211-216 [doi]

2004

Model-Based Testing with Spec#Jonathan Jacky. icfem 2004: 5-6 [doi]

2003

A declarative implementation of the DICOM-3 network protocolIra J. Kalet, Robert S. Giansiracusa, Jonathan Jacky, Drora Avitan. jbi, 36(3):159-176, 2003. [doi]

1998

Analyzing a Real-Time Program with ZJonathan Jacky. zum 1998: 136-153

1997

Experience with Z Developing a Control Program for a Radiation Therapy MachineJonathan Jacky, Jonathan Unger, Michael Patrick, David Reid, Ruedi Risler. zum 1997: 317-328

1996

Safety-Critical Computing: Hazards, Practices, Standards, and RegulationJonathan Jacky. In Rob Kling, editor, Computerization and Controversy, 2nd Ed. pages 767-792, Morgan Kaufmann / Elsevier, 1996. [doi]

1995

Specifying a Safety-Critical Control System in ZJonathan Jacky. TSE, 21(2):99-106, 1995. [doi]

From Z to Code: A Graphical User Interface for a Radiostation Therapy MachineJonathan Jacky, Jonathan Unger. zum 1995: 315-333

1993

Specifying a Safety-Critical Control System in ZJonathan Jacky. FM 1993: 388-402

1992

Formal Specification and Development of Control System Input/OutputJonathan Jacky. zum 1992: 95-108

1990

Inside Risks: Risks in Medical ElectronicsJonathan Jacky. CACM, 33(12):138, 1990.

Formal specification for a clinical cyclotron control systemJonathan Jacky. fmsd 1990: 45-54 [doi]

1989

Introduction - Computing and Social ResponsibilitiesDoug Schuler, Jonathan Jacky. CACM, 32(8):925-927, 1989.

1987

An Object-Oriented Programming Discipline for Standard PascalJonathan Jacky, Ira Kalet. CACM, 30(9):772-776, 1987.

1986

An Object-Oriented Approach to a Large Scientific ApplicationJonathan Jacky, Ira Kalet. OOPSLA 1986: 368-376

1983

A General Purpose Data Entry ProgramJonathan Jacky, Ira Kalet. CACM, 26(6):409-417, 1983.

Sign in or sign up to see more results.

runs on WebDSL