Data | Título | Autor(es) | Tipo | Acesso |
2013 | Uma abordagem para a geração de casos de teste baseada em modelos | Silva, João C.; Silva, José Luís Cardoso; Campos, J. Creissac, et al. | Artigo em ata de conferência | Acesso restrito UMinho |
2023 | AMAN case study | Palanque, Philippe; Campos, José C. | Artigo em ata de conferência | Acesso embargado (6 Meses) |
2013 | Automated theorem proving for the systematic analysis of an infusion pump | Harrison, Michael douglas; Masci, P.; Campos, José C., et al. | Artigo | Acesso aberto |
2008 | Considering context and users in interactive systems analysis | Campos, J. Creissac; Harrison, Michael D. | Artigo em ata de conferência | Acesso aberto |
27-Jul-2018 | Desenvolver o gosto pela matemática e pelo estudo das matemáticas escolares: criação de um protótipo de Sistema Inteligente de Ensino-Aprendizagem no âmbito do PMatE® | Ramos, Sandra Isabel Diogo | Tese de doutoramento | Acesso aberto |
2020 | Evaluating the utility of human-machine user interfaces using balanced score cards | Silva, Saulo; Belo, Orlando | Artigo em ata de conferência | Acesso restrito UMinho |
2008 | Exploring an option space to engineer a ubiquitous computing system | Harrison, Michael D.; Kray, Christian; Campos, J. Creissac | Artigo | Acesso aberto |
1997 | Formally verifying interactive systems : a review | Campos, J. Creissac; Harrison, M. D. | Artigo em ata de conferência | Acesso aberto |
2019 | High assurance on cyber-physical interactive systems | Couto, Rui; Campos, José C. | Artigo em ata de conferência | Acesso aberto |
2015 | Layers, resources and property templates in the specification and analysis of two interactive systems | Campos, José C.; Curzon, Paul; Masci, Paolo, et al. | Artigo em ata de conferência | Acesso aberto |
Ago-2001 | Model checking interactor specifications | Campos, J. Creissac; Harrison, M. D. | Artigo | Acesso aberto |
2011 | Modelling and analysing the interactive behaviour of an infusion pump | Campos, J. Creissac; Harrison, Michael D. | Artigo | Acesso aberto |
2015 | Reusing models and properties in the analysis of similar interactive devices | Harrison, Michael D.; Campos, J. Creissac; Masci, Paolo | 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 |
2015 | Templates as heuristics for proving properties of medical devices | Campos, José C.; Curzon, Paul; Masci, Paolo, et al. | Artigo em ata de conferência | Acesso aberto |