Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJosé Creissac Campos
José Francisco Creissac Freitas de Campos
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
2020 – today
- 2023
[c77]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]Bruno Teixeira, José Creissac Campos:
Towards Automated Load Testing Through the User Interface. INTERACT (2) 2023: 514-522 - [c75]José Creissac Campos, Laurence Nigay, Alan J. Dix, Anke Dittmar, Simone D. J. Barbosa, Lucio Davide Spano:
HCI-E2-2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education. INTERACT (4) 2023: 632-637 - [c74]Philippe A. Palanque, José Creissac Campos:
AMAN Case Study. ABZ 2023: 265-283 - [e6]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
- [c73]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 - [e5]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] - 2021
- [j24]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]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]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) - [c72]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]Catarina Machado, José Creissac Campos:
Towards the integration of user interface prototyping and model-based development. ICGI 2021: 1-8 - [c70]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]José Creissac Campos, António Nestor Ribeiro:
Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees. INTERACT (Workshops) 2021: 248-256 - [c68]Konrad Baumann, José Creissac Campos, Alan J. Dix, Laurence Nigay, Philippe A. Palanque, Jean Vanderdonckt, Gerrit C. van der Veer, Benjamin Weyers:
HCI-E2: HCI Engineering Education - For Developers, Designers and More. INTERACT (5) 2021: 542-547 - 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) - [e4]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]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]
2010 – 2019
- 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) - [j19]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]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) - [c67]Rui Couto, José Creissac Campos:
IVY 2: a model-based analysis tool. EICS 2019: 5:1-5:6 - [c66]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]Rui Couto, José Creissac Campos:
High Assurance on Cyber-Physical Interactive Systems. EICS Workshops 2019: 46-50 - [c64]José Creissac Campos, Michael D. Harrison:
Formal Verification of Interactive Computing Systems: Opportunities, Challenges. EICS Workshops 2019: 69-75 - [c63]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]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]José Creissac Campos, Nuno J. Sousa:
The MAL Interactors Animator: Supporting model validation through animation. EICS 2018: 11:1-11:7 - [c60]Carlos Silva, José Creissac Campos:
Towards a Simulation-Based Medical Education Platform for PVSio-Web. ICGI 2018: 1-8 - [c59]Michael D. Harrison, Paolo Masci, José Creissac Campos:
Formal Modelling as a Component of User Centred Design. STAF Workshops 2018: 274-289 - [c58]Rui Couto, José Creissac Campos, Nuno Macedo, Alcino Cunha:
Improving the Visualization of Alloy Instances. F-IDE@FLoC 2018: 37-52 - 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) - [j16]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]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]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) - [c57]Marina Machado, Rui Couto, José Creissac Campos:
MODUS: model-based user interfaces prototyping. EICS 2017: 111-116 - [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 - [c55]Miguel Pinto, Marcelo Gonçalves, Paolo Masci, José Creissac Campos:
TOM: A Model-Based GUI Testing Framework. FACS 2017: 155-161 - [c54]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 - [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 - [e2]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] - 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) - [c53]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]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]Rui Couto, António Nestor Ribeiro, José Creissac Campos:
Validating an Approach to Formalize Use Cases with Ontologies. FESCA@ETAPS 2016: 1-15 - [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
- [j11]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]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) - [c49]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]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]Diogo Almeida, José Creissac Campos, João Saraiva, João Carlos Silva:
Towards a catalog of usability smells. SAC 2015: 175-181 - 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 - [c45]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]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]Ana Isabel Sampaio, José Creissac Campos:
Towards a Framework for Adaptive Web Applications. HCI (26) 2014: 240-245 - [c42]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]Rui Couto, António Nestor Ribeiro, José Creissac Campos:
The Modelery: A Collaborative Web Based Repository. ICCSA (6) 2014: 1-16 - [c40]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]Rui Couto, António Nestor Ribeiro, José Creissac Campos:
A Study on the Viability of Formalizing Use Cases. QUATIC 2014: 130-133 - [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 - [c37]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]Rui Couto, António Nestor Ribeiro, José Creissac Campos:
Application of Ontologies in Identifying Requirements Patterns in Use Cases. FESCA 2014: 62-76 - 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) - [c35]Carlos E. Silva, José Creissac Campos:
Combining static and dynamic analysis for the reverse engineering of web applications. EICS 2013: 107-112 - [c34]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]Samuel Moreira, Rui José, José Creissac Campos:
An Empirical Study on Immersive Prototyping Dimensions. HCI (1) 2013: 421-430 - 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 - [c31]Carlos E. Silva, José Creissac Campos:
Can GUI Implementation Markup Languages Be Used for Modelling? HCSE 2012: 112-129 - [c30]Rui Couto, António Nestor Ribeiro, José Creissac Campos:
MapIt: A Model Based Pattern Recovery Tool. MOMPES 2012: 19-37 - [c29]Rui Couto, António Nestor Ribeiro, José Creissac Campos:
A Patterns Based Reverse Engineering Approach for Java Source Code. SEW 2012: 140-147 - [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
- [j5]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]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) - [c28]Ana Barbosa, Ana C. R. Paiva, José Creissac Campos:
Test case generation from mutated task models. EICS 2011: 175-184 - 2010
- [j3]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) - [c27]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]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
2000 – 2009
- 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 - [c23]Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos:
A Coordination Model for Interactive Components. FSEN 2009: 416-430 - [c22]João Carlos Silva, João Saraiva, José Creissac Campos:
A generic library for GUI reasoning and testing. SAC 2009: 121-128 - 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 - [c18]Helder Pinto, Rui José, José Creissac Campos:
An Interaction Model and Infrastructure for Localized Activities in Pervasive Computing Environments. ICPS 2007: 232-241 - [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 - [c16]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]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]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]Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos:
Towards a Coordination Model for Interactive Systems. FMIS@ICFEM 2006: 89-103 - 2005
- [c12]José Creissac Campos, Gavin J. Doherty:
Supporting Resource-Based Analysis of Task Information Needs. DSV-IS 2005: 188-200 - [c11]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]António Ramires Fernandes, Jorge Ribeiro Pereira, José Creissac Campos:
Accessibility and Visually Impaired Users. ICEIS (5) 2004: 75-80 - [c9]António Fernandes, Jorge Pereira, José Creissac Campos:
Accessibility and Visually Impaired Users. ICEIS (Selected Papers) 2004: 310-315 - [c8]José Creissac Campos, Michael D. Harrison, Karsten Loer:
Verifying user interface behaviour with model checking. VVEIS 2004: 87-96 - 2003
- [c7]José Creissac Campos:
A formal approach to the usability engineering. CLIHC 2003: 17-28 - [c6]José Creissac Campos:
Using Task Knowledge to Guide Interactor Specifications Analysis. DSV-IS 2003: 171-186 - [c5]José Creissac Campos, Gavin J. Doherty:
Reasoning about Dynamic Information Displays. DSV-IS 2003: 288-302 - [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)
1990 – 1999
- 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