Curriculum Vitae

José Francisco Creissac Freitas de Campos. É Professor Auxiliar na Universidade do Minho. Publicou mais de 50 artigos em revistas e conferências científicas, possui 4 capítulos de livros publicados e 2 livro editados. Actua na área de Ciências da Computação e da Informação Nas suas actividades profissionais interagiu com mais de 10 colaboradores em co-autorias de trabalhos científicos.
Endereço de acesso a este CV: http://www.degois.pt/visualizador/curriculum.jsp?key=6375930409087599

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 actuação Scientific domain	Ciências Exactas-Ciências da Computação e da Informação. 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

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.

Universidade do Minho

Ago/2005-Actual

Professor Auxiliar

University of Newcastle Upon Tyne

Abr/2007-Dez/2007

Outra Situação

Universidade do Minho

Ago/2000-Jul/2005

Professor Auxiliar

Universidade do Minho

Dez/1993-Jul/2000

Assistente

Universidade do Minho

Out/1991-Nov/1993

Assistente Estagiário

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).

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.

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.; 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.

2.	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.

3.	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.

4.	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.

Artigos em revistas com arbitragem científica Papers in periodics with scientific refereeing

1.	Harrison, Michael D; Campos, José C. 2008. "Analysing Human Aspects of Safety-Critical Software", ERCIM News, 75: 18 - 18. Invited paper.

2.	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.

3.	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.

4.	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.

5.	Campos, José F. C. F.; Harrison, Michael D. 2001. "Model Checking Interactor Specifications", Automated Software Engineering 8, 3-4: 275 - 310.

6.	Doherty, Gavin J; Campos, José F. C. F.; Harrison, Michael D. 2000. "Representational Reasoning and Verification", Formal Aspects of Computing 12, 4: 260 - 277.

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.

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.	Mano, Alexandre; Campos, José F. C. F.. 2006. "Usabilidade em interfaces para crianças", Jornal de Ciências Cognitivas, Set.06: 0 - 0.

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.

Produção científica Scientific production

Total

Produção científica Scientific production

64

Livros e capítulos Books and book chapters

6

Livros publicados ou organizados Published or organized books

2

Capítulos de livros publicados Published book chapters

4

Artigos científicos em revistas Papers in periodics

7

Com arbitragem científica With scientific refereeing

6

Sem arbitragem científica Without scientific refereeing

1

Trabalhos em eventos Papers in conference proceedings

51

Com arbitragem científica With scientific refereeing

48

Sem arbitragem científica Without scientific refereeing

3

	João Miguel Lobo Fernandes
	José Mendes Machado