José Creissac Campos

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

20EEJoão Carlos Silva, João Saraiva, José Creissac Campos: A generic library for GUI reasoning and testing. SAC 2009: 121-128
19EEGavin J. Doherty, José Creissac Campos, Michael D. Harrison: Resources for Situated Actions. DSV-IS 2008: 194-207
18EEJosé Creissac Campos, Michael D. Harrison: Systematic Analysis of Control Panel Interfaces Using Formal Tools. DSV-IS 2008: 72-85
17EEMichael 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)
16EEJosé 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)
15EEMarco 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)
14EEJoã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
13EESté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
12EEJosé Creissac Campos, Gavin J. Doherty: Supporting Resource-Based Analysis of Task Information Needs. DSV-IS 2005: 188-200
11EEGavin 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
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
8EEJosé Creissac Campos: Using Task Knowledge to Guide Interactor Specifications Analysis. DSV-IS 2003: 171-186
7EEJosé Creissac Campos, Gavin J. Doherty: Reasoning about Dynamic Information Displays. DSV-IS 2003: 288-302
6EEJosé Creissac Campos, Michael D. Harrison: From HCI to Software Engineering and Back. ICSE Workshop on SE-HCI 2003: 49-56
5 José Creissac Campos, Michael D. Harrison: Model Checking Interactor Specifications. Autom. Softw. Eng. 8(3-4): 275-310 (2001)
4EEGavin J. Doherty, José Creissac Campos, Michael D. Harrison: Representational Reasoning and Verification. Formal Asp. Comput. 12(4): 260-277 (2000)
3 José Creissac Campos, Michael D. Harrison: Modelling and Analysing Connectivity in an Audio-Visual Communications System. DSV-IS 1999: 167-188
2 José Creissac Campos, Michael D. Harrison: The Role of Verification in Interactive Systems Design. DSV-IS 1998: 155-170
1 José Creissac Campos, Michael D. Harrison: Formally verifying interactive systems: A review. DSV-IS 1997: 109-124

Coauthor Index

1El Mustapha El Atifi [11]
2Luís Soares Barbosa [15]
3Marco Antonio Barbosa [15]
4Jan Van den Bergh [13]
5Lydie du Bousquet [11]
6Stéphane Chatty [13]
7Gavin J. Doherty [4] [7] [11] [12] [19]
8Gilles Falquet [11]
9António Ramires Fernandes [10]
10María Paula González [13]
11Michael D. Harrison [1] [2] [3] [4] [5] [6] [9] [17] [18] [19]
12Christian Kray [17]
13Sophie Lepreux [13]
14Karsten Loer [9]
15Mieke Massink [11]
16Erik G. Nilsson [13]
17Ana C. R. Paiva [16]
18Victor M. Ruiz Penichet [13]
19Jorge Ribeiro Pereira [10]
20Carmen Santoro [11]
21Mónica Sara Santos [13]
22João Saraiva [14] [20]
23João Carlos Silva [14] [20]
24José L. Silva [16]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)