Paolo Masci (HASLab/INESC TEC

Identifiers

No identifiers captured yet.

Papers (2)

1. Proceedings 4th Workshop on Formal Integrated Development Environment cs.PL · 2018 · author #1
2. Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web cs.HC · 2017 · author #13

Mentions

No mention provenance yet.

Frequent Coauthors

• France) 2 shared papers
• Universidade do Minho 2 shared papers
• Braga 1 shared papers
• Camille Fayollas (ICS-IRIT 1 shared papers
• C\'elia Martinie (ICS-IRIT 1 shared papers
• Ireland) 1 shared papers
• Jos\'e C. Campos (HASLab/INESC TEC 1 shared papers
• Michael D. Harrison (Newcastle University 1 shared papers
• Newcastle Upon Tyne 1 shared papers
• Philippe Palanque (ICS-IRIT 1 shared papers
• Portugal) 1 shared papers
• Portugal.) 1 shared papers
• Rosemary Monahan (Maynooth University 1 shared papers
• Saulo Rodrigues e Silva (HASLab/INESC TEC 1 shared papers
• Security Lab 1 shared papers
• Toulouse 1 shared papers
• United Kingdom) 1 shared papers
• University of Toulouse 1 shared papers
• Virgile Prevosto (Software Safety 1 shared papers