Остановите войну!
for scientists:
default search action
José Creissac Campos
- > Home > Persons > José Creissac Campos
Publications
- 2021
- [j22]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]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]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) - [j18]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) - [c64]José Creissac Campos, Michael D. Harrison:
Formal Verification of Interactive Computing Systems: Opportunities, Challenges. EICS Workshops 2019: 69-75 - 2018
- [c59]Michael D. Harrison, Paolo Masci, José Creissac Campos:
Formal Modelling as a Component of User Centred Design. STAF Workshops 2018: 274-289 - 2017
- [j17]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) - [j14]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) - [c56]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 - [p2]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 - 2016
- [j13]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]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) - [c52]Michael D. Harrison, José Creissac Campos, Rimvydas Ruksenas, Paul Curzon:
Modelling information resources and their salience in medical device design. EICS 2016: 194-203 - [c50]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
- [j10]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) - [c48]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 - 2014
- [j9]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]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]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) - [c46]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 - [c44]Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon:
Demonstrating that Medical Devices Satisfy User Related Safety Requirements. FHIES/SEHC 2014: 113-128 - [c38]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 - 2013
- [j6]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) - 2012
- [c32]José Luís Silva, José Creissac Campos, Michael D. Harrison:
Formal analysis of ubiquitous computing environments through the APEX framework. EICS 2012: 131-140 - [e1]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] - 2011
- [j4]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
- [c26]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]José Creissac Campos, Michael D. Harrison:
Interaction engineering using the IVY tool. EICS 2009: 35-44 - [c24]José Luís Silva, José Creissac Campos, Michael D. Harrison:
An infrastructure for experience centered agile prototyping of ambient intelligence. EICS 2009: 79-84 - 2008
- [c21]José Creissac Campos, Michael D. Harrison:
Systematic Analysis of Control Panel Interfaces Using Formal Tools. DSV-IS 2008: 72-85 - [c20]Gavin J. Doherty, José Creissac Campos, Michael D. Harrison:
Resources for Situated Actions. DSV-IS 2008: 194-207 - [p1]Michael D. Harrison, José Creissac Campos, Gavin J. Doherty, Karsten Loer:
Connecting Rigorous System Analysis to Experience-Centered Design. Maturing Usability 2008: 56-74 - [i1]Michael D. Harrison, José Creissac Campos:
Analysing Human Aspects of Safety-Critical Software. ERCIM News 2008(75) (2008) - 2007
- [c19]José Creissac Campos, Michael D. Harrison:
Considering Context and Users in Interactive Systems Analysis. EHCI/DS-VIS 2007: 193-209 - [c17]Michael D. Harrison, Christian Kray, José Creissac Campos:
Exploring an Option Space to Engineer a Ubiquitous Computing System. FMIS@BCS HCI 2007: 41-55 - 2004
- [c8]José Creissac Campos, Michael D. Harrison, Karsten Loer:
Verifying user interface behaviour with model checking. VVEIS 2004: 87-96 - 2003
- [c4]José Creissac Campos, Michael D. Harrison:
From HCI to Software Engineering and Back. ICSE Workshop on SE-HCI 2003: 49-56 - 2001
- [j2]José Creissac Campos, Michael D. Harrison:
Model Checking Interactor Specifications. Autom. Softw. Eng. 8(3-4): 275-310 (2001) - 2000
- [j1]Gavin J. Doherty, José Creissac Campos, Michael D. Harrison:
Representational Reasoning and Verification. Formal Aspects Comput. 12(4): 260-277 (2000) - 1999
- [c3]José Creissac Campos, Michael D. Harrison:
Modelling and Analysing Connectivity in an Audio-Visual Communications System. DSV-IS 1999: 167-188 - 1998
- [c2]José Creissac Campos, Michael D. Harrison:
The Role of Verification in Interactive Systems Design. DSV-IS 1998: 155-170 - 1997
- [c1]José Creissac Campos, Michael D. Harrison:
Formally verifying interactive systems: A review. DSV-IS 1997: 109-124
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint