José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Confirmed Publications: 157



131
TITLE: Considering Context and Users in Interactive Systems Analysis  Full Text
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 2008, SOURCE: Engineering Interactive Systems (EIS 2007) - Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007 in ENGINEERING INTERACTIVE SYSTEMS, VOLUME: 4940
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
132
TITLE: Property patterns for the formal verification of automated production systems
AUTHORS: Campos, JC ; Machado, J ; Seabra, E ;
PUBLISHED: 2008, SOURCE: 17th World Congress, International Federation of Automatic Control, IFAC in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 17, ISSUE: 1 PART 1
INDEXED IN: Scopus Handle
IN MY: ORCID | CIÊNCIAVITAE
133
TITLE: Resources for situated actions
AUTHORS: Doherty, G; Campos, J ; Harrison, M ;
PUBLISHED: 2008, SOURCE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID
134
TITLE: Systematic analysis of control panel interfaces using formal tools
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 2008, SOURCE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136
INDEXED IN: Scopus WOS DBLP CrossRef: 45
IN MY: ORCID
135
TITLE: A new plant modelling approach for formal verification purposes
AUTHORS: Machado, J ; Seabra, E ; Soares, F ; Campos, J ;
PUBLISHED: 2007, SOURCE: 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Complex Systems Theory and Applications, LSS 2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 11, ISSUE: PART 1
INDEXED IN: Scopus CrossRef Handle
IN MY: ORCID | CIÊNCIAVITAE
136
TITLE: An interaction model and infrastructure for localized activities in pervasive computing environments
AUTHORS: Pinto, H; José, R ; Campos, JC ;
PUBLISHED: 2007, SOURCE: IEEE International Conference on Pervasive Services in 2007 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE SERVICES
INDEXED IN: Scopus WOS DBLP CrossRef: 4 Handle
IN MY: ORCID
137
TITLE: Combining formal methods and functional strategies regarding the reverse engineering of interactive applications
AUTHORS: Silva, JC ; Campos, JC ; Saraiva, J ;
PUBLISHED: 2007, SOURCE: 13th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 4323
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID
138
TITLE: Exploring an Option Space to Engineer a Ubiquitous Computing System
AUTHORS: Michael D Harrison ; Christian Kray; José Creissac Campos ;
PUBLISHED: 2007, SOURCE: FMIS@BCS HCI, VOLUME: 208, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
139
TITLE: Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees
AUTHORS: José Luís Silva ; José Creissac Campos ; Ana C R Paiva ;
PUBLISHED: 2007, SOURCE: FMIS@BCS HCI, VOLUME: 208, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 24 Handle
IN MY: ORCID
140
TITLE: Processes:: Working group report
AUTHORS: Chatty, S; Campos, JC ; González, MP; Lepreux, S; Nilsson, EG; Penichet, VMR; Santos, M; Van den Bergh, J;
PUBLISHED: 2007, SOURCE: 13th International Workshop on Design, Specification and Verification of Interactive Systems in Interactive Systems: Design, Specification, and Verification, VOLUME: 4323
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
Page 14 of 16. Total results: 157.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service