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 M Moscato; Marco A Feliú; Paolo Masci; César A Muñoz;
PUBLICAÇÃO: 2024, FONTE: FM (2)
AUTORES: Laura Titolo; Mariano M Moscato; Marco A Feliú; Paolo Masci; César A Muñoz;
PUBLICAÇÃO: 2024, FONTE: FM (2)
2
TÃTULO: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
AUTORES: Paolo Masci; Cinzia Bernardeschi; Pierluigi Graziani; Mario Koddenbrock; Maurizio Palmieri;
PUBLICAÇÃO: 2023, FONTE: SEFM Workshops, VOLUME: 13765
AUTORES: Paolo Masci; Cinzia Bernardeschi; Pierluigi Graziani; Mario Koddenbrock; Maurizio Palmieri;
PUBLICAÇÃO: 2023, FONTE: SEFM Workshops, VOLUME: 13765
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP3
TÃTULO: Formal analysis of the application programming interface of the PVS verification system
AUTORES: Paolo Masci;
PUBLICAÇÃO: 2022, FONTE: J. Log. Algebraic Methods Program., VOLUME: 128
AUTORES: Paolo Masci;
PUBLICAÇÃO: 2022, FONTE: J. Log. Algebraic Methods Program., VOLUME: 128
INDEXADO EM: DBLP 
CrossRef
DBLP CrossRef4
TÃTULO: Interpretation and Formalization of the Right-of-Way Rules
AUTORES: Victor A Carreño; Mariano M Moscato; Paolo M Masci; Aaron Dutle;
PUBLICAÇÃO: 2022, FONTE: FACS
AUTORES: Victor A Carreño; Mariano M Moscato; Paolo M Masci; Aaron Dutle;
PUBLICAÇÃO: 2022, FONTE: FACS
5
TÃTULO: Proof Mate: An Interactive Proof Helper for PVS (Tool Paper)
AUTORES: Paolo Masci; Aaron Dutle;
PUBLICAÇÃO: 2022, FONTE: NFM
AUTORES: Paolo Masci; Aaron Dutle;
PUBLICAÇÃO: 2022, FONTE: NFM
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP6
TÃTULO: Towards an implementation of differential dynamic logic in PVS
AUTORES: Tanner T Slagel; César A Muñoz; Swee Balachandran; Mariano M Moscato; Aaron Dutle; Paolo Masci; Lauren M White;
PUBLICAÇÃO: 2022, FONTE: SOAP@PLDI
AUTORES: Tanner T Slagel; César A Muñoz; Swee Balachandran; Mariano M Moscato; Aaron Dutle; Paolo Masci; Lauren M White;
PUBLICAÇÃO: 2022, FONTE: SOAP@PLDI
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP7
TÃTULO: Balancing the Formal and the Informal in User-centred Design
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
8
TÃTULO: Control Rooms from a Human-Computer Interaction Perspective
AUTORES: Tilo Mentler; Philippe A Palanque; Michael D Harrison; Kristof Van Laerhoven; Paolo Masci;
PUBLICAÇÃO: 2021, FONTE: INTERACT (Workshops)
AUTORES: Tilo Mentler; Philippe A Palanque; Michael D Harrison; Kristof Van Laerhoven; Paolo Masci;
PUBLICAÇÃO: 2021, FONTE: INTERACT (Workshops)
9
TÃTULO: Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment
AUTORES: Michael D Harrison; Paolo Masci;
PUBLICAÇÃO: 2021, FONTE: INTERACT (Workshops)
AUTORES: Michael D Harrison; Paolo Masci;
PUBLICAÇÃO: 2021, FONTE: INTERACT (Workshops)
10
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
DBLP