José Creissac Campos

José Luís Silva, José Creissac Campos, Michael D. Harrison: Formal analysis of ubiquitous computing environments through the APEX framework. EICS 2012: 131-140

Carlos E. Silva, José Creissac Campos: Can GUI Implementation Markup Languages Be Used for Modelling? HCSE 2012: 112-129

Rui Couto, Antonio Nestor Ribeiro, José Creissac Campos: MapIt: A Model Based Pattern Recovery Tool. MOMPES 2012: 19-37

Simone Diniz Junqueira Barbosa, José Creissac Campos, Rick Kazman, Philippe A. Palanque, Michael D. Harrison, Steve Reeves (Eds.): ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012. ACM 2012, isbn 978-1-4503-1168-7

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)

José Creissac Campos, Michael D. Harrison: Modelling and analysing the interactive behaviour of an infusion pump. ECEASST 45 (2011)

Ana Barbosa, Ana C. R. Paiva, José Creissac Campos: Test case generation from mutated task models. EICS 2011: 175-184

João Carlos Silva, José Creissac Campos, João Saraiva: GUI Inspection from Source Code Analysis. ECEASST 33 (2010)

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

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

José Creissac Campos, Michael D. Harrison: Interaction engineering using the IVY tool. EICS 2009: 35-44

José Luís Silva, José Creissac Campos, Michael D. Harrison: An infrastructure for experience centered agile prototyping of ambient intelligence. EICS 2009: 79-84

Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos: A Coordination Model for Interactive Components. FSEN 2009: 416-430

João Carlos Silva, João Saraiva, José Creissac Campos: A generic library for GUI reasoning and testing. SAC 2009: 121-128

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)

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)

Michael D. Harrison, José Creissac Campos: Analysing Human Aspects of Safety-Critical Software. ERCIM News 2008(75) (2008)

José Creissac Campos, Michael D. Harrison: Systematic Analysis of Control Panel Interfaces Using Formal Tools. DSV-IS 2008: 72-85

Gavin J. Doherty, José Creissac Campos, Michael D. Harrison: Resources for Situated Actions. DSV-IS 2008: 194-207

Michael D. Harrison, José Creissac Campos, Gavin J. Doherty, Karsten Loer: Connecting Rigorous System Analysis to Experience-Centered Design. Maturing Usability 2008: 56-74

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)

José Creissac Campos, Michael D. Harrison: Considering Context and Users in Interactive Systems Analysis. EHCI/DS-VIS 2007: 193-209

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

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

José Creissac Campos, Gavin J. Doherty: Supporting Resource-Based Analysis of Task Information Needs. DSV-IS 2005: 188-200

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

António Ramires Fernandes, Jorge Ribeiro Pereira, José Creissac Campos: Accessibility and Visually Impaired Users. ICEIS (5) 2004: 75-80

José Creissac Campos, Michael D. Harrison, Karsten Loer: Verifying user interface behaviour with model checking. VVEIS 2004: 87-96

José Creissac Campos: Using Task Knowledge to Guide Interactor Specifications Analysis. DSV-IS 2003: 171-186

José Creissac Campos, Gavin J. Doherty: Reasoning about Dynamic Information Displays. DSV-IS 2003: 288-302

José Creissac Campos, Michael D. Harrison: From HCI to Software Engineering and Back. ICSE Workshop on SE-HCI 2003: 49-56

José Creissac Campos, Michael D. Harrison: Model Checking Interactor Specifications. Autom. Softw. Eng. 8(3-4): 275-310 (2001)

Gavin J. Doherty, José Creissac Campos, Michael D. Harrison: Representational Reasoning and Verification. Formal Asp. Comput. 12(4): 260-277 (2000)

José Creissac Campos, Michael D. Harrison: Modelling and Analysing Connectivity in an Audio-Visual Communications System. DSV-IS 1999: 167-188

José Creissac Campos, Michael D. Harrison: The Role of Verification in Interactive Systems Design. DSV-IS 1998: 155-170

José Creissac Campos, Michael D. Harrison: Formally verifying interactive systems: A review. DSV-IS 1997: 109-124