José Creissac Campos

Recent Publications / Publicações Recentes

2024

abstracts off (turn on)

A. Cunha, N. Macedo, J.C. Campos, I. Margolis and E. Sousa (2024)
Assessing the impact of hints in learning formal specification. In ICSE-SEET 2024, pages 145-155. ACM.

L.D. Spano, J.C. Campos, A. Dittmar and P. Forbrig (2024)
An Online Repository for Educational Resources in HCI-Engineering. In Engineering Interactive Computer Systems, volume 14517 of Lecture Notes in Computer Science. (in press)

E. Moreira and J.C. Campos (2024)
Explaining temporal logic model checking counterexamples through the use of structured Natural Language. In Engineering Interactive Computer Systems, volume 14517 of Lecture Notes in Computer Science. (in press)

2023

abstracts off (turn on)

R. Braga da Costa and J.C. Campos (2023)
Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design. In Human-Computer Interaction - INTERACT 2023, volume 14143 of Lecture Notes in Computer Science, pages 504-513. Springer.
 

B. Teixeira and J.C. Campos (2023)
Towards Automated Load Testing Through the User Interface. In Human-Computer Interaction - INTERACT 2023, volume 14143 of Lecture Notes in Computer Science, pages 514-522. Springer.
 

P.A. Palanque and J.C. Campos (2023)
AMAN Case Study. In Rigorous State-Based Methods - ABZ 2023, volume 14010 of Lecture Notes in Computer Science, pages 265-283. Springer.
 

2022

abstracts off (turn on)

J. Martins, J.M. Fonseca, R. Costa, J.C. Campos, A. Cunha, N. Macedo and J.N. Oliveira (2022)
Verification of Railway Network Models with EVEREST. In MODELS '22, pages 345-355. ACM.
 

J.C. Campos and A.N. Ribeiro (2022)
Addressing Interactive Computing Systems' concerns in Software Engineering degrees. In Feel, Sense, Design - INTERACT 2021 IFIP TC 13 Workshops, volume 13198 of Lecture Notes in Computer Science, pages 248-256. Springer.
 

S. Caffieau, J.C. Campos, C. Martinie, L. Nigay, P. Palanque and L.D. Spano (2022)
Teaching HCI Engineering: Four Case Studies. In Feel, Sense, Design - INTERACT 2021 IFIP TC 13 Workshops, volume 13198 of Lecture Notes in Computer Science, pages 195-210. Springer.
 

2021

abstracts off (turn on)

C. Machado and J.C. Campos (2021)
Towards the integration of user interface prototyping and model-based development. In 2021 International Conference on Graphics and Interaction (ICGI), pages 1-8. IEEE.
 

K. Baumann, J.C. Campos, A. Dix, L. Nigay, P. Palanque, J. Vanderdonckt, G. van der Veer and B. Weyers (2021)
HCI-E² : HCI Engineering Education - For Developers, Designers and More. In C. Ardito et al., editor, Human-Computer Interaction - INTERACT 2021, volume 12936 of Lecture Notes in Computer Science, pages 542-547. Springer.
 

M.D. Harrison, P. Masci and J.C. Campos (2021)
Balancing the formal and the informal in user centred design. Interacting with Computers, 33(1):55-72, January.
 

C. Silva, J. Vieira, J.C. Campos, R. Couto and A.N. Ribeiro (2021)
Development and validation of a Descriptive Cognitive Model for a Low Code Development Platform. Human Factors, 63(6):1012-1032.
   

2020

abstracts off (turn on)

J.C. Campos, C. Fayollas, M.D. Harrison, C. Martinie, P. Masci and P. Palanque (2020)
Supporting the analysis of safety critical user interfaces: an exploration of three formal tools. ACM Transactions on Computer-Human Interaction, 27(5), August.
   

A. Canny, D. Navarre, J.C. Campos and P. Palanque (2020)
Model-Based Testing of Post-WIMP Interactions Using Petri-nets. In E. Sekerinski et al., editor, Formal Methods. FM 2019 International Workshops, volume 12232 of Lecture Notes in Computer Science, pages 486-502. Springer.
   

2019

abstracts off (turn on)

J. Ara�jo, R. Couto and J.C. Campos (2019)
A Generator of User Interface Prototypes for the IVY Workbench. In ICGI 2019 -- International Conference on Graphics and Interaction, pages 32-39. IEEE.
   

M.D. Harrison, P. Masci and J.C. Campos (2019)
Verification Templates for the Analysis of User Interface Software Design. IEEE Transactions on Software Engineering, 45(8):802-822, August.
   

