Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where J. Creissac Campos is active.

Publication


Featured researches published by J. Creissac Campos.


Interactive Systems. Design, Specification, and Verification | 2008

Systematic Analysis of Control Panel Interfaces Using Formal Tools

J. Creissac Campos; Michael D. Harrison

The paper explores the role that formal modeling may play in aiding the visualization and implementation of usability requirements of a control panel. We propose that this form of analysis should become a systematic and routine aspect of the development of such interfaces. We use a notation for describing the interface that is convenient to use by software engineers, and describe a set of tools designed to make the process systematic and exhaustive.


ICST Transactions on Ambient Systems | 2014

A Virtual Environment based Serious Game to Support Health Education

Tiago Emanuel Oliveira Gomes; Tiago Abade; J. Creissac Campos; Michael D. Harrison; José Luís Silva

APEX was developed as a framework for ubiquitous computing (ubicomp) prototyping through virtual environments. In this paper the framework is used as a platform for developing a serious game designed to instruct and to inform. The paper describes the Asthma game, a game aimed at raising awareness among children of asthma triggers in the home. It is designed to stimulate a healthier life-style for those with asthma and respiratory problems. The game was developed as the gamification of a checklist for the home environment of asthma patients. Received on 01 December 2013; accepted on 03 February 2014; published on 04 March 2014


national conference on artificial intelligence | 2014

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

M. F. Sousa; J. Creissac Campos; Miriam C. Bergue Alves; Michael D. Harrison


Electronic Communications of the EASST | 2013

Automated theorem proving for the systematic analysis of interactive systems

Michael D. Harrison; Paolo Masci; J. Creissac Campos; Paul Curzon


The 2nd International Workshop on Verification and Validation of Enterprise Information Systems | 2004

Verifying user interface behaviour with model checking

J. Creissac Campos; Michael D. Harrison; Karsten Loer


ABCM Symposium Series in Mechatronics | 2008

Simulation and formal verification of industrial systems controllers

José Machado; Eurico Seabra; J. Creissac Campos; Filomena Soares; Celina Pinto Leão


Archive | 2006

Cognitive walkthroughs in the evaluation of user interfaces for children

J. Creissac Campos; Alexandre Mano


Workshop on "Ubiquitous games and gamifiction for promoting behavior change and wellbeing" | 2013

Developing serious games with the APEX framework

Tiago Emanuel Oliveira Gomes; Tiago Abade; Michael D. Harrison; José Luís Silva; J. Creissac Campos


UIDL 2011 - Software Support for User Interface Description Language - Interact'2011 Workshop | 2011

FlexiXML A portable user interface rendering engine for UsiXML

J. Creissac Campos; Sandrine Mendes


XIV INTERNATIONAL CONGRESS ON PROJECT ENGINEERING | 2010

ABORDAGEM SISTEMÁTICA PARA O CONTROLO SEGURO DE SISTEMAS AEROESPACIAIS

Paulo Borges; José Machado; João Amaro Oliveira Ferreira; J. Creissac Campos; Emilia Villani

Collaboration


Dive into the J. Creissac Campos's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Tiago Emanuel Oliveira Gomes

Madeira Interactive Technologies Institute

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Researchain Logo
Decentralizing Knowledge