publicações selecionadas
-
artigo académico
-
artigo de conferência
- A Multiple BLE Beacon Approach for Tracking in Industrial Environments. International Conference on Indoor Positioning and Indoor Navigation. 2025
-
documento
- Horus: non-intrusive causal analysis of distributed systems logs. International Conference on Dependable Systems and Networks. 2021
- Minha: large-scale distributed systems testing made practical. Leibniz International Proceedings in Informatics, LIPIcs. 2020
- Testing for race conditions in distributed systems via smt solving. International Journal on Software Tools for Technology Transfer. 2020
- d'Artagnan: a trusted NoSQL database on untrusted clouds. Symposium on Reliable Distributed Systems Proceedings. 2019
- Falcon: a practical log-based analysis tool for distributed systems. International Conference on Dependable Systems and Networks. 2018
- The mechanism underlying proteasome-mediated sensitivity to the chemotherapeutic agent cisplatin 2017