C. Silva, P. Masci, Y. Zhang, P. Jones and J.C. Campos (2019)
A Use Error Taxonomy for Improving Human-Machine Interface Design in Medical Devices. ACM SIGBED Review (Special Issue on Medical Cyber Physical Systems - MCPS'18), 16(2):24-30, July.
   

R. Couto and J.C. Campos (2019)
High assurance on Cyber-Physical Interactive Systems. In HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, pages 46-50.
 

J.C. Campos and M.D. Harrison (2019)
Formal verification of interactive computing systems: opportunities and challenges. In HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, volume 2503 of CEUR Workshop Proceedings, pages 69-75.
 

R. Couto and J.C. Campos (2019)
IVY 2 - A model-based analysis tool. In The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS 2019, pages 5:1--5:6. ACM.
 

M.D. Harrison, L. Freitas, M. Drinnan, J.C. Campos, P. Masci, C. di Maria and M. Whitaker (2019)
Formal Techniques in the Safety Analysis of Software Components of a new Dialysis Machine. Science of Computer Programming, 175:17-34, April.
   

2018

abstracts off (turn on)

R. Couto, J.C. Campos, N. Macedo and A. Cunha (2018)
Improving the Visualization of Alloy Instances. In Integrated Development Environment 2018 (F-IDE 2018), volume 284 of Electronic Proceedings in Theoretical Computer Science, pages 37-52.
   

M.D. Harrison, P. Masci and J.C. Campos (2018)
Formal modelling as a component of user centred design. In M. Mazzara, I. Ober and G. Sala�n, editors, Software Technologies: Applications and Foundations, volume 11176 of Lecture Notes in Computer Science, pages 274-289. Springer.
   

R. Couto and J.C. Campos (2018)
Improving traces visualisation through layout managers. In ICGI 2018 - 1st International Conference on Graphics and Interaction, pages 41-48. IEEE.
   

C. Silva and J.C. Campos (2018)
Towards a Simulation-Based Medical Education Platform for PVSio-Web. In ICGI 2018 - 1st International Conference on Graphics and Interaction. IEEE.
   

2017

abstracts off (turn on)

M.D. Harrison, M. Drinnan, J.C. Campos, P. Masci, L. Freitas, C. di Maria and M. Whitaker (2017)
Safety analysis of software components of a dialysis machine using model checking. In Formal Aspects of Component Software, volume 10487 of Lecture Notes in Computer Science, pages 137-154. Springer.
   

M. Pinto, M. Gon�alves, P. Masci, and J.C. Campos (2017)
TOM: a Model-Based GUI Testing framework. In Formal Aspects of Component Software, volume 10487 of Lecture Notes in Computer Science, pages 155-161. Springer.
   

M.D. Harrison, P. Masci, J.C. Campos and P. Curzon (2017)
Verification of User Interface Software: the Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Transactions on Human-Machine Systems, 47(6):834-846, December.
 

P. Masci, Y. Zhang, P. Jones and J.C. Campos (2017)
A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. In Software Engineering and Formal Methods (SEFM'17), volume 10469 of Lecture Notes in Computer Science, pages 284-299. Springer.
   

J.C. Campos, C. Fayollas, M. Gon�alves, C. Martinie, D. Navarre, P. Palanque and M. Pinto (2017)
A "More Intelligent" Test Case Generation Approach through Task Models Manipulation. Proceedings of the ACM on Human Computer Interaction, 1(EICS):9:1-9:20.
   

Machado, M., Couto, R. and Campos, J.C. (2017)
MODUS: Model-based User Interfaces Prototyping. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pages 111--116. ACM.
   

Harrison, M.D., Masci, P.M., Campos, J.C. and Curzon, P. (2017)
The specification and analysis of use properties of a nuclear control system. In Weyers, B., Palanque, P., Bowen, J. and Dix, A., editors, The Handbook on Formal Methods in Human Computer Interaction, Human-Computer Interaction Series, chapter 14. Springer.
 

Campos, J.C., Abade, T., Silva, J.L. and Harrison, M.D. (2017)
Don't Go In There! Using the APEX framework in the design of ambient assisted living systems. Journal of Ambient Intelligence and Humanized Computing, 8(4):551-566.
     

Fayollas, C., Martinie, C., Palanque, P., Masci, P., Harrison, M.D., Campos, J.C. and Silva, S.R. (2017)
Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web. In Proceedings of the Third Workshop on Formal Integrated Development Environment, volume 240 of Electronic Proceedings in Theoretical Computer Science, pages 1-19.
 

M.D. Harrison, P. Masci, J.C. Campos and P. Curzon (2017)
Demonstrating that medical devices satisfy user related safety requirements. In Software Engineering in Healthcare (FHIES/SEHC 2014), volume 9062 of Lecture Notes in Computer Science, pages 113-128. Springer.
   

P. Machado, R. Couto and J.C. Campos (2017)
Um editor tabular para modelação de interfaces. In Atas do EPCGI 2017 - 24o. Encontro Português de Computação Gráfica e Interação, pages 243-244.

R. Couto, A.N. Ribeiro and J.C. Campos (2017)
Avalia��o de Usabilidade da ferramenta uCat. In Atas do EPCGI 2017 - 24o. Encontro Português de Computação Gráfica e Interação, pages 239-240.

R. Couto, A.N. Ribeiro and J.C. Campos (2017)
De Requisitos a Prot�tipos de UI: Uma Abordagem Semi Automatizada. In Atas do EPCGI 2017 - 24� Encontro Portugu�s de Computa��o Gr�fica e Intera��o, pages 237-238.

2016

abstracts off (turn on)

Luyten, K., Palanque, P., Campos, J.C. and Schmidt, A., editor(s) (2016)
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '16. ACM.
 

J.C. Campos, C. Fayollas, C. Martinie, D. Navarre, P. Palanque and M. Pinto (2016)
Systematic Automation of Scenario-Based Testing of User Interfaces. In Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pages 138-148. ACM.
   

M. Harrison, J.C. Campos, R. Ruksenas and P. Curzon (2016)
Modelling information resources and their salience in medical device design. In Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pages 194-203. ACM.
   

R. Couto, A.N. Ribeiro and J.C. Campos (2016)
Validating an approach to formalize use cases with ontologies. In Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, volume 205 of Electronic Proceedings in Theoretical Computer Science, pages 1-15. Open Publishing Association.
 

J.C. Campos, M. Sousa, M. Alves and M.D. Harrison (2016)
Formal Verification of a Space System's User Interface with the IVY workbench. IEEE Transactions on Human-Machine Systems, 46(2):303-316.
   

2015

abstracts off (turn on)

M. Harrison, J.C. Campos, P. Masci and P. Curzon (2015)
Templates as heuristics for proving properties of medical devices. In 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies". ACM.
 

J.C. Campos, J.L. Silva and M. Harrison (2015)
Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes. In Ian Cleland, Luis Guerrero and Jos� Bravo, editors, Ambient Assisted Living. ICT-based Solutions in Real Life Situations, volume 9455 of Lecture Notes in Computer Science, pages 49-61. Springer.
   

M. Machado, J.C. Campos and R. Couto (2015)
MODUS: uma metodologia de prototipagem de interfaces baseada em modelos. In Inforum 2015: Atas do 7� Simp�sio Nacional de Inform�tica, pages 17-32. UBI - Universidade da Beira Interior.
 

T. Abade, J.C. Campos, R. Moreira, C.C.L. Silva and J.L. Silva (2015)
Immersiveness of Ubiquitous Computing Environments Prototypes: A case study. In N. Streitz and P. Markopoulos, editors, Distributed, Ambient and Pervasive Interactions, volume 9189 of Lecture Notes in Computer Science, pages 237-248. Springer.
     

J.C. Campos, P. Masci, P. Curzon and M.D. Harrison (2015)
Layers, resources and property templates in the specification and analysis of two interactive systems. In Proceedings of the Workshop on Formal Methods in Human Computer Interaction (FoMHCI) 2015, pages 38-43. Universitätsbibliothek, RWTH Aachen University.
 

R. Couto, A.N. Ribeiro and J.C. Campos (2015)
The Modelery: A Model-Based Software Development Repository. International Journal of Web Information Systems, 11(2):205-225.
   

D. Almeida, J.C. Campos, J. Saraiva and J.C. Silva (2015)
Towards a Catalog of Usability Smells. In ACM SAC 2015 proceedings - Volume I: Artificial Intelligence and Agents, Distributed Systems, and Information Systems, pages 175-181. ACM.
   

M.D. Harrison, J.C. Campos and P. Masci (2015)
Reusing models and properties in the analysis of similar interactive devices. Innovations in Systems and Software Engineering, 11(2):95-111, June.
       

J. Lamas, C.C.L. Silva, M. Silva, S. Mouta, J.C. Campos, J.A. Santos (2015)
Measuring end-to-end delay in real-time auralisation systems. In Euronoise - 10th European Congress and Exposition on Noise Control Engineering, pages 791-796. EAA-NAG-ABAV.
   

2014

abstracts off (turn on)

J.C. Campos, G. Doherty and M.D. Harrison (2014)
Analysing interactive devices based on information resource constraints. International Journal of Human-Computer Studies, 72(3):284-297, March.
   

J.L. Silva, J.C. Campos and M.D Harrison (2014)
Prototyping and Analysing Ubiquitous Computing Environments using Multiple Layers. International Journal of Human-Computer Studies, 72(5):488-506, May.
   

T. Gomes, T. Abade, J.C. Campos, M.D. Harrison and J.L. Silva (2014)
A Virtual Environment based Serious Game to Support Health Education. EAI Endorsed Transactions on Ambient Systems, 14(3):e5, March.
   

C.E. Silva and J.C. Campos (2014)
Characterizing the Control Logic of Web Applications' User Interfaces. In Computational Science and Its Applications - ICCSA 2014, volume 8584 of Lecture Notes in Computer Science, pages 263-276. Springer.
     

R. Couto, A.N. Ribeiro and J.C. Campos (2014)
A Study on the Viability of Formalizing Use Cases. In 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014, pages 130-133. IEEE.
   

R. Couto, A.N. Ribeiro and J.C. Campos (2014)
The Modelery: A Collaborative Web Based Repository. In Computational Science and Its Applications - ICCSA 2014, volume 8584 of Lecture Notes in Computer Science, pages 1-16. Springer.
   

T. Abade, T. Gomes, J.L. Silva and J.C. Campos (2014)
Design and Evaluation of a Smart Library using the APEX Framework. In N. Streitz and P. Markopoulos, editors, Distributed, Ambient, and Pervasive Interactions, volume 8530 of Lecture Notes in Computer Science, pages 307-318. Springer.
     

A.I. Sampaio and J.C. Campos (2014)
Towards a Framework for Adaptive Web Applications. In C. Stephanidis, editor, HCI International 2014 - Posters' Extended Abstracts, Part I, volume 434 of Communications in Computer and Information Science, pages 240-245. Springer.
     

T. Gomes, T. Abade, J.C. Campos, M.D. Harrison and J.L. Silva (2014)
Rapid Development of First Person Serious Games using the APEX Platform: The Asthma Game. In ACM SAC 2014 proceedings - Volume I: Artificial Intelligence & Agents, Distributed Systems, and Information Systems, pages 169-174. ACM.
     

J.C. Campos (2014)
High assurance interactive computing systems. In J. Ziegler, J. C. Campos and L. Nigay, editors, HCI Engineering: Charting the Way towards Methods and Tools for Advanced Interactive Systems, pages 39-42.
   

R. Couto, A.N. Ribeiro and J.C. Campos (2014)
Application of Ontologies in Identifying Requirements Patterns in Use Cases. In 11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2014), volume 147 of Electronic Proceedings in Theoretical Computer Science, pages 62-76.
   

M. Sousa, J.C. Campos, M. Alves and M.D. Harrison (2014)
Formal Verification of Safety-Critical User Interfaces: a space system case study. In Formal Verification and Modeling in Human Machine Systems: Papers from the AAAI Spring Symposium, pages 62-67. AAAI Press.
   

J.C. Silva, J.C. Campos, J. Saraiva and J.L. Silva (2014)
An approach for graphical user interface external bad smells detection. In New Perspectives in Information Systems and Technologies, vol. 2, volume 276 of Advances in Intelligent Systems and Computing, pages 199-205. Springer.
   

J.M. Machado and J.C. Campos (2014)
Development of Dependable Controllers in the Context of Machines Design. In Modern Methods of Construction Design, Lecture Notes in Mechanical Engineering, pages 125-131. Springer.
   

J. Ziegler, J.C. Campos and L. Nigay (2014)
HCI engineering: Charting the way towards methods and tools for advanced interactive systems. In Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2014), pages 299-300. ACM.
 

