<?xml version="1.0" encoding="utf-8" standalone="yes"?><urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9" xmlns:xhtml="http://www.w3.org/1999/xhtml"><url><loc>https://joaomlourenco.github.io/advisees.html</loc><lastmod>2028-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/advisees/2028/andre-costa.html</loc><lastmod>2028-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/</loc><lastmod>2028-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/advisees/2027/andre-wemans.html</loc><lastmod>2027-10-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/advisees/2027/jose-moutinho.html</loc><lastmod>2027-10-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/advisees/2027/miguel-flor.html</loc><lastmod>2027-10-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/advisees/2027/nadir-hoosseni.html</loc><lastmod>2027-10-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/advisees/2027/nelio-lacerda.html</loc><lastmod>2027-10-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/advisees/2027/pedro-miguel.html</loc><lastmod>2027-10-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/advisees/2026/beatriz-comparado.html</loc><lastmod>2026-10-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/advisees/2026/joao-realinho.html</loc><lastmod>2026-10-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/teaching/concurrent-systems.html</loc><lastmod>2026-09-03T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/teaching.html</loc><lastmod>2026-09-03T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/teaching/computer-systems-and-networks.html</loc><lastmod>2026-09-02T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/teaching/computer-architecture.html</loc><lastmod>2026-09-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/advisees/2026/samuel-pires.html</loc><lastmod>2026-05-20T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/software/novathesis.html</loc><lastmod>2026-01-07T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/software.html</loc><lastmod>2026-01-07T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/software/aidisclose.html</loc><lastmod>2026-01-06T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/software/biblatex-cse.html</loc><lastmod>2026-01-05T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/software/stocksize.html</loc><lastmod>2026-01-04T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/software/coloredtheorem.html</loc><lastmod>2026-01-03T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/software/novafctletterhead.html</loc><lastmod>2026-01-02T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/software/uninovaletterhead.html</loc><lastmod>2026-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publication-type/2.html</loc><lastmod>2026-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publication_types.html</loc><lastmod>2026-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications.html</loc><lastmod>2026-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2026_bessa_lecture_notes_in_computer_science_redshell_a_generative.html</loc><lastmod>2026-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2023_costa_unknown_journal_fleec_a_fast.html</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2022_13487_2_pedro_formal_methods_for_industrial_critical_systems_27th_international_conference_fmics_2022_warsaw_poland_september_1415_2022_proceedings_monitoring_of_spatio-temporal.html</loc><lastmod>2022-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2022_13487_pedro_formal_methods_for_industrial_critical_systems_27th_international_conference_fmics_2022_warsaw_poland_september_1415_2022_proceedings_monitoring_of_spatio-temporal.html</loc><lastmod>2022-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2021_118_silva_future_generation_computer_systems_its_about_thyme.html</loc><lastmod>2021-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2021_lourenco_unknown_journal_the_novathesis_latex.html</loc><lastmod>2021-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publication-type/3.html</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2020_vale_arxiv_lazy_state_determination.html</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2020_teofilo_mobiquitous_2020_-_17th_eai_international_conference_on_mobile_and_ubiquitous_systems_computing_networking_and_services_redmesh_a_wifi-direct.html</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2020_teofilo_unknown_journal_redmesh_a_wifi-direct.html</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2019_54_3_sanchez_formal_methods_in_system_design_a_survey_of.html</loc><lastmod>2019-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2019_ahrendt_arxiv_cost_action_ic.html</loc><lastmod>2019-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2019_vale_unknown_journal_executing_requests_concurrently.html</loc><lastmod>2019-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2019_silva_proceedings_of_the_16th_eai_international_conference_on_mobile_and_ubiquitous_systems_computing_networking_and_services_time-aware_reactive_storage.html</loc><lastmod>2019-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2019_silva_unknown_journal_time-aware_reactive_storage.html</loc><lastmod>2019-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2018_lourenco_lecture_notes_in_computer_science_discovering_concurrency_errors.html</loc><lastmod>2018-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2018_lourenco_unknown_journal_discovering_concurrency_errors.html</loc><lastmod>2018-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2018_monteiro_arxiv_uma_analise_comparativa.html</loc><lastmod>2018-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2018_lourenco_lecture_notes_in_computer_science_verifying_real-world_software.html</loc><lastmod>2018-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2017_teofilo_proceedings_of_the_14th_eai_international_conference_on_mobile_and_ubiquitous_systems_computing_networking_and_services_gocrgo_and_gogo.html</loc><lastmod>2017-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2017_teofilo_unknown_journal_gocrgo_and_gogo.html</loc><lastmod>2017-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2017_silva_unknown_journal_i_know_what.html</loc><lastmod>2017-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2017_108_costa_matec_web_of_conferences_responses_prediction_standard.html</loc><lastmod>2017-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2017_silva_arxiv_time-aware_publish/subscribe_for.html</loc><lastmod>2017-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2017_cerqueira_proceedings_of_the_2nd_workshop_on_middleware_for_edge_clouds_amp_cloudlets_-_mecc_17_towards_a_persistent.html</loc><lastmod>2017-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2017_cerqueira_unknown_journal_towards_a_persistent.html</loc><lastmod>2017-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2017_cerqueira_unknown_journal_um_sistema_publicador/subscritor.html</loc><lastmod>2017-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2017_dias_2017_ieee_international_conference_on_software_testing_verification_and_validation_icst_verifying_concurrent_programs.html</loc><lastmod>2017-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2017_dias_unknown_journal_verifying_concurrent_programs.html</loc><lastmod>2017-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2016_orosa_proceedings_of_the_24th_euromicro_intl_conference_on_parallel_distributed_and_network-based_processing_pdp16._ieee_computer_society_a_hardware_approach.html</loc><lastmod>2016-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2016_80_dourado_procedia_computer_science_a_suite_of.html</loc><lastmod>2016-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2016_teofilo_8th_inforum-simp._de_informatica_comunicacao_movel_inter-grupo.html</loc><lastmod>2016-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2016_silva_2016_ieee_trustcom/bigdatase/ispa_ephemeral_data_storage.html</loc><lastmod>2016-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2016_silva_unknown_journal_ephemeral_data_storage.html</loc><lastmod>2016-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2016_13_4_vale_acm_transactions_on_architecture_and_code_optimization_taco_pot_deterministic_transactional.html</loc><lastmod>2016-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2016_silva_proceedings_of_the_1st_workshop_on_middleware_for_edge_clouds_amp_cloudlets_-_mecc_16_towards_the_opportunistic.html</loc><lastmod>2016-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2016_silva_unknown_journal_towards_the_opportunistic.html</loc><lastmod>2016-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2015_monteiro_proceedings_of_the_7th_simposio_nacional_de_informatica_armazenamento_distribuido_para.html</loc><lastmod>2015-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2015_silva_proceedings_of_the_30th_annual_acm_symposium_on_applied_computing_boosting_locality_in.html</loc><lastmod>2015-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2015_monteiro_proceedings_of_the_12th_eai_international_conference_on_mobile_and_ubiquitous_systems_computing_networking_and_services_decentralized_storage_for.html</loc><lastmod>2015-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2015_monteiro_unknown_journal_decentralized_storage_for.html</loc><lastmod>2015-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2015_fiedor_lecture_notes_in_computer_science_dynamic_validation_of.html</loc><lastmod>2015-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2015_fiedor_unknown_journal_dynamic_validation_of.html</loc><lastmod>2015-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2015_vale_simposio_de_informatica_inforum_execucao_concorrente_e.html</loc><lastmod>2015-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2015_prado_2015_latin_american_computing_conference_clei_extracting_static_and.html</loc><lastmod>2015-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2015_prado_unknown_journal_extracting_static_and.html</loc><lastmod>2015-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2015_teofilo_unknown_journal_group-to-group_bidirectional_wi-fi.html</loc><lastmod>2015-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2015_remedios_proceedings_of_the_12th_eai_international_conference_on_mobile_and_ubiquitous_systems_computing_networking_and_services_mobile_device-to-device_distributed.html</loc><lastmod>2015-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2015_remedios_unknown_journal_mobile_device-to-device_distributed.html</loc><lastmod>2015-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2015_silva_proceedings_of_the_16th_international_conference_on_distributed_computing_and_networking_supporting_multiple_data.html</loc><lastmod>2015-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2015_silva_unknown_journal_supporting_multiple_data.html</loc><lastmod>2015-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2014_fiedor_unknown_journal_on_monitoring_c/c++.html</loc><lastmod>2014-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2013_25_17_dias_concurrency_and_computation_practice_and_experience_efficient_support_for.html</loc><lastmod>2013-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2013_soares_lecture_notes_in_computer_science_macrodb_scaling_database.html</loc><lastmod>2013-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2013_lourenco_lecture_notes_in_computer_science_multicore_software_engineering.html</loc><lastmod>2013-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2013_vale_lecture_notes_in_computer_science_on_the_relevance.html</loc><lastmod>2013-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2013_vale_unknown_journal_on_the_relevance.html</loc><lastmod>2013-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2013_sousa_inforum_prevencao_de_violacoes.html</loc><lastmod>2013-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2013_sousa_unknown_journal_preventing_atomicity_violations.html</loc><lastmod>2013-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2013_silva_inforum_replicacao_parcial_com.html</loc><lastmod>2013-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2013_soares_lecture_notes_in_computer_science_software_component_replication.html</loc><lastmod>2013-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2013_soares_unknown_journal_software_component_replication.html</loc><lastmod>2013-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2012_dias_lecture_notes_in_computer_science_efficient_support_for.html</loc><lastmod>2012-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2012_dias_unknown_journal_efficient_support_for.html</loc><lastmod>2012-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2012_eder_lecture_notes_in_computer_science_hardware_and_software.html</loc><lastmod>2012-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2012_dias_lecture_notes_in_computer_science_precise_detection_of.html</loc><lastmod>2012-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2012_dias_unknown_journal_precise_detection_of.html</loc><lastmod>2012-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2012_vale_proceedings_of_the_simposio_de_informatica_inforum_uma_infraestrutura_para.html</loc><lastmod>2012-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2012_farchi_proceedings_of_the_2012_workshop_on_parallel_and_distributed_systems_testing_analysis_and_debugging_using_program_closures.html</loc><lastmod>2012-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2012_farchi_unknown_journal_using_program_closures.html</loc><lastmod>2012-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2012_dias_lecture_notes_in_computer_science_verification_of_snapshot.html</loc><lastmod>2012-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2012_dias_unknown_journal_verification_of_snapshot.html</loc><lastmod>2012-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2011_8_18_lourenco_computer_science_and_information_systems_detecting_concurrency_anomalies.html</loc><lastmod>2011-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2011_lourenco_computer_science_and_information_systems_detecting_concurrency_anomalies.html</loc><lastmod>2011-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2011_dias_unknown_journal_efficient_and_correct.html</loc><lastmod>2011-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2011_pessanha_proceedings_of_the_workshop_on_parallel_and_distributed_systems_testing_analysis_and_debugging_practical_verification_of.html</loc><lastmod>2011-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2011_pessanha_unknown_journal_practical_verification_of.html</loc><lastmod>2011-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2011_dias_lecture_notes_in_computer_science_startm_automatic_verification.html</loc><lastmod>2011-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2010_lourenco_unknown_journal_a_static_approach.html</loc><lastmod>2010-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2010_teixeira_proceedings_of_the_8th_workshop_on_parallel_and_distributed_systems_testing_analysis_and_debugging_detection_of_transactional.html</loc><lastmod>2010-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2010_teixeira_unknown_journal_detection_of_transactional.html</loc><lastmod>2010-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2010_duro_proceedings_of_the_8th_workshop_on_parallel_and_distributed_systems_testing_analysis_and_debugging_open_virtualization_framework.html</loc><lastmod>2010-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2010_duro_unknown_journal_open_virtualization_framework.html</loc><lastmod>2010-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2010_paulino_complex_systems_design__management_smart_an_application.html</loc><lastmod>2010-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2010_2010_dias_proceedings_of_inforum_snapshot_isolation_anomalies.html</loc><lastmod>2010-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2010_hollander_unknown_journal_special_session_on.html</loc><lastmod>2010-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2009_lourenco_proceedings_of_the_7th_workshop_on_parallel_and_distributed_systems_testing_analysis_and_debugging_understanding_the_behavior.html</loc><lastmod>2009-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2009_lourenco_unknown_journal_understanding_the_behavior.html</loc><lastmod>2009-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2009_pessanha_proceedings_of_the_7th_workshop_on_parallel_and_distributed_systems_testing_analysis_and_debugging_understanding_the_behavior.html</loc><lastmod>2009-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2009_dias_lecture_notes_in_computer_science_unifying_memory_and.html</loc><lastmod>2009-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2009_dias_unknown_journal_unifying_memory_and.html</loc><lastmod>2009-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2008_preguica_unknown_journal_byzantium_byzantine-fault-tolerant_database.html</loc><lastmod>2008-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2008_5_2_dias_computer_science_and_information_systems_developing_libraries_using.html</loc><lastmod>2008-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2008_dias_unknown_journal_developing_libraries_using.html</loc><lastmod>2008-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2007_lourenco_proceedings_of_the_2007_acm_workshop_on_parallel_and_distributed_systems_testing_and_debugging_testing_patterns_for.html</loc><lastmod>2007-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2007_lourenco_unknown_journal_testing_patterns_for.html</loc><lastmod>2007-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2004_duarte_on-line_monitoring_systems_supporting_on-line_distributed.html</loc><lastmod>2004-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2003_lourenco_arxiv_control_and_debugging.html</loc><lastmod>2003-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2001_cunha_unknown_journal_debugging_of_parallel.html</loc><lastmod>2001-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2001_lourenco_lecture_notes_in_computer_science_fiddle_a_flexible.html</loc><lastmod>2001-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2001_lourenco_unknown_journal_fiddle_a_flexible.html</loc><lastmod>2001-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/2001_5_cunha_unknown_journal_parallel_program_development.html</loc><lastmod>2001-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/1999_cunha_unknown_journal_an_experience_in.html</loc><lastmod>1999-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/1999_45_11_cunha_journal_of_systems_architecture_an_experiment_in.html</loc><lastmod>1999-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/1998_cunha_unknown_journal_a_framework_to.html</loc><lastmod>1998-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/1998_lourenco_proceedings_of_the_3rd_international_conference_on_vector_and_parallel_processing_vecpar98_a_thread-level_distributed.html</loc><lastmod>1998-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/1998_30_1_cunha_acm_sigcse_bulletin_an_integrated_course.html</loc><lastmod>1998-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/1998_4_p2_lourenco_target_replaying_distributed_applications.html</loc><lastmod>1998-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/1998_cunha_lecture_notes_in_computer_science_the_dotpar_project.html</loc><lastmod>1998-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/1998_cunha_unknown_journal_the_dotpar_project.html</loc><lastmod>1998-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/1998_lourenco_proceedings_of_the_sigmetrics_symposium_on_parallel_and_distributed_tools_the_pdbg_process-level.html</loc><lastmod>1998-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/1998_lourenco_unknown_journal_the_pdbg_process-level.html</loc><lastmod>1998-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/1997_22_13_kacsuk_parallel_computing_a_graphical_development.html</loc><lastmod>1997-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/1997_lourenco_euromicro_97._proceedings_of_the_23rd_euromicro_conference_new_frontiers_of_information_technology_cat._no.97tb100167_an_integrated_testing.html</loc><lastmod>1997-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/1997_lourenco_unknown_journal_an_integrated_testing.html</loc><lastmod>1997-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/1996_cunha_proceedings_of_the_1st_austrian-hungarian_workshop_on_distributed_and_parallel_systems_dapsys96_a_debugging_engine.html</loc><lastmod>1996-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/1996_96_cunha_onera_editor_eptm_a_distributed_debugging.html</loc><lastmod>1996-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/1996_cunha_sepp_project_copernicus_programme_5th_progress_report._university_of_westminster_london_uk_ddbg_a_distributed.html</loc><lastmod>1996-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/1996_neyman_technical_report_departamento_de_informatica_da_universidade_nova_de_lisboa_integration_of_steps.html</loc><lastmod>1996-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/1996_cunha_unknown_journal_monitoring_and_debugging.html</loc><lastmod>1996-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/publications/1995_17_5_cunha_computers_and_artificial_intelligence_using_ddbg_to.html</loc><lastmod>1995-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/categories.html</loc><changefreq>weekly</changefreq></url><url><loc>https://joaomlourenco.github.io/tags.html</loc><changefreq>weekly</changefreq></url></urlset>