1. Universidade do Minho
  2. Escola de Engenharia | School of Engineering
  3. HASLab - High-Assurance Software Laboratory

HASLab - Resumos em livros de atas : [11] Statistics

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit date in descending order): 1 to 11 of 11
Issue DateTitleAuthor(s)TypeAccess
2017Um editor tabular para modelação de interfacesMachado, Pedro; Couto, Rui; Campos, José C.AbstractOpen access
2017Avaliação de usabilidade da ferramenta uCatCouto, Rui; Ribeiro, António Nestor; Campos, José C.AbstractOpen access
2017De requisitos a protótipos de UI: uma abordagem semi automatizadaCouto, Rui; Ribeiro, António Nestor; Campos, José C.AbstractOpen access
2013A pilot project on non-conventional learningFernandes, Sara; Cerone, Antonio; Barbosa, L. S.Conference paperOpen access
2013Towards a mostly-automated prover for bit-vector arithmeticAbal, Iago; Pinto, Jorge SousaConference paperRestricted access (UMinho)
2013SPARK-BMC: checking SPARK code for bugsLourenço, Cláudio; Miraldo, Victor Cacciari; Frade, M. J., et al.AbstractOpen access
2013Experimenting with predicate abstractionMiraldo, Victor Cacciari; Frade, M. J.; Lourenço, Cláudio, et al.AbstractOpen access
2012Using term rewriting to solve Bit-Vector arithmetic problems (Poster Presentation)Abal, Iago; Cunha, Alcino; Hurd, Joe, et al.AbstractOpen access
2013Using abstract interpretation to produce dependable aerospace control softwareSilva, Rovedy Aparecida Busquim e; Arai, Nanci Naomi; Burgareli, Luciana Akemi, et al.Conference paperOpen access
2012Using term rewriting to solve Bit-vector arithmetic problems (Poster Presentation)Abal, Iago; Cunha, Alcino; Hurd, Joe, et al.Conference paperOpen access
2011Gestão e manutenção de múltiplos terminais em redes de próxima geraçãoGomes, Alberto; Azevedo, Ricardo; Carvalho, Paulo, et al.AbstractOpen access
Collection's Items (Sorted by Submit date in descending order): 1 to 11 of 11

Recent Submissions

Um editor tabular para modelação de interfaces

Avaliação de usabilidade da ferramenta uCat

De requisitos a protótipos de UI: uma abordagem semi automatizada

A pilot project on non-conventional learning

Towards a mostly-automated prover for bit-vector arithmetic

 

Discover