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