2013

abstracts off (turn on)

M.D. Harrison, P. Masci, J.C. Campos and P. Curzon (2013)
Automated theorem proving for the systematic analysis of an infusion pump. Electronic Communications of the EASST, 69: Formal Methods for Interactive Systems 2011. (ISSN: 1863-2122)
 

C. Silva, C. Mendon�a, S. Mouta, R. Silva, J.C. Campos and J. Santos (2013)
Depth cues and perceived audiovisual synchrony of biological motion. PLoS ONE, 8(11):e80096, November.
   

T. Gomes, T. Abade, J.L. Silva and J.C. Campos (2013)
Desenvolvimento de Jogos Educativos na plataforma APEX: O Jogo da Asma. In Lu�s Magalh�es and Beatriz Santos, editors, Atas da Confer�ncia Intera��o 2013, pages 90-97. Universidade de Tr�s-os-Montes e Alto Douro.
 

T. Abade, T. Gomes, J.L. Silva and J. C. Campos (2013)
Avalia��o de Ambientes Ub�quos na Plataforma APEX. In Lu�s Magalh�es and Beatriz Santos, editors, Atas da Confer�ncia Intera��o 2013, pages 177-178. Universidade de Tr�s-os-Montes e Alto Douro.
 

P.J. Cruz and J.C. Campos (2013)
Ambiente de gera��o, muta��o e execu��o de casos de teste para aplica��es Web. In Lu�s Magalh�es and Beatriz Santos, editors, Atas da Confer�ncia Intera��o 2013, pages 45-52. Universidade de Tr�s-os-Montes e Alto Douro.
 

