Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Paolo Masci 0001

Paolo M. Masci

> Home > Persons

Person information

affiliation: National Institute of Aerospace, Langley Research Center, Hampton, VA, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/Masci22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/Masci22
Paolo Masci:
Formal analysis of the application programming interface of the PVS verification system. J. Log. Algebraic Methods Program. 128: 100793 (2022)
2021
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/iwc/HarrisonMC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iwc/HarrisonMC21
Michael D. Harrison, Paolo Masci, José Creissac Campos:
Balancing the formal and the informal in user-centred design. Interact. Comput. 33(1): 55-72 (2021)
2020
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/PalmieriBM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/PalmieriBM20
Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci:
A framework for FMI-based co-simulation of human-machine interfaces. Softw. Syst. Model. 19(3): 601-623 (2020)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/tochi/CamposFHMMP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tochi/CamposFHMMP20
José Creissac Campos, Camille Fayollas, Michael D. Harrison, Célia Martinie, Paolo Masci, Philippe A. Palanque:
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Trans. Comput. Hum. Interact. 27(5): 35:1-35:48 (2020)
2019
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/HarrisonFDCMMW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HarrisonFDCMMW19
Michael D. Harrison, Leo Freitas, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Costanzo di Maria, Michael Whitaker:
Formal techniques in the safety analysis of software components of a new dialysis machine. Sci. Comput. Program. 175: 17-34 (2019)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/sigbed/SilvaMZJC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigbed/SilvaMZJC19
Carlos Silva, Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos:
A use error taxonomy for improving human-machine interface design in medical devices. SIGBED Rev. 16(2): 24-30 (2019)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/sigbed/BernardeschiMCD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigbed/BernardeschiMCD19
Cinzia Bernardeschi, Paolo Masci, Davide Caramella, Ruggero Dell'Osso:
The benefits of using interactive device simulations as training material for clinicians: an experience report with a contrast media injector used in CT. SIGBED Rev. 16(2): 41-45 (2019)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/HarrisonMC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/HarrisonMC19
Michael D. Harrison, Paolo Masci, José Creissac Campos:
Verification Templates for the Analysis of User Interface Software Design. IEEE Trans. Software Eng. 45(8): 802-822 (2019)
2018
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BernardeschiDM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BernardeschiDM18
Cinzia Bernardeschi, Andrea Domenici, Paolo Masci:
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems. IEEE Trans. Software Eng. 44(6): 512-533 (2018)
2017
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/thms/HarrisonMCC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/thms/HarrisonMCC17
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon:
Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Trans. Hum. Mach. Syst. 47(6): 834-846 (2017)
2016
[j20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eetcc/MasciOMCT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eetcc/MasciOMCT16
Paolo Masci, Patrick Oladimeji, Piergiuseppe Mallozzi, Paul Curzon, Harold Thimbleby:
PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems. EAI Endorsed Trans. Collab. Comput. 2(7): e3 (2016)
[j19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eetct/HarrisonCMC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eetct/HarrisonCMC16
Michael D. Harrison, José Creissac Campos, Paolo Masci, Paul Curzon:
Templates as heuristics for proving properties of medical devices. EAI Endorsed Trans. Creative Technol. 3(8): e1 (2016)
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eetct/ThimblebyOMC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eetct/ThimblebyOMC16
Harold Thimbleby, Patrick Oladimeji, Paolo Masci, Paul Curzon:
Issues in number entry user interface styles: Recommendations for mitigation. EAI Endorsed Trans. Creative Technol. 3(8): e2 (2016)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/iwc/TuMVLT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iwc/TuMVLT16
Huawei Tu, Paolo Masci, Chris J. Vincent, Karen Yunqiu Li, Harold Thimbleby:
IWC Special Issue in Human Factors and Interaction Design for Critical Systems. Interact. Comput. 28(2): 149-150 (2016)
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sas/BernardeschiDM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sas/BernardeschiDM16
Cinzia Bernardeschi, Andrea Domenici, Paolo Masci:
Towards a Formalization of System Requirements for an Integrated Clinical Environment. EAI Endorsed Trans. Self Adapt. Syst. 2(6): e3 (2016)
2015
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/MasciROCGLCT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/MasciROCGLCT15
Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby:
The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. Innov. Syst. Softw. Eng. 11(2): 73-93 (2015)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/HarrisonCM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/HarrisonCM15
Michael D. Harrison, José Creissac Campos, Paolo Masci:
Reusing models and properties in the analysis of similar interactive devices. Innov. Syst. Softw. Eng. 11(2): 95-111 (2015)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/MasciCFB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/MasciCFB15
Paolo Masci, Paul Curzon, Dominic Furniss, Ann Blandford:
Using PVS to support the analysis of distributed cognition systems. Innov. Syst. Softw. Eng. 11(2): 113-130 (2015)
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jbi/FurnissMCMB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jbi/FurnissMCMB15
Dominic Furniss, Paolo Masci, Paul Curzon, Astrid Mayer, Ann Blandford:
Exploring medical device design and use through layers of Distributed Cognition: How a glucometer is coupled with its context. J. Biomed. Informatics 53: 330-341 (2015)
2014
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/GiandomenicoIMN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/GiandomenicoIMN14
Felicita Di Giandomenico, Massimiliano Leone Itria, Paolo Masci, Nicola Nostro:
Automated synthesis of dependable mediators for heterogeneous interoperable systems. Reliab. Eng. Syst. Saf. 132: 220-232 (2014)
2013
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/HarrisonMCC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/HarrisonMCC13
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon:
Automated theorem proving for the systematic analysis of an infusion pump. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013)
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/OladimejiMCT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/OladimejiMCT13
Patrick Oladimeji, Paolo Masci, Paul Curzon, Harold W. Thimbleby:
PVSio-web: a tool for rapid prototyping device user interfaces in PVS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013)
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/RuksenasMHC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/RuksenasMHC13
Rimvydas Ruksenas, Paolo Masci, Michael D. Harrison, Paul Curzon:
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013)
2012
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/AvvenutiBFM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/AvvenutiBFM12
Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco, Paolo Masci:
JCSI: A tool for checking secure information flow in Java Card applications. J. Syst. Softw. 85(11): 2479-2493 (2012)
2011
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MasciCBF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MasciCBF11
Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss:
Modelling Distributed Cognition Systems in PVS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MasciROCGLCT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MasciROCGLCT11
Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby:
On formalising interactive number entry on infusion pumps. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
2008
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BernardeschiFLMM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BernardeschiFLMM08
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci:
Decomposing bytecode verification by abstract interpretation. ACM Trans. Program. Lang. Syst. 31(1): 3:1-3:63 (2008)
2007
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/percom/AvvenutiCMV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/percom/AvvenutiCMV07
Marco Avvenuti, Paolo Corsini, Paolo Masci, Alessio Vecchio:
An application adaptation layer for wireless sensor networks. Pervasive Mob. Comput. 3(4): 413-438 (2007)
2006
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/BernardeschiLMM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/BernardeschiLMM06
Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci:
Using Control Dependencies for Space-Aware Bytecode Verification. Comput. J. 49(2): 234-248 (2006)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/BernardeschiLMM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/BernardeschiLMM06
Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci:
Using postdomination to reduce space requirements of data flow analysis. Inf. Process. Lett. 98(1): 11-18 (2006)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/CarrenoMMD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/CarrenoMMD22
Victor A. Carreño, Mariano M. Moscato, Paolo M. Masci, Aaron Dutle:
Interpretation and Formalization of the Right-of-Way Rules. FACS 2022: 59-73
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MasciD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MasciD22
Paolo Masci, Aaron Dutle:
Proof Mate: An Interactive Proof Helper for PVS (Tool Paper). NFM 2022: 809-815
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/SlagelMBMD0W22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/SlagelMBMD0W22
J. Tanner Slagel, César A. Muñoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren White:
Towards an implementation of differential dynamic logic in PVS. SOAP@PLDI 2022: 44-50
2021
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/interact/MentlerPHLM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/interact/MentlerPHLM21
Tilo Mentler, Philippe A. Palanque, Michael D. Harrison, Kristof Van Laerhoven, Paolo Masci:
Control Rooms from a Human-Computer Interaction Perspective. INTERACT (Workshops) 2021: 281-289
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/interact/HarrisonM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/interact/HarrisonM21
Michael D. Harrison, Paolo Masci:
Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment. INTERACT (Workshops) 2021: 316-328
2020
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/MasciM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/MasciM20
Paolo Masci, César A. Muñoz:
A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems. TAP@STAF 2020: 155-166
2019
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Masci19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Masci19
Paolo Masci:
Experiences with Streamlining Formal Methods Tools. FM Workshops (1) 2019: 5-11
[c43]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1912-10632
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-10632
Paolo Masci, César A. Muñoz:
An Integrated Development Environment for the Prototype Verification System. F-IDE@FM 2019: 35-49
2018
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/BrocciaMM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/BrocciaMM18
Giovanna Broccia, Paolo Masci, Paolo Milazzo:
Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results. EICS 2018: 9:1-9:7
[c41]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/itasec/BernardeschiMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itasec/BernardeschiMS18
Cinzia Bernardeschi, Paolo Masci, Antonella Santone:
Data Leakage in Java Applets with Exception Mechanism. ITASEC 2018
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/staf/PalmieriBM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/PalmieriBM18
Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci:
A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems. STAF Workshops 2018: 21-33
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/staf/HarrisonMC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/HarrisonMC18
Michael D. Harrison, Paolo Masci, José Creissac Campos:
Formal Modelling as a Component of User Centred Design. STAF Workshops 2018: 274-289
[c38]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1811-10821
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10821
Nathaniel Watson, Steve Reeves, Paolo Masci:
Integrating User Design and Formal Models within PVSio-Web. F-IDE@FLoC 2018: 95-104
2017
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/HarrisonDCMFMW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/HarrisonDCMFMW17
Michael D. Harrison, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Leo Freitas, Costanzo di Maria, Michael Whitaker:
Safety Analysis of Software Components of a Dialysis Machine Using Model Checking. FACS 2017: 137-154
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/PintoGMC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/PintoGMC17
Miguel Pinto, Marcelo Gonçalves, Paolo Masci, José Creissac Campos:
TOM: A Model-Based GUI Testing Framework. FACS 2017: 155-161
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/MasciZJC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/MasciZJC17
Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos:
A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. SEFM 2017: 284-299
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/PalmieriBM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/PalmieriBM17
Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci:
Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study. SEFM Workshops 2017: 423-437
2016
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/BernardeschiDM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/BernardeschiDM16
Cinzia Bernardeschi, Andrea Domenici, Paolo Masci:
Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System. ISCC 2016: 135-140
[c32]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FayollasMPMHCS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FayollasMPMHCS17
Camille Fayollas, Célia Martinie, Philippe A. Palanque, Paolo Masci, Michael D. Harrison, José Creissac Campos, Saulo Rodrigues e Silva:
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. F-IDE@FM 2016: 1-19
2015
[c31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/MasciOZJCT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/MasciOZJCT15
Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby:
PVSio-web 2.0: Joining PVS to HCI. CAV (1) 2015: 470-478
2014
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/MasciZJCT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/MasciZJCT14
Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby:
Formal Verification of Medical Device User Interfaces Using PVS. FASE 2014: 200-214
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/fhies/HarrisonMCC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fhies/HarrisonMCC14
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon:
Demonstrating that Medical Devices Satisfy User Related Safety Requirements. FHIES/SEHC 2014: 113-128
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/fhies/MasciOCT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fhies/MasciOCT14
Paolo Masci, Patrick Oladimeji, Paul Curzon, Harold Thimbleby:
Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces. FHIES/SEHC 2014: 214-221
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/mcps/MasciZJTC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mcps/MasciZJTC14
Paolo Masci, Yi Zhang, Paul L. Jones, Harold Thimbleby, Paul Curzon:
A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software. MCPS 2014: 1-14
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MasciZJODBCT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MasciZJODBCT14
Paolo Masci, Yi Zhang, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi, Paul Curzon, Harold Thimbleby:
Combining PVSio with Stateflow. NASA Formal Methods 2014: 209-214
2013
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/LiDDQMVTCLXSLDWW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/LiDDQMVTCLXSLDWW13
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:
MediCHI: safer interaction in medical devices. CHI Extended Abstracts 2013: 3267-3270
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/MasciACHLT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/MasciACHLT13
Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby:
Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. EICS 2013: 81-90
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/MasciACLST13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/MasciACLST13
Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby:
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. SAFECOMP 2013: 228-240
2012
[c22]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/bcshci/CauchiGTCM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bcshci/CauchiGTCM12
Abigail Cauchi, Andy Gimblett, Harold W. Thimbleby, Paul Curzon, Paolo Masci:
Safer "5-key" number entry user interfaces using differential formal analysis. BCS HCI 2012: 29-38
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MasciHCH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MasciHCH12
Paolo Masci, Huayi Huang, Paul Curzon, Michael D. Harrison:
Using PVS to Investigate Incidents through the Lens of Distributed Cognition. NASA Formal Methods 2012: 273-278
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/serene/MasciFCHB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/MasciFCHB12
Paolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison, Ann Blandford:
Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain. SERENE 2012: 150-164
2011
[c19]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/eics/CauchiCEGHLLMOR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/CauchiCEGHLLMOR11
Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Rimvydas Ruksenas, Harold Thimbleby:
Towards Dependable Number Entry for Medical Devices. EICS4Med 2011: 53-58
[c18]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/eics/BlandfordCCEFGH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/BlandfordCCEFGH11
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:
Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps. EICS4Med 2011: 59-64
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ewdc/MasciCHRBFR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewdc/MasciCHRBFR11
Paolo Masci, Paul Curzon, Huayi Huang, Rimvydas Ruksenas, Ann Blandford, Dominic Furniss, Atish Rajkomar:
Towards a formal framework for reasoning about the resilience of dynamic interactive systems. EWDC 2011: 109-110
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/isads/MasciMG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isads/MasciMG11
Paolo Masci, Marco Martinucci, Felicita Di Giandomenico:
Towards Automated Dependability Analysis of Dynamically Connected Systems. ISADS 2011: 139-146
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/isads/BertolinoCGMM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isads/BertolinoCGMM11
Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Marco Martinucci, Paolo Masci:
Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems. ISADS 2011: 315-318
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/serene/MasciNG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/MasciNG11
Paolo Masci, Nicola Nostro, Felicita Di Giandomenico:
On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis. SERENE 2011: 78-92
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/usab/MasciC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usab/MasciC11
Paolo Masci, Paul Curzon:
Checking User-Centred Design Principles in Distributed Cognition Models: A Case Study in the Healthcare Domain. USAB 2011: 95-108
2010
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/MasciCG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/MasciCG10
Paolo Masci, Silvano Chiaradonna, Felicita Di Giandomenico:
Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities. EDCC 2010: 145-154
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/GiandomenicoKMMQ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/GiandomenicoKMMQ10
Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu:
Dependability Analysis and Verification for Connected Systems. ISoLA (2) 2010: 263-277
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/MarcoBGMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/MarcoBGMS10
Antinisca Di Marco, Antonia Bertolino, Felicita Di Giandomenico, Paolo Masci, Antonino Sabetta:
Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems. WODA 2010: 32-37
2009
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sss/BernardeschiMP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sss/BernardeschiMP09
Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer:
Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. SSS 2009: 105-119
2008
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/BernardeschiMP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/BernardeschiMP08
Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer:
Early Prototyping of Wireless Sensor Network Algorithms in PVS. SAFECOMP 2008: 346-359
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/serene/MasciMT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/MasciMT08
Paolo Masci, Henrique Moniz, Alessandra Tedeschi:
Services for fault-tolerant conflict resolution in air traffic management. SERENE 2008: 121-125
2007
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/mass/AvvenutiCMV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mass/AvvenutiCMV07
Marco Avvenuti, Paolo Corsini, Paolo Masci, Alessio Vecchio:
Opportunistic computing for wireless sensor networks. MASS 2007: 1-6
2006
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icwmc/CorsiniMV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icwmc/CorsiniMV06
Paolo Corsini, Paolo Masci, Alessio Vecchio:
VirtuS: a configurable layer for post-deployment adaptation of sensor network. ICWMC 2006: 8
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/percom/CorsiniMV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/percom/CorsiniMV06
Paolo Corsini, Paolo Masci, Alessio Vecchio:
Configuration and tuning of sensor network applications through virtual sensors. PerCom Workshops 2006: 316-320
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/wis/CorsiniV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wis/CorsiniV06
Paolo Corsini, Paolo Masci, Alessio Vecchio:
Experiences with the TinyOS Communication Library. Wireless Information Systems 2006: 47-55
2005
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BernardeschiLMM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BernardeschiLMM05
Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci:
A Space-Aware Bytecode Verifier for Java Cards. Bytecode@ETAPS 2005: 237-254
2004
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iastedSEA/BernardeschiMM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iastedSEA/BernardeschiMM04
Cinzia Bernardeschi, Luca Martini, Paolo Masci:
Java bytecode verification with dynamic structures. IASTED Conf. on Software Engineering and Applications 2004: 559-564

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2019
[p3]
- view
  authority control:
- export record
  dblp key:
  - series/cb/BernardeschiDM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/BernardeschiDM19
Cinzia Bernardeschi, Andrea Domenici, Paolo Masci:
Logic-Based Formalization of System Requirements for Integrated Clinical Environments. Automated Reasoning for Systems Biology and Medicine 2019: 215-242
2017
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/17/HarrisonMCC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/17/HarrisonMCC17
Michael D. Harrison, Paolo M. Masci, José Creissac Campos, Paul Curzon:
The Specification and Analysis of Use Properties of a Nuclear Control System. Handbook of Formal Methods in Human-Computer Interaction 2017: 379-403
2016
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/crc/p/RuksenasMC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/RuksenasMC16
Rimvydas Ruksenas, Paolo Masci, Paul Curzon:
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. From Action Systems to Distributed Systems 2016: 215-230

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2023
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/2022w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/2022w
Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri:
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13765, Springer 2023, ISBN 978-3-031-26235-7 [contents]
2020
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/2020w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/2020w
Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci:
Dependable Computing - EDCC 2020 Workshops - AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings. Communications in Computer and Information Science 1279, Springer 2020, ISBN 978-3-030-58461-0 [contents]
2018
[e3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1811-09014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-09014
Paolo Masci, Rosemary Monahan, Virgile Prevosto:
Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018. EPTCS 284, 2018 [contents]
2017
[e2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DuboisMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DuboisMM17
Catherine Dubois, Paolo Masci, Dominique Méry:
Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016. EPTCS 240, 2017 [contents]
2015
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DuboisMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DuboisMM15
Catherine Dubois, Paolo Masci, Dominique Méry:
Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015. EPTCS 187, 2015 [contents]

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.