HASLab - Indexed Articles in Journals : [148] Collection home page

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 148
Issue DateTitleAuthor(s)
2012AI for the Win: Improving Spectrum-based Fault LocalizationBirgit Hofer; Franz Wotawa; Rui Maranhão
2013Alloy Meets the Algebra of Programming: A Case StudyJosé Nuno Oliveira; Ferreira,MA
2014Analysing interactive devices based on information resource constraintsJosé Creissac Campos; Doherty,G; Michael Douglas Harrison
2019Anomaly Detection and Modeling in 802.11 Wireless NetworksAnisa Allahdadidastjerdi; Ricardo Morla; 3645; 5587
2012Assertion-based Slicing and Slice GraphsDaniela Cruz; José Bernardo Barros; Jorge Sousa Pinto; Pedro Rangel Henriques
2015The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumpsPaolo Masci; Ruksenas,Rimvydas; Oladimeji,Patrick; Cauchi,Abigail; Gimblett,Andy; Li,KarenYunqiu; Curzon,Paul; Thimbleby,HaroldW.
2012A Calculus for Generic, QoS-Aware Component CompositionLuís Soares Barbosa; Sun Meng
2014CAOVerif: An open-source deductive verification platform for cryptographic software implementationsJosé Bacelar Almeida; Manuel Barbosa; Filliatre,JC; Jorge Sousa Pinto; Vieira,B
2016CloudMdsQL: querying heterogeneous cloud data stores with a common languageKolev,B; Valduriez,P; Bondiombouy,C; Jimenez Peris,R; Pau,R; José Orlando Pereira
2012A coalgebraic perspective on linear weighted automataFilippo Bonchi; Alexandra Silva; Jan Rutten; Michele Boreale; Marcello Bonsangue
2013A Coalgebraic Perspective on Logical InterpretationsMartins,MA; Alexandre Castro Madeira; Luís Soares Barbosa
2013Composing Least-change LensesNuno Moreira Macedo; Hugo Pereira Pacheco; Alcino Cunha; Oliveira,JN
2017COMPOSITION IN STATE-BASED REPLICATED DATA TYPESPaulo Sérgio Almeida; Ferreira,C; Alcino Cunha; Carlos Baquero; 5612; 5607; 5596
2017Computer Aided Verification of Relational Models by Strategic RewritingVisser,J; Uzal,R; Necco,CM; José Nuno Oliveira; 5601
2016Concurrency Debugging with Differential Schedule ProjectionsNuno Almeida Machado; Quinta,Daniel; Lucia,Brandon; Rodrigues,LuisE.T.
2011Convergent and Commutative Replicated Data TypesNuno Preguiça; Carlos Baquero; Marek Zawirski; Marc Shapiro
2017CoopREP: Cooperative record and replay of concurrency bugsNuno Almeida Machado; Romano,P; Rodrigues,L
2015CumuloNimbo: A Cloud Scalable Multi-tier SQL DatabasePeris,RJ; Martínez,MP; Kemme,B; Brondino,I; José Orlando Pereira; Vilaça,R; Francisco Miguel Cruz; Rui Carlos Oliveira; Ahmad,MY
2018Delta State replicated data typesPaulo Sérgio Almeida; Ali Shoker; Carlos Baquero
2018Delta state replicated data typesAlmeida,PS; Ali Shoker; Carlos Baquero
Collection's Items (Sorted by Title in Ascending order): 1 to 20 of 148