Data | Título | Autor(es) | Tipo | Acesso |
2023 | AMAN case study | Palanque, Philippe; Campos, José C. | Artigo em ata de conferência | Acesso aberto |
2017 | Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web | Fayollas, Camille; Martinie, Celia; Palanque, Philippe, et al. | Artigo em ata de conferência | Acesso aberto |
2021 | HCI-E2 : HCI engineering education for developers, designers and more | Baumann, Konrad; Campos, José C.; Dix, Alan, et al. | Artigo em ata de conferência | Acesso aberto |
Jan-2021 | Heterogeneous models and modelling approaches for engineering of interactive systems | Aït-Ameur, Yamine; Bowen, Judy; Campos, José C., et al. | Editorial em revista | Acesso aberto |
2020 | Model-based testing of post-wimp interactions using object oriented petri-nets | Canny, Alexandre; Navarre, David; Campos, José C., et al. | Artigo em ata de conferência | Acesso aberto |
2017 | A “more intelligent” test case generation approach through task models manipulation | Campos, José C.; Fayollas, Camille; Gonçalves, Marcelo, et al. | Artigo | Acesso aberto |
2023 | Preface [International Conference on Rigorous State-Based Methods (ABZ 2023)] | Campos, José C.; Glässer, Uwe; Méry, Dominique, et al. | Editorial em livro | Acesso aberto |
Ago-2020 | Supporting the analysis of safety critical user interfaces: an exploration of three formal tools | Campos, José C.; Fayollas, Camille; Harrison, Michael D., et al. | Artigo | Acesso aberto |
21-Jun-2016 | Systematic automation of scenario-based testing of user interfaces | Campos, José C.; Fayollas, Camille; Martinie, Célia, et al. | Artigo em ata de conferência | Acesso aberto |
2022 | Teaching HCI engineering: four case studies | Caffieau, Sybille; Campos, José C.; Martinie, Célia, et al. | Artigo em ata de conferência | Acesso aberto |
2019 | Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019 | Distante, Damiano; Winckler, Marco; Bernhaupt, Regina, et al. | Artigo em ata de conferência | Acesso aberto |
2016 | Welcome to EICS 2016 | Luyten, Kris; Palanque, Philippe; Campos, José C., et al. | Editorial em ata de conferência | Acesso aberto |