HASLab - Other Publications : [29] Collection home page

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 Title in Ascending order): 1 to 20 of 29
Issue DateTitleAuthor(s)
2013Automated theorem proving for the systematic analysis of an infusion pumpMichael Douglas Harrison; Paolo Masci; José Creissac Campos; Curzon,P
2013Certified computer-aided cryptography: Efficient provably secure machine code from high-level implementationsJosé Bacelar Almeida; Manuel Barbosa; Barthe,G; Dupressoir,F
2013Combining static and dynamic analysis for the reverse engineering of Web applicationsSilva,CE; José Creissac Campos
2015Continuity as a computational effectRenato Jorge Neves; Martins,ManuelA.; Luís Soares Barbosa; Hofmann,Dirk
2013Data Abstraction in Coordination ConstraintsJosé Paiva Proença; Clarke,D
2013DATAFLASKS: an epidemic dependable key-value substrateFrancisco Almeida Maia; Miguel Marques Matos; Ricardo Pereira Vilaça; José Orlando Pereira; Rui Carlos Oliveira; Riviere,E
2013Depth Cues and Perceived Audiovisual Synchrony of Biological MotionCarlos Loureiro Silva; Mendonca,C; Mouta,S; Silva,R; José Creissac Campos; Santos,J
2014Efficient State-based CRDTs by Delta-MutationPaulo Sérgio Almeida; Ali Shoker; Carlos Baquero
2015Eventually Consistent Register RevisitedZawirski,M; Carlos Baquero; Bieniusa,A; Preguiça,NM; Shapiro,M
2013Executable modelling of dynamic software product lines in the ABS languageMuschevici,R; Clarke,D; José Paiva Proença
2015A Feature-based Classification of Model Repair ApproachesNuno Moreira Macedo; Tiago,J; Alcino Cunha
2013Formal verification of side-channel countermeasures using self-compositionJosé Bacelar Almeida; Manuel Barbosa; Jorge Sousa Pinto; Vieira,B
2013A Generic Scheme and Properties of Bidirectional TransformationsHugo Pereira Pacheco; Nuno Moreira Macedo; Alcino Cunha; Voigtländer,Janis
2013Interactive interaction constraintsJosé Paiva Proença; Clarke,D
2013Interactive Verification of Safety-Critical Softwareda Cruz,D; Henriques,PR; Jorge Sousa Pinto
2013A Model-based Approach for Test Cases GenerationSilva,JC; José Luís Silva; José Creissac Campos; João Alexandre Saraiva
2013On the relationship between functional encryption, obfuscation, and fully homomorphic encryptionAlwen,J; Manuel Barbosa; Farshim,P; Gennaro,R; Gordon,SD; Tessaro,S; Wilson,DA
2013On the semantic security of functional encryption schemesManuel Barbosa; Farshim,P
2015Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, STAF 2015, L'Aquila, Italy, July 24, 2015Alcino Cunha; Kindler,E
2015Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015Dubois,C; Paolo Masci; Méry,D
Collection's Items (Sorted by Title in Ascending order): 1 to 20 of 29