José Creissac Campos

123 papers A 1B 1C 3Misc 20Journal 25Unranked 66
YearRankTypeTitle / Venue / Authors
2026 J jnl
Foreword to the special section on recent advances in graphics and interaction (RAGI 2025).
Comput. Graph.
Tomás Alves, José Creissac Campos, Alan Chalmers
2025 — conf
Automating Code Generation from User Interface Prototypes.
ICGI
João Peixoto Castro, José Creissac Campos
2025 — ed.
Engineering Interactive Computer Systems. EICS 2024 International Workshops - Cagliari, Sardinia, Italy, June 24-26, 2024, Revised Selected Papers
EICS (Workshops)
Luciana A. M. Zaina, José Creissac Campos, Lucio Davide Spano, Kris Luyten, Philippe A. Palanque, Gerrit C. van der Veer, Achim Ebert, Shah Rukh Humayoun, Vera Marie Memmesheimer
2025 — conf
Engineering Interactive Systems Embedding AI Technologies (3rd workshop on).
EICS (Companion)
Barbara Rita Barricelli, José Creissac Campos, Kris Luyten, Sven Mayer, Philippe A. Palanque, Emanuele Panizzi, Lucio Davide Spano, Simone Stumpf
2025 — conf
Engineering Methods for HCI and UX in AI-Driven Systems.
INTERACT (4)
Lucio Davide Spano, Philippe A. Palanque, Célia Martinie, José Creissac Campos, Albrecht Schmidt, Barbara Rita Barricelli, Passant El Agroudy, Kris Luyten
2025 J jnl
Foreword to the special section on recent advances in graphics and interaction (RAGI 2024).
Comput. Graph.
Anabela Marto, José Creissac Campos, Kyle Johnsen
2025 — conf
Towards a More Natural Approach to Property Specification in the IVY Workbench.
INTERACT (3)
João Gomes, Mário Arcipreste, Miguel Gomes, José Creissac Campos
2024 — conf
50 years of Research in Engineering Interactive Computing Systems: the CCL 1974 to EICS 2024 journey.
EICS (Companion)
José Creissac Campos, Kris Luyten, Laurence Nigay, Philippe A. Palanque, Fabio Paternò, Lucio Davide Spano, Jean Vanderdonckt
2024 — conf
A Language for Explaining Counterexamples.
SLATE
Ezequiel José Veloso Ferreira Moreira, José Creissac Campos
2024 — conf
Assessing the impact of hints in learning formal specification.
SEET@ICSE
Alcino Cunha, Nuno Macedo, José Creissac Campos, Iara Margolis, Emanuel Sousa
2024 — ed.
Companion Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS Companion 2024, Cagliari, Italy, June 24-28, 2024
EICS (Companion)
Michael Nebeling, Lucio Davide Spano, José Creissac Campos
2024 — conf
On the Role of Generative AI in Explaining Model Checking Counterexamples.
EICS (Workshops)
Ezequiel José Veloso Ferreira Moreira, José Creissac Campos
2023 C conf
AMAN Case Study.
ABZ
Philippe A. Palanque, José Creissac Campos
2023 — conf
An Online Repository for Educational Resources in HCI-Engineering.
INTERACT Workshops (1)
Lucio Davide Spano, José Creissac Campos, Anke Dittmar, Peter Forbrig
2023 — conf
Editorial to the Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education.
INTERACT Workshops (1)
Lucio Davide Spano, José Creissac Campos, Anke Dittmar
2023 — conf
Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language.
EICS (Workshops)
Ezequiel José Veloso Ferreira Moreira, José Creissac Campos
2023 — conf
HCI-E
INTERACT (4)
José Creissac Campos, Laurence Nigay, Alan J. Dix, Anke Dittmar, Simone D. J. Barbosa, Lucio Davide Spano
2023 — conf
Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design.
INTERACT (2)
Rafael Braga da Costa, José Creissac Campos
2023 C ed.
Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings
ABZ
Uwe Glässer, José Creissac Campos, Dominique Méry, Philippe A. Palanque
2023 — conf
Towards Automated Load Testing Through the User Interface.
INTERACT (2)
Bruno Teixeira, José Creissac Campos
2022 — ed.
Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 - September 3, 2021, Revised Selected Papers
INTERACT (Workshops)
Carmelo Ardito, Rosa Lanzilotti, Alessio Malizia, Marta Lárusdóttir, Lucio Davide Spano, José Creissac Campos, Morten Hertzum, Tilo Mentler, José L. Abdelnour-Nocera, Lara S. G. Piccolo, Stefan Sauer, Gerrit C. van der Veer
2022 A conf
Verification of railway network models with EVEREST.
MoDELS
João Martins, José M. Fonseca, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira
2021 — conf
Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees.
INTERACT (Workshops)
José Creissac Campos, António Nestor Ribeiro
2021 J jnl
Balancing the formal and the informal in user-centred design.
Interact. Comput.
Michael D. Harrison, Paolo Masci, José Creissac Campos
2021 — conf
HCI-E
INTERACT (5)
Konrad Baumann, José Creissac Campos, Alan J. Dix, Laurence Nigay, Philippe A. Palanque, Jean Vanderdonckt, Gerrit C. van der Veer, Benjamin Weyers
2021 J jnl
Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems.
Interact. Comput.
Yamine Aït Ameur, Judy Bowen, José Creissac Campos, Philippe A. Palanque, Benjamin Weyers
2021 — conf
Teaching HCI Engineering: Four Case Studies.
INTERACT (Workshops)
Sybille Caffiau, José Creissac Campos, Célia Martinie, Laurence Nigay, Philippe A. Palanque, Lucio Davide Spano
2021 Misc conf
The Management of Risks and Benefits when Engineering Interactive Digital Systems.
EICS
José Creissac Campos, T. C. Nicholas Graham, Lucio Davide Spano, Jan Van den Bergh
2021 — conf
Towards the integration of user interface prototyping and model-based development.
ICGI
Catarina Machado, José Creissac Campos
2020 — ed.
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
FM Workshops (1)
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
2020 — ed.
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
FM Workshops (2)
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
2020 J jnl
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools.
ACM Trans. Comput. Hum. Interact.
José Creissac Campos, Camille Fayollas, Michael D. Harrison, Célia Martinie, Paolo Masci, Philippe A. Palanque
2019 — conf
A Generator of User Interface Prototypes for the IVY Workbench.
ICGI
João Miguel Araújo, Rui Couto, José Creissac Campos
2019 J jnl
A use error taxonomy for improving human-machine interface design in medical devices.
SIGBED Rev.
Carlos Silva, Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos
2019 — conf
Formal Verification of Interactive Computing Systems: Opportunities, Challenges.
EICS Workshops
José Creissac Campos, Michael D. Harrison
2019 J jnl
Formal techniques in the safety analysis of software components of a new dialysis machine.
Sci. Comput. Program.
Michael D. Harrison, Leo Freitas, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Costanzo Di Maria, Michael Whitaker
2019 — conf
High Assurance on Cyber-Physical Interactive Systems.
EICS Workshops
Rui Couto, José Creissac Campos
2019 Misc conf
IVY 2: a model-based analysis tool.
EICS
Rui Couto, José Creissac Campos
2019 — conf
Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets.
FM Workshops (1)
Alexandre Canny, David Navarre, José Creissac Campos, Philippe A. Palanque
2019 Misc conf
Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019.
EICS
Damiano Distante, Marco Winckler, Regina Bernhaupt, Judy Bowen, José Creissac Campos, Florian Müller, Philippe A. Palanque, Jan Van den Bergh, Benjamin Weyers, Alexandra Voit
2019 J jnl
Verification Templates for the Analysis of User Interface Software Design.
IEEE Trans. Software Eng.
Michael D. Harrison, Paolo Masci, José Creissac Campos
2018 — conf
Formal Modelling as a Component of User Centred Design.
STAF Workshops
Michael D. Harrison, Paolo Masci, José Creissac Campos
2018 — conf
Improving the Visualization of Alloy Instances.
F-IDE@FLoC
Rui Couto, José Creissac Campos, Nuno Macedo, Alcino Cunha
2018 Misc conf
The MAL Interactors Animator: Supporting model validation through animation.
EICS
José Creissac Campos, Nuno J. Sousa
2018 — conf
Towards a Simulation-Based Medical Education Platform for PVSio-Web.
ICGI
Carlos Silva, José Creissac Campos
2017 B conf
A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices.
SEFM
Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos
2017 J jnl
A More Intelligent Test Case Generation Approach through Task Models Manipulation.
Proc. ACM Hum. Comput. Interact.
José Creissac Campos, Camille Fayollas, Marcelo Gonçalves, Célia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto
2017 J jnl
Don't go in there! using the APEX framework in the design of ambient assisted living systems.
J. Ambient Intell. Humaniz. Comput.
José Creissac Campos, Tiago Abade, José Luís Silva, Michael D. Harrison
2017 Misc conf
MODUS: model-based user interfaces prototyping.
EICS
Marina Machado, Rui Couto, José Creissac Campos
2017 Misc ed.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017, Lisbon, Portugal, June 26-29, 2017
EICS
José Creissac Campos, Nuno Nunes, Pedro Campos, Gaëlle Calvary, Jeffrey Nichols, Célia Martinie, José Luís Silva
2017 — conf
Safety Analysis of Software Components of a Dialysis Machine Using Model Checking.
FACS
Michael D. Harrison, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Leo Freitas, Costanzo Di Maria, Michael Whitaker
2017 — conf
TOM: A Model-Based GUI Testing Framework.
FACS
Miguel Pinto, Marcelo Gonçalves, Paolo Masci, José Creissac Campos
2017 — ch.
The Specification and Analysis of Use Properties of a Nuclear Control System.
Handbook of Formal Methods in Human-Computer Interaction
Michael D. Harrison, Paolo M. Masci, José Creissac Campos, Paul Curzon
2017 J jnl
Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices.
IEEE Trans. Hum. Mach. Syst.
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
2017 J jnl
Welcome to the First Issue of PACMHCI EICS.
Proc. ACM Hum. Comput. Interact.
Gaëlle Calvary, Jeffrey Nichols, José Creissac Campos, Nuno Jardim Nunes, Pedro F. Campos
2016 — conf
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web.
F-IDE@FM
Camille Fayollas, Célia Martinie, Philippe A. Palanque, Paolo Masci, Michael D. Harrison, José Creissac Campos, Saulo Rodrigues e Silva
2016 J jnl
Formal Verification of a Space System's User Interface With the IVY Workbench.
IEEE Trans. Hum. Mach. Syst.
José Creissac Campos, Manuel Sousa, Miriam C. Bergue Alves, Michael D. Harrison
2016 Misc conf
Modelling information resources and their salience in medical device design.
EICS
Michael D. Harrison, José Creissac Campos, Rimvydas Ruksenas, Paul Curzon
2016 Misc conf
Systematic automation of scenario-based testing of user interfaces.
EICS
José Creissac Campos, Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto
2016 J jnl
Templates as heuristics for proving properties of medical devices.
EAI Endorsed Trans. Creative Technol.
Michael D. Harrison, José Creissac Campos, Paolo Masci, Paul Curzon
2016 — conf
Validating an Approach to Formalize Use Cases with Ontologies.
FESCA@ETAPS
Rui Couto, António Nestor Ribeiro, José Creissac Campos
2015 — conf
Immersiveness of Ubiquitous Computing Environments Prototypes: A Case Study.
HCI (21)
Tiago Abade, José Creissac Campos, Rui Moreira, Carlos César Loureiro Silva, José Luís Silva
2015 J jnl
Reusing models and properties in the analysis of similar interactive devices.
Innov. Syst. Softw. Eng.
Michael D. Harrison, José Creissac Campos, Paolo Masci
2015 — conf
Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes.
IWAAL
José Creissac Campos, Tiago Abade, José Luís Silva, Michael D. Harrison
2015 Misc conf
Towards a catalog of usability smells.
SAC
Diogo Almeida, José Creissac Campos, João Saraiva, João Carlos Silva
2014 Misc conf
A Study on the Viability of Formalizing Use Cases.
QUATIC
Rui Couto, António Nestor Ribeiro, José Creissac Campos
2014 J jnl
A Virtual Environment based Serious Game to Support Health Education.
EAI Endorsed Trans. Ambient Syst.
Tiago Gomes, Tiago Abade, José Creissac Campos, Michael D. Harrison, José Luís Silva
2014 — conf
An Approach for Graphical User Interface External Bad Smells Detection.
WorldCIST (2)
João Carlos Silva, José Creissac Campos, João Saraiva, José Luís Silva
2014 J jnl
Analysing interactive devices based on information resource constraints.
Int. J. Hum. Comput. Stud.
José Creissac Campos, Gavin J. Doherty, Michael D. Harrison
2014 — conf
Application of Ontologies in Identifying Requirements Patterns in Use Cases.
FESCA
Rui Couto, António Nestor Ribeiro, José Creissac Campos
2014 — conf
Characterizing the Control Logic of Web Applications' User Interfaces.
ICCSA (6)
Carlos Eduardo Bastos e Marques da Silva, José Creissac Campos
2014 — conf
Demonstrating that Medical Devices Satisfy User Related Safety Requirements.
FHIES/SEHC
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
2014 — conf
Design and Evaluation of a Smart Library Using the APEX Framework.
HCI (21)
Tiago Abade, Tiago Gomes, José Luís Silva, José Creissac Campos
2014 — conf
Formal Verification of Safety-Critical User Interfaces: a space system case study.
AAAI Spring Symposia
Manuel Sousa, José Creissac Campos, Miriam C. Bergue Alves, Michael D. Harrison
2014 Misc conf
HCI engineering: charting the way towards methods and tools for advanced interactive systems.
EICS
Jürgen Ziegler, José Creissac Campos, Laurence Nigay
2014 J jnl
Prototyping and analysing ubiquitous computing environments using multiple layers.
Int. J. Hum. Comput. Stud.
José Luís Silva, José Creissac Campos, Michael D. Harrison
2014 Misc conf
Rapid development of first person serious games using the APEX platform: the asthma game.
SAC
Tiago Gomes, Tiago Abade, José Creissac Campos, Michael D. Harrison, José Luís Silva
2014 — conf
The Modelery: A Collaborative Web Based Repository.
ICCSA (6)
Rui Couto, António Nestor Ribeiro, José Creissac Campos
2014 — conf
Towards a Framework for Adaptive Web Applications.
HCI (26)
Ana Isabel Sampaio, José Creissac Campos
2013 — conf
An Empirical Study on Immersive Prototyping Dimensions.
HCI (1)
Samuel Moreira, Rui José, José Creissac Campos
2013 J jnl
Automated theorem proving for the systematic analysis of an infusion pump.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
2013 Misc conf
Combining static and dynamic analysis for the reverse engineering of web applications.
EICS
Carlos E. Silva, José Creissac Campos
2013 — conf
The Mobile Context Framework: Providing Context to Mobile Applications.
HCI (25)
Luís Oliveira, António Nestor Ribeiro, José Creissac Campos
2012 C conf
A Patterns Based Reverse Engineering Approach for Java Source Code.
SEW
Rui Couto, António Nestor Ribeiro, José Creissac Campos
2012 Misc ed.
ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012
EICS
Simone Diniz Junqueira Barbosa, José Creissac Campos, Rick Kazman, Philippe A. Palanque, Michael D. Harrison, Steve Reeves
2012 — conf
Can GUI Implementation Markup Languages Be Used for Modelling?
HCSE
Carlos E. Silva, José Creissac Campos
2012 Misc conf
Formal analysis of ubiquitous computing environments through the APEX framework.
EICS
José Luís Silva, José Creissac Campos, Michael D. Harrison
2012 — conf
MapIt: A Model Based Pattern Recovery Tool.
MOMPES
Rui Couto, António Nestor Ribeiro, José Creissac Campos
2011 J jnl
Modelling and analysing the interactive behaviour of an infusion pump.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
José Creissac Campos, Michael D. Harrison
2011 J jnl
Safe controllers design for industrial automation systems.
Comput. Ind. Eng.
José Machado, Eurico Seabra, José Creissac Campos, Filomena O. Soares, Celina P. Leão
2011 Misc conf
Test case generation from mutated task models.
EICS
Ana Barbosa, Ana C. R. Paiva, José Creissac Campos
2010 J jnl
GUI Inspection from Source Code Analysis.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
João Carlos Silva, José Creissac Campos, João Saraiva
2010 — conf
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets.
HCSE
José Luís Silva, Óscar R. Ribeiro, João M. Fernandes, José Creissac Campos, Michael D. Harrison
2010 Misc conf
The GUISurfer tool: towards a language independent approach to reverse engineering GUI code.
EICS
João Carlos Silva, Carlos E. Silva, Rui D. Gonçalo, João Saraiva, José Creissac Campos
2009 — conf
A Coordination Model for Interactive Components.
FSEN
Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos
2009 Misc conf
A generic library for GUI reasoning and testing.
SAC
João Carlos Silva, João Saraiva, José Creissac Campos
2009 Misc conf
An infrastructure for experience centered agile prototyping of ambient intelligence.
EICS
José Luís Silva, José Creissac Campos, Michael D. Harrison
2009 Misc conf
Interaction engineering using the IVY tool.
EICS
José Creissac Campos, Michael D. Harrison
2008 J jnl
Analysing Human Aspects of Safety-Critical Software.
ERCIM News
Michael D. Harrison, José Creissac Campos
2008 — ch.
Connecting Rigorous System Analysis to Experience-Centered Design.
Maturing Usability
Michael D. Harrison, José Creissac Campos, Gavin J. Doherty, Karsten Loer
2008 — conf
Resources for Situated Actions.
DSV-IS
Gavin J. Doherty, José Creissac Campos, Michael D. Harrison
2008 — conf
Systematic Analysis of Control Panel Interfaces Using Formal Tools.
DSV-IS
José Creissac Campos, Michael D. Harrison
2007 — conf
An Interaction Model and Infrastructure for Localized Activities in Pervasive Computing Environments.
ICPS
Helder Pinto, Rui José, José Creissac Campos
2007 — conf
Considering Context and Users in Interactive Systems Analysis.
EHCI/DS-VIS
José Creissac Campos, Michael D. Harrison
2007 — conf
Exploring an Option Space to Engineer a Ubiquitous Computing System.
FMIS@BCS HCI
Michael D. Harrison, Christian Kray, José Creissac Campos
2007 — conf
Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees.
FMIS@BCS HCI
José Luís Silva, José Creissac Campos, Ana C. R. Paiva
2006 — conf
Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications.
DSV-IS
João Carlos Silva, José Creissac Campos, João Saraiva
2006 — conf
Processes: Working Group Report.
DSV-IS
Stéphane Chatty, José Creissac Campos, María Paula González, Sophie Lepreux, Erik G. Nilsson, Victor M. Ruiz Penichet, Mónica Sara Santos, Jan Van den Bergh
2006 — conf
Towards a Coordination Model for Interactive Systems.
FMIS@ICFEM
Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos
2005 — conf
Ambience and Mobility.
DSV-IS
Gavin J. Doherty, Lydie du Bousquet, José Creissac Campos, El Mustapha El Atifi, Gilles Falquet, Mieke Massink, Carmen Santoro
2005 — conf
Supporting Resource-Based Analysis of Task Information Needs.
DSV-IS
José Creissac Campos, Gavin J. Doherty
2004 — conf
Accessibility and Visually Impaired Users.
ICEIS (5)
António Ramires Fernandes, Jorge Ribeiro Pereira, José Creissac Campos
2004 — conf
Accessibility and Visually Impaired Users.
ICEIS (Selected Papers)
António Fernandes, Jorge Pereira, José Creissac Campos
2004 — conf
Verifying user interface behaviour with model checking.
VVEIS
José Creissac Campos, Michael D. Harrison, Karsten Loer
2003 — conf
A formal approach to the usability engineering.
CLIHC
José Creissac Campos
2003 — conf
From HCI to Software Engineering and Back.
ICSE Workshop on SE-HCI
José Creissac Campos, Michael D. Harrison
2003 — conf
Reasoning about Dynamic Information Displays.
DSV-IS
José Creissac Campos, Gavin J. Doherty
2003 — conf
Using Task Knowledge to Guide Interactor Specifications Analysis.
DSV-IS
José Creissac Campos
2001 J jnl
Model Checking Interactor Specifications.
Autom. Softw. Eng.
José Creissac Campos, Michael D. Harrison
2000 J jnl
Representational Reasoning and Verification.
Formal Aspects Comput.
Gavin J. Doherty, José Creissac Campos, Michael D. Harrison
1999 — conf
Modelling and Analysing Connectivity in an Audio-Visual Communications System.
DSV-IS
José Creissac Campos, Michael D. Harrison
1998 — conf
The Role of Verification in Interactive Systems Design.
DSV-IS
José Creissac Campos, Michael D. Harrison
1997 — conf
Formally verifying interactive systems: A review.
DSV-IS
José Creissac Campos, Michael D. Harrison