Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

José Creissac Campos

José Francisco Creissac Freitas de Campos

> Home > Persons

Person information

affiliation: University of Minho, Braga, Portugal

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/hf/SilvaVCCR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/hf/SilvaVCCR21
Carlos Silva, Joana Vieira, José Francisco Creissac Freitas de Campos, Rui Couto, António Nestor Ribeiro:
Development and Validation of a Descriptive Cognitive Model for Predicting Usability Issues in a Low-Code Development Platform. Hum. Factors 63(6) (2021)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/iwc/AmeurBCPW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iwc/AmeurBCPW21
Yamine Aït Ameur, Judy Bowen, José Creissac Campos, Philippe A. Palanque, Benjamin Weyers:
Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems. Interact. Comput. 33(1): 1-2 (2021)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/iwc/HarrisonMC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iwc/HarrisonMC21
Michael D. Harrison, Paolo Masci, José Creissac Campos:
Balancing the formal and the informal in user-centred design. Interact. Comput. 33(1): 55-72 (2021)
2020
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/tochi/CamposFHMMP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tochi/CamposFHMMP20
José Creissac Campos, Camille Fayollas, Michael D. Harrison, Célia Martinie, Paolo Masci, Philippe A. Palanque:
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Trans. Comput. Hum. Interact. 27(5): 35:1-35:48 (2020)
2019
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/HarrisonFDCMMW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HarrisonFDCMMW19
Michael D. Harrison, Leo Freitas, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Costanzo di Maria, Michael Whitaker:
Formal techniques in the safety analysis of software components of a new dialysis machine. Sci. Comput. Program. 175: 17-34 (2019)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/sigbed/SilvaMZJC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigbed/SilvaMZJC19
Carlos Silva, Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos:
A use error taxonomy for improving human-machine interface design in medical devices. SIGBED Rev. 16(2): 24-30 (2019)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/HarrisonMC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/HarrisonMC19
Michael D. Harrison, Paolo Masci, José Creissac Campos:
Verification Templates for the Analysis of User Interface Software Design. IEEE Trans. Software Eng. 45(8): 802-822 (2019)
2017
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/jaihc/CamposASH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jaihc/CamposASH17
José Creissac Campos, Tiago Abade, José Luís Silva, Michael D. Harrison:
Don't go in there! using the APEX framework in the design of ambient assisted living systems. J. Ambient Intell. Humaniz. Comput. 8(4): 551-566 (2017)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/pacmhci/CalvaryNCNC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmhci/CalvaryNCNC17
Gaëlle Calvary, Jeffrey Nichols, José Creissac Campos, Nuno Jardim Nunes, Pedro F. Campos:
Welcome to the First Issue of PACMHCI EICS. Proc. ACM Hum. Comput. Interact. 1(EICS): 1:1-1:2 (2017)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/pacmhci/CamposFGMNPP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmhci/CamposFGMNPP17
José Creissac Campos, Camille Fayollas, Marcelo Gonçalves, Célia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto:
A More Intelligent Test Case Generation Approach through Task Models Manipulation. Proc. ACM Hum. Comput. Interact. 1(EICS): 9:1-9:20 (2017)
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/thms/HarrisonMCC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/thms/HarrisonMCC17
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon:
Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Trans. Hum. Mach. Syst. 47(6): 834-846 (2017)
2016
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eetct/HarrisonCMC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eetct/HarrisonCMC16
Michael D. Harrison, José Creissac Campos, Paolo Masci, Paul Curzon:
Templates as heuristics for proving properties of medical devices. EAI Endorsed Trans. Creative Technol. 3(8): e1 (2016)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/thms/CamposSAH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/thms/CamposSAH16
José Creissac Campos, Manuel Sousa, Miriam C. Bergue Alves, Michael D. Harrison:
Formal Verification of a Space System's User Interface With the IVY Workbench. IEEE Trans. Hum. Mach. Syst. 46(2): 303-316 (2016)
2015
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwis/CoutoRC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwis/CoutoRC15
Rui Couto, António Manuel Nestor Ribeiro, José Francisco Creissac Freitas de Campos:
The Modelery: a model-based software development repository. Int. J. Web Inf. Syst. 11(2): 205-225 (2015)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/HarrisonCM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/HarrisonCM15
Michael D. Harrison, José Creissac Campos, Paolo Masci:
Reusing models and properties in the analysis of similar interactive devices. Innov. Syst. Softw. Eng. 11(2): 95-111 (2015)
2014
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/amsys/GomesACHS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amsys/GomesACHS14
Tiago Gomes, Tiago Abade, José Creissac Campos, Michael D. Harrison, José Luís Silva:
A Virtual Environment based Serious Game to Support Health Education. EAI Endorsed Trans. Ambient Syst. 1(3): e5 (2014)
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ijmms/CamposDH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijmms/CamposDH14
José Creissac Campos, Gavin J. Doherty, Michael D. Harrison:
Analysing interactive devices based on information resource constraints. Int. J. Hum. Comput. Stud. 72(3): 284-297 (2014)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ijmms/SilvaCH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijmms/SilvaCH14
José Luís Silva, José Creissac Campos, Michael D. Harrison:
Prototyping and analysing ubiquitous computing environments using multiple layers. Int. J. Hum. Comput. Stud. 72(5): 488-506 (2014)
2013
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/HarrisonMCC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/HarrisonMCC13
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon:
Automated theorem proving for the systematic analysis of an infusion pump. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013)
2011
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/candie/MachadoSCSL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/candie/MachadoSCSL11
José Machado, Eurico Seabra, José Creissac Campos, Filomena O. Soares, Celina P. Leão:
Safe controllers design for industrial automation systems. Comput. Ind. Eng. 60(4): 635-653 (2011)
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/CamposH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/CamposH11
José Creissac Campos, Michael D. Harrison:
Modelling and analysing the interactive behaviour of an infusion pump. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
2010
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/SilvaCS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/SilvaCS10
João Carlos Silva, José Creissac Campos, João Saraiva:
GUI Inspection from Source Code Analysis. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010)
2001
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/CamposH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/CamposH01
José Creissac Campos, Michael D. Harrison:
Model Checking Interactor Specifications. Autom. Softw. Eng. 8(3-4): 275-310 (2001)
2000
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/DohertyCH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/DohertyCH00
Gavin J. Doherty, José Creissac Campos, Michael D. Harrison:
Representational Reasoning and Verification. Formal Aspects Comput. 12(4): 260-277 (2000)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/interact/CostaC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/interact/CostaC23
Rafael Braga da Costa, José Creissac Campos:
Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design. INTERACT (2) 2023: 504-513
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/interact/TeixeiraC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/interact/TeixeiraC23
Bruno Teixeira, José Creissac Campos:
Towards Automated Load Testing Through the User Interface. INTERACT (2) 2023: 514-522
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/interact/CamposNDDBS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/interact/CamposNDDBS23
José Creissac Campos, Laurence Nigay, Alan J. Dix, Anke Dittmar, Simone D. J. Barbosa, Lucio Davide Spano:
HCI-E²-2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education. INTERACT (4) 2023: 632-637
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/PalanqueC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/PalanqueC23
Philippe A. Palanque, José Creissac Campos:
AMAN Case Study. ABZ 2023: 265-283
2022
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/models/MartinsFCCCMO22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/MartinsFCCCMO22
João Martins, José M. Fonseca, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira:
Verification of railway network models with EVEREST. MoDELS 2022: 345-355
2021
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/CamposGS021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/CamposGS021
José Creissac Campos, T. C. Nicholas Graham, Lucio Davide Spano, Jan Van den Bergh:
The Management of Risks and Benefits when Engineering Interactive Digital Systems. EICS 2021: 81-83
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/icgi2/MachadoC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgi2/MachadoC21
Catarina Machado, José Creissac Campos:
Towards the integration of user interface prototyping and model-based development. ICGI 2021: 1-8
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/interact/CaffiauCMNPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/interact/CaffiauCMNPS21
Sybille Caffiau, José Creissac Campos, Célia Martinie, Laurence Nigay, Philippe A. Palanque, Lucio Davide Spano:
Teaching HCI Engineering: Four Case Studies. INTERACT (Workshops) 2021: 195-210
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/interact/CamposR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/interact/CamposR21
José Creissac Campos, António Nestor Ribeiro:
Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees. INTERACT (Workshops) 2021: 248-256
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/interact/BaumannCDNPVVW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/interact/BaumannCDNPVVW21
Konrad Baumann, José Creissac Campos, Alan J. Dix, Laurence Nigay, Philippe A. Palanque, Jean Vanderdonckt, Gerrit C. van der Veer, Benjamin Weyers:
HCI-E²: HCI Engineering Education - For Developers, Designers and More. INTERACT (5) 2021: 542-547
2019
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/CoutoC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/CoutoC19
Rui Couto, José Creissac Campos:
IVY 2: a model-based analysis tool. EICS 2019: 5:1-5:6
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/DistanteWBBC0P019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/DistanteWBBC0P019
Damiano Distante, Marco Winckler, Regina Bernhaupt, Judy Bowen, José Creissac Campos, Florian Müller, Philippe A. Palanque, Jan Van den Bergh, Benjamin Weyers, Alexandra Voit:
Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019. EICS 2019: 22:1-22:6
[c65]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/eics/CoutoC19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/CoutoC19a
Rui Couto, José Creissac Campos:
High Assurance on Cyber-Physical Interactive Systems. EICS Workshops 2019: 46-50
[c64]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/eics/CamposH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/CamposH19
José Creissac Campos, Michael D. Harrison:
Formal Verification of Interactive Computing Systems: Opportunities, Challenges. EICS Workshops 2019: 69-75
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/CannyNCP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/CannyNCP19
Alexandre Canny, David Navarre, José Creissac Campos, Philippe A. Palanque:
Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. FM Workshops (1) 2019: 486-502
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/icgi2/AraujoCC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgi2/AraujoCC19
João Miguel Araújo, Rui Couto, José Creissac Campos:
A Generator of User Interface Prototypes for the IVY Workbench. ICGI 2019: 32-39
2018
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/CamposS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/CamposS18
José Creissac Campos, Nuno J. Sousa:
The MAL Interactors Animator: Supporting model validation through animation. EICS 2018: 11:1-11:7
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/icgi2/SilvaC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgi2/SilvaC18
Carlos Silva, José Creissac Campos:
Towards a Simulation-Based Medical Education Platform for PVSio-Web. ICGI 2018: 1-8
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/staf/HarrisonMC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/HarrisonMC18
Michael D. Harrison, Paolo Masci, José Creissac Campos:
Formal Modelling as a Component of User Centred Design. STAF Workshops 2018: 274-289
[c58]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1811-10817
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10817
Rui Couto, José Creissac Campos, Nuno Macedo, Alcino Cunha:
Improving the Visualization of Alloy Instances. F-IDE@FLoC 2018: 37-52
2017
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/MachadoCC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/MachadoCC17
Marina Machado, Rui Couto, José Creissac Campos:
MODUS: model-based user interfaces prototyping. EICS 2017: 111-116
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/HarrisonDCMFMW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/HarrisonDCMFMW17
Michael D. Harrison, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Leo Freitas, Costanzo di Maria, Michael Whitaker:
Safety Analysis of Software Components of a Dialysis Machine Using Model Checking. FACS 2017: 137-154
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/PintoGMC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/PintoGMC17
Miguel Pinto, Marcelo Gonçalves, Paolo Masci, José Creissac Campos:
TOM: A Model-Based GUI Testing Framework. FACS 2017: 155-161
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/MasciZJC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/MasciZJC17
Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos:
A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. SEFM 2017: 284-299
2016
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/CamposFMNPP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/CamposFMNPP16
José Creissac Campos, Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto:
Systematic automation of scenario-based testing of user interfaces. EICS 2016: 138-148
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/HarrisonCRC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/HarrisonCRC16
Michael D. Harrison, José Creissac Campos, Rimvydas Ruksenas, Paul Curzon:
Modelling information resources and their salience in medical device design. EICS 2016: 194-203
[c51]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CoutoRC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CoutoRC16
Rui Couto, António Nestor Ribeiro, José Creissac Campos:
Validating an Approach to Formalize Use Cases with Ontologies. FESCA@ETAPS 2016: 1-15
[c50]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FayollasMPMHCS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FayollasMPMHCS17
Camille Fayollas, Célia Martinie, Philippe A. Palanque, Paolo Masci, Michael D. Harrison, José Creissac Campos, Saulo Rodrigues e Silva:
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. F-IDE@FM 2016: 1-19
2015
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/AbadeCMSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/AbadeCMSS15
Tiago Abade, José Creissac Campos, Rui Moreira, Carlos César Loureiro Silva, José Luís Silva:
Immersiveness of Ubiquitous Computing Environments Prototypes: A Case Study. HCI (21) 2015: 237-248
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/iwaal/CamposASH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwaal/CamposASH15
José Creissac Campos, Tiago Abade, José Luís Silva, Michael D. Harrison:
Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes. IWAAL 2015: 49-61
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/AlmeidaCS015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/AlmeidaCS015
Diogo Almeida, José Creissac Campos, João Saraiva, João Carlos Silva:
Towards a catalog of usability smells. SAC 2015: 175-181
2014
[c46]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aaaiss/SousaCAH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/SousaCAH14
Manuel Sousa, José Creissac Campos, Miriam C. Bergue Alves, Michael D. Harrison:
Formal Verification of Safety-Critical User Interfaces: a space system case study. AAAI Spring Symposia 2014
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/ZieglerCN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/ZieglerCN14
Jürgen Ziegler, José Creissac Campos, Laurence Nigay:
HCI engineering: charting the way towards methods and tools for advanced interactive systems. EICS 2014: 299-300
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/fhies/HarrisonMCC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fhies/HarrisonMCC14
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon:
Demonstrating that Medical Devices Satisfy User Related Safety Requirements. FHIES/SEHC 2014: 113-128
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/SampaioC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/SampaioC14
Ana Isabel Sampaio, José Creissac Campos:
Towards a Framework for Adaptive Web Applications. HCI (26) 2014: 240-245
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/AbadeGSC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/AbadeGSC14
Tiago Abade, Tiago Gomes, José Luís Silva, José Creissac Campos:
Design and Evaluation of a Smart Library Using the APEX Framework. HCI (21) 2014: 307-318
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/CoutoRC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/CoutoRC14
Rui Couto, António Nestor Ribeiro, José Creissac Campos:
The Modelery: A Collaborative Web Based Repository. ICCSA (6) 2014: 1-16
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/SilvaC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/SilvaC14
Carlos Eduardo Bastos e Marques da Silva, José Creissac Campos:
Characterizing the Control Logic of Web Applications' User Interfaces. ICCSA (6) 2014: 263-276
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/CoutoRC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/CoutoRC14
Rui Couto, António Nestor Ribeiro, José Creissac Campos:
A Study on the Viability of Formalizing Use Cases. QUATIC 2014: 130-133
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/GomesACHS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/GomesACHS14
Tiago Gomes, Tiago Abade, José Creissac Campos, Michael D. Harrison, José Luís Silva:
Rapid development of first person serious games using the APEX platform: the asthma game. SAC 2014: 169-174
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/worldcist/SilvaCSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/worldcist/SilvaCSS14
João Carlos Silva, José Creissac Campos, João Saraiva, José Luís Silva:
An Approach for Graphical User Interface External Bad Smells Detection. WorldCIST (2) 2014: 199-205
[c36]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CoutoRC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CoutoRC14
Rui Couto, António Nestor Ribeiro, José Creissac Campos:
Application of Ontologies in Identifying Requirements Patterns in Use Cases. FESCA 2014: 62-76
2013
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/SilvaC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/SilvaC13
Carlos E. Silva, José Creissac Campos:
Combining static and dynamic analysis for the reverse engineering of web applications. EICS 2013: 107-112
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/OliveiraRC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/OliveiraRC13
Luís Oliveira, António Nestor Ribeiro, José Creissac Campos:
The Mobile Context Framework: Providing Context to Mobile Applications. HCI (25) 2013: 144-153
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/MoreiraJC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/MoreiraJC13
Samuel Moreira, Rui José, José Creissac Campos:
An Empirical Study on Immersive Prototyping Dimensions. HCI (1) 2013: 421-430
2012
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/SilvaCH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/SilvaCH12
José Luís Silva, José Creissac Campos, Michael D. Harrison:
Formal analysis of ubiquitous computing environments through the APEX framework. EICS 2012: 131-140
[c31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/hcse/SilvaC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hcse/SilvaC12
Carlos E. Silva, José Creissac Campos:
Can GUI Implementation Markup Languages Be Used for Modelling? HCSE 2012: 112-129
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/mompes/CoutoRC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mompes/CoutoRC12
Rui Couto, António Nestor Ribeiro, José Creissac Campos:
MapIt: A Model Based Pattern Recovery Tool. MOMPES 2012: 19-37
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/sew/CoutoRC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sew/CoutoRC12
Rui Couto, António Nestor Ribeiro, José Creissac Campos:
A Patterns Based Reverse Engineering Approach for Java Source Code. SEW 2012: 140-147
2011
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/BarbosaPC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/BarbosaPC11
Ana Barbosa, Ana C. R. Paiva, José Creissac Campos:
Test case generation from mutated task models. EICS 2011: 175-184
2010
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/SilvaSGSC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/SilvaSGSC10
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
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/hcse/SilvaRFCH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hcse/SilvaRFCH10
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
2009
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/CamposH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/CamposH09
José Creissac Campos, Michael D. Harrison:
Interaction engineering using the IVY tool. EICS 2009: 35-44
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/SilvaCH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/SilvaCH09
José Luís Silva, José Creissac Campos, Michael D. Harrison:
An infrastructure for experience centered agile prototyping of ambient intelligence. EICS 2009: 79-84
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/BarbosaBC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/BarbosaBC09
Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos:
A Coordination Model for Interactive Components. FSEN 2009: 416-430
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/SilvaSC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/SilvaSC09
João Carlos Silva, João Saraiva, José Creissac Campos:
A generic library for GUI reasoning and testing. SAC 2009: 121-128
2008
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/CamposH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/CamposH08
José Creissac Campos, Michael D. Harrison:
Systematic Analysis of Control Panel Interfaces Using Formal Tools. DSV-IS 2008: 72-85
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/DohertyCH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/DohertyCH08
Gavin J. Doherty, José Creissac Campos, Michael D. Harrison:
Resources for Situated Actions. DSV-IS 2008: 194-207
2007
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ehci/CamposH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ehci/CamposH07
José Creissac Campos, Michael D. Harrison:
Considering Context and Users in Interactive Systems Analysis. EHCI/DS-VIS 2007: 193-209
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icps/PintoJC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icps/PintoJC07
Helder Pinto, Rui José, José Creissac Campos:
An Interaction Model and Infrastructure for Localized Activities in Pervasive Computing Environments. ICPS 2007: 232-241
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HarrisonKC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HarrisonKC08
Michael D. Harrison, Christian Kray, José Creissac Campos:
Exploring an Option Space to Engineer a Ubiquitous Computing System. FMIS@BCS HCI 2007: 41-55
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SilvaCP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SilvaCP08
José Luís Silva, José Creissac Campos, Ana C. R. Paiva:
Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees. FMIS@BCS HCI 2007: 77-93
2006
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/SilvaCS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/SilvaCS06
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
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/ChattyCGLNPSB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/ChattyCGLNPSB06
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
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BarbosaBC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BarbosaBC07
Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos:
Towards a Coordination Model for Interactive Systems. FMIS@ICFEM 2006: 89-103
2005
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/CamposD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/CamposD05
José Creissac Campos, Gavin J. Doherty:
Supporting Resource-Based Analysis of Task Information Needs. DSV-IS 2005: 188-200
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/DohertyBCAFMS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/DohertyBCAFMS05
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
[c10]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iceis/FernandesPC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/FernandesPC04
António Ramires Fernandes, Jorge Ribeiro Pereira, José Creissac Campos:
Accessibility and Visually Impaired Users. ICEIS (5) 2004: 75-80
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/iceis/FernandesPC04a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/FernandesPC04a
António Fernandes, Jorge Pereira, José Creissac Campos:
Accessibility and Visually Impaired Users. ICEIS (Selected Papers) 2004: 310-315
[c8]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/vveis/CamposHL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/CamposHL04
José Creissac Campos, Michael D. Harrison, Karsten Loer:
Verifying user interface behaviour with model checking. VVEIS 2004: 87-96
2003
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/clihc/Campos03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clihc/Campos03
José Creissac Campos:
A formal approach to the usability engineering. CLIHC 2003: 17-28
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/Creissac03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/Creissac03
José Creissac Campos:
Using Task Knowledge to Guide Interactor Specifications Analysis. DSV-IS 2003: 171-186
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/CamposD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/CamposD03
José Creissac Campos, Gavin J. Doherty:
Reasoning about Dynamic Information Displays. DSV-IS 2003: 288-302
[c4]
- view
  - electronic edition @ se-hci.org
  - no references & citations available
- export record
  dblp key:
  - conf/icse/CamposH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CamposH03
José Creissac Campos, Michael D. Harrison:
From HCI to Software Engineering and Back. ICSE Workshop on SE-HCI 2003: 49-56
1999
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/CamposH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/CamposH99
José Creissac Campos, Michael D. Harrison:
Modelling and Analysing Connectivity in an Audio-Visual Communications System. DSV-IS 1999: 167-188
1998
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/CamposH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/CamposH98
José Creissac Campos, Michael D. Harrison:
The Role of Verification in Interactive Systems Design. DSV-IS 1998: 155-170
1997
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/CamposH97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/CamposH97
José Creissac Campos, Michael D. Harrison:
Formally verifying interactive systems: A review. DSV-IS 1997: 109-124

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2017
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/17/HarrisonMCC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/17/HarrisonMCC17
Michael D. Harrison, Paolo M. Masci, José Creissac Campos, Paul Curzon:
The Specification and Analysis of Use Properties of a Nuclear Control System. Handbook of Formal Methods in Human-Computer Interaction 2017: 379-403
2008
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/hci/HarrisonCDL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hci/HarrisonCDL08
Michael D. Harrison, José Creissac Campos, Gavin J. Doherty, Karsten Loer:
Connecting Rigorous System Analysis to Experience-Centered Design. Maturing Usability 2008: 56-74

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2023
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/2023
Uwe Glässer, José Creissac Campos, Dominique Méry, Philippe A. Palanque:
Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings. Lecture Notes in Computer Science 14010, Springer 2023, ISBN 978-3-031-33162-6 [contents]
2022
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/interact/2021w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/interact/2021w
Carmelo Ardito, Rosa Lanzilotti, Alessio Malizia, Marta Lárusdóttir, Lucio Davide Spano, José Creissac Campos, Morten Hertzum, Tilo Mentler, José L. Abdelnour-Nocera, Lara S. G. Piccolo, Stefan Sauer, Gerrit C. van der Veer:
Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 - September 3, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13198, Springer 2022, ISBN 978-3-030-98387-1 [contents]
2020
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/2019-w1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/2019-w1
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas:
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Lecture Notes in Computer Science 12232, Springer 2020, ISBN 978-3-030-54993-0 [contents]
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/2019-w2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/2019-w2
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas:
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Lecture Notes in Computer Science 12233, Springer 2020, ISBN 978-3-030-54996-1 [contents]
2017
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/2017
José Creissac Campos, Nuno Nunes, Pedro Campos, Gaëlle Calvary, Jeffrey Nichols, Célia Martinie, José Luís Silva:
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017, Lisbon, Portugal, June 26-29, 2017. ACM 2017, ISBN 978-1-4503-5083-9 [contents]
2012
[e1]
- view
- export record
  dblp key:
  - conf/eics/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/2012
Simone Diniz Junqueira Barbosa, José Creissac Campos, Rick Kazman, Philippe A. Palanque, Michael D. Harrison, Steve Reeves:
ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012. ACM 2012, ISBN 978-1-4503-1168-7 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2008
[i1]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/HarrisonC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/HarrisonC08
Michael D. Harrison, José Creissac Campos:
Analysing Human Aspects of Safety-Critical Software. ERCIM News 2008(75) (2008)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.