T. Gomes, T. Abade, M.D. Harrison, J.L. Silva and J.C. Campos (2013)
Developing Serious Games With The APEX Framework. In Proceedings of the Workshop on "Ubiquitous games and gamification for promoting behavior change and wellbeing", pages 37-40.
 

C.E. Silva and J.C. Campos (2013)
Combining Static and Dynamic Analysis for the Reverse Engineering of Web Applications. In P. Forbrig, P. Dewan, M. Harrison, K. Luyten, C. Santoro and S.D.J. Barbosa, editors, Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2013), pages 107-112. ACM.
   

J.C. Silva, J.L. Silva, J.C. Campos and J.A. Saraiva (2013)
Uma Abordagem para a Gera��o de Casos de Teste Baseada em Modelos. In Sistemas e Tecnologias de Informa��o (CISTI 2013), volume 2, pages 142-146. AISTI.
   

J.C. Campos and J. Machado (2013)
A Specification Patterns System for Discrete Event Systems' Analysis. International Journal of Advanced Robotic Systems, 10:315.
   

S. Moreira, R. Jos� and J.C. Campos (2013)
An empirical study on immersive prototyping dimensions. In M. Kurosu, editor, Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments, volume 8004 of Lecture Notes in Computer Science, pages 421-430. Springer.
     

