José Creissac Campos

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 45

Top Venues

Publications

José Creissac Campos, Kris Luyten, Laurence Nigay, Philippe A. Palanque, Fabio Paternò, Lucio Davide Spano, Jean Vanderdonckt
50 years of Research in Engineering Interactive Computing Systems: the CCL 1974 to EICS 2024 journey. EICS (Companion) (2024)
Alcino Cunha, Nuno Macedo, José Creissac Campos, Iara Margolis, Emanuel Sousa
Assessing the impact of hints in learning formal specification. SEET@ICSE (2024)
Rafael Braga da Costa, José Creissac Campos
Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design. INTERACT (2) (2023)
Bruno Teixeira, José Creissac Campos
Towards Automated Load Testing Through the User Interface. INTERACT (2) (2023)
Philippe A. Palanque, José Creissac Campos
AMAN Case Study. ABZ (2023)
José Creissac Campos, Laurence Nigay, Alan J. Dix, Anke Dittmar, Simone D. J. Barbosa, Lucio Davide Spano
-2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education. INTERACT (4) (2023)
Lucio Davide Spano, José Creissac Campos, Anke Dittmar
Editorial to the Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education. INTERACT Workshops (1) (2023)
Lucio Davide Spano, José Creissac Campos, Anke Dittmar, Peter Forbrig
An Online Repository for Educational Resources in HCI-Engineering. INTERACT Workshops (1) (2023)
Ezequiel José Veloso Ferreira Moreira, José Creissac Campos
Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language. EICS (Workshops) (2023)
João Martins, José M. Fonseca, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira
Verification of railway network models with EVEREST. MoDELS (2022)
Michael D. Harrison, Paolo Masci, José Creissac Campos
Balancing the formal and the informal in user-centred design. Interact. Comput. 33 (1) (2021)
Catarina Machado, José Creissac Campos
Towards the integration of user interface prototyping and model-based development. ICGI (2021)
José Creissac Campos, T. C. Nicholas Graham, Lucio Davide Spano, Jan Van den Bergh
The Management of Risks and Benefits when Engineering Interactive Digital Systems. EICS (2021)
Yamine Aït Ameur, Judy Bowen, José Creissac Campos, Philippe A. Palanque, Benjamin Weyers
Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems. Interact. Comput. 33 (1) (2021)
Sybille Caffiau, José Creissac Campos, Célia Martinie, Laurence Nigay, Philippe A. Palanque, Lucio Davide Spano
Teaching HCI Engineering: Four Case Studies. INTERACT (Workshops) (2021)
José Creissac Campos, António Nestor Ribeiro
Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees. INTERACT (Workshops) (2021)
Konrad Baumann, José Creissac Campos, Alan J. Dix, Laurence Nigay, Philippe A. Palanque, Jean Vanderdonckt, Gerrit C. van der Veer, Benjamin Weyers
: HCI Engineering Education - For Developers, Designers and More. INTERACT (5) (2021)
José Creissac Campos, Camille Fayollas, Michael D. Harrison, Célia Martinie, Paolo Masci, Philippe A. Palanque
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Trans. Comput. Hum. Interact. 27 (5) (2020)
Michael D. Harrison, Paolo Masci, José Creissac Campos
Verification Templates for the Analysis of User Interface Software Design. IEEE Trans. Software Eng. 45 (8) (2019)
Carlos Silva, Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos
A use error taxonomy for improving human-machine interface design in medical devices. SIGBED Rev. 16 (2) (2019)
Alexandre Canny, David Navarre, José Creissac Campos, Philippe A. Palanque
Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. FM Workshops (1) (2019)
Rui Couto, José Creissac Campos
High Assurance on Cyber-Physical Interactive Systems. EICS Workshops (2019)
Michael D. Harrison, Leo Freitas, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Costanzo di Maria, Michael Whitaker
Formal techniques in the safety analysis of software components of a new dialysis machine. Sci. Comput. Program. 175 (2019)
João Miguel Araújo, Rui Couto, José Creissac Campos
A Generator of User Interface Prototypes for the IVY Workbench. ICGI (2019)
Rui Couto, José Creissac Campos
IVY 2: a model-based analysis tool. EICS (2019)
José Creissac Campos, Michael D. Harrison
Formal Verification of Interactive Computing Systems: Opportunities, Challenges. EICS Workshops (2019)
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
Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019. EICS (2019)
Carlos Silva, José Creissac Campos
Towards a Simulation-Based Medical Education Platform for PVSio-Web. ICGI (2018)
José Creissac Campos, Nuno Sousa
The MAL Interactors Animator: Supporting model validation through animation. EICS (2018)
Michael D. Harrison, Paolo Masci, José Creissac Campos
Formal Modelling as a Component of User Centred Design. STAF Workshops (2018)
Rui Couto, José Creissac Campos, Nuno Macedo, Alcino Cunha
Improving the Visualization of Alloy Instances. F-IDE@FLoC (2018)
Marina Machado, Rui Couto, José Creissac Campos
MODUS: model-based user interfaces prototyping. EICS (2017)
Miguel Pinto, Marcelo Gonçalves, Paolo Masci, José Creissac Campos
TOM: A Model-Based GUI Testing Framework. FACS (2017)
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Trans. Hum. Mach. Syst. 47 (6) (2017)
José Creissac Campos, Camille Fayollas, Marcelo Gonçalves, Célia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto
A More Intelligent Test Case Generation Approach through Task Models Manipulation. Proc. ACM Hum. Comput. Interact. 1 (EICS) (2017)
José Creissac Campos, Tiago Abade, José Luís Silva, Michael D. Harrison
Don't go in there! using the APEX framework in the design of ambient assisted living systems. J. Ambient Intell. Humaniz. Comput. 8 (4) (2017)
Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos
A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. SEFM (2017)
Michael D. Harrison, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Leo Freitas, Costanzo di Maria, Michael Whitaker
Safety Analysis of Software Components of a Dialysis Machine Using Model Checking. FACS (2017)
Gaëlle Calvary, Jeffrey Nichols, José Creissac Campos, Nuno Jardim Nunes, Pedro F. Campos
Welcome to the First Issue of PACMHCI EICS. Proc. ACM Hum. Comput. Interact. 1 (EICS) (2017)
Michael D. Harrison, José Creissac Campos, Rimvydas Ruksenas, Paul Curzon
Modelling information resources and their salience in medical device design. EICS (2016)
José Creissac Campos, Manuel Sousa, Miriam C. Bergue Alves, Michael D. Harrison
Formal Verification of a Space System's User Interface With the IVY Workbench. IEEE Trans. Hum. Mach. Syst. 46 (2) (2016)
Camille Fayollas, Célia Martinie, Philippe A. Palanque, Paolo Masci, Michael D. Harrison, José Creissac Campos, Saulo Rodrigues e Silva
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. F-IDE@FM (2016)
José Creissac Campos, Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto
Systematic automation of scenario-based testing of user interfaces. EICS (2016)
Michael D. Harrison, José Creissac Campos, Paolo Masci, Paul Curzon
Templates as heuristics for proving properties of medical devices. EAI Endorsed Trans. Creative Technol. 3 (8) (2016)
Rui Couto, António Nestor Ribeiro, José Creissac Campos
Validating an Approach to Formalize Use Cases with Ontologies. FESCA@ETAPS (2016)
José Creissac Campos, Tiago Abade, José Luís Silva, Michael D. Harrison
Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes. IWAAL (2015)
Diogo Almeida, José Creissac Campos, João Saraiva, João Carlos Silva
Towards a catalog of usability smells. SAC (2015)
Michael D. Harrison, José Creissac Campos, Paolo Masci
Reusing models and properties in the analysis of similar interactive devices. Innov. Syst. Softw. Eng. 11 (2) (2015)
Tiago Abade, José Creissac Campos, Rui Moreira, Carlos C. L. Silva, José Luís Silva
Immersiveness of Ubiquitous Computing Environments Prototypes: A Case Study. HCI (21) (2015)
Ana Isabel Sampaio, José Creissac Campos
Towards a Framework for Adaptive Web Applications. HCI (26) (2014)
Manuel Sousa, José Creissac Campos, Miriam C. Bergue Alves, Michael D. Harrison
Formal Verification of Safety-Critical User Interfaces: a space system case study. AAAI Spring Symposia (2014)
José Luís Silva, José Creissac Campos, Michael D. Harrison
Prototyping and analysing ubiquitous computing environments using multiple layers. Int. J. Hum. Comput. Stud. 72 (5) (2014)
Rui Couto, António Nestor Ribeiro, José Creissac Campos
A Study on the Viability of Formalizing Use Cases. QUATIC (2014)
Tiago Gomes, Tiago Abade, José Creissac Campos, Michael D. Harrison, José Luís Silva
A Virtual Environment based Serious Game to Support Health Education. EAI Endorsed Trans. Ambient Syst. 1 (3) (2014)
Tiago Abade, Tiago Gomes, José Luís Silva, José Creissac Campos
Design and Evaluation of a Smart Library Using the APEX Framework. HCI (21) (2014)
Jürgen Ziegler, José Creissac Campos, Laurence Nigay
HCI engineering: charting the way towards methods and tools for advanced interactive systems. EICS (2014)
Rui Couto, António Nestor Ribeiro, José Creissac Campos
The Modelery: A Collaborative Web Based Repository. ICCSA (6) (2014)
Carlos Eduardo Bastos e Marques da Silva, José Creissac Campos
Characterizing the Control Logic of Web Applications' User Interfaces. ICCSA (6) (2014)
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
Demonstrating that Medical Devices Satisfy User Related Safety Requirements. FHIES/SEHC (2014)
Rui Couto, António Nestor Ribeiro, José Creissac Campos
Application of Ontologies in Identifying Requirements Patterns in Use Cases. FESCA (2014)
José Creissac Campos, Gavin J. Doherty, Michael D. Harrison
Analysing interactive devices based on information resource constraints. Int. J. Hum. Comput. Stud. 72 (3) (2014)
Tiago Gomes, Tiago Abade, José Creissac Campos, Michael D. Harrison, José Luís Silva
Rapid development of first person serious games using the APEX platform: the asthma game. SAC (2014)
J. C. Silva, José Creissac Campos, João Saraiva, José Luís Silva
An Approach for Graphical User Interface External Bad Smells Detection. WorldCIST (2) (2014)
Samuel Moreira, Rui José, José Creissac Campos
An Empirical Study on Immersive Prototyping Dimensions. HCI (1) (2013)
Carlos E. Silva, José Creissac Campos
Combining static and dynamic analysis for the reverse engineering of web applications. EICS (2013)
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
Automated theorem proving for the systematic analysis of an infusion pump. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013)
Luís Oliveira, António Nestor Ribeiro, José Creissac Campos
The Mobile Context Framework: Providing Context to Mobile Applications. HCI (25) (2013)
José Luís Silva, José Creissac Campos, Michael D. Harrison
Formal analysis of ubiquitous computing environments through the APEX framework. EICS (2012)
Rui Couto, António Nestor Ribeiro, José Creissac Campos
MapIt: A Model Based Pattern Recovery Tool. MOMPES (2012)
Carlos E. Silva, José Creissac Campos
Can GUI Implementation Markup Languages Be Used for Modelling? HCSE (2012)
Rui Couto, António Nestor Ribeiro, José Creissac Campos
A Patterns Based Reverse Engineering Approach for Java Source Code. SEW (2012)
José Creissac Campos, Michael D. Harrison
Modelling and analysing the interactive behaviour of an infusion pump. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
Ana Barbosa, Ana C. R. Paiva, José Creissac Campos
Test case generation from mutated task models. EICS (2011)
José Machado, Eurico Seabra, José Creissac Campos, Filomena O. Soares, Celina P. Leão
Safe controllers design for industrial automation systems. Comput. Ind. Eng. 60 (4) (2011)
João Carlos Silva, José Creissac Campos, João Saraiva
GUI Inspection from Source Code Analysis. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010)
João Carlos Silva, Carlos E. Silva, Rui D. Gonçalo, João Saraiva, José Creissac Campos
The GUISurfer tool: towards a language independent approach to reverse engineering GUI code. EICS (2010)
José Luís Silva, Óscar R. Ribeiro, João M. Fernandes, José Creissac Campos, Michael D. Harrison
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets. HCSE (2010)
Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos
A Coordination Model for Interactive Components. FSEN (2009)
José Luís Silva, José Creissac Campos, Michael D. Harrison
An infrastructure for experience centered agile prototyping of ambient intelligence. EICS (2009)
João Carlos Silva, João Saraiva, José Creissac Campos
A generic library for GUI reasoning and testing. SAC (2009)
José Creissac Campos, Michael D. Harrison
Interaction engineering using the IVY tool. EICS (2009)
Michael D. Harrison, José Creissac Campos
Analysing Human Aspects of Safety-Critical Software. ERCIM News 2008 (75) (2008)
José Creissac Campos, Michael D. Harrison
Systematic Analysis of Control Panel Interfaces Using Formal Tools. DSV-IS (2008)
José Luís Silva, José Creissac Campos, Ana C. R. Paiva
Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees. Electron. Notes Theor. Comput. Sci. 208 (2008)
Gavin J. Doherty, José Creissac Campos, Michael D. Harrison
Resources for Situated Actions. DSV-IS (2008)
Michael D. Harrison, Christian Kray, José Creissac Campos
Exploring an Option Space to Engineer a Ubiquitous Computing System. Electron. Notes Theor. Comput. Sci. 208 (2008)
José Creissac Campos, Michael D. Harrison
Considering Context and Users in Interactive Systems Analysis. EHCI/DS-VIS (2007)
Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos
Towards a Coordination Model for Interactive Systems. Electron. Notes Theor. Comput. Sci. 183 (2007)
Helder Pinto, Rui José, José Creissac Campos
An Interaction Model and Infrastructure for Localized Activities in Pervasive Computing Environments. ICPS (2007)
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
Processes: Working Group Report. DSV-IS (2006)
João Carlos Silva, José Creissac Campos, João Saraiva
Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications. DSV-IS (2006)
Gavin J. Doherty, Lydie du Bousquet, José Creissac Campos, El Mustapha El Atifi, Gilles Falquet, Mieke Massink, Carmen Santoro
Ambience and Mobility. DSV-IS (2005)
José Creissac Campos, Gavin J. Doherty
Supporting Resource-Based Analysis of Task Information Needs. DSV-IS (2005)
António Ramires Fernandes, Jorge Ribeiro Pereira, José Creissac Campos
Accessibility and Visually Impaired Users. ICEIS (5) (2004)
José Creissac Campos, Michael D. Harrison, Karsten Loer
Verifying user interface behaviour with model checking. VVEIS (2004)
António Fernandes, Jorge Pereira, José Creissac Campos
Accessibility and Visually Impaired Users. ICEIS (Selected Papers) (2004)
José Creissac Campos
Using Task Knowledge to Guide Interactor Specifications Analysis. DSV-IS (2003)
José Creissac Campos
A formal approach to the usability engineering. CLIHC (2003)
José Creissac Campos, Michael D. Harrison
From HCI to Software Engineering and Back. ICSE Workshop on SE-HCI (2003)
José Creissac Campos, Gavin J. Doherty
Reasoning about Dynamic Information Displays. DSV-IS (2003)

José Creissac Campos.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

José Creissac Campos