| Issue Date | Title | Author(s) | Type | Access |
| Jan-2022 | Why3-do: The way of harmonious distributed system proofs | Lourenço, Cláudio Belo; Pinto, Jorge Sousa | Conference paper | Open access |
| Sep-2017 | Certification of workflows in a component-based cloud of high performance computing services | de Oliveira Dantas, Allberson B.; de Carvalho Junior, F. Heron; Barbosa, L. S. | Conference paper | Open access |
| 2021 | Towards a specification theory for fuzzy modal logic | Jain, Manisha; Gomes, Leandro; Madeira, Alexandre, et al. | Conference paper | Open access |
| 2021 | Generalised quantum tree search | Sequeira, André Manuel Resende; Santos, Luís Paulo; Barbosa, L. S. | Conference paper | Open access |
| 2020 | Building 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 paper | Restricted access (UMinho) |
| 2020 | Self-tunable DBMS replication with reinforcement learning | Ferreira, Luís; Coelho, Fábio; Pereira, José | Conference paper | Restricted access (UMinho) |
| 2020 | A comparison of message exchange patterns in BFT protocols: (experience report) | Silva, Fábio; Alonso, Ana; Pereira, José, et al. | Conference paper | Restricted access (UMinho) |
| 2019 | Data security and trustworthiness in online public services: An assessment of Portuguese institutions | Silva, João Marco C.; Fonte, Victor | Conference paper | Open access |
| 2020 | EAGP: An energy-aware gossip protocol for wireless sensor networks | Ferreira, Bruno Chianca; Fonte, Victor; Silva, Joao Marco C. | Conference paper | Open access |
| 2019 | Recovery in CloudDBAppliance's high-availability middleware | Abreu, Hugo; Ferreira, Luis; Coelho, Fabio, et al. | Conference paper | Restricted access (UMinho) |
| 2018 | Falcon: a practical log-based analysis tool for distributed systems | Neves, Francisco Nuno Teixeira; Machado, Nuno; Pereira, José | Conference paper | Restricted access (UMinho) |
| 2019 | Towards intra-datacentre high-availability in CloudDBAppliance | Ferreira, Luis; Coelho, Fábio; Alonso, Ana Nunes, et al. | Conference paper | Restricted access (UMinho) |
| 2019 | A case for dynamically programmable storage background tasks | Macedo, Ricardo; Faria, Alberto; Paulo, João, et al. | Conference paper | Restricted access (UMinho) |
| 2019 | TRUSTFS: an SGX-enabled stackable file system framework | Esteves, Tânia; Macedo, Ricardo; Faria, Alberto, et al. | Conference paper | Restricted access (UMinho) |
| Feb-2020 | Minha: large-scale distributed systems testing made practical | Machado, Nuno; Maia, Francisco; Neves, Francisco Nuno Teixeira, et al. | Conference paper | Restricted access (UMinho) |
| 2020 | The last mile: High-Assurance and High-Speed cryptographic implementations | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al. | Conference paper | Open access |
| 2020 | Certified compilation for cryptography: Extended x86 instructions and constant-time verification | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al. | Conference paper | Open access |
| 2020 | Sequence mining for automatic generation of software tests from GUI event traces | Oliveira, Alberto; Freitas, Ricardo; Jorge, Alípio, et al. | Conference paper | Open access |
| 2020 | Model-based testing of post-wimp interactions using object oriented petri-nets | Canny, Alexandre; Navarre, David; Campos, José C., et al. | Conference paper | Open access |
| 2020 | State-machine replication for planet-scale systems | Enes, Vitor; Baquero, Carlos; Rezende, Tuanir França, et al. | Conference paper | Open access |
Collection's Items (Sorted by Submit date in descending order): 1 to 20 of 518
