José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Confirmed Publications: 157



41
TITLE: Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets
AUTHORS: Alexandre Canny; David Navarre; José Creissac Campos ; Philippe A Palanque;
PUBLISHED: 2019, SOURCE: 3rd World Congress on Formal Methods, FM 2019 in Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, VOLUME: 12232
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
42
TITLE: Trends on Engineering Interactive Systems: an overview of works presented in workshops at EICS 2019. an overview of works presented in workshops at EICS 2019
AUTHORS: Distante, D; Winckler, M; Bernhaupt, R; Bowen, J; Campos, JC ; Müller, F; Palanque, P; Van Den Bergh, J; Weyers, B; Voit, A;
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 CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
43
TITLE: Verification Templates for the Analysis of User Interface Software Design  Full Text
AUTHORS: Harrison, MD; Masci, P; Campos, JC ;
PUBLISHED: 2019, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 45, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID | DBLP | CIÊNCIAVITAE
44
TITLE: Formal Modelling as a Component of User Centred Design
AUTHORS: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
PUBLISHED: 2018, SOURCE: International Conference on Software Technologies: Applications and Foundations, STAF 2018 in Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
45
TITLE: Improving the Visualization of Alloy Instances PDF  Full Text
AUTHORS: Couto, R ; Campos, JC ; Macedo, N ; Cunha, A ;
PUBLISHED: 2018, SOURCE: 4th Workshop on Formal Integrated Development Environment (F-IDE) held as a Satellite Workshop of FLoC in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 284, ISSUE: 284
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
46
TITLE: Improving traces visualisation through layout managers
AUTHORS: Couto, R ; Campos, JC ;
PUBLISHED: 2018, SOURCE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
47
TITLE: The MAL Interactors Animator: Supporting model validation through animation. Supporting model validation through animation
AUTHORS: Jose C Campos ; Nuno Sousa;
PUBLISHED: 2018, SOURCE: 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'18)
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
48
TITLE: Towards a Simulation-Based Medical Education Platform for PVSio-Web
AUTHORS: Silva, C; Campos, JC ;
PUBLISHED: 2018, SOURCE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
49
TITLE: A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices
AUTHORS: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2017, SOURCE: 15th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2017 in Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, VOLUME: 10469
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | DBLP | CIÊNCIAVITAE
50
TITLE: A More Intelligent Test Case Generation Approach through Task Models Manipulation
AUTHORS: José Creissac Campos ; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A Palanque; Miguel Pinto;
PUBLISHED: 2017, SOURCE: PACMHCI, VOLUME: 1, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 18
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 5 of 16. Total results: 157.

footer slogan

Useful Links

Get Help

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