José Francisco Creissac Freitas de Campos
|
|
Data da última atualização
»Last update
:
01/02/2019 |
Dados pessoais (Personal data)
Nome completo
Full name |
José Francisco Creissac Freitas de Campos |
Nome em citações bibliográficas
Quoting name |
José Creissac Campos |
Categoria profissional
Position |
Professor Auxiliar |
Domínio científico de atuação
Scientific domain |
Engenharia e Tecnologia-Engenharia Electrotécnica, Electrónica e Informática.
|
Endereço profissional
Professional address |
Universidade do Minho Escola de Engenharia Departamento de Informática Campus de Gualtar Gualtar 4710-057 Braga Portugal Telefone: (+351)253604430Extensão: 4447 Fax: (+351)253604471 Correio electrónico: jose.campos@di.uminho.pt Homepage: http://www.di.uminho.pt/~jfc |
Sexo
Gender |
Masculino»Male |
Graus Académicos
(Academic Degrees)
1996-2000 |
Doutoramento Phd |
D. Phil. in Computer Science
(3 anos » years)
.
University of York,
Reino Unido. Instituição portuguesa que atribuiu reconhecimento/equivalência/registo » Portuguese Instituition providing acknowledgement/equivalence/registry
: Universidade do Minho. Com o tipo » With the type:
Registo » Registry.
|
1991-1993 |
Mestrado Master degree |
Mestrado em Informática
(2 anos » years)
.
Universidade do Minho,
Portugal.
|
1985-1991 |
Licenciatura Licentiate degree |
Engenharia de Sistemas e Informática
(5 anos » years)
.
Universidade do Minho,
Portugal.
|
Vínculos profissionais
(Professional Positions)
Ago/2005-Actual |
Professor Auxiliar |
University of Newcastle Upon Tyne |
Abr/2007-Dez/2007 |
Outra Situação |
Ago/2000-Jul/2005 |
Professor Auxiliar |
Dez/1993-Jul/2000 |
Assistente |
Out/1991-Nov/1993 |
Assistente Estagiário |
Línguas (Languages)
Compreende Understandig |
Português (Bem), Inglês (Bem), Francês (Razoavelmente), Espanhol (Razoavelmente). |
Fala Speaking |
Português (Bem), Inglês (Bem), Francês (Pouco), Espanhol (Razoavelmente). |
Lê Reading |
Português (Bem), Inglês (Bem), Francês (Razoavelmente), Espanhol (Razoavelmente). |
Escreve Writing |
Português (Bem), Inglês (Bem). |
Membro de Associações Profissionais/Científicas (Professional/Scientific Association membership)
Dez/2007 - Actual |
IFIP Working Group 2.7/13.4 on User Interface Engineering, Membro.
|
Jan/2006 - Actual |
Associação de Produtores de Jogos Electrónicos (APROJE), Outros (especifique).
Membro do Conselho Científico.
|
2004- Actual |
Eurographics, Membro.
|
2001- Actual |
Association for Computing Machinery, Membro.
|
Produção científica, técnica e artística/cultural
(Scientific, technical and artistical/cultural
production)
Livros publicados/organizados ou edições Published/organized books or Editions |
1. |
Campos, José F. C. F.; Gonçalves, Daniel; Romão, Teresa; Rato, Luís. eds. 2008. Interacção 2008 - Actas da 3a. Conferência Nacional em Interacção Pessoa-Máquina ed. 1, ISBN: 972-98464-9-9. Évora: Grupo Português de Computação Gráfica. |
|
|
|
2. |
Chambel, Teresa; Nunes, Nuno J; Romão, Teresa; Campos, José F. C. F.. eds. 2006. Interacção 2006 - Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina ed. 1, ISBN: 972-98464-7-2. Braga: Grupo Português de Computação Gráfica. |
|
|
|
Capítulos de livros publicados Published book chapters |
1. |
Harrison, Michael D; Campos, José F. C. F.; Loer, Karsten. 2008. Formal analysis of interactive systems: opportunities and weaknesses. In Research Methods in Human Computer Interaction, ed. Paul Cairns and Anna L. Cox, 88 - 111. ISBN: 9780521690317. UK: Cambridge University Press. |
|
|
|
2. |
Harrison, Michael D; Campos, José F. C. F.; Doherty, Gavin J; Loer, Karsten. 2008. Connecting rigorous system analysis to experience centred design. In Research Methods in Human Computer Interaction, ed. E. Law and E. Hvannberg and G. Cockton, 56 - 74. ISBN: 978-1-84628-940-8. n/a: Springer.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
3. |
Chatty, Stéphane; Campos, José C; González, María P; Lepreux, Sophie; Nilsson, Erik G; Penichet, Victor M. R; Santos, Mónica; Bergh, Jan. 2007. Processes: Working Group Report. In Interactive Systems. Design, Specification, and Verification, ed. Gavin DohertyAnn Blandford, 262 - 264. ISBN: 978-3-540-69553-0. Berlin, Heidelberg: Springer Berlin Heidelberg.
|
|
|
|
4. |
Campos, José F. C. F.; Harrison, Michael D. 2006. Automated deduction and usability reasoning. In Encyclopedia of Human-Computer Interaction, ed. Claude Ghaoui, 45 - 54. ISBN: 1-59140-562-9. Reino Unido: Idea Group Reference.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
5. |
Campos, José F. C. F.; Fernandes, António R; Pereira, J. R. 2006. Accessibility and Visually Impaired Users. In Enterprise Information Systems VI, ed. Seruca, I.; Cordeiro, J.; Hammoudi, S.; Filipe, J, 310 - 315. ISBN: 978-1-4020-3674-3. Holanda: Springer. Best papers from ICEIS 2005.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
Artigos em revistas com arbitragem científica Papers in periodics with scientific refereeing |
1. |
Freire, L.L.; Arezes, P.M.; Campos, J.C.. 2012. "A literature review about usability evaluation methods for e-learning platforms", Work: A Journal of Prevention, Assessment and Rehabilitation 41, SUPPL.1: 1038 - 1044.
|
|
|
|
2. |
Harrison, Michael D; Campos, José C. 2008. "Analysing Human Aspects of Safety-Critical Software", ERCIM News, 75: 18 - 18. Invited paper.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
3. |
Silva, J. L; Campos, José C; Paiva, A.. 2008. "Model-based user interface testing with Spec Explorer and ConcurTaskTrees", Electronic Notes in Theoretical Computer Science, 208: 77 - 93.
|
|
|
|
4. |
Harrison, M. D; Kray, C.; Campos, José C. 2008. "Exploring an option space to engineer a ubiquitous computing system", Electronic Notes in Theoretical Computer Science, 208: 41 - 55.
|
|
|
|
5. |
Barbosa, Marco A; Barbosa, Luís S; Campos, José C. 2008. "Towards a coordination model for interactive systems", Electronic Notes in Theorectical Computer Science, 183: 73 - 88.
|
|
|
|
6. |
Campos, José F. C. F.; Harrison, Michael D. 2001. "Model Checking Interactor Specifications", Automated Software Engineering 8, 3-4: 275 - 310.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
7. |
Doherty, Gavin J; Campos, José F. C. F.; Harrison, Michael D. 2000. "Representational Reasoning and Verification", Formal Aspects of Computing 12, 4: 260 - 277.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
Trabalhos completos/resumidos em eventos com arbitragem científica Papers in conference proceedings with scientific refereeing |
1. |
Barbosa, Marco A; Barbosa, Luís S; Campos, José C. 2009. "A coordination model for interactive components ", Trabalho apresentado em 3rd International Conference on Fundamentals of Software Engineering (FSEN 2009), In Lecture Notes in Computer Science, Kish Island.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
2. |
Silva, J. L; Ribeiro, O. R; Fernandes, J. M; Campos, José C; Harrison, M. D. 2010. "The APEX framework: prototyping of ubiquitous environments based on Petri nets", Trabalho apresentado em 3rd Human-Centred Software Engineering (HCSE 2010), In Proceedings of the 3rd Human-Centred Software Engineering (HCSE 2010), Reykjavik. |
|
|
|
3. |
Silva, J. L; Ribeiro, O. R; Fernandes, J. M; Campos, José C; Harrison, M.D.. 2010. "Prototipagem rápida de ambientes ubíquos", Trabalho apresentado em Interacção 2010, In Interacção 2010, Aveiro. |
|
|
|
4. |
Silva, J. C; Silva, C. E; Campos, José C; Saraiva, J.. 2010. "GUI Behavior from Source Code Analysis", Trabalho apresentado em Interacção 2010, In Interacção 2010, Aveiro. |
|
|
|
5. |
Borges, P.; Villani, E.; Machado, J.; Campos, José C. 2010. "From SFC Specification to C Programming Language on the Context of Aerospace Systems Control", Trabalho apresentado em IFAC Workshop on Intelligent Control Systems 2010, In IFAC Workshop on Intelligent Control Systems, Sinaia. |
|
|
|
6. |
Borges, P.; Villani, E.; Machado, J.; Ferreira, J.; Campos, José C. 2010. "Abordagem Sistemática para o Controlo Seguro de Sistemas aeroespaciais", Trabalho apresentado em XIV International Congress on Project Engineering, In XIV International Congress on Project Engineering, Madrid. |
|
|
|
7. |
Silva, José L; Campos, José C; Harrison, Michael D. 2009. "An infrastructure for experience centered agile prototyping of ambient intelligence", Trabalho apresentado em ACM Symposium on Engineering Interactive Computing Systems (EICS 2009), In ACM Symposium on Engineering Interactive Computing Systems, Pittsburgh. |
|
|
|
8. |
Campos, José C; Harrison, Michael D. 2009. "Interaction engineering using the IVY tool", Trabalho apresentado em ACM Symposium on Engineering Interactive Computing Systems (EICS 2009), In ACM Symposium on Engineering Interactive Computing Systems (EICS 2009), Pittsburgh. |
|
|
|
9. |
Campos, José C; Machado, José. 2009. "Pattern-based Analysis of Automated Production Systems", Trabalho apresentado em 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009), In 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009), Moscovo. |
|
|
|
10. |
Silva, João C; Saraiva, João; Campos, José C. 2009. "A Generic Library for GUI Reasoning and Testing", Trabalho apresentado em ACM Symposium on Applied Computing, In SAC '09: Proceedings of the 2009 ACM Symposium on Applied Computing, Honolulu. |
|
|
|
11. |
Campos, José C; Mendes, Sandrine. 2009. "FlexiXML: Um animador de modelos UsiXML", Trabalho apresentado em 17o. Encontro Português de Computação Gráfica, In 17o. Encontro Português de Computação Gráfica, Viseu. |
|
|
|
12. |
Borges, M.; Campos, J. C; Ribeiro, A. N. 2008. "Framework de distribuição assíncrona de aplicações móveis situadas", Trabalho apresentado em 3a. Conferência Nacional em Interacção Pessoa-Máquina, In Interacção 2008 - Actas da 3a. Conferência Nacional em Interacção Pessoa-Máquina, Évora. |
|
|
|
13. |
Guerreiro, N.; Mendes, S.; Pinheiro, V.; Campos, J. C. 2008. "AniMAL - a user interface prototyper and animator for MAL interactor models", Trabalho apresentado em 3a. Conferência Nacional em Interacção Pessoa-Máquina, In Interacção 2008 - Actas da 3a. Conferência Nacional em Interacção Pessoa-Máquina, Évora. |
|
|
|
14. |
Campos, J. C; Harrison, M. D. 2008. "Systematic analysis of control panel interfaces using formal tools", Trabalho apresentado em XVth International Workshop on the Design, Verification and Specification of Interactive Systems, In Interactive Systems: Design, Specification and Verification, Kingston. |
|
|
|
15. |
Doherty, G. J; Campos, J. C; Harrison, M. D. 2008. "Resources for Situated Actions", Trabalho apresentado em XVth International Workshop on the Design, Verification and Specification of Interactive Systems, In Interactive Systems: Design, Specification and Verification, Kingston. |
|
|
|
16. |
Campos, J.C.; Harrison, M.D.. 2007. "Considering Context and Users in Interactive Systems Analysis", Trabalho apresentado em Engineering Interactive Systems 2008, In Engineering Interactive Systems, Salamanca. |
|
|
|
17. |
Campos, J. C; Machado, J.; Seabra, E.. 2008. "Property Patterns for the Formal Verification of Automated Production Systems", Trabalho apresentado em 17th IFAC World Congress 2008, In Proceedings of the 17th IFAC World Congress 2008, Seoul. |
|
|
|
18. |
Pinto, Hélder; José, Rui; Campos, José F. C. F.. 2007. "An Interaction Model and Infrastructure for Localized Activities in Pervasive Computing Environments", Trabalho apresentado em IEEE International Conference on Pervasive Services 2007 (ICPS'07),, In IEEE International Conference on Pervasive Services 2007 (ICPS'07),, Istanbul, Turkey. |
|
|
|
19. |
Machado, J.; Seabra, E.; Campos, J.C.; Soares, F.; Leao, C.P.; Silva, J.F.. 2007. "Simulation and Formal Verification of Industrial Systems Controllers", Trabalho apresentado em 19th International Congress of Mechanical Engineering (COBEM 2007), In 19th International Congress of Mechanical Engineering (COBEM 2007), Brasília. |
|
|
|
20. |
Machado, J.; Seabra, E.; Soares, F.; Campos, J.. 2007. "A New Plant Modelling Approach For Formal Verification Purposes", Trabalho apresentado em 11th IFAC Symposium on Large Scale Systems - Theory and Applications (LSS 2007), In Proceedings of 11th IFAC Symposium on Large Scale Systems - Theory and Applications (LSS 2007), Gdansk. |
|
|
|
21. |
Ribeiro, A. N; Campos, J. C; Martins, F.. 2007. "Integrating HCI concerns into a UML based Software Engineering course", Trabalho apresentado em HCI Educators 2007, In Proceeedings of HCI Educators 2007, Aveiro. |
|
|
|
22. |
Silva, J. C; Campos, J. C; Saraiva, J.. 2006. "Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications", Trabalho apresentado em The XIII International Workshop on Design, Specification and Verification of Interactive Systems, In Interactive Systems, Dublin. |
|
|
|
23. |
Borges, M.; Ribeiro, A. N; Campos, J. C. 2006. "A Push Infrastructure for Mobile Application Deployment in Mobile Environments", Trabalho apresentado em CSMU 2006 -- Conference on Mobile and Ubiquitous Systems , In CSMU 2006 -- Conference on Mobile and Ubiquitous Systems , Guimarães. |
|
|
|
24. |
Campos, J. C; Doherty, G. J. 2005. "Supporting resource-based analysis of task information needs", Trabalho apresentado em 12th International Workshop on Design, Specification and Verification of Interactive Systems, In Interactive Systems, Newcastle upon Tyne. |
|
|
|
25. |
Campos, J. C; Ribeiro, A. N. 2006. "UML no Desenvolvimento de Sistemas Interactivos", Trabalho apresentado em 2a. Conferência Nacional em Interacção Pessoa-Máquina, In Interacção 2006 -- Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina, Braga. |
|
|
|
26. |
Mano, A.; Campos, J. C. 2006. "Cognitive walkthroughs in the evaluation of user interfaces for children", Trabalho apresentado em Interacção 2006 -- Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina, In Interacção 2006 -- Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina, Porto. |
|
|
|
27. |
Rodrigues, S.; Campos, J. C; Ribeiro, A. N. 2006. "Adaptação de interfaces com o utilizador em dispositivos móveis", Trabalho apresentado em CSMU 2006 -- Conference on Mobile and Ubiquitous Systems, In CSMU 2006 -- Conference on Mobile and Ubiquitous Systems, Guimarães. |
|
|
|
28. |
Silva, J. C; Campos, J. C; Saraiva, J.. 2006. "Engenharia Reversa de Sistemas Interactivos Desenvolvidos em Java2/Swing", Trabalho apresentado em 2a. Conferência Nacional em Interacção Pessoa-Máquina, In Interacção 2006 -- Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina, Braga. |
|
|
|
29. |
Silva, J. C; Campos, J. C; Saraiva, J.. 2006. "Models for the Reverse Engineering of Java/Swing Applications", Trabalho apresentado em 3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies (ateM 2006) for Reverse Engineering, In Informatik-Bericht series, Génova. |
|
|
|
30. |
Sousa, N. M. E; Campos, J. C. 2006. "IVY Trace Visualiser", Trabalho apresentado em 2a. Conferência Nacional em Interacção Pessoa-Máquina, In Interacção 2006 -- Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina, Braga. |
|
|
|
31. |
Campos, J. C; Fernandes, A. R. 2005. "Testing AudioBrowser", Trabalho apresentado em HCI International -- 11th International Conference on Human-Computer Interaction, In HCI International -- 11th International Conference on Human-Computer Interaction, Las Vegas. |
|
|
|
32. |
Mano, A.; Campos, J. C. 2005. "A study on usability criteria regarding interfaces for children", Trabalho apresentado em Workshop on Child Computer Intercation: Methodological Reasearch, 10th IFIP International Conference on Human Computer Interaction
-- Interact 2005, In Workshop on Child Computer Intercation: Methodological Reasearch, 10th IFIP International Conference on Human Computer Interaction
-- Interact 2005, Roma. |
|
|
|
33. |
Teixeira, L.; Costa, Óscar; Pereira, V.; Leao, C.P.; Soares, F.; Restivo, M. T; Chouzal, F.; Mendes, J.; Campos, J.C.. 2005. "Laboratórios virtuais: duas aplicações no ensino de engenharia", Trabalho apresentado em VII Simpósio Internacional de Informática Educativa - SIIE'05, In VII Simpósio Internacional de Informática Educativa - SIIE'05, Leiria. |
|
|
|
34. |
Campos, J. C. 2004. "The modelling gap between software engineering and human-computer interaction", Trabalho apresentado em ICSE 2004 Workshop: Bridging the Gaps II, In ICSE 2004 Workshop: Bridging the Gaps II, Edinburgo. |
|
|
|
35. |
Campos, J. C. 2004. "Análise de usabilidade baseada em modelos", Trabalho apresentado em Interacção 2004 - 1a. Conferência Nacional em Interacção Pessoa-Máquina, In Interacção 2004 - 1a. Conferência Nacional em Interacção Pessoa-Máquina, Lisboa. |
|
|
|
36. |
Campos, J. C; Harrison, M. D; Loer, Karsten. 2004. "Verifying user interface behaviour with model checking", Trabalho apresentado em Verification and Validation of Enterprise Information Systems -- VVEIS 2004, In Verification and Validation of Enterprise Information Systems -- VVEIS 2004, Porto. |
|
|
|
37. |
Fernandes, A. R; Pereira, J. R; Campos, J. C. 2004. "Accessibility and Visually Impaired Users", Trabalho apresentado em 6th International Conference on Enterprise Information Systems, In ICEIS 2004: Proceedings of the 6th International Conference on Enterprise Information Systems, Porto. |
|
|
|
38. |
Mano, A.; Campos, J. C. 2004. "Aplicação de um Cognitive Walkthrough - estudo de caso", Trabalho apresentado em Interacção 2004 - 1a. Conferência Nacional em Interacção Pessoa-Máquina, In Interacção 2004 - 1a. Conferência Nacional em Interacção Pessoa-Máquina, Lisboa. |
|
|
|
39. |
Campos, J. C. 2003. "Uma abordagem formal à Engenharia da Usabilidade", Trabalho apresentado em Congresso Latino-Americano de Interacção Humano-Computador , In CLIHC 2003 Conference Proceedings, Rio de Janeiro. |
|
|
|
40. |
Campos, J. C. 2003. "Using task knowledge to guide interactor specifications analysis", Trabalho apresentado em 10th International Workshop on Design, Specification and Verification of Interactive Systems, In Interactive Systems: Design, Specification and Verification -- 10th International Workshop, DSV-IS 2003, Funchal. |
|
|
|
41. |
Campos, J. C; Doherty, G. J. 2003. "Reasoning about Dynamic Information Displays", Trabalho apresentado em 10th International Workshop on Design, Specification and Verification of Interactive Systems - DSV-IS 2003, In Interactive Systems: Design, Specification and Verification -- 10th International Workshop, DSV-IS 2003, Funchal. |
|
|
|
42. |
Campos, J. C; Harrison, M. D. 2003. "From HCI to Software Engineering and back", Trabalho apresentado em Bridging the Gaps Between Software Engineering and Human-Computer Interaction, ICSE '2003 workshop, In Bridging the Gaps Between Software Engineering and Human-Computer Interaction, ICSE '2003 workshop, Portland. |
|
|
|
43. |
Campos, J. C; Harrison, M. D. 1999. "Using automated reasoning in the design of an audio-visual communication system", Trabalho apresentado em Design, Specification and Verification of Interactive Systems '99, In Design, Specification and Verification of Interactive Systems '99, Braga. |
|
|
|
44. |
Campos, J. C. 1998. "Integrating Automated Verification into Interactive Systems Development", Trabalho apresentado em 13th IEEE International Conference: Automated Software Engineering - Doctoral Symposium Proceedings, In 13th IEEE International Conference: Automated Software Engineering - Doctoral Symposium Proceedings, Honolulu. |
|
|
|
45. |
Campos, J. C; Harrison, M. D. 1998. "The role of verification in interactive systems design", Trabalho apresentado em Design, Specification and Verification of Interactive Systems '98, In Design, Specification and Verification of Interactive Systems '98, Abingdon. |
|
|
|
46. |
Doherty, G.; Campos, J. C; Harrison, M. D. 1998. "Representational Reasoning and Verification", Trabalho apresentado em BCS-FACS Workshop: Formal Aspects of the Human Computer Interaction, In Proceedings of the BCS-FACS Workshop: Formal Aspects of the Human Computer Interaction, Sheffield. |
|
|
|
47. |
Campos, J. C; Martins, F. M. 1996. "Context Sensitive User Interfaces", Trabalho apresentado em Formal Aspects of the Human Computer Interface, In Formal Aspects of the Human Computer Interface, Sheffield. |
|
|
|
48. |
Campos, J. C; Martins, F. M. 1993. "GAMA-X - Uma Arquitectura Software para o Desenvolvimento Semi-Automático de Interfaces Utilizador-Sistema", Trabalho apresentado em 5o. Encontro Português de Computação Gráfica, In 5o. Encontro Português de Computação Gráfica, Braga. |
|
|
|
Artigos em revistas sem arbitragem científica Papers in periodics without scientific refereeing |
1. |
Campos, José C; Doherty, Gavin; Harrison, Michael D. 2014. "Analysing interactive devices based on information resource constraints", International Journal of Human-Computer Studies 71, 3: 284 - 297.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
2. |
Machado, José M; Campos, J. C. 2014. "Development of Dependable Controllers in the Context of Machines Design", Modern Methods of Construction Design, Proceedings of ICMD 2013, 1: 125 - 131. |
|
|
|
3. |
Silva, João C; Campos, J. C; Saraiva, João A; Silva, José L. 2014. "An approach for graphical user interface external bad smells detection", Advances in Intelligent Systems and Computing 276, 1: 199 - 205.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
4. |
Sousa, Manuel; Campos, J. C; Alves, Miriam; Harrison, Michael D. 2014. "Formal Verification of Safety-Critical User Interfaces: a space system case study", Formal Verification and Modeling in Human Machine Systems: Papers from the AAAI Spring Symposium, 1: 62 - 67.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
5. |
Campos, J. C. 2014. "High assurance interactive computing systems", HCI Engineering: Charting the Way towards Methods and Tools for Advanced Interactive Systems, 1: 39 - 42. |
|
|
|
6. |
Gomes, Tiago; Abade, Tiago; Campos, J. C; Harrison, Michael D; Silva, José L. 2014. "Rapid Development of First Person Serious Games using the APEX Platform: The Asthma Game", ACM SAC 2014 proceedings - Volume I: Artificial Intelligence & Agents, Distributed Systems, and Information Systems, 1: 169 - 174.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
7. |
Sampaio, Ana I; Campos, J. C. 2014. "Towards a Framework for Adaptive Web Applications", Communications in Computer and Information Science 434, 1: 240 - 245.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
8. |
Abade, Tiago; Gomes, Tiago; Silva, José L; Campos, J. C. 2014. "Design and Evaluation of a Smart Library Using the APEX Framework", Sem título 8530, 1: 307 - 318.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
9. |
Silva, Carlos E; Campos, J. C. 2014. "Characterizing the Control Logic of Web Applications’ User Interfaces", Sem título 8584, 1: 263 - 276.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
10. |
Couto, Rui; Ribeiro, António; Campos, José C. 2013. "MapIt: A model based pattern recovery tool", Lecture Notes in Computer Science 7706, 1: 19 - 37.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
11. |
Oliveira, Luís; Ribeiro, António; Campos, José C. 2013. "The Mobile Context Framework: providing context to mobile applications", Lecture Notes in Computer Science 8028, 1: 144 - 153.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
12. |
Moreira, Samuel; José, Rui; Campos, José C. 2013. "An empirical study on immersive prototyping dimensions", Lecture Notes in Computer Science 8004, 1: 421 - 430.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
13. |
Campos, José C; Machado, José. 2013. "A Specification Patterns System for Discrete Event Systems' Analysis", International Journal of Advanced Robotic Systems 10, 1: 1 - 10.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
14. |
Silva, João C; Silva, José L; Campos, José C; Saraiva, João. 2013. "Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos", Sistemas e Tecnologias de Informação (CISTI 2013) 2, 1: 142 - 146.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
15. |
Silva, Carlos E; Campos, José C. 2013. "Combining Static and Dynamic Analysis for the Reverse Engineering of Web Applications", 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2013), 1: 107 - 112.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
16. |
Gomes, Tiago; Abade, Tiago; Harrison, Michael; Silva, José L; Campos, José C. 2013. "Developing Serious Games With The APEX Framework", Workshop on "Ubiquitous games and gamifiction for promoting behavior change and wellbeing", 1: 37 - 40.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
17. |
Cruz, Paulo J; Campos, José C. 2013. "Ambiente de geração, mutação e execução de casos de teste para aplicações Web", Conferência Interação 2013, 1: 45 - 52.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
18. |
Abade, Tiago; Gomes, Tiago; Silva, José L; Campos, José C. 2013. "Avaliação de Ambientes Ubíquos na Plataforma APEX", Conferência Interação 2013, 1: 177 - 178.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
19. |
Gomes, Tiago; Abade, Tiago; Silva, José L; Campos, José C. 2013. "Desenvolvimento de Jogos Educativos na plataforma APEX: O Jogo da Asma", Conferência Interação 2013, 1: 90 - 97.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
20. |
Silva, Carlos C; Mendonça, Catarina; Mouta, Sandra; Silva, Rosa; Campos, José C; Santos, Jorge. 2013. "Depth Cues and Perceived Audiovisual Synchrony of Biological Motion", PLoS ONE 8, 11: 1 - 10. |
|
|
|
21. |
Harrison, M.D.; Masci, P.; Campos, J.C.; Curzon, P.. 2013. "Automated theorem proving for the systematic analysis of interactive systems", Electronic Communications of the EASST 69, 1: 1 - 10.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
22. |
Silva, Carlos E; Campos, J. C. 2012. "Can GUI Implementation Markup Languages Be Used for Modelling?", Sem título 7623, 1: 112 - 129.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
23. |
Silva, José L; Campos, J. C; Harrison, Michael. 2012. "Formal analysis of ubiquitous computing environments through the APEX framework", Sem título, 1: 131 - 10.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
24. |
Machado, José; Seabra, Eurico; Campos, José C; Soares, Filomena; Leão, Celina P. 2011. "Safe controllers design for industrial automation systems", Computers & Industrial Engineering 60, 4: 635 - 653.
|
|
|
|
25. |
Mano, Alexandre; Campos, José F. C. F.. 2006. "Usabilidade em interfaces para crianças", Jornal de Ciências Cognitivas, Set.06: 0 - 0.
![Homepage da produção](/wayback/20200911170338im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
Trabalhos completos/resumidos em eventos sem arbitragem científica Papers in conference proceedings without scientific refereeing |
1. |
Paulo, Rogério D; Carrapatoso, António; Lemos, Mário; Bernardo, Rui; Campos, José C. 2009. "Advanced Engineering Tools for Next Generation Substation Automation Systems: The Added Value of IEC 61850 and the InPACT
Project", Trabalho apresentado em 20th International Conference and Exhibition on Electricity Distribution (CIRED 2009)., In 20th International Conference and Exhibition on Electricity Distribution (CIRED 2009)., Praga. |
|
|
|
2. |
Campos, J. C. 2005. "Model based web interfaces' analysis", Trabalho apresentado em HCI International 2005 -- 11th International Conference on Human-Computer Interaction, In HCI International 2005 -- 11th International Conference on Human-Computer Interaction, Las Vegas. |
|
|
|
3. |
Campos, J. C; Martins, F. M. 1994. "O Sistema GAMA - Arquitectura e Implementação", Trabalho apresentado em 6o. Encontro Português de Computação Gráfica, In 6o. Encontro Português de Computação Gráfica, Aveiro. |
|
|
|
Indicadores de produção
(Production indicators)
Produção científica
Scientific production |
Produção científica Scientific production |
90 |
Livros e capítulos Books and book chapters |
7 |
Livros publicados ou organizados Published or organized books |
2 |
Capítulos de livros publicados Published book chapters |
5 |
Artigos científicos em revistas Papers in periodics |
32 |
Com arbitragem científica With scientific refereeing |
7 |
Sem arbitragem científica Without scientific refereeing |
25 |
Trabalhos em eventos Papers in conference proceedings |
51 |
Com arbitragem científica With scientific refereeing |
48 |
Sem arbitragem científica Without scientific refereeing |
3 |
Visualizações do curriculum [
2706
]
|
Página gerada pela Plataforma de Curricula DeGóis promovida pela FCT e pelo Gávea/DSI/UM
em
11-09-2020
às
18:03:51
|
Plataforma de Curricula DeGóis: http://www.degois.pt/ | Icons by Axialis Team |
|