Browsing by author 4645 Subscribe author statistics Autor

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 47.  next >
Issue DateTitleAuthor(s)TypeAccess
2009An infrastructure for experience centered agile prototyping of ambient intelligenceSilva, José Luís Cardoso; Campos, J. Creissac; Harrison, Michael D.Conference paperOpen access
Oct-2008Analysing human aspects of safety-critical softwareHarrison, Michael D.; Campos, J. CreissacArticleOpen access
Mar-2014Analysing interactive devices based on information resource constraintsCampos, J. Creissac; Doherty, Gavin; Harrison, Michael D.ArticleOpen access
2013Automated theorem proving for the systematic analysis of an infusion pumpHarrison, Michael douglas; Masci, P.; Campos, José C., et al.ArticleOpen access
2013Automated theorem proving for the systematic analysis of interactive systemsHarrison, M. D.; Masci, P.; Campos, J. Creissac, et al.ArticleOpen access
2008Considering context and users in interactive systems analysisCampos, J. Creissac; Harrison, Michael D.Conference paperOpen access
2017Demonstrating that medical devices satisfy user related safety requirementsHarrison, Michael douglas; Masci, Paolo; Campos, José C., et al.Conference paperOpen access
2013Desenvolvimento de jogos educativos na plataforma APEX: o jogo da asmaGomes, Tiago Emanuel Oliveira; Abade, Tiago; Silva, José Luís Cardoso, et al.Conference paperOpen access
2013Developing serious games with the APEX frameworkGomes, Tiago Emanuel Oliveira; Abade, Tiago; Harrison, Michael D., et al.Conference paperOpen access
2017Don't go in there!: using the APEX framework in the design of ambient assisted living systemsCampos, José C.; Abade, Tiago; Silva, José Luís Cardoso, et al.ArticleOpen access
2017Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-webFayollas, Camille; Martinie, Celia; Palanque, Philippe, et al.Conference paperOpen access
2008Exploring an option space to engineer a ubiquitous computing systemHarrison, Michael D.; Kray, Christian; Campos, J. CreissacArticleOpen access
2012Formal analysis of ubiquitous computing environments through the APEX frameworkSilva, José Luís Cardoso; Campos, J. Creissac; Harrison, M. D.Conference paperOpen access
2018Formal modelling as a component of user centred designHarrison, Michael Douglas; Masci, Paolo; Campos, José C.Conference paperOpen access
2019Formal techniques in the safety analysis of software components of a new dialysis machineHarrison, Michael douglas; Freitas, Leo; Drinnan, Michael, et al.ArticleOpen access
Apr-2016Formal verification of a space system's user Interface with the IVY workbenchCampos, José C.; Sousa, Manuel; Alves, Miriam C. Bergue, et al.ArticleOpen access
2019Formal verification of interactive computing systems: Opportunities and challengesCampos, José C.; Harrison, Michael douglasConference paperOpen access
2014Formal verification of safety-critical user interfaces: a space system case studySousa, Manuel; Campos, J. Creissac; Alves, Miriam, et al.Conference paperOpen access
1997Formally verifying interactive systems : a reviewCampos, J. Creissac; Harrison, M. D.Conference paperOpen access
2003From HCI to software engineering and backCampos, J. Creissac; Harrison, M. D.Conference paperOpen access