Formally verifying interactive systems: A review. - José Creissac Campos; Michael D. Harrison (DSV-IS, 1997)

The Role of Verification in Interactive Systems Design. - José Creissac Campos; Michael D. Harrison (DSV-IS, 1998)

Modelling and Analysing Connectivity in an Audio-Visual Communications System. - José Creissac Campos; Michael D. Harrison (DSV-IS, 1999)

Representational Reasoning and Verification. - Gavin J. Doherty; José Creissac Campos; Michael D. Harrison (Formal Aspects Comput., 2000)

Model Checking Interactor Specifications. - José Creissac Campos; Michael D. Harrison (Autom. Softw. Eng., 2001)

A formal approach to the usability engineering. - José Creissac Campos (CLIHC, 2003)

Reasoning about Dynamic Information Displays. - José Creissac Campos; Gavin J. Doherty (DSV-IS, 2003)

Using Task Knowledge to Guide Interactor Specifications Analysis. - José Creissac Campos (DSV-IS, 2003)

From HCI to Software Engineering and Back. - José Creissac Campos; Michael D. Harrison (ICSE Workshop on SE-HCI, 2003)

Accessibility and Visually Impaired Users. - António Ramires Fernandes; Jorge Ribeiro Pereira; José Creissac Campos (ICEIS (5), 2004)

Accessibility and Visually Impaired Users. - António Fernandes; Jorge Pereira; José Creissac Campos (ICEIS (Selected Papers), 2004)

Verifying user interface behaviour with model checking. - José Creissac Campos; Michael D. Harrison; Karsten Loer (VVEIS, 2004)

Supporting Resource-Based Analysis of Task Information Needs. - José Creissac Campos; Gavin J. Doherty (DSV-IS, 2005)

Ambience and Mobility. - Gavin J. Doherty; Lydie du Bousquet; José Creissac Campos; El Mustapha El Atifi; Gilles Falquet; Mieke Massink; Carmen Santoro (DSV-IS, 2005)

Processes: Working Group Report. - 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 001 (DSV-IS, 2006)

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications. - João Carlos Silva 002; José Creissac Campos; João Saraiva (DSV-IS, 2006)

Towards a Coordination Model for Interactive Systems. - Marco Antonio Barbosa; Luís Soares Barbosa; José Creissac Campos (FMIS@ICFEM, 2006)

Considering Context and Users in Interactive Systems Analysis. - José Creissac Campos; Michael D. Harrison (EHCI/DS-VIS, 2007)

An Interaction Model and Infrastructure for Localized Activities in Pervasive Computing Environments. - Helder Pinto; Rui José; José Creissac Campos (ICPS, 2007)

Exploring an Option Space to Engineer a Ubiquitous Computing System. - Michael D. Harrison; Christian Kray; José Creissac Campos (FMIS@BCS HCI, 2007)

Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees. - José Luís Silva 001; José Creissac Campos; Ana C. R. Paiva (FMIS@BCS HCI, 2007)

Systematic Analysis of Control Panel Interfaces Using Formal Tools. - José Creissac Campos; Michael D. Harrison (DSV-IS, 2008)

Resources for Situated Actions. - Gavin J. Doherty; José Creissac Campos; Michael D. Harrison (DSV-IS, 2008)

Analysing Human Aspects of Safety-Critical Software. - Michael D. Harrison; José Creissac Campos (ERCIM News, 2008)

Connecting Rigorous System Analysis to Experience-Centered Design. - Michael D. Harrison; José Creissac Campos; Gavin J. Doherty; Karsten Loer (Maturing Usability, 2008)

Interaction engineering using the IVY tool. - José Creissac Campos; Michael D. Harrison (EICS, 2009)

An infrastructure for experience centered agile prototyping of ambient intelligence. - José Luís Silva 001; José Creissac Campos; Michael D. Harrison (EICS, 2009)

