3 | João Lourençohttps://joaomlourenco.github.io/publication-type/3.html3Wowchemy (https://wowchemy.com)en-usWed, 01 Jan 2020 00:00:00 +0000https://joaomlourenco.github.io/media/icon_hu11734318148517933569.png3https://joaomlourenco.github.io/publication-type/3.htmlLazy State Determination: More concurrency for contending linearizable transactionshttps://joaomlourenco.github.io/publications/2020_vale_arxiv_lazy_state_determination.htmlWed, 01 Jan 2020 00:00:00 +0000https://joaomlourenco.github.io/publications/2020_vale_arxiv_lazy_state_determination.htmlCOST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring--Activity Report of Working Group 1https://joaomlourenco.github.io/publications/2019_ahrendt_arxiv_cost_action_ic.htmlTue, 01 Jan 2019 00:00:00 +0000https://joaomlourenco.github.io/publications/2019_ahrendt_arxiv_cost_action_ic.htmlUma análise comparativa de ferramentas de análise estática para deteção de erros de memóriahttps://joaomlourenco.github.io/publications/2018_monteiro_arxiv_uma_analise_comparativa.htmlMon, 01 Jan 2018 00:00:00 +0000https://joaomlourenco.github.io/publications/2018_monteiro_arxiv_uma_analise_comparativa.htmlTime-aware publish/subscribe for networks of mobile deviceshttps://joaomlourenco.github.io/publications/2017_silva_arxiv_time-aware_publish/subscribe_for.htmlSun, 01 Jan 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/2017_silva_arxiv_time-aware_publish/subscribe_for.htmlControl and debugging of distributed programs using Fiddlehttps://joaomlourenco.github.io/publications/2003_lourenco_arxiv_control_and_debugging.htmlWed, 01 Jan 2003 00:00:00 +0000https://joaomlourenco.github.io/publications/2003_lourenco_arxiv_control_and_debugging.html