Paolo Manuel Masci
AuthID: R-00G-VYY
1
TITLE: Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0
AUTHORS: Laura Titolo; Mariano Moscato; Marco A Feliu; Paolo Masci; César A Muñoz;
PUBLISHED: 2024, SOURCE: Lecture Notes in Computer Science - Formal Methods
AUTHORS: Laura Titolo; Mariano Moscato; Marco A Feliu; Paolo Masci; César A Muñoz;
PUBLISHED: 2024, SOURCE: Lecture Notes in Computer Science - Formal Methods
2
TITLE: Control Rooms from a Human-Computer Interaction Perspective
AUTHORS: Tilo Mentler; Philippe Palanque; Michael D Harrison; Kristof Van Laerhoven; Paolo Masci;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science - Sense, Feel, Design
AUTHORS: Tilo Mentler; Philippe Palanque; Michael D Harrison; Kristof Van Laerhoven; Paolo Masci;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science - Sense, Feel, Design
3
TITLE: Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment
AUTHORS: Michael D Harrison; Paolo Masci;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science - Sense, Feel, Design
AUTHORS: Michael D Harrison; Paolo Masci;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science - Sense, Feel, Design
4
TITLE: Formal Analysis of the Application Programming Interface of the PVS Verification System
AUTHORS: Paolo Masci;
PUBLISHED: 2022, SOURCE: Journal of Logical and Algebraic Methods in Programming
AUTHORS: Paolo Masci;
PUBLISHED: 2022, SOURCE: Journal of Logical and Algebraic Methods in Programming
5
TITLE: Interpretation and Formalization of the Right-of-Way Rules
AUTHORS: Victor A Carreño; Mariano M Moscato; Paolo M Masci; Aaron M Dutle;
PUBLISHED: 2022, SOURCE: Formal Aspects of Component Software - Lecture Notes in Computer Science
AUTHORS: Victor A Carreño; Mariano M Moscato; Paolo M Masci; Aaron M Dutle;
PUBLISHED: 2022, SOURCE: Formal Aspects of Component Software - Lecture Notes in Computer Science
6
TITLE: Balancing the Formal and the Informal in User-centred Design Full Text
AUTHORS: Harrison, MD ; Masci, P; Campos, JC ;
PUBLISHED: 2021, SOURCE: INTERACTING WITH COMPUTERS, VOLUME: 33, ISSUE: 1
AUTHORS: Harrison, MD ; Masci, P; Campos, JC ;
PUBLISHED: 2021, SOURCE: INTERACTING WITH COMPUTERS, VOLUME: 33, ISSUE: 1
7
TITLE: A framework for FMI-based co-simulation of human-machine interfaces
AUTHORS: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci;
PUBLISHED: 2020, SOURCE: Software and Systems Modeling, VOLUME: 19, ISSUE: 3
AUTHORS: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci;
PUBLISHED: 2020, SOURCE: Software and Systems Modeling, VOLUME: 19, ISSUE: 3
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP8
TITLE: A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems
AUTHORS: Paolo Masci; César A Muñoz;
PUBLISHED: 2020, SOURCE: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], VOLUME: 12165
AUTHORS: Paolo Masci; César A Muñoz;
PUBLISHED: 2020, SOURCE: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], VOLUME: 12165
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP9
TITLE: Dependable Computing - EDCC 2020 Workshops - AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings
AUTHORS: 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;
PUBLISHED: 2020, SOURCE: EDCC Workshops, VOLUME: 1279
AUTHORS: 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;
PUBLISHED: 2020, SOURCE: EDCC Workshops, VOLUME: 1279
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP10
TITLE: Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. An Exploration of Three Formal Tools Full Text
AUTHORS: Jose Creissac Campos ; Camille Fayollas; Michael D Harrison; Celia Martinie; Paolo Masci; Philippe Palanque;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, ISSUE: 5
AUTHORS: Jose Creissac Campos ; Camille Fayollas; Michael D Harrison; Celia Martinie; Paolo Masci; Philippe Palanque;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, ISSUE: 5
