José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Publicações Confirmadas: 149



101
TÍTULO: Foreword
AUTORES: Campos, JC ; Barbosa, SDJ; Palanque, P; Kazman, R; Harrison, M; Reeves, S;
PUBLICAÇÃO: 2012, FONTE: 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12 in EICS'12 - Proceedings of the 2012 ACM SIGCHI Symposium on Engineering Interactive Computing Systems
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
102
TÍTULO: Formal analysis of ubiquitous computing environments through the APEX framework
AUTORES: José Luís Silva ; José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2012, FONTE: 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12 in ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012
INDEXADO EM: Scopus DBLP CrossRef: 14 Handle
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
103
TÍTULO: GUIsurfer: A Reverse Engineering Framework for User Interface Software
AUTORES: Jos Creissac ; Joo Saraiva; Carlos Silva; Joo Carlos;
PUBLICAÇÃO: 2012, FONTE: Reverse Engineering - Recent Advances and Applications
INDEXADO EM: CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
104
TÍTULO: Modelling and analysing the interactive behaviour of an infusion pump
AUTORES: José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2011, FONTE: ECEASST, VOLUME: 45
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
105
TÍTULO: Partial plant models in formal verification of industrial automation discrete systems
AUTORES: José M Machado; Campos, J. Creissac ;
PUBLICAÇÃO: 2011
INDEXADO EM: Handle
106
TÍTULO: Safe controllers design for industrial automation systems  Full Text
AUTORES: Jose Machado ; Eurico Seabra ; Jose C Campos ; Filomena Soares ; Celina P Leao ;
PUBLICAÇÃO: 2011, FONTE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 60, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
107
TÍTULO: Supporting requirements formulation in software formal verification
AUTORES: Campos, J. Creissac ; José M Machado;
PUBLICAÇÃO: 2011
INDEXADO EM: Handle
108
TÍTULO: Test case generation from mutated task models
AUTORES: Barbosa, A; Paiva, ACR ; Campos, JC ;
PUBLICAÇÃO: 2011, FONTE: 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'11 in Proceedings of the 2011 SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011
INDEXADO EM: Scopus DBLP CrossRef: 19
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
109
TÍTULO: The importance of qualitative evaluation on E-learning systems
AUTORES: Luciana Freire; Pedro M Arezes ; Jose C Campos ;
PUBLICAÇÃO: 2011, FONTE: 7th International Symposium on Occupational Safety and Hygiene (SHO) in SHO2011: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE
INDEXADO EM: WOS
NO MEU: ORCID | CIÊNCIAVITAE
110
TÍTULO: A Coordination Model for Interactive Components
AUTORES: Marco A Barbosa; Luis S Barbosa ; Jose C Campos ;
PUBLICAÇÃO: 2010, FONTE: 3rd IPM International Conference on Fundamentals of Software Engineering in FUNDAMENTALS OF SOFTWARE ENGINEERING, VOLUME: 5961
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Página 11 de 15. Total de resultados: 149.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service