José Creissac Campos

	2011
32		Ana Barbosa, Ana C. R. Paiva, José Creissac Campos: Test case generation from mutated task models. EICS 2011: 175-184
31		José Machado, Eurico Seabra, José Creissac Campos, Filomena O. Soares, Celina P. Leão: Safe controllers design for industrial automation systems. Computers & Industrial Engineering 60(4): 635-653 (2011)
30		José Creissac Campos, Michael D. Harrison: Modelling and analysing the interactive behaviour of an infusion pump. ECEASST 45: (2011)
	2010
29		João Carlos Silva, Carlos E. Silva, Rui D. Gonçalo, João Saraiva, José Creissac Campos: The GUISurfer tool: towards a language independent approach to reverse engineering GUI code. EICS 2010: 181-186
28		José Luís Silva, Óscar R. Ribeiro, João M. Fernandes, José Creissac Campos, Michael D. Harrison: The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets. HCSE 2010: 6-21
27		João Carlos Silva, José Creissac Campos, João Saraiva: GUI Inspection from Source Code Analysis. ECEASST 33: (2010)
	2009
26		José Creissac Campos, Michael D. Harrison: Interaction engineering using the IVY tool. EICS 2009: 35-44
25		José Luís Silva, José Creissac Campos, Michael D. Harrison: An infrastructure for experience centered agile prototyping of ambient intelligence. EICS 2009: 79-84
24		Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos: A Coordination Model for Interactive Components. FSEN 2009: 416-430
23		João Carlos Silva, João Saraiva, José Creissac Campos: A generic library for GUI reasoning and testing. SAC 2009: 121-128
	2008
22		Gavin J. Doherty, José Creissac Campos, Michael D. Harrison: Resources for Situated Actions. DSV-IS 2008: 194-207
21		José Creissac Campos, Michael D. Harrison: Systematic Analysis of Control Panel Interfaces Using Formal Tools. DSV-IS 2008: 72-85
20		Michael D. Harrison, José Creissac Campos, Gavin J. Doherty, Karsten Loer: Connecting Rigorous System Analysis to Experience-Centered Design. Maturing Usability 2008: 56-74
19		Michael D. Harrison, José Creissac Campos: Analysing Human Aspects of Safety-Critical Software. ERCIM News 2008(75): (2008)
18		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)
17		José Luís 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
16		José Creissac Campos, Michael D. Harrison: Considering Context and Users in Interactive Systems Analysis. EHCI/DS-VIS 2007: 193-209
15		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		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		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		José Creissac Campos, Gavin J. Doherty: Supporting Resource-Based Analysis of Task Information Needs. DSV-IS 2005: 188-200
11		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		José Creissac Campos: Using Task Knowledge to Guide Interactor Specifications Analysis. DSV-IS 2003: 171-186
7		José Creissac Campos, Gavin J. Doherty: Reasoning about Dynamic Information Displays. DSV-IS 2003: 288-302
6		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		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

Coauthor Index

1	El Mustapha El Atifi	[11]
2	Ana Barbosa	[32]
3	Luís Soares Barbosa	[15] [24]
4	Marco Antonio Barbosa	[15] [24]
5	Jan Van den Bergh	[13]
6	Lydie du Bousquet	[11]
7	Stéphane Chatty	[13]
8	Gavin J. Doherty	[4] [7] [11] [12] [20] [22]
9	Gilles Falquet	[11]
10	António Ramires Fernandes	[10]
11	João M. Fernandes	[28]
12	Rui D. Gonçalo	[29]
13	María Paula González	[13]
14	Michael D. Harrison	[1] [2] [3] [4] [5] [6] [9] [16] [18] [19] [20] [21] [22] [25] [26] [28] [30]
15	Christian Kray	[18]
16	Celina P. Leão	[31]
17	Sophie Lepreux	[13]
18	Karsten Loer	[9] [20]
19	José Machado	[31]
20	Mieke Massink	[11]
21	Erik G. Nilsson	[13]
22	Ana C. R. Paiva	[17] [32]
23	Victor M. Ruiz Penichet	[13]
24	Jorge Ribeiro Pereira	[10]
25	Óscar R. Ribeiro	[28]
26	Carmen Santoro	[11]
27	Mónica Sara Santos	[13]
28	João Saraiva	[14] [23] [27] [29]
29	Eurico Seabra	[31]
30	Carlos E. Silva (Carlos Eduardo Bastos e Marques da Silva)	[29]
31	José Luís Silva	[17] [25] [28]
32	João Carlos Silva	[14] [23] [27] [29]
33	Filomena O. Soares	[31]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page