Travelled to:3 × USA
Collaborated with:S.Ezer J.Nagle R.L.Constable
Talks about:program (2) verif (2) processor (1) diagnost (1) configur (1) softwar (1) practic (1) automat (1) smart (1) prove (1)
Person: Scott Johnson
DBLP: Johnson:Scott
Contributed to:
2005
19831979Wrote 3 papers:
- DAC-2005-EzerJ #configuration management #verification
- Smart diagnostics for configurable processor verification (SE, SJ), pp. 789–794.
- POPL-1983-NagleJ #automation #embedded #proving #realtime #verification
- Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software (JN, SJ), pp. 48–58.
- POPL-1979-ConstableJ
- A PL/CV Precis (RLC, SJ), pp. 7–20.