Concepedia

Paolo Masci

PM

27

Publications

753

Citations

17

H-Index

2006

Active since

Affiliations

Queen Mary University of London(Current)

University of Pisa

University of Minho

Swansea University

Paolo Masci is an author at Queen Mary University of London specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringSoftware DesignFormal VerificationComputer EngineeringDesignSoftware AnalysisVerificationSystem Software

Publications per year

2006–2020

27

Publications

27

Analysis of factors affecting the severity of crashes in urban road intersections

Lorenzo Mussone, Marco Bassani, Paolo Masci · Accident Analysis & Prevention · 2017 · 96 citations · Full text

Urban Road Intersections, Road Traffic Safety, Safety Science +5

Verification of interactive software for medical devices

Paolo Masci, Anaheed Ayoub, Paul Curzon et al. · 2013 · 91 citations

Safety Case, Engineering, Verification +23

A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems

Cinzia Bernardeschi, Andrea Domenici, Paolo Masci · IEEE Transactions on Software Engineering · 2017 · 38 citations · Full text

Pacemaker Model, Engineering, Verification +23

7 Themes for guiding situated ergonomic assessments of medical devices: A case study of an inpatient glucometer

Dominic Furniss, Paolo Masci, Paul Curzon et al. · Applied Ergonomics · 2014 · 36 citations · Full text

Wearable System, Physical Activity, Engineering +24

The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps

Paolo Masci, Rimvydas Rukšėnas, Patrick Oladimeji et al. · Innovations in Systems and Software Engineering · 2013 · 36 citations · Full text

Engineering, Drug Design, Medicine +12

Rows per page

1–5 of 27