HASLab - Artigos em atas de conferências internacionais (texto completo) : [518] Statistics

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 20 of 518
Issue DateTitleAuthor(s)TypeAccess
Jan-2022Why3-do: The way of harmonious distributed system proofsLourenço, Cláudio Belo; Pinto, Jorge SousaConference paperOpen access
Sep-2017Certification of workflows in a component-based cloud of high performance computing servicesde Oliveira Dantas, Allberson B.; de Carvalho Junior, F. Heron; Barbosa, L. S.Conference paperOpen access
2021Towards a specification theory for fuzzy modal logicJain, Manisha; Gomes, Leandro; Madeira, Alexandre, et al.Conference paperOpen access
2021Generalised quantum tree searchSequeira, André Manuel Resende; Santos, Luís Paulo; Barbosa, L. S.Conference paperOpen access
2020Building a polyglot data access layer for a low-code application development platform - (Experience Report)Nunes Alonso, Ana; Abreu, João; Nunes, David, et al.Conference paperRestricted access (UMinho)
2020Self-tunable DBMS replication with reinforcement learningFerreira, Luís; Coelho, Fábio; Pereira, JoséConference paperRestricted access (UMinho)
2020A comparison of message exchange patterns in BFT protocols: (experience report)Silva, Fábio; Alonso, Ana; Pereira, José, et al.Conference paperRestricted access (UMinho)
2019Data security and trustworthiness in online public services: An assessment of Portuguese institutionsSilva, João Marco C.; Fonte, VictorConference paperOpen access
2020EAGP: An energy-aware gossip protocol for wireless sensor networksFerreira, Bruno Chianca; Fonte, Victor; Silva, Joao Marco C.Conference paperOpen access
2019Recovery in CloudDBAppliance's high-availability middlewareAbreu, Hugo; Ferreira, Luis; Coelho, Fabio, et al.Conference paperRestricted access (UMinho)
2018Falcon: a practical log-based analysis tool for distributed systemsNeves, Francisco Nuno Teixeira; Machado, Nuno; Pereira, JoséConference paperRestricted access (UMinho)
2019Towards intra-datacentre high-availability in CloudDBApplianceFerreira, Luis; Coelho, Fábio; Alonso, Ana Nunes, et al.Conference paperRestricted access (UMinho)
2019A case for dynamically programmable storage background tasksMacedo, Ricardo; Faria, Alberto; Paulo, João, et al.Conference paperRestricted access (UMinho)
2019TRUSTFS: an SGX-enabled stackable file system frameworkEsteves, Tânia; Macedo, Ricardo; Faria, Alberto, et al.Conference paperRestricted access (UMinho)
Feb-2020Minha: large-scale distributed systems testing made practicalMachado, Nuno; Maia, Francisco; Neves, Francisco Nuno Teixeira, et al.Conference paperRestricted access (UMinho)
2020The last mile: High-Assurance and High-Speed cryptographic implementationsAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al.Conference paperOpen access
2020Certified compilation for cryptography: Extended x86 instructions and constant-time verificationAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al.Conference paperOpen access
2020Sequence mining for automatic generation of software tests from GUI event tracesOliveira, Alberto; Freitas, Ricardo; Jorge, Alípio, et al.Conference paperOpen access
2020Model-based testing of post-wimp interactions using object oriented petri-netsCanny, Alexandre; Navarre, David; Campos, José C., et al.Conference paperOpen access
2020State-machine replication for planet-scale systemsEnes, Vitor; Baquero, Carlos; Rezende, Tuanir França, et al.Conference paperOpen access
Collection's Items (Sorted by Submit date in descending order): 1 to 20 of 518