publicações selecionadas
-
artigo académico
- Developing Serious Games With The APEX Framework. Workshop on "Ubiquitous games and gamifiction for promoting behavior change and wellbeing". 2013
- Analysing Human Aspects of Safety-Critical Software. ERCIM NEWS. 2008
-
artigo de conferência
- Formal verification of interactive computing systems: Opportunities and challenges. CEUR Workshop Proceedings. 2019
- 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
- Safety Analysis of Software Components of a Dialysis Machine Using Model Checking. Computational Methods in Applied Sciences. 2017
- Modelling information resources and their salience in medical device design 2016
- Layers, resources and property templates in the specification and analysis of two interactive systems 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
- Rapid development of first person serious games using the APEX platform: The Asthma Game 2014
- Desenvolvimento de jogos educativos na plataforma APEX: o jogo da asma 2013
- Developing serious games with the APEX framework 2013
- Formal analysis of ubiquitous computing environments through the APEX framework 2012
- Modelling and systematic analysis of interactive systems 2012
- 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
- An infrastructure for experience centered agile prototyping of ambient intelligence 2009
- Interaction Engineering Using the IVY Tool 2009
- Considering Context and Users in Interactive Systems Analysis. Computational Methods in Applied Sciences. 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
-
artigo de revista
- Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Transactions on Computer-Human Interaction. 2020
- 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
- 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
- Reusing models and properties in the analysis of similar interactive devices. Innovations in Systems and Software Engineering. 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
- Automated theorem proving for the systematic analysis of interactive systems. Electronic Communications of the EASST. 2013
- Modelling and analysing the interactive behaviour of an infusion pump. Electronic Communications of the EASST. 2011
- 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 Checking Interactor Specifications. Automated Software Engineering. 2001
- Representational Reasoning and Verification. Formal Aspects of Computing. 2000
-
capítulo de livro
- 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
- Connecting rigorous system analysis to experience centred design 2008
- Formal analysis of interactive systems: opportunities and weaknesses 2008
- Automated deduction and usability reasoning 2006