publicações selecionadas
-
artigo académico
- Improving the Visualization of Alloy Instances. Electronic Proceedings in Theoretical Computer Science. 2018
- Validating an Approach to Formalize Use Cases with Ontologies. Electronic Proceedings in Theoretical Computer Science. 2016
- Ambiente de geração, mutação e execução de casos de teste para aplicações Web. Conferência Interação 2013. 2013
- Avaliação de Ambientes Ubíquos na Plataforma APEX. Conferência Interação 2013. 2013
- Combining Static and Dynamic Analysis for the Reverse Engineering of Web Applications. 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2013). 2013
- Desenvolvimento de Jogos Educativos na plataforma APEX: O Jogo da Asma. Conferência Interação 2013. 2013
- Developing Serious Games With The APEX Framework. Workshop on "Ubiquitous games and gamifiction for promoting behavior change and wellbeing". 2013
- MapIt: A model based pattern recovery tool. Computational Methods in Applied Sciences. 2013
- The mobile context framework: Providing context to mobile applications. Computational Methods in Applied Sciences. 2013
- Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos. Sistemas e Tecnologias de Informação (CISTI 2013). 2013
- A Patterns Based Reverse Engineering Approach for Java Source Code. IEEE Annual IEEE Software Engineering Workshop. 2012
- Can GUI Implementation Markup Languages Be Used for Modelling?. Computational Methods in Applied Sciences. 2012
- The importance of qualitative evaluation on E-learning systems. SHO2011: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE. 2011
- Principles of Ergonomics and Design discussed through systems utilized for e-learning. Sho2010: International Symposium on Occupational Safety and Hygiene. 2010
- Analysing Human Aspects of Safety-Critical Software. ERCIM NEWS. 2008
- A new plant modelling approach for formal verification purposes. IFAC proceedings volumes. 2007
-
artigo de conferência
- Verification of railway network models with EVEREST 2022
- Risk management and criticality ranking of civil infrastructures - Case study 2021
- Measuring end-to-end delay in real-time auralisation systems. Proceedings (Euronoise). 2020
- A generator of user interface prototypes for the IVY workbench 2019
- Formal verification of interactive computing systems: Opportunities and challenges. CEUR Workshop Proceedings. 2019
- High assurance on cyber-physical interactive systems. CEUR Workshop Proceedings. 2019
- IVY 2: A model-based analysis tool 2019
- Improving Traces Visualisation through Layout Managers 2019
- Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. Computational Methods in Applied Sciences. 2019
- Trends on engineering interactive systems: An overview of works presented in workshops at EICS 2019 2019
- The MAL Interactors Animator: Supporting model validation through animation 2018
- Towards a Simulation-Based Medical Education Platform for PVSio-Web 2018
- A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. Computational Methods in Applied Sciences. 2017
- Avaliação de usabilidade da ferramenta uCat 2017
- De requisitos a protótipos de UI: uma abordagem semi automatizada 2017
- Demonstrating that Medical Devices Satisfy User Related Safety Requirements. Computational Methods in Applied Sciences. 2017
- Evaluation of formal IDEs for human-machine interface design and analysis: The case of CIRCUS and PVSio-web. Electronic Proceedings in Theoretical Computer Science. 2017
- MODUS: Model-based user interfaces prototyping 2017
- Safety Analysis of Software Components of a Dialysis Machine Using Model Checking. Computational Methods in Applied Sciences. 2017
- TOM: A Model-Based GUI Testing Framework. Computational Methods in Applied Sciences. 2017
- Um editor tabular para modelação de interfaces 2017
- Modelling information resources and their salience in medical device design 2016
- Systematic automation of scenario-based testing of user interfaces 2016
- Blast loading of masonry infills: testing and simulation 2015
- Immersiveness of Ubiquitous Computing Environments Prototypes: A case study. Computational Methods in Applied Sciences. 2015
- Layers, resources and property templates in the specification and analysis of two interactive systems 2015
- MODUS: uma metodologia de prototipagem de interfaces baseada em modelos 2015
- Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes. Computational Methods in Applied Sciences. 2015
- Templates as heuristics for proving properties of medical devices 2015
- Towards a Catalog of Usability Smells 2015
- Experimental Study on Masonry Infill Walls under Blast Loading 2014
- Masonry Infill Walls under Blast Loading using Confined Underwater Blast Wave Generators (WBWG) 2014
- A Study on the Viability of Formalizing Use Cases 2014
- Application of ontologies in identifying requirements patterns in use cases. Electronic Proceedings in Theoretical Computer Science. 2014
- Characterizing the Control Logic of Web Applications' User Interfaces. Computational Methods in Applied Sciences. 2014
- Design and evaluation of a smart library using the APEX framework. Computational Methods in Applied Sciences. 2014
- Development of Dependable Controllers in the Context of Machines Design. Lecture Notes in Mechanical Engineering. 2014
- Formal verification of safety-critical user interfaces: A space system case study 2014
- HCI engineering: Charting the way towards methods and tools for advanced interactive systems 2014
- High assurance interactive computing systems 2014
- Rapid development of first person serious games using the APEX platform: The Asthma Game 2014
- Towards a Framework for Adaptive Web Applications. Communications in Computer and Information Science. 2014
- Prediction and Experimental Results of Confined Underwater Blasting Generators 2013
- A Model-based Approach for Test Cases Generation 2013
- Ambiente de geração, mutação e execução de casos de teste para aplicações Web 2013
- Avaliação de ambientes ubíquos na plataforma APEX 2013
- Combining static and dynamic analysis for the reverse engineering of Web applications 2013
- Desenvolvimento de jogos educativos na plataforma APEX: o jogo da asma 2013
- Developing serious games with the APEX framework 2013
- Uma abordagem para a geração de casos de teste baseada em modelos. Iberian Conference on Information Systems and Technologies (CISTI). 2013
- Prediction and experimental results of confined underwater blasting generators 2012
- Formal analysis of ubiquitous computing environments through the APEX framework 2012
- Modelling and systematic analysis of interactive systems 2012
- A importância das avaliações qualitativas em sistemas e-learning 2011
- FlexiXML : a portable user interface rendering engine for UsiXML 2011
- Partial models in formal verification of industrial automation discrete systems 2011
- Partial plant models in formal verification of industrial automation discrete systems 2011
- Supporting requirements formulation in software formal verification 2011
- Test case generation from mutated task models 2011
- Abordagem Sistemática para o Controlo Seguro de Sistemas aeroespaciais 2010
- Abordagem sistemática para o controlo seguro de sistemas aeroespaciais 2010
- From SFC specification to C programming language on the context of aerospace systems control 2010
- GUI Behavior from Source Code Analysis 2010
- Princípios de ergonomia e design discutidos através de plataformas utilizadas para e-learning 2010
- Prototipagem rápida de ambientes ubíquos 2010
- Prototipagem rápida de ambientes ubíquos 2010
- The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets. Computational Methods in Applied Sciences. 2010
- The GUISurfer Tool: Towards a Language Independent Approach to Reverse Engineering GUI Code 2010
- A coordination model for interactive components. Computational Methods in Applied Sciences. 2009
- Advanced engineering tools for next generation substation automation systems: the added value of IEC 61850 and the inpact project 2009
- An infrastructure for experience centered agile prototyping of ambient intelligence 2009
- FlexiXML: Um animador de modelos UsiXML 2009
- Interaction Engineering Using the IVY Tool 2009
- Pattern-based analysis of automated production systems. IFAC proceedings volumes. 2009
- AniMAL - a user interface prototyper and animator for MAL interactor models 2008
- Considering Context and Users in Interactive Systems Analysis. Computational Methods in Applied Sciences. 2008
- Framework de distribuição assíncrona de aplicações móveis situadas 2008
- Property patterns for the formal verification of automated production systems 2008
- Property patterns for the formal verification of automated production systems 2008
- Resources for Situated Actions. Computational Methods in Applied Sciences. 2008
- Systematic analysis of control panel interfaces using formal tools. Computational Methods in Applied Sciences. 2008
- An interaction model and infrastructure for localized activities in pervasive computing environments 2007
- Combining formal methods and functional strategies regarding the reverse engineering of interactive applications. Computational Methods in Applied Sciences. 2007
- Integrating HCI concerns into a UML based software engineering course 2007
- Engenharia reversa de sistemas interactivos desenvolvidos em Java2/Swing 2006
- UML no desenvolvimento de sistemas interactivos 2006
- Adaptação nativa de interfaces com o utilizador em dispositivos móveis 2006
- Accessibility and visually impaired users 2006
- Processes : working group report 2006
- A study on usability criteria regarding interfaces for children 2005
- Laboratórios virtuais: duas aplicações no ensino de engenharia 2005
- Model based web interfaces' analysis 2005
- Supporting resource-based analysis of task information needs. Computational Methods in Applied Sciences. 2005
- Testing AudioBrowser 2005
- Análise de usabilidade baseada em modelos 2004
- Aplicação de um cognitive walkthrough: estudo de caso 2004
- Interactors as boundary objects 2004
- A study about usability criteria on computer interfaces for children 2004
- Verifying user interface behaviour with model checking 2004
- Uma abordagem formal à engenharia da usabilidade 2003
- From HCI to software engineering and back 2003
- Reasoning about time in dynamic information displays 2001
- Using automated reasoning in the design of an audio-visual communication system 1999
- Integrating automated verification into interactive systems development 1998
- Representational reasoning and verification 1998
- The role of verification in interactive systems design 1998
- Formally verifying interactive systems : a review 1997
- Context sensitive user interfaces 1996
- O sistema GAMA: arquitectura e implementação 1994
- GAMA-X: uma arquitectura software para o desenvolvimento semi-automático de interfaces utilizador-sistema 1993
-
artigo de revista
- Development and Validation of a Descriptive Cognitive Model for Predicting Usability Issues in a Low-Code Development Platform. Human Factors. 2021
- Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Transactions on Computer-Human Interaction. 2020
- A use error taxonomy for improving human-machine interface design in medical devices. ACM SIGBED Review. 2019
- Formal techniques in the safety analysis of software components of a new dialysis machine. Computational Methods in Applied Sciences. 2019
- Verification Templates for the Analysis of User Interface Software Design. IEEE Transactions on Software Engineering. 2019
- A More Intelligent Test Case Generation Approach through Task Models Manipulation. PACMHCI. 2017
- Don't go in there! using the APEX framework in the design of ambient assisted living systems. Journal of Ambient Intelligence and Humanized Computing. 2017
- Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Transactions on Human-Machine Systems. 2017
- Formal Verification of a Space System's User Interface With the IVY Workbench. IEEE Transactions on Human-Machine Systems. 2016
- Masonry infill walls under blast loading using confined underwater blast wave generators (WBWG). Engineering Structures. 2015
- Reusing models and properties in the analysis of similar interactive devices. Innovations in Systems and Software Engineering. 2015
- The Modelery: A Model-Based Software Development Repository. International Journal of Web Information Systems. 2015
- A Virtual Environment based Serious Game to Support Health Education. EAI Endorsed Transactions on Ambient Systems. 2014
- Analysing interactive devices based on information resource constraints. International Journal of Human Computer Studies. 2014
- Prototyping and analysing ubiquitous computing environments using multiple layers. International Journal of Human Computer Studies. 2014
- A Specification Patterns System for Discrete Event Systems Analysis. International Journal of Advanced Robotic Systems. 2013
- Automated theorem proving for the systematic analysis of interactive systems. Electronic Communications of the EASST. 2013
- Automated theorem proving for the systematic analysis of interactive systems. Electronic Communications of the EASST. 2013
- Depth Cues and Perceived Audiovisual Synchrony of Biological Motion. Antibiotics. 2013
- A literature review about usability evaluation methods for e-learning platforms. WORK. 2012
- Safe controllers design for industrial automation systems. Computers & Industrial Engineering. 2011
- Modelling and analysing the interactive behaviour of an infusion pump. Electronic Communications of the EASST. 2011
- GUI Inspection from Source Code Analysis. Electronic Communications of the EASST. 2010
- Analysing human aspects of safety-critical software. ERCIM NEWS. 2008
- Exploring an option space to engineer a ubiquitous computing system. Electronic Notes in Theoretical Computer Science. 2008
- Model-based user interface testing with Spec Explorer and ConcurTaskTrees. Electronic Notes in Theoretical Computer Science. 2008
- Towards a Coordination Model for Interactive Systems. Electronic Notes in Theorectical Computer Science. 2008
- Cognitive walkthroughs in the evaluation of user interfaces for children 2006
- IVY trace visualiser 2006
- Models for the reverse engineering of Java/Swing applications 2006
- Usabilidade em interfaces para crianças. Jornal de Ciências Cognitivas. 2006
- A push infrastructure for mobile application deployment in mobile environments 2006
- Model Checking Interactor Specifications. Automated Software Engineering. 2001
- Representational Reasoning and Verification. Formal Aspects of Computing. 2000
-
capítulo de livro
- AMAN Case Study 2023
- HCI-E2-2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education 2023
- Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design 2023
- Towards Automated Load Testing Through the User Interface 2023
- Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees 2022
- Teaching HCI Engineering: Four Case Studies 2022
- HCI-E2: HCI Engineering Education 2021
- Formal Modelling as a Component of User Centred Design. Computational Methods in Applied Sciences. 2018
- The Specification and Analysis of Use Properties of a Nuclear Control System. Human-Computer Interaction Series. 2017
- GUIsurfer : a reverse engineering framework for user interface software 2012
- Processes: Working Group Report 2007
- Reasoning about dynamic information displays. Computational Methods in Applied Sciences. 2003
- Using task knowledge to guide interactor specifications analysis. Computational Methods in Applied Sciences. 2003
-
documento
- Avaliação de usabilidade da ferramenta uCat 2017
- De requisitos a protótipos de UI: uma abordagem semi automatizada 2017
- Um editor tabular para modelação de interfaces 2017
- Welcome to the First Issue of PACMHCI EICS 2017
- Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems 2016
- Welcome to EICS 2016 2016
- Welcome to EICS 2015 2015
- Distance perception in immersive environments: the role of photorealism. Perception. 2015
- Biofilm formation by filamentous fungi recovered from a water system 2012
- Silver nanoparticles as an antimicrobial agent of Tricophyton rubrum 2012
- Textile dyes fungal mechanisms of biodegradation 2010
- ICTs in remote assessment 2006
- Is there a role for rigorous system analysis in experience experience centred design? 2005
- The modelling gap between software engineering and human-computer interaction 2004
- Paradigmas da Programação III : apontamentos teórico-práticos (LESI/LMCC) 2004/2005 2004
- Fungi from a bottled water production system 2004
-
livro
-
relatório
-
teses