José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Confirmed Publications: 157



111
TITLE: MapIt: A Model Based Pattern Recovery Tool  Full Text
AUTHORS: Rui Couto ; António Nestor Ribeiro ; José Creissac Campos ;
PUBLISHED: 2012, SOURCE: MOMPES, VOLUME: 7706 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
112
TITLE: Modelling and analysing the interactive behaviour of an infusion pump
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2011, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 45
INDEXED IN: Scopus DBLP
IN MY: ORCID
113
114
TITLE: Safe controllers design for industrial automation systems  Full Text
AUTHORS: Machado, J ; Seabra, E ; Campos, JC ; Soares, F ; Leao, CP ;
PUBLISHED: 2011, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 60, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 20
IN MY: ORCID
115
TITLE: Supporting requirements formulation in software formal verification
AUTHORS: Campos, J. Creissac ; José M Machado;
PUBLISHED: 2011
INDEXED IN: Handle
116
TITLE: Test case generation from mutated task models
AUTHORS: Ana Barbosa; Ana C R Paiva ; José Creissac Campos ;
PUBLISHED: 2011, SOURCE: EICS
INDEXED IN: Scopus DBLP CrossRef: 22
IN MY: ORCID
117
TITLE: The importance of qualitative evaluation on E-learning systems
AUTHORS: Luciana Freire; Pedro M Arezes ; Jose C Campos ;
PUBLISHED: 2011, SOURCE: 7th International Symposium on Occupational Safety and Hygiene (SHO) in SHO2011: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE
INDEXED IN: WOS
IN MY: ORCID | CIÊNCIAVITAE
118
TITLE: A Coordination Model for Interactive Components
AUTHORS: Barbosa, MA; Barbosa, LS ; Campos, JC ;
PUBLISHED: 2010, SOURCE: 3rd IPM International Conference on Fundamentals of Software Engineering in FUNDAMENTALS OF SOFTWARE ENGINEERING, VOLUME: 5961
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
119
TITLE: From SFC specification to C programming language on the context of aerospace systems control
AUTHORS: Borges, P; MacHado, J ; Villani, E; Campos, JC ;
PUBLISHED: 2010, SOURCE: IFAC Workshop on Intelligent Control Systems, WICS2010 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 8, ISSUE: PART 1
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
120
TITLE: GUI Inspection from Source Code Analysis
AUTHORS: João Carlos Silva; José Creissac Campos ; João Saraiva ;
PUBLISHED: 2010, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 33
INDEXED IN: Scopus DBLP
IN MY: ORCID
Page 12 of 16. Total results: 157.

footer slogan

Useful Links

Get Help

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