BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
2 × USA
Collaborated with:
Y.Zhang P.Masci P.Curzon H.W.Thimbleby P.Oladimeji D.Ganesan M.Lindvall R.Cleaveland R.P.Jetley J.Cyranka M.A.Islam G.Byrne S.A.Smolka R.Grosu
Talks about:
medic (2) devic (2) pvs (2) reachabililti (1) reconstruct (1) architectur (1) lagrangian (1) interfac (1) softwar (1) analysi (1)

Person: Paul L. Jones

DBLP DBLP: Jones:Paul_L=

Contributed to:

CAV 20152015
FASE 20142014
WICSA 20112011
CAV (1) 20172017

Wrote 4 papers:

CAV-2015-MasciOZJCT #human-computer
PVSio-web 2.0: Joining PVS to HCI (PM, PO, YZ, PLJ, PC, HWT), pp. 470–478.
FASE-2014-MasciZJCT #user interface #using #verification
Formal Verification of Medical Device User Interfaces Using PVS (PM, YZ, PLJ, PC, HWT), pp. 200–214.
WICSA-2011-GanesanLCJJZ #analysis #architecture #re-engineering
Architecture Reconstruction and Analysis of Medical Device Software (DG, ML, RC, RPJ, PLJ, YZ), pp. 194–203.
CAV-2017-CyrankaIBJSG
Lagrangian Reachabililty (JC, MAI, GB, PLJ, SAS, RG), pp. 379–400.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.