Paolo Masci
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
18
Active years
2006–2024
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FM | Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0. | Laura Titolo, Mariano M. Moscato, Marco A. Feli, Paolo Masci, Csar A. Muoz |
| 2022 | PLDI | Towards an implementation of differential dynamic logic in PVS. | J. Tanner Slagel, Csar A. Muoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren M. White |
| 2021 | Interact | Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment. | Michael D. Harrison, Paolo Masci |
| 2021 | Interact | Control Rooms from a Human-Computer Interaction Perspective. | Tilo Mentler, Philippe A. Palanque, Michael D. Harrison, Kristof Van Laerhoven, Paolo Masci |
| 2020 | TAP | A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems. | Paolo Masci, Csar A. Muoz |
| 2019 | FM | Experiences with Streamlining Formal Methods Tools. | Paolo Masci |
| 2018 | EICS | Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results. | Giovanna Broccia, Paolo Masci, Paolo Milazzo |
| 2017 | SEFM | A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. | Paolo Masci, Yi Zhang, Paul L. Jones, Jos Creissac Campos |
| 2017 | SEFM | Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study. | Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci |
| 2016 | ISCC | Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System. | Cinzia Bernardeschi, Andrea Domenici, Paolo Masci |
| 2015 | CAV | PVSio-web 2.0: Joining PVS to HCI. | Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby |
| 2014 | FASE | Formal Verification of Medical Device User Interfaces Using PVS. | Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby |
| 2013 | CHI | MediCHI: safer interaction in medical devices. | Karen Yunqiu Li, Sharon Xianghua Ding, Zhanxun Dong, Liping Qin, Paolo Masci, Chris J. Vincent, Harold W. Thimbleby, Abigail Cauchi, Alexis Lewis, Sisy Baixi Xing, Shouqian Sun, Eric Liu, John Di, Jenson Wang, Mary Welch-Brady |
| 2013 | EICS | Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. | Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby |
| 2013 | SAFECOMP | Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. | Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby |
| 2011 | EICS | Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps. | Ann Blandford, Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Dominic Furniss, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Atish Rajkomar, Rimvydas Ruksenas, Harold Thimbleby |
| 2011 | EICS | Towards Dependable Number Entry for Medical Devices. | Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Rimvydas Ruksenas, Harold Thimbleby |
| 2011 | ISADS | Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems. | Antonia Bertolino, Antonello Calabr, Felicita Di Giandomenico, Marco Martinucci, Paolo Masci |
| 2011 | ISADS | Towards Automated Dependability Analysis of Dynamically Connected Systems. | Paolo Masci, Marco Martinucci, Felicita Di Giandomenico |
| 2010 | EDCC | Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities. | Paolo Masci, Silvano Chiaradonna, Felicita Di Giandomenico |
| 2010 | ISoLA | Dependability Analysis and Verification for Connected Systems. | Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu |
| 2010 | ISSTA | Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems. | Antinisca Di Marco, Antonia Bertolino, Felicita Di Giandomenico, Paolo Masci, Antonino Sabetta |
| 2009 | SSS | Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. | Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer |
| 2008 | SAFECOMP | Early Prototyping of Wireless Sensor Network Algorithms in PVS. | Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer |
| 2007 | MASS | Opportunistic computing for wireless sensor networks. | Marco Avvenuti, Paolo Corsini, Paolo Masci, Alessio Vecchio |
| 2006 | PERCOM | Configuration and tuning of sensor network applications through virtual sensors. | Paolo Corsini, Paolo Masci, Alessio Vecchio |