Jonathan Jacky
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1986–2016
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CAV | 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 |
| 2004 | ICFEM | Model-Based Testing with Spec#. | Jonathan Jacky |
| 1993 | FM | Specifying a Safety-Critical Control System in Z. | Jonathan Jacky |
| 1986 | OOPSLA | An Object-Oriented Approach to a Large Scientific Application. | Jonathan Jacky, Ira Kalet |