Travelled to:1 × Denmark
1 × The Netherlands
1 × USA
Collaborated with:∅ I.Kalet J.P.Ernits R.Roo M.Veanes S.Pernsteiner C.Loncaric E.Torlak Z.Tatlock X.W.0005 M.D.Ernst
Talks about:model (3) system (2) safeti (2) applic (2) use (2) radiotherapi (1) scientif (1) pluggabl (1) investig (1) approach (1)
Person: Jonathan Jacky
DBLP: Jacky:Jonathan
Contributed to:
2009
1993
1986
2016Wrote 4 papers:
- TestCom-FATES-2009-ErnitsRJV #modelling #testing #using #web
- Model-Based Testing of Web Applications Using NModel (JPE, RR, JJ, MV), pp. 211–216.
- FME-1993-Jacky #safety #specification
- Specifying a Safety-Critical Control System in Z (JJ), pp. 388–402.
- OOPSLA-1986-JackyK #approach #object-oriented #scalability
- An Object-Oriented Approach to a Large Scientific Application (JJ, IK), pp. 368–376.
- CAV-2016-PernsteinerLTTW #modelling #safety #using
- Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers (SP, CL, ET, ZT, XW0, MDE, JJ), pp. 23–41.