Jos Creissac Campos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
52
Venues
12
Active years
2003–2026
Best venue rank
A*
Where they publish
Papers
52 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | EICS | Fourth Workshop on Engineering Interactive Systems Embedding AI Technologies. | Jos Creissac Campos, Camille Fayollas, Kris Luyten, Philippe A. Palanque, Emanuele Panizzi, Max Pascher, Fabio Patern, Lucio Davide Spano |
| 2025 | EICS | Engineering Interactive Systems Embedding AI Technologies (3rd workshop on). | Barbara Rita Barricelli, Jos Creissac Campos, Kris Luyten, Sven Mayer, Philippe A. Palanque, Emanuele Panizzi, Lucio Davide Spano, Simone Stumpf |
| 2025 | EICS | On the Use of LLMs to Explain Model Checking Counterexamples. | Ezequiel Jos Veloso Ferreira Moreira, Jos Creissac Campos |
| 2025 | Interact | Towards a More Natural Approach to Property Specification in the IVY Workbench. | Joo Gomes, Mrio Arcipreste, Miguel Gomes, Jos Creissac Campos |
| 2025 | Interact | AI in Formal IDEs: Improving Usability or Undermining Trust? | Ezequiel Jos Veloso Ferreira Moreira, Jos Creissac Campos |
| 2025 | Interact | Engineering Methods for HCI and UX in AI-Driven Systems. | Lucio Davide Spano, Philippe A. Palanque, Clia Martinie, Jos Creissac Campos, Albrecht Schmidt, Barbara Rita Barricelli, Passant El Agroudy, Kris Luyten |
| 2025 | Interact | Introduction to the Engineering Methods for HCI and UX in AI-Driven Systems Workshop. | Lucio Davide Spano, Philippe A. Palanque, Clia Martinie, Jos Creissac Campos, Albrecht Schmidt, Barbara Rita Barricelli, Passant El Agroudy, Kris Luyten |
| 2024 | EICS | 50 years of Research in Engineering Interactive Computing Systems: the CCL 1974 to EICS 2024 journey. | Jos Creissac Campos, Kris Luyten, Laurence Nigay, Philippe A. Palanque, Fabio Patern, Lucio Davide Spano, Jean Vanderdonckt |
| 2024 | EICS | On the Role of Generative AI in Explaining Model Checking Counterexamples. | Ezequiel Jos Veloso Ferreira Moreira, Jos Creissac Campos |
| 2024 | ICSE | Assessing the impact of hints in learning formal specification. | Alcino Cunha, Nuno Macedo, Jos Creissac Campos, Iara Margolis, Emanuel Sousa |
| 2023 | EICS | Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language. | Ezequiel Jos Veloso Ferreira Moreira, Jos Creissac Campos |
| 2023 | Interact | HCI-E | Jos Creissac Campos, Laurence Nigay, Alan J. Dix, Anke Dittmar, Simone D. J. Barbosa, Lucio Davide Spano |
| 2023 | Interact | Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design. | Rafael Braga da Costa, Jos Creissac Campos |
| 2023 | Interact | Editorial to the Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education. | Lucio Davide Spano, Jos Creissac Campos, Anke Dittmar |
| 2023 | Interact | An Online Repository for Educational Resources in HCI-Engineering. | Lucio Davide Spano, Jos Creissac Campos, Anke Dittmar, Peter Forbrig |
| 2023 | Interact | Towards Automated Load Testing Through the User Interface. | Bruno Teixeira, Jos Creissac Campos |
| 2022 | MODELS | Verification of railway network models with EVEREST. | Joo Martins, Jos M. Fonseca, Rafael Costa, Jos Creissac Campos, Alcino Cunha, Nuno Macedo, Jos N. Oliveira |
| 2021 | EICS | The Management of Risks and Benefits when Engineering Interactive Digital Systems. | Jos Creissac Campos, T. C. Nicholas Graham, Lucio Davide Spano, Jan Van den Bergh |
| 2021 | Interact | HCI-E | Konrad Baumann, Jos Creissac Campos, Alan J. Dix, Laurence Nigay, Philippe A. Palanque, Jean Vanderdonckt, Gerrit C. van der Veer, Benjamin Weyers |
| 2021 | Interact | Teaching HCI Engineering: Four Case Studies. | Sybille Caffiau, Jos Creissac Campos, Clia Martinie, Laurence Nigay, Philippe A. Palanque, Lucio Davide Spano |
| 2021 | Interact | Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees. | Jos Creissac Campos, Antnio Nestor Ribeiro |
| 2019 | EICS | Formal Verification of Interactive Computing Systems: Opportunities, Challenges. | Jos Creissac Campos, Michael D. Harrison |
| 2019 | EICS | IVY 2: a model-based analysis tool. | Rui Couto, Jos Creissac Campos |
| 2019 | EICS | High Assurance on Cyber-Physical Interactive Systems. | Rui Couto, Jos Creissac Campos |
| 2019 | EICS | Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019. | Damiano Distante, Marco Winckler, Regina Bernhaupt, Judy Bowen, Jos Creissac Campos, Florian Mller, Philippe A. Palanque, Jan Van den Bergh, Benjamin Weyers, Alexandra Voit |
| 2019 | FM | Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. | Alexandre Canny, David Navarre, Jos Creissac Campos, Philippe A. Palanque |
| 2018 | EICS | The MAL Interactors Animator: Supporting model validation through animation. | Jos Creissac Campos, Nuno J. Sousa |
| 2017 | EICS | MODUS: model-based user interfaces prototyping. | Marina Machado, Rui Couto, Jos Creissac Campos |
| 2017 | SEFM | A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. | Paolo Masci, Yi Zhang, Paul L. Jones, Jos Creissac Campos |
| 2016 | EICS | Systematic automation of scenario-based testing of user interfaces. | Jos Creissac Campos, Camille Fayollas, Clia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto |
| 2016 | EICS | Modelling information resources and their salience in medical device design. | Michael D. Harrison, Jos Creissac Campos, Rimvydas Ruksenas, Paul Curzon |
| 2015 | HCI | Immersiveness of Ubiquitous Computing Environments Prototypes: A Case Study. | Tiago Abade, Jos Creissac Campos, Rui Moreira, Carlos Csar Loureiro Silva, Jos Lus Silva |
| 2015 | SAC | Towards a catalog of usability smells. | Diogo Almeida, Jos Creissac Campos, Joo Saraiva, Joo Carlos Silva |
| 2014 | EICS | HCI engineering: charting the way towards methods and tools for advanced interactive systems. | Jrgen Ziegler, Jos Creissac Campos, Laurence Nigay |
| 2014 | HCI | Design and Evaluation of a Smart Library Using the APEX Framework. | Tiago Abade, Tiago Gomes, Jos Lus Silva, Jos Creissac Campos |
| 2014 | HCI | Towards a Framework for Adaptive Web Applications. | Ana Isabel Sampaio, Jos Creissac Campos |
| 2014 | ICCSA | The Modelery: A Collaborative Web Based Repository. | Rui Couto, Antnio Nestor Ribeiro, Jos Creissac Campos |
| 2014 | ICCSA | Characterizing the Control Logic of Web Applications' User Interfaces. | Carlos Eduardo Bastos e Marques da Silva, Jos Creissac Campos |
| 2014 | QUATIC | A Study on the Viability of Formalizing Use Cases. | Rui Couto, Antnio Nestor Ribeiro, Jos Creissac Campos |
| 2014 | SAC | Rapid development of first person serious games using the APEX platform: the asthma game. | Tiago Gomes, Tiago Abade, Jos Creissac Campos, Michael D. Harrison, Jos Lus Silva |
| 2014 | WorldCIST | An Approach for Graphical User Interface External Bad Smells Detection. | Joo Carlos Silva, Jos Creissac Campos, Joo Saraiva, Jos Lus Silva |
| 2013 | EICS | Combining static and dynamic analysis for the reverse engineering of web applications. | Carlos E. Silva, Jos Creissac Campos |
| 2013 | HCI | An Empirical Study on Immersive Prototyping Dimensions. | Samuel Moreira, Rui Jos, Jos Creissac Campos |
| 2013 | HCI | The Mobile Context Framework: Providing Context to Mobile Applications. | Lus Oliveira, Antnio Nestor Ribeiro, Jos Creissac Campos |
| 2012 | EICS | Formal analysis of ubiquitous computing environments through the APEX framework. | Jos Lus Silva, Jos Creissac Campos, Michael D. Harrison |
| 2012 | SEW | A Patterns Based Reverse Engineering Approach for Java Source Code. | Rui Couto, Antnio Nestor Ribeiro, Jos Creissac Campos |
| 2011 | EICS | Test case generation from mutated task models. | Ana Barbosa, Ana C. R. Paiva, Jos Creissac Campos |
| 2010 | EICS | The GUISurfer tool: towards a language independent approach to reverse engineering GUI code. | Joo Carlos Silva, Carlos E. Silva, Rui D. Gonalo, Joo Saraiva, Jos Creissac Campos |
| 2009 | EICS | Interaction engineering using the IVY tool. | Jos Creissac Campos, Michael D. Harrison |
| 2009 | EICS | An infrastructure for experience centered agile prototyping of ambient intelligence. | Jos Lus Silva, Jos Creissac Campos, Michael D. Harrison |
| 2009 | SAC | A generic library for GUI reasoning and testing. | Joo Carlos Silva, Joo Saraiva, Jos Creissac Campos |
| 2003 | ICSE | From HCI to Software Engineering and Back. | Jos Creissac Campos, Michael D. Harrison |