Browsing by Author José Creissac Campos

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 20 of 67  next >
Issue DateTitleAuthor(s)
2014Analysing interactive devices based on information resource constraintsJosé Creissac Campos; Doherty,G; Michael Douglas Harrison
2014Application of ontologies in identifying requirements patterns in use casesRui Miguel Couto; António Nestor Ribeiro; José Creissac Campos
2014An Approach for Graphical User Interface External Bad Smells DetectionSilva,JC; José Creissac Campos; João Alexandre Saraiva; José Luís Silva
2013Automated theorem proving for the systematic analysis of an infusion pumpMichael Douglas Harrison; Paolo Masci; José Creissac Campos; Curzon,P
2014Characterizing the Control Logic of Web Applications' User InterfacesSilva,CE; José Creissac Campos
2013Combining static and dynamic analysis for the reverse engineering of Web applicationsSilva,CE; José Creissac Campos
2014Demonstrating that Medical Devices Satisfy User Related Safety RequirementsHarrison,MD; Paolo Masci; José Creissac Campos; Curzon,P
2013Depth Cues and Perceived Audiovisual Synchrony of Biological MotionCarlos Loureiro Silva; Mendonca,C; Mouta,S; Silva,R; José Creissac Campos; Santos,J
2014Design and evaluation of a smart library using the APEX frameworkAbade,T; Gomes,T; José Luís Silva; José Creissac Campos
2014Development of Dependable Controllers in the Context of Machines DesignMachado,J; José Creissac Campos
2015Distance Perception in Immersive Environments - The Role of PhotorealismSilva,C; José Creissac Campos; Santos,J; Basso,D; Mouta,S; 5599
2017Don't go in there! using the APEX framework in the design of ambient assisted living systemsJosé Creissac Campos; Abade,Tiago; Silva,JoseLuis; Harrison,MichaelD.
2017Don't go in there! using the APEX framework in the design of ambient assisted living systemsAbade,T; Harrison,MD; Silva,JL; José Creissac Campos; 5599
2013An empirical study on immersive prototyping dimensionsMoreira,S; Rui Peixoto José; José Creissac Campos
2016Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-webFayollas,Camille; Martinie,Celia; Palanque,PhilippeA.; Paolo Masci; Michael Douglas Harrison; José Creissac Campos; Silva,SauloRodriguese
2018Formal Modelling as a Component of User Centred DesignPaolo Masci; Harrison,MD; José Creissac Campos; 6577; 5599
2019Formal techniques in the safety analysis of software components of a new dialysis machineHarrison,MD; Whitaker,M; di Maria,C; Paolo Masci; José Creissac Campos; Drinnan,M; Freitas,L; 6577; 5599
2016Formal Verification of a Space System's User Interface With the IVY WorkbenchJosé Creissac Campos; Sousa,M; Bergue Alves,MCB; Michael Douglas Harrison
2019Formal verification of interactive computing systems: Opportunities and challengesJosé Creissac Campos; Harrison,MD; 5599
2014Formal verification of safety-critical user interfaces: A space system case studySousa,M; José Creissac Campos; Alves,M; Michael Douglas Harrison