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