José Creissac Campos

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Towards Automated Load Testing Through the User Interface.

[BibT_eX]

[DOI]

Bruno Teixeira

Proceedings of the Human-Computer Interaction - INTERACT 2023 - 19th IFIP TC13 International Conference, York, UK, August 28, 2023

Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design.

[BibT_eX]

[DOI]

Rafael Braga da Costa

Proceedings of the Human-Computer Interaction - INTERACT 2023 - 19th IFIP TC13 International Conference, York, UK, August 28, 2023

HCI-E<sup>2</sup>-2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education.

[BibT_eX]

[DOI]

Proceedings of the Human-Computer Interaction - INTERACT 2023 - 19th IFIP TC13 International Conference, York, UK, August 28, 2023

2022

Verification of railway network models with EVEREST.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

2021

Balancing the formal and the informal in user-centred design.

[BibT_eX]

[DOI]

José Francisco Creissac Freitas de Campos

Interact. Comput., 2021

Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems.

[BibT_eX]

[DOI]

Interact. Comput., 2021

Development and Validation of a Descriptive Cognitive Model for Predicting Usability Issues in a Low-Code Development Platform.

[BibT_eX]

[DOI]

Carlos Silva

Joana Vieira

Hum. Factors, 2021

Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees.

[BibT_eX]

[DOI]

Proceedings of the Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30, 2021

Teaching HCI Engineering: Four Case Studies.

[BibT_eX]

[DOI]

Proceedings of the Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30, 2021

HCI-E<sup>2</sup>: HCI Engineering Education - For Developers, Designers and More.

[BibT_eX]

[DOI]

Gerrit C. van der Veer

Benjamin Weyers

Proceedings of the Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30, 2021

Towards the integration of user interface prototyping and model-based development.

[BibT_eX]

[DOI]

Catarina Machado

Proceedings of the International Conference on Graphics and Interaction, 2021

The Management of Risks and Benefits when Engineering Interactive Digital Systems.

[BibT_eX]

[DOI]

T. C. Nicholas Graham

Lucio Davide Spano

Jan Van den Bergh

Proceedings of the EICS '21: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2021

2020

Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools.

[BibT_eX]

[DOI]

ACM Trans. Comput. Hum. Interact., 2020

2019

Verification Templates for the Analysis of User Interface Software Design.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2019

A use error taxonomy for improving human-machine interface design in medical devices.

[BibT_eX]

[DOI]

SIGBED Rev., 2019

Formal techniques in the safety analysis of software components of a new dialysis machine.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

A Generator of User Interface Prototypes for the IVY Workbench.

[BibT_eX]

[DOI]

João Miguel Araújo

Proceedings of the International Conference on Graphics and Interaction, 2019

Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2019

High Assurance on Cyber-Physical Interactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings HCI Engineering 2019, 2019

IVY 2: a model-based analysis tool.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2019

Formal Verification of Interactive Computing Systems: Opportunities, Challenges.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings HCI Engineering 2019, 2019

2018

Improving the Visualization of Alloy Instances.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018

Formal Modelling as a Component of User Centred Design.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2018

Towards a Simulation-Based Medical Education Platform for PVSio-Web.

[BibT_eX]

[DOI]

Carlos Silva

Proceedings of the International Conference on Graphics and Interaction, 2018

The MAL Interactors Animator: Supporting model validation through animation.

[BibT_eX]

[DOI]

Nuno J. Sousa

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2018

2017

Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices.

[BibT_eX]

[DOI]

IEEE Trans. Hum. Mach. Syst., 2017

A More Intelligent Test Case Generation Approach through Task Models Manipulation.

[BibT_eX]

[DOI]

Proc. ACM Hum. Comput. Interact., 2017

Welcome to the First Issue of PACMHCI EICS.

[BibT_eX]

[DOI]

Proc. ACM Hum. Comput. Interact., 2017

Don't go in there! using the APEX framework in the design of ambient assisted living systems.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2017

A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

TOM: A Model-Based GUI Testing Framework.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

Safety Analysis of Software Components of a Dialysis Machine Using Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

MODUS: model-based user interfaces prototyping.

[BibT_eX]

[DOI]

Marina Machado

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2017

The Specification and Analysis of Use Properties of a Nuclear Control System.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

2016