L. Oliveira, A.N. Ribeiro and J.C. Campos (2013)
The Mobile Context Framework: providing context to mobile applications. In N. Streitz and C. Stephanidis, editors, Distributed, Ambient and Pervasive Interactions, volume 8028 of Lecture Notes in Computer Science, pages 144-153. Springer.
   

R. Couto, A.N. Ribeiro and J.C. Campos (2013)
MapIt: A model based pattern recovery tool. In R.J. Machado, R.S.P. Maciel, J. Rubin and G. Botterweck, editors, Model-Based Methodologies for Pervasive and Embedded Software, volume 7706 of Lecture Notes in Computer Science, pages 19-37. Springer.
   

2012

abstracts off (turn on)

R. Couto, A.N. Ribeiro and J.C. Campos (2012)
A patterns based reverse engineering approach for Java source code. In 35th Annual IEEE Software Engineering Workshop, pages 140-147. IEEE Computer Society.
   

C.E. Silva and J.C. Campos (2012)
Can GUI implementation markup languages be used for modelling?. In Marco Winckler, Peter Forbrig and Regina Bernhaupt, editors, Human Centred Software Engineering (HCSE 2012), volume 7623 of Lecture Notes in Computer Science, pages 112-129. Springer.
 

S. Barbosa, J.C. Campos, R. Kazman, P. Palanque, M. Harrison and S. Reeves, editor(s) (2012)
Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12. ACM, Copenhagen, Denmark.
 

J.L. Silva, J.C. Campos and M.D. Harrison (2012)
Formal analysis of Ubiquitous Computing environments through the APEX framework. In ACM Symposium on Engineering Interactive Computing Systems (EICS2012), pages 131-140. ACM.
 

2011

abstracts off (turn on)

J.C. Campos and M.D. Harrison (2011)
Modelling and analysing the interactive behaviour of an infusion pump. Electronic Communications of the EASST, 45: Formal Methods for Interactive Systems 2011. (ISSN: 1863-2122)
 

A. Barbosa, A. Paiva and J.C. Campos (2011)
Test case generation from mutated task models. In Fabio Patern�, Kris Luyten, Frank Maurer, Prasun Dewan and Carmen Santoro, editors, ACM Symposium on Engineering Interactive Computing Systems (EICS 2011), pages 175-184. ACM. (ISBN: 978-1-4503-0778-9)
 

J. Machado, E. Seabra, J.C. Campos, F. Soares and C. Le�o (2011)
Safe Controllers Design for Industrial Automation Systems. Computers & Industrial Engineering, 60(4):635-653, May. (ISSN: 0360-8352)
   

Generated by mkBiblio 2.6.26