José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Confirmed Publications: 157



31
TITLE: Towards the integration of user interface prototyping and model-based development
AUTHORS: Catarina Machado; José Creissac Campos ;
PUBLISHED: 2021, SOURCE: ICGI
INDEXED IN: Scopus DBLP
IN MY: ORCID
32
TITLE: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
AUTHORS: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLISHED: 2020, SOURCE: FM Workshops (1), VOLUME: 12232
INDEXED IN: DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
33
TITLE: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
AUTHORS: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLISHED: 2020, SOURCE: FM Workshops (2), VOLUME: 12233
INDEXED IN: DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
34
TITLE: Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. An Exploration of Three Formal Tools  Full Text
AUTHORS: Campos, JC ; Fayollas, C; Harrison, MD; Martinie, C; Masci, P; Palanque, P;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 21
IN MY: ORCID
35
TITLE: A Generator of User Interface Prototypes for the IVY Workbench
AUTHORS: Araújo, JM; Couto, R ; Campos, JC ;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
36
TITLE: A use error taxonomy for improving human-machine interface design in medical devices
AUTHORS: Carlos Silva; Paolo Masci; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2019, SOURCE: SIGBED Rev., VOLUME: 16, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID
37
TITLE: Formal techniques in the safety analysis of software components of a new dialysis machine  Full Text
AUTHORS: Harrison, MD; Freitas, L; Drinnan, M; Campos, JC ; Masci, P ; di Maria, C; Whitaker, M;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
INDEXED IN: Scopus WOS DBLP CrossRef: 20
IN MY: ORCID
38
TITLE: Formal Verification of Interactive Computing Systems: Opportunities, Challenges
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2019, SOURCE: EICS Workshops, VOLUME: 2503
INDEXED IN: Scopus DBLP
IN MY: ORCID
39
TITLE: High Assurance on Cyber-Physical Interactive Systems
AUTHORS: Rui Couto ; José Creissac Campos ;
PUBLISHED: 2019, SOURCE: EICS Workshops, VOLUME: 2503
INDEXED IN: Scopus DBLP
IN MY: ORCID
40
TITLE: IVY 2-A model-based analysis tool
AUTHORS: Couto, R ; Campos, JC ;
PUBLISHED: 2019, SOURCE: 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'19)
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
Page 4 of 16. Total results: 157.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service