A Coordination Model for Interactive Components. - Marco Antonio Barbosa; Luís Soares Barbosa; José Creissac Campos (FSEN, 2009)

A generic library for GUI reasoning and testing. - João Carlos Silva 002; João Saraiva; José Creissac Campos (SAC, 2009)

The GUISurfer tool: towards a language independent approach to reverse engineering GUI code. - João Carlos Silva 002; Carlos E. Silva; Rui D. Gonçalo; João Saraiva; José Creissac Campos (EICS, 2010)

The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets. - José Luís Silva 001; Óscar R. Ribeiro; João M. Fernandes 001; José Creissac Campos; Michael D. Harrison (HCSE, 2010)

GUI Inspection from Source Code Analysis. - João Carlos Silva 002; José Creissac Campos; João Saraiva (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Test case generation from mutated task models. - Ana Barbosa; Ana C. R. Paiva; José Creissac Campos (EICS, 2011)

Safe controllers design for industrial automation systems. - José Machado 002; Eurico Seabra; José Creissac Campos; Filomena O. Soares; Celina P. Leão (Comput. Ind. Eng., 2011)

Modelling and analysing the interactive behaviour of an infusion pump. - José Creissac Campos; Michael D. Harrison (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Formal analysis of ubiquitous computing environments through the APEX framework. - José Luís Silva 001; José Creissac Campos; Michael D. Harrison (EICS, 2012)

Can GUI Implementation Markup Languages Be Used for Modelling? - Carlos E. Silva; José Creissac Campos (HCSE, 2012)

MapIt: A Model Based Pattern Recovery Tool. - Rui Couto; António Nestor Ribeiro; José Creissac Campos (MOMPES, 2012)

A Patterns Based Reverse Engineering Approach for Java Source Code. - Rui Couto; António Nestor Ribeiro; José Creissac Campos (SEW, 2012)

Combining static and dynamic analysis for the reverse engineering of web applications. - Carlos E. Silva; José Creissac Campos (EICS, 2013)

An Empirical Study on Immersive Prototyping Dimensions. - Samuel Moreira; Rui José; José Creissac Campos (HCI (1), 2013)

The Mobile Context Framework: Providing Context to Mobile Applications. - Luís Oliveira; António Nestor Ribeiro; José Creissac Campos (HCI (25), 2013)

Automated theorem proving for the systematic analysis of an infusion pump. - Michael D. Harrison; Paolo Masci 001; José Creissac Campos; Paul Curzon (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Formal Verification of Safety-Critical User Interfaces: a space system case study. - Manuel Sousa; José Creissac Campos; Miriam C. Bergue Alves; Michael D. Harrison (AAAI Spring Symposia, 2014)

HCI engineering: charting the way towards methods and tools for advanced interactive systems. - Jürgen Ziegler 001; José Creissac Campos; Laurence Nigay (EICS, 2014)

Demonstrating that Medical Devices Satisfy User Related Safety Requirements. - Michael D. Harrison; Paolo Masci 001; José Creissac Campos; Paul Curzon (FHIES/SEHC, 2014)

Design and Evaluation of a Smart Library Using the APEX Framework. - Tiago Abade; Tiago Gomes 001; José Luís Silva 001; José Creissac Campos (HCI (21), 2014)

Towards a Framework for Adaptive Web Applications. - Ana Isabel Sampaio; José Creissac Campos (HCI (26), 2014)

The Modelery: A Collaborative Web Based Repository. - Rui Couto; António Nestor Ribeiro; José Creissac Campos (ICCSA (6), 2014)

Characterizing the Control Logic of Web Applications' User Interfaces. - Carlos Eduardo Bastos e Marques da Silva; José Creissac Campos (ICCSA (6), 2014)

A Study on the Viability of Formalizing Use Cases. - Rui Couto; António Nestor Ribeiro; José Creissac Campos (QUATIC, 2014)

Rapid development of first person serious games using the APEX platform: the asthma game. - Tiago Gomes 001; Tiago Abade; José Creissac Campos; Michael D. Harrison; José Luís Silva 001 (SAC, 2014)

An Approach for Graphical User Interface External Bad Smells Detection. - João Carlos Silva 002; José Creissac Campos; João Saraiva; José Luís Silva 001 (WorldCIST (2), 2014)

A Virtual Environment based Serious Game to Support Health Education. - Tiago Gomes 001; Tiago Abade; José Creissac Campos; Michael D. Harrison; José Luís Silva 001 (EAI Endorsed Trans. Ambient Syst., 2014)

Application of Ontologies in Identifying Requirements Patterns in Use Cases. - Rui Couto; António Nestor Ribeiro; José Creissac Campos (FESCA, 2014)

Analysing interactive devices based on information resource constraints. - José Creissac Campos; Gavin J. Doherty; Michael D. Harrison (Int. J. Hum. Comput. Stud., 2014)

Prototyping and analysing ubiquitous computing environments using multiple layers. - José Luís Silva 001; José Creissac Campos; Michael D. Harrison (Int. J. Hum. Comput. Stud., 2014)

Immersiveness of Ubiquitous Computing Environments Prototypes: A Case Study. - Tiago Abade; José Creissac Campos; Rui Moreira; Carlos César Loureiro Silva 005; José Luís Silva 001 (HCI (21), 2015)

Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes. - José Creissac Campos; Tiago Abade; José Luís Silva 001; Michael D. Harrison (IWAAL, 2015)

Towards a catalog of usability smells. - Diogo Almeida; José Creissac Campos; João Saraiva; João Carlos Silva 002 (SAC, 2015)

The Modelery: a model-based software development repository. - Rui Couto; António Manuel Nestor Ribeiro; José Francisco Creissac Freitas de Campos (Int. J. Web Inf. Syst., 2015)

Reusing models and properties in the analysis of similar interactive devices. - Michael D. Harrison; José Creissac Campos; Paolo Masci 001 (Innov. Syst. Softw. Eng., 2015)

Systematic automation of scenario-based testing of user interfaces. - José Creissac Campos; Camille Fayollas; Célia Martinie; David Navarre; Philippe A. Palanque; Miguel Pinto (EICS, 2016)

Modelling information resources and their salience in medical device design. - Michael D. Harrison; José Creissac Campos; Rimvydas Ruksenas; Paul Curzon (EICS, 2016)

Validating an Approach to Formalize Use Cases with Ontologies. - Rui Couto; António Nestor Ribeiro; José Creissac Campos (FESCA@ETAPS, 2016)

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. - Camille Fayollas; Célia Martinie; Philippe A. Palanque; Paolo Masci 001; Michael D. Harrison; José Creissac Campos; Saulo Rodrigues e Silva (F-IDE@FM, 2016)

Templates as heuristics for proving properties of medical devices. - Michael D. Harrison; José Creissac Campos; Paolo Masci 001; Paul Curzon (EAI Endorsed Trans. Creative Technol., 2016)

Formal Verification of a Space System's User Interface With the IVY Workbench. - José Creissac Campos; Manuel Sousa; Miriam C. Bergue Alves; Michael D. Harrison (IEEE Trans. Hum. Mach. Syst., 2016)

The Specification and Analysis of Use Properties of a Nuclear Control System. - Michael D. Harrison; Paolo M. Masci; José Creissac Campos; Paul Curzon (Handbook of Formal Methods in Human-Computer Interaction, 2017)

MODUS: model-based user interfaces prototyping. - Marina Machado; Rui Couto; José Creissac Campos (EICS, 2017)

Safety Analysis of Software Components of a Dialysis Machine Using Model Checking. - Michael D. Harrison; Michael J. Drinnan; José Creissac Campos; Paolo Masci 001; Leo Freitas; Costanzo di Maria; Michael Whitaker (FACS, 2017)

TOM: A Model-Based GUI Testing Framework. - Miguel Pinto; Marcelo Gonçalves; Paolo Masci 001; José Creissac Campos (FACS, 2017)

A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. - Paolo Masci 001; Yi Zhang 051; Paul L. Jones; José Creissac Campos (SEFM, 2017)

Don't go in there! using the APEX framework in the design of ambient assisted living systems. - José Creissac Campos; Tiago Abade; José Luís Silva 001; Michael D. Harrison (J. Ambient Intell. Humaniz. Comput., 2017)

Welcome to the First Issue of PACMHCI EICS. - Gaëlle Calvary; Jeffrey Nichols 001; José Creissac Campos; Nuno Jardim Nunes; Pedro F. Campos (Proc. ACM Hum. Comput. Interact., 2017)

A More Intelligent Test Case Generation Approach through Task Models Manipulation. - José Creissac Campos; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A. Palanque; Miguel Pinto (Proc. ACM Hum. Comput. Interact., 2017)

Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. - Michael D. Harrison; Paolo Masci 001; José Creissac Campos; Paul Curzon (IEEE Trans. Hum. Mach. Syst., 2017)

The MAL Interactors Animator: Supporting model validation through animation. - José Creissac Campos; Nuno J. Sousa (EICS, 2018)

Towards a Simulation-Based Medical Education Platform for PVSio-Web. - Carlos Silva 005; José Creissac Campos (ICGI, 2018)

Formal Modelling as a Component of User Centred Design. - Michael D. Harrison; Paolo Masci 001; José Creissac Campos (STAF Workshops, 2018)

Improving the Visualization of Alloy Instances. - Rui Couto; José Creissac Campos; Nuno Macedo 001; Alcino Cunha (F-IDE@FLoC, 2018)

Formal Verification of Interactive Computing Systems: Opportunities, Challenges. - José Creissac Campos; Michael D. Harrison (EICS Workshops, 2019)

IVY 2: a model-based analysis tool. - Rui Couto; José Creissac Campos (EICS, 2019)

High Assurance on Cyber-Physical Interactive Systems. - Rui Couto; José Creissac Campos (EICS Workshops, 2019)

Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019. - Damiano Distante; Marco Winckler; Regina Bernhaupt; Judy Bowen; José Creissac Campos; Florian Müller 003; Philippe A. Palanque; Jan Van den Bergh 001; Benjamin Weyers; Alexandra Voit (EICS, 2019)

Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. - Alexandre Canny; David Navarre; José Creissac Campos; Philippe A. Palanque (FM Workshops (1), 2019)

A Generator of User Interface Prototypes for the IVY Workbench. - João Miguel Araújo; Rui Couto; José Creissac Campos (ICGI, 2019)

Formal techniques in the safety analysis of software components of a new dialysis machine. - Michael D. Harrison; Leo Freitas; Michael J. Drinnan; José Creissac Campos; Paolo Masci 001; Costanzo di Maria; Michael Whitaker (Sci. Comput. Program., 2019)

A use error taxonomy for improving human-machine interface design in medical devices. - Carlos Silva 005; Paolo Masci 001; Yi Zhang 051; Paul L. Jones; José Creissac Campos (SIGBED Rev., 2019)

Verification Templates for the Analysis of User Interface Software Design. - Michael D. Harrison; Paolo Masci 001; José Creissac Campos (IEEE Trans. Software Eng., 2019)

Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. - José Creissac Campos; Camille Fayollas; Michael D. Harrison; Célia Martinie; Paolo Masci 001; Philippe A. Palanque (ACM Trans. Comput. Hum. Interact., 2020)

The Management of Risks and Benefits when Engineering Interactive Digital Systems. - José Creissac Campos; T. C. Nicholas Graham; Lucio Davide Spano; Jan Van den Bergh 001 (EICS, 2021)

Towards the integration of user interface prototyping and model-based development. - Catarina Machado; José Creissac Campos (ICGI, 2021)

HCI-E2: HCI Engineering Education - For Developers, Designers and More. - Konrad Baumann; José Creissac Campos; Alan J. Dix; Laurence Nigay; Philippe A. Palanque; Jean Vanderdonckt; Gerrit C. van der Veer; Benjamin Weyers (INTERACT (5), 2021)

Teaching HCI Engineering: Four Case Studies. - Sybille Caffiau; José Creissac Campos; Célia Martinie; Laurence Nigay; Philippe A. Palanque; Lucio Davide Spano (INTERACT (Workshops), 2021)

Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees. - José Creissac Campos; António Nestor Ribeiro (INTERACT (Workshops), 2021)

Development and Validation of a Descriptive Cognitive Model for Predicting Usability Issues in a Low-Code Development Platform. - Carlos Silva 005; Joana Vieira; José Francisco Creissac Freitas de Campos; Rui Couto; António Nestor Ribeiro (Hum. Factors, 2021)

Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems. - Yamine Aït Ameur; Judy Bowen; José Creissac Campos; Philippe A. Palanque; Benjamin Weyers (Interact. Comput., 2021)

Balancing the formal and the informal in user-centred design. - Michael D. Harrison; Paolo Masci 001; José Creissac Campos (Interact. Comput., 2021)

Verification of railway network models with EVEREST. - João Martins; José M. Fonseca 002; Rafael Costa; José Creissac Campos; Alcino Cunha; Nuno Macedo 001; José N. Oliveira (MoDELS, 2022)

Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language. - Ezequiel José Veloso Ferreira Moreira; José Creissac Campos (EICS (Workshops), 2023)

HCI-E2-2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education. - José Creissac Campos; Laurence Nigay; Alan J. Dix; Anke Dittmar; Simone D. J. Barbosa; Lucio Davide Spano (INTERACT (4), 2023)

Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design. - Rafael Braga da Costa; José Creissac Campos (INTERACT (2), 2023)

Editorial to the Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education. - Lucio Davide Spano; José Creissac Campos; Anke Dittmar (INTERACT Workshops (1), 2023)

An Online Repository for Educational Resources in HCI-Engineering. - Lucio Davide Spano; José Creissac Campos; Anke Dittmar; Peter Forbrig (INTERACT Workshops (1), 2023)

Towards Automated Load Testing Through the User Interface. - Bruno Teixeira; José Creissac Campos (INTERACT (2), 2023)

AMAN Case Study. - Philippe A. Palanque; José Creissac Campos (ABZ, 2023)

50 years of Research in Engineering Interactive Computing Systems: the CCL 1974 to EICS 2024 journey. - José Creissac Campos; Kris Luyten; Laurence Nigay; Philippe A. Palanque; Fabio Paternò; Lucio Davide Spano; Jean Vanderdonckt (EICS (Companion), 2024)

On the Role of Generative AI in Explaining Model Checking Counterexamples. - Ezequiel José Veloso Ferreira Moreira; José Creissac Campos (EICS (Workshops), 2024)

Assessing the impact of hints in learning formal specification. - Alcino Cunha; Nuno Macedo 001; José Creissac Campos; Iara Margolis; Emanuel Sousa (SEET@ICSE, 2024)

A Language for Explaining Counterexamples. - Ezequiel José Veloso Ferreira Moreira; José Creissac Campos (SLATE, 2024)

Engineering Interactive Systems Embedding AI Technologies (3rd workshop on). - Barbara Rita Barricelli; José Creissac Campos; Kris Luyten; Sven Mayer; Philippe A. Palanque; Emanuele Panizzi; Lucio Davide Spano; Simone Stumpf (EICS (Companion), 2025)

Foreword to the special section on recent advances in graphics and interaction (RAGI 2024). - Anabela Marto; José Creissac Campos; Kyle Johnsen 001 (Comput. Graph., 2025)