| 2009 |
|---|
| 20 | EE | João Carlos Silva,
João Saraiva,
José Creissac Campos:
A generic library for GUI reasoning and testing.
SAC 2009: 121-128 |
| 2008 |
|---|
| 19 | EE | Gavin J. Doherty,
José Creissac Campos,
Michael D. Harrison:
Resources for Situated Actions.
DSV-IS 2008: 194-207 |
| 18 | EE | José Creissac Campos,
Michael D. Harrison:
Systematic Analysis of Control Panel Interfaces Using Formal Tools.
DSV-IS 2008: 72-85 |
| 17 | EE | Michael D. Harrison,
Christian Kray,
José Creissac Campos:
Exploring an Option Space to Engineer a Ubiquitous Computing System.
Electr. Notes Theor. Comput. Sci. 208: 41-55 (2008) |
| 16 | EE | José L. Silva,
José Creissac Campos,
Ana C. R. Paiva:
Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees.
Electr. Notes Theor. Comput. Sci. 208: 77-93 (2008) |
| 2007 |
|---|
| 15 | EE | Marco Antonio Barbosa,
Luís Soares Barbosa,
José Creissac Campos:
Towards a Coordination Model for Interactive Systems.
Electr. Notes Theor. Comput. Sci. 183: 89-103 (2007) |
| 2006 |
|---|
| 14 | EE | 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: 137-150 |
| 13 | EE | 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: 262-264 |
| 2005 |
|---|
| 12 | EE | José Creissac Campos,
Gavin J. Doherty:
Supporting Resource-Based Analysis of Task Information Needs.
DSV-IS 2005: 188-200 |
| 11 | EE | 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: 264 |
| 2004 |
|---|
| 10 | | António Ramires Fernandes,
Jorge Ribeiro Pereira,
José Creissac Campos:
Accessibility and Visually Impaired Users.
ICEIS (5) 2004: 75-80 |
| 9 | | José Creissac Campos,
Michael D. Harrison,
Karsten Loer:
Verifying user interface behaviour with model checking.
VVEIS 2004: 87-96 |
| 2003 |
|---|
| 8 | EE | José Creissac Campos:
Using Task Knowledge to Guide Interactor Specifications Analysis.
DSV-IS 2003: 171-186 |
| 7 | EE | José Creissac Campos,
Gavin J. Doherty:
Reasoning about Dynamic Information Displays.
DSV-IS 2003: 288-302 |
| 6 | EE | José Creissac Campos,
Michael D. Harrison:
From HCI to Software Engineering and Back.
ICSE Workshop on SE-HCI 2003: 49-56 |
| 2001 |
|---|
| 5 | | José Creissac Campos,
Michael D. Harrison:
Model Checking Interactor Specifications.
Autom. Softw. Eng. 8(3-4): 275-310 (2001) |
| 2000 |
|---|
| 4 | EE | Gavin J. Doherty,
José Creissac Campos,
Michael D. Harrison:
Representational Reasoning and Verification.
Formal Asp. Comput. 12(4): 260-277 (2000) |
| 1999 |
|---|
| 3 | | José Creissac Campos,
Michael D. Harrison:
Modelling and Analysing Connectivity in an Audio-Visual Communications System.
DSV-IS 1999: 167-188 |
| 1998 |
|---|
| 2 | | José Creissac Campos,
Michael D. Harrison:
The Role of Verification in Interactive Systems Design.
DSV-IS 1998: 155-170 |
| 1997 |
|---|
| 1 | | José Creissac Campos,
Michael D. Harrison:
Formally verifying interactive systems: A review.
DSV-IS 1997: 109-124 |
