Travelled to:1 × France
1 × USA
Collaborated with:Y.Zhang P.L.Jones P.Curzon H.W.Thimbleby P.Oladimeji
Talks about:pvs (2) interfac (1) formal (1) verif (1) medic (1) devic (1) user (1) join (1) web (1) use (1)
Person: Paolo Masci
DBLP: Masci:Paolo
Contributed to:
2015
2014Wrote 2 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.