Formal Verification of a Space System's User Interface With the IVY Workbench.

[BibT_eX]

[DOI]

Manuel Sousa

Miriam C. Bergue Alves

IEEE Trans. Hum. Mach. Syst., 2016

Templates as heuristics for proving properties of medical devices.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Creative Technol., 2016

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web.

[BibT_eX]

[DOI]

Saulo Rodrigues e Silva

Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016

Validating an Approach to Formalize Use Cases with Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2016

Modelling information resources and their salience in medical device design.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

Systematic automation of scenario-based testing of user interfaces.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

2015

Reusing models and properties in the analysis of similar interactive devices.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2015

The Modelery: a model-based software development repository.

[BibT_eX]

[DOI]

António Manuel Nestor Ribeiro

José Francisco Creissac Freitas de Campos

Int. J. Web Inf. Syst., 2015

Towards a catalog of usability smells.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes.

[BibT_eX]

[DOI]

Proceedings of the Ambient Assisted Living. ICT-Based Solutions in Real Life Situations, 2015

Immersiveness of Ubiquitous Computing Environments Prototypes: A Case Study.

[BibT_eX]

[DOI]

Tiago Abade

Carlos César Loureiro Silva

Rui Moreira

Proceedings of the Distributed, Ambient, and Pervasive Interactions, 2015

2014

Prototyping and analysing ubiquitous computing environments using multiple layers.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 2014

Analysing interactive devices based on information resource constraints.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 2014

Application of Ontologies in Identifying Requirements Patterns in Use Cases.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014

A Virtual Environment based Serious Game to Support Health Education.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Ambient Syst., 2014

An Approach for Graphical User Interface External Bad Smells Detection.

[BibT_eX]

[DOI]

Proceedings of the New Perspectives in Information Systems and Technologies, 2014

Rapid development of first person serious games using the APEX platform: the asthma game.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

A Study on the Viability of Formalizing Use Cases.

[BibT_eX]

[DOI]

Carlos Eduardo Bastos e Marques da Silva

Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

Characterizing the Control Logic of Web Applications' User Interfaces.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

The Modelery: A Collaborative Web Based Repository.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

Towards a Framework for Adaptive Web Applications.

[BibT_eX]

[DOI]

Ana Isabel Sampaio

Proceedings of the HCI International 2014 - Posters' Extended Abstracts, 2014

Design and Evaluation of a Smart Library Using the APEX Framework.

[BibT_eX]

[DOI]

Proceedings of the Distributed, Ambient, and Pervasive Interactions, 2014

Demonstrating that Medical Devices Satisfy User Related Safety Requirements.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

HCI engineering: charting the way towards methods and tools for advanced interactive systems.

[BibT_eX]

[DOI]

Jürgen Ziegler

Laurence Nigay

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2014

Formal Verification of Safety-Critical User Interfaces: a space system case study.

[BibT_eX]

[DOI]

Manuel Sousa

Miriam C. Bergue Alves

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Automated theorem proving for the systematic analysis of an infusion pump.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

The Mobile Context Framework: Providing Context to Mobile Applications.

[BibT_eX]

[DOI]

Luís Oliveira

Proceedings of the Distributed, Ambient, and Pervasive Interactions, 2013

An Empirical Study on Immersive Prototyping Dimensions.

[BibT_eX]

[DOI]

Samuel Moreira

Rui José

Proceedings of the Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments, 2013

Combining static and dynamic analysis for the reverse engineering of web applications.

[BibT_eX]

[DOI]

Carlos E. Silva

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

2012

A Patterns Based Reverse Engineering Approach for Java Source Code.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

MapIt: A Model Based Pattern Recovery Tool.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Methodologies for Pervasive and Embedded Software, 2012

Can GUI Implementation Markup Languages Be Used for Modelling?

[BibT_eX]

[DOI]

Carlos E. Silva

Proceedings of the Human-Centered Software Engineering - 4th International Conference, 2012

Formal analysis of ubiquitous computing environments through the APEX framework.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012

2011

Modelling and analysing the interactive behaviour of an infusion pump.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Safe controllers design for industrial automation systems.

[BibT_eX]

[DOI]

Comput. Ind. Eng., 2011

Test case generation from mutated task models.

[BibT_eX]

[DOI]

Ana Barbosa

Ana C. R. Paiva

Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

2010

GUI Inspection from Source Code Analysis.

[BibT_eX]

[DOI]

João Carlos Silva

João Saraiva

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Human-Centred Software Engineering - Third International Conference, 2010

The GUISurfer tool: towards a language independent approach to reverse engineering GUI code.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010

2009

A generic library for GUI reasoning and testing.

[BibT_eX]

[DOI]

João Carlos Silva

João Saraiva

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A Coordination Model for Interactive Components.

[BibT_eX]

[DOI]

Marco Antonio Barbosa

Luís Soares Barbosa

Proceedings of the Fundamentals of Software Engineering, 2009

An infrastructure for experience centered agile prototyping of ambient intelligence.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009

Interaction engineering using the IVY tool.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009

2008

Connecting Rigorous System Analysis to Experience-Centered Design.

[BibT_eX]

[DOI]

Proceedings of the Maturing Usability - Quality in Software, Interaction and Value, 2008

Analysing Human Aspects of Safety-Critical Software.

[BibT_eX]

[DOI]

ERCIM News, 2008

Resources for Situated Actions.

[BibT_eX]

[DOI]

Proceedings of the Interactive Systems. Design, 2008

Systematic Analysis of Control Panel Interfaces Using Formal Tools.

[BibT_eX]

[DOI]

Proceedings of the Interactive Systems. Design, 2008

2007

Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees.

[BibT_eX]

[DOI]

Ana C. R. Paiva

Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, 2007

Exploring an Option Space to Engineer a Ubiquitous Computing System.

[BibT_eX]

[DOI]

Christian Kray

Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, 2007

An Interaction Model and Infrastructure for Localized Activities in Pervasive Computing Environments.

[BibT_eX]

[DOI]

Helder Pinto

Rui José

Proceedings of the IEEE International Conference on Pervasive Services, 2007

Considering Context and Users in Interactive Systems Analysis.

[BibT_eX]

[DOI]

Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007

2006

Towards a Coordination Model for Interactive Systems.

[BibT_eX]

[DOI]

Marco Antonio Barbosa

Luís Soares Barbosa

Proceedings of the First International Workshop on Formal Methods for Interactive Systems, 2006

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications.

[BibT_eX]

[DOI]

João Carlos Silva

João Saraiva

Proceedings of the Interactive Systems. Design, 2006

Processes: Working Group Report.

[BibT_eX]

[DOI]

Victor M. Ruiz Penichet

Mónica Sara Santos

Jan Van den Bergh

Proceedings of the Interactive Systems. Design, 2006

2005

Ambience and Mobility.

[BibT_eX]

[DOI]

Proceedings of the Interactive Systems, 2005

Supporting Resource-Based Analysis of Task Information Needs.

[BibT_eX]

[DOI]

Proceedings of the Interactive Systems, 2005

2004

Verifying user interface behaviour with model checking.

[BibT_eX]

Karsten Loer

Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

Accessibility and Visually Impaired Users.

[BibT_eX]

[DOI]

António Fernandes

Jorge Pereira

António Ramires Fernandes

Proceedings of the Enterprise Information Systems VI, 2004

Accessibility and Visually Impaired Users.

[BibT_eX]

Jorge Ribeiro Pereira

Proceedings of the ICEIS 2004, 2004

2003

From HCI to Software Engineering and Back.

[BibT_eX]

[DOI]

Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, 2003

Using Task Knowledge to Guide Interactor Specifications Analysis.

[BibT_eX]

[DOI]

Proceedings of the Interactive Systems. Design, 2003

Reasoning about Dynamic Information Displays.

[BibT_eX]

[DOI]

Proceedings of the Interactive Systems. Design, 2003

A formal approach to the usability engineering.

[BibT_eX]

[DOI]

Proceedings of the Latin American Conference on Human-Computer Interaction, 2003

2001

Model Checking Interactor Specifications.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2001

2000

Representational Reasoning and Verification.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2000

1999

Modelling and Analysing Connectivity in an Audio-Visual Communications System.

[BibT_eX]

[DOI]

Proceedings of the Design, 1999

1998

The Role of Verification in Interactive Systems Design.

[BibT_eX]

[DOI]

Proceedings of the Design, 1998

1997

Formally verifying interactive systems: A review.

[BibT_eX]

[DOI]