João Lourençohttps://joaomlourenco.github.io/João LourençoWowchemy (https://wowchemy.com)en-usSat, 01 Jan 2028 00:00:00 +0000https://joaomlourenco.github.io/media/icon_hu11734318148517933569.pngJoão Lourençohttps://joaomlourenco.github.io/André Costahttps://joaomlourenco.github.io/advisees/2028/andre-costa.htmlSat, 01 Jan 2028 00:00:00 +0000https://joaomlourenco.github.io/advisees/2028/andre-costa.htmlAndre Wemanshttps://joaomlourenco.github.io/advisees/2027/andre-wemans.htmlFri, 01 Oct 2027 00:00:00 +0000https://joaomlourenco.github.io/advisees/2027/andre-wemans.htmlJosé Moutinhohttps://joaomlourenco.github.io/advisees/2027/jose-moutinho.htmlFri, 01 Oct 2027 00:00:00 +0000https://joaomlourenco.github.io/advisees/2027/jose-moutinho.htmlMiguel Florhttps://joaomlourenco.github.io/advisees/2027/miguel-flor.htmlFri, 01 Oct 2027 00:00:00 +0000https://joaomlourenco.github.io/advisees/2027/miguel-flor.htmlNadir Hoossenihttps://joaomlourenco.github.io/advisees/2027/nadir-hoosseni.htmlFri, 01 Oct 2027 00:00:00 +0000https://joaomlourenco.github.io/advisees/2027/nadir-hoosseni.htmlNelio Lacerdahttps://joaomlourenco.github.io/advisees/2027/nelio-lacerda.htmlFri, 01 Oct 2027 00:00:00 +0000https://joaomlourenco.github.io/advisees/2027/nelio-lacerda.htmlPedro Miguelhttps://joaomlourenco.github.io/advisees/2027/pedro-miguel.htmlFri, 01 Oct 2027 00:00:00 +0000https://joaomlourenco.github.io/advisees/2027/pedro-miguel.htmlBeatriz Comparado (Math Dep.)https://joaomlourenco.github.io/advisees/2026/beatriz-comparado.htmlThu, 01 Oct 2026 00:00:00 +0000https://joaomlourenco.github.io/advisees/2026/beatriz-comparado.htmlJoão Realinhohttps://joaomlourenco.github.io/advisees/2026/joao-realinho.htmlThu, 01 Oct 2026 00:00:00 +0000https://joaomlourenco.github.io/advisees/2026/joao-realinho.htmlConcurrent Systemshttps://joaomlourenco.github.io/teaching/concurrent-systems.htmlThu, 03 Sep 2026 00:00:00 +0000https://joaomlourenco.github.io/teaching/concurrent-systems.htmlComputer Systems and Networkshttps://joaomlourenco.github.io/teaching/computer-systems-and-networks.htmlWed, 02 Sep 2026 00:00:00 +0000https://joaomlourenco.github.io/teaching/computer-systems-and-networks.htmlComputer Architecturehttps://joaomlourenco.github.io/teaching/computer-architecture.htmlTue, 01 Sep 2026 00:00:00 +0000https://joaomlourenco.github.io/teaching/computer-architecture.htmlSamuel Pireshttps://joaomlourenco.github.io/advisees/2026/samuel-pires.htmlWed, 20 May 2026 00:00:00 +0000https://joaomlourenco.github.io/advisees/2026/samuel-pires.html📜🪶 novathesishttps://joaomlourenco.github.io/software/novathesis.htmlWed, 07 Jan 2026 00:00:00 +0000https://joaomlourenco.github.io/software/novathesis.html📜🪶 aidisclosehttps://joaomlourenco.github.io/software/aidisclose.htmlTue, 06 Jan 2026 00:00:00 +0000https://joaomlourenco.github.io/software/aidisclose.html📜🪶 biblatex-csehttps://joaomlourenco.github.io/software/biblatex-cse.htmlMon, 05 Jan 2026 00:00:00 +0000https://joaomlourenco.github.io/software/biblatex-cse.html📜🪶 stocksizehttps://joaomlourenco.github.io/software/stocksize.htmlSun, 04 Jan 2026 00:00:00 +0000https://joaomlourenco.github.io/software/stocksize.html📜🪶 coloredtheoremhttps://joaomlourenco.github.io/software/coloredtheorem.htmlSat, 03 Jan 2026 00:00:00 +0000https://joaomlourenco.github.io/software/coloredtheorem.html📜🪶 novafctletterheadhttps://joaomlourenco.github.io/software/novafctletterhead.htmlFri, 02 Jan 2026 00:00:00 +0000https://joaomlourenco.github.io/software/novafctletterhead.html📜🪶 uninovaletterheadhttps://joaomlourenco.github.io/software/uninovaletterhead.htmlThu, 01 Jan 2026 00:00:00 +0000https://joaomlourenco.github.io/software/uninovaletterhead.htmlRedShell: A Generative AI-Based Approach to Ethical Hackinghttps://joaomlourenco.github.io/publications/2026_bessa_lecture_notes_in_computer_science_redshell_a_generative.htmlThu, 01 Jan 2026 00:00:00 +0000https://joaomlourenco.github.io/publications/2026_bessa_lecture_notes_in_computer_science_redshell_a_generative.htmlFLEEC: A Fast and Lock-Free Applicational Cachehttps://joaomlourenco.github.io/publications/2023_costa_unknown_journal_fleec_a_fast.htmlSun, 01 Jan 2023 00:00:00 +0000https://joaomlourenco.github.io/publications/2023_costa_unknown_journal_fleec_a_fast.htmlMonitoring of Spatio-Temporal Properties with Nonlinear SAT Solvershttps://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.htmlSat, 01 Jan 2022 00:00:00 +0000https://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.htmlMonitoring of Spatio-Temporal Properties with Nonlinear SAT Solvershttps://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.htmlSat, 01 Jan 2022 00:00:00 +0000https://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.htmlIt’s about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environmentshttps://joaomlourenco.github.io/publications/2021_118_silva_future_generation_computer_systems_its_about_thyme.htmlFri, 01 Jan 2021 00:00:00 +0000https://joaomlourenco.github.io/publications/2021_118_silva_future_generation_computer_systems_its_about_thyme.htmlThe NOVAthesis LaTeX Template User's Manualhttps://joaomlourenco.github.io/publications/2021_lourenco_unknown_journal_the_novathesis_latex.htmlFri, 01 Jan 2021 00:00:00 +0000https://joaomlourenco.github.io/publications/2021_lourenco_unknown_journal_the_novathesis_latex.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.htmlRedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarioshttps://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.htmlWed, 01 Jan 2020 00:00:00 +0000https://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.htmlRedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarioshttps://joaomlourenco.github.io/publications/2020_teofilo_unknown_journal_redmesh_a_wifi-direct.htmlWed, 01 Jan 2020 00:00:00 +0000https://joaomlourenco.github.io/publications/2020_teofilo_unknown_journal_redmesh_a_wifi-direct.htmlA survey of challenges for runtime verification from advanced application domains (beyond software)https://joaomlourenco.github.io/publications/2019_54_3_sanchez_formal_methods_in_system_design_a_survey_of.htmlTue, 01 Jan 2019 00:00:00 +0000https://joaomlourenco.github.io/publications/2019_54_3_sanchez_formal_methods_in_system_design_a_survey_of.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.htmlExecuting requests concurrently in state machine replicationhttps://joaomlourenco.github.io/publications/2019_vale_unknown_journal_executing_requests_concurrently.htmlTue, 01 Jan 2019 00:00:00 +0000https://joaomlourenco.github.io/publications/2019_vale_unknown_journal_executing_requests_concurrently.htmlTime-aware reactive storage in wireless edge environmentshttps://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.htmlTue, 01 Jan 2019 00:00:00 +0000https://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.htmlTime-aware reactive storage in wireless edge environmentshttps://joaomlourenco.github.io/publications/2019_silva_unknown_journal_time-aware_reactive_storage.htmlTue, 01 Jan 2019 00:00:00 +0000https://joaomlourenco.github.io/publications/2019_silva_unknown_journal_time-aware_reactive_storage.htmlDiscovering concurrency errorshttps://joaomlourenco.github.io/publications/2018_lourenco_lecture_notes_in_computer_science_discovering_concurrency_errors.htmlMon, 01 Jan 2018 00:00:00 +0000https://joaomlourenco.github.io/publications/2018_lourenco_lecture_notes_in_computer_science_discovering_concurrency_errors.htmlDiscovering concurrency errorshttps://joaomlourenco.github.io/publications/2018_lourenco_unknown_journal_discovering_concurrency_errors.htmlMon, 01 Jan 2018 00:00:00 +0000https://joaomlourenco.github.io/publications/2018_lourenco_unknown_journal_discovering_concurrency_errors.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.htmlVerifying real-world software with contracts for concurrencyhttps://joaomlourenco.github.io/publications/2018_lourenco_lecture_notes_in_computer_science_verifying_real-world_software.htmlMon, 01 Jan 2018 00:00:00 +0000https://joaomlourenco.github.io/publications/2018_lourenco_lecture_notes_in_computer_science_verifying_real-world_software.htmlGOCRGO and GOGO: two minimal communication topologies for WiFi-direct multi-group networkinghttps://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.htmlSun, 01 Jan 2017 00:00:00 +0000https://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.htmlGOCRGO and GOGO: two minimal communication topologies for WiFi-direct multi-group networkinghttps://joaomlourenco.github.io/publications/2017_teofilo_unknown_journal_gocrgo_and_gogo.htmlSun, 01 Jan 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/2017_teofilo_unknown_journal_gocrgo_and_gogo.htmlI Know What You Did Last Summer: Time-Aware Publish/Subscribe for Networks of Mobile Deviceshttps://joaomlourenco.github.io/publications/2017_silva_unknown_journal_i_know_what.htmlSun, 01 Jan 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/2017_silva_unknown_journal_i_know_what.htmlResponses’ Prediction Standard Error Analysis in Pareto Solutionshttps://joaomlourenco.github.io/publications/2017_108_costa_matec_web_of_conferences_responses_prediction_standard.htmlSun, 01 Jan 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/2017_108_costa_matec_web_of_conferences_responses_prediction_standard.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.htmlTowards a persistent publish/subscribe system for networks of mobile deviceshttps://joaomlourenco.github.io/publications/2017_cerqueira_proceedings_of_the_2nd_workshop_on_middleware_for_edge_clouds_amp_cloudlets_-_mecc_17_towards_a_persistent.htmlSun, 01 Jan 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/2017_cerqueira_proceedings_of_the_2nd_workshop_on_middleware_for_edge_clouds_amp_cloudlets_-_mecc_17_towards_a_persistent.htmlTowards a persistent publish/subscribe system for networks of mobile deviceshttps://joaomlourenco.github.io/publications/2017_cerqueira_unknown_journal_towards_a_persistent.htmlSun, 01 Jan 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/2017_cerqueira_unknown_journal_towards_a_persistent.htmlUm sistema publicador/subscritor com persistência de dados para redes de dispositivos móveishttps://joaomlourenco.github.io/publications/2017_cerqueira_unknown_journal_um_sistema_publicador/subscritor.htmlSun, 01 Jan 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/2017_cerqueira_unknown_journal_um_sistema_publicador/subscritor.htmlVerifying concurrent programs using contractshttps://joaomlourenco.github.io/publications/2017_dias_2017_ieee_international_conference_on_software_testing_verification_and_validation_icst_verifying_concurrent_programs.htmlSun, 01 Jan 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/2017_dias_2017_ieee_international_conference_on_software_testing_verification_and_validation_icst_verifying_concurrent_programs.htmlVerifying concurrent programs using contractshttps://joaomlourenco.github.io/publications/2017_dias_unknown_journal_verifying_concurrent_programs.htmlSun, 01 Jan 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/2017_dias_unknown_journal_verifying_concurrent_programs.htmlA hardware approach for detecting, exposing and tolerating high level atomicity violationshttps://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.htmlFri, 01 Jan 2016 00:00:00 +0000https://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.htmlA suite of Java message-passing benchmarks to support the validation of testing models, criteria and toolshttps://joaomlourenco.github.io/publications/2016_80_dourado_procedia_computer_science_a_suite_of.htmlFri, 01 Jan 2016 00:00:00 +0000https://joaomlourenco.github.io/publications/2016_80_dourado_procedia_computer_science_a_suite_of.htmlComunicação Móvel Inter-Grupo Baseada em TCP sobre Wi-Fi Directhttps://joaomlourenco.github.io/publications/2016_teofilo_8th_inforum-simp._de_informatica_comunicacao_movel_inter-grupo.htmlFri, 01 Jan 2016 00:00:00 +0000https://joaomlourenco.github.io/publications/2016_teofilo_8th_inforum-simp._de_informatica_comunicacao_movel_inter-grupo.htmlEphemeral data storage for networks of hand-held deviceshttps://joaomlourenco.github.io/publications/2016_silva_2016_ieee_trustcom/bigdatase/ispa_ephemeral_data_storage.htmlFri, 01 Jan 2016 00:00:00 +0000https://joaomlourenco.github.io/publications/2016_silva_2016_ieee_trustcom/bigdatase/ispa_ephemeral_data_storage.htmlEphemeral data storage for networks of hand-held deviceshttps://joaomlourenco.github.io/publications/2016_silva_unknown_journal_ephemeral_data_storage.htmlFri, 01 Jan 2016 00:00:00 +0000https://joaomlourenco.github.io/publications/2016_silva_unknown_journal_ephemeral_data_storage.htmlPot: Deterministic transactional executionhttps://joaomlourenco.github.io/publications/2016_13_4_vale_acm_transactions_on_architecture_and_code_optimization_taco_pot_deterministic_transactional.htmlFri, 01 Jan 2016 00:00:00 +0000https://joaomlourenco.github.io/publications/2016_13_4_vale_acm_transactions_on_architecture_and_code_optimization_taco_pot_deterministic_transactional.htmlTowards the opportunistic combination of mobile ad-hoc networks with infrastructure accesshttps://joaomlourenco.github.io/publications/2016_silva_proceedings_of_the_1st_workshop_on_middleware_for_edge_clouds_amp_cloudlets_-_mecc_16_towards_the_opportunistic.htmlFri, 01 Jan 2016 00:00:00 +0000https://joaomlourenco.github.io/publications/2016_silva_proceedings_of_the_1st_workshop_on_middleware_for_edge_clouds_amp_cloudlets_-_mecc_16_towards_the_opportunistic.htmlTowards the opportunistic combination of mobile ad-hoc networks with infrastructure accesshttps://joaomlourenco.github.io/publications/2016_silva_unknown_journal_towards_the_opportunistic.htmlFri, 01 Jan 2016 00:00:00 +0000https://joaomlourenco.github.io/publications/2016_silva_unknown_journal_towards_the_opportunistic.htmlArmazenamento Distribuído para Redes de Dispositivos Móveishttps://joaomlourenco.github.io/publications/2015_monteiro_proceedings_of_the_7th_simposio_nacional_de_informatica_armazenamento_distribuido_para.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/2015_monteiro_proceedings_of_the_7th_simposio_nacional_de_informatica_armazenamento_distribuido_para.htmlBoosting locality in multi-version partial data replicationhttps://joaomlourenco.github.io/publications/2015_silva_proceedings_of_the_30th_annual_acm_symposium_on_applied_computing_boosting_locality_in.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/2015_silva_proceedings_of_the_30th_annual_acm_symposium_on_applied_computing_boosting_locality_in.htmlDecentralized Storage for Networks of Hand-held Devices.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.htmlThu, 01 Jan 2015 00:00:00 +0000https://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.htmlDecentralized Storage for Networks of Hand-held Devices.https://joaomlourenco.github.io/publications/2015_monteiro_unknown_journal_decentralized_storage_for.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/2015_monteiro_unknown_journal_decentralized_storage_for.htmlDynamic validation of contracts in concurrent codehttps://joaomlourenco.github.io/publications/2015_fiedor_lecture_notes_in_computer_science_dynamic_validation_of.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/2015_fiedor_lecture_notes_in_computer_science_dynamic_validation_of.htmlDynamic validation of contracts in concurrent codehttps://joaomlourenco.github.io/publications/2015_fiedor_unknown_journal_dynamic_validation_of.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/2015_fiedor_unknown_journal_dynamic_validation_of.htmlExecução concorrente e determinista de transacçõeshttps://joaomlourenco.github.io/publications/2015_vale_simposio_de_informatica_inforum_execucao_concorrente_e.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/2015_vale_simposio_de_informatica_inforum_execucao_concorrente_e.htmlExtracting static and dynamic structural information from java concurrent programs for coverage testinghttps://joaomlourenco.github.io/publications/2015_prado_2015_latin_american_computing_conference_clei_extracting_static_and.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/2015_prado_2015_latin_american_computing_conference_clei_extracting_static_and.htmlExtracting static and dynamic structural information from java concurrent programs for coverage testinghttps://joaomlourenco.github.io/publications/2015_prado_unknown_journal_extracting_static_and.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/2015_prado_unknown_journal_extracting_static_and.htmlGroup-to-group bidirectional wi-fi direct communication with two relay nodeshttps://joaomlourenco.github.io/publications/2015_teofilo_unknown_journal_group-to-group_bidirectional_wi-fi.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/2015_teofilo_unknown_journal_group-to-group_bidirectional_wi-fi.htmlMobile device-to-device distributed computing using data setshttps://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.htmlThu, 01 Jan 2015 00:00:00 +0000https://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.htmlMobile device-to-device distributed computing using data setshttps://joaomlourenco.github.io/publications/2015_remedios_unknown_journal_mobile_device-to-device_distributed.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/2015_remedios_unknown_journal_mobile_device-to-device_distributed.htmlSupporting multiple data replication models in distributed transactional memoryhttps://joaomlourenco.github.io/publications/2015_silva_proceedings_of_the_16th_international_conference_on_distributed_computing_and_networking_supporting_multiple_data.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/2015_silva_proceedings_of_the_16th_international_conference_on_distributed_computing_and_networking_supporting_multiple_data.htmlSupporting multiple data replication models in distributed transactional memoryhttps://joaomlourenco.github.io/publications/2015_silva_unknown_journal_supporting_multiple_data.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/2015_silva_unknown_journal_supporting_multiple_data.htmlOn Monitoring C/C++ Transactional Memory Programshttps://joaomlourenco.github.io/publications/2014_fiedor_unknown_journal_on_monitoring_c/c++.htmlWed, 01 Jan 2014 00:00:00 +0000https://joaomlourenco.github.io/publications/2014_fiedor_unknown_journal_on_monitoring_c/c++.htmlEfficient support for in‐place metadata in Java software transactional memoryhttps://joaomlourenco.github.io/publications/2013_25_17_dias_concurrency_and_computation_practice_and_experience_efficient_support_for.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/2013_25_17_dias_concurrency_and_computation_practice_and_experience_efficient_support_for.htmlMacrodb: Scaling database engines on multicoreshttps://joaomlourenco.github.io/publications/2013_soares_lecture_notes_in_computer_science_macrodb_scaling_database.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/2013_soares_lecture_notes_in_computer_science_macrodb_scaling_database.htmlMulticore Software Engineering, Performance, and Toolshttps://joaomlourenco.github.io/publications/2013_lourenco_lecture_notes_in_computer_science_multicore_software_engineering.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/2013_lourenco_lecture_notes_in_computer_science_multicore_software_engineering.htmlOn the relevance of total-order broadcast implementations in replicated software transactional memorieshttps://joaomlourenco.github.io/publications/2013_vale_lecture_notes_in_computer_science_on_the_relevance.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/2013_vale_lecture_notes_in_computer_science_on_the_relevance.htmlOn the relevance of total-order broadcast implementations in replicated software transactional memorieshttps://joaomlourenco.github.io/publications/2013_vale_unknown_journal_on_the_relevance.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/2013_vale_unknown_journal_on_the_relevance.htmlPrevenção de Violações de Atomicidade usando Contratoshttps://joaomlourenco.github.io/publications/2013_sousa_inforum_prevencao_de_violacoes.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/2013_sousa_inforum_prevencao_de_violacoes.htmlPreventing atomicity violations with contractshttps://joaomlourenco.github.io/publications/2013_sousa_unknown_journal_preventing_atomicity_violations.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/2013_sousa_unknown_journal_preventing_atomicity_violations.htmlReplicaçao parcial com memória transacional distribuıdahttps://joaomlourenco.github.io/publications/2013_silva_inforum_replicacao_parcial_com.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/2013_silva_inforum_replicacao_parcial_com.htmlSoftware Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work?https://joaomlourenco.github.io/publications/2013_soares_lecture_notes_in_computer_science_software_component_replication.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/2013_soares_lecture_notes_in_computer_science_software_component_replication.htmlSoftware Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work?https://joaomlourenco.github.io/publications/2013_soares_unknown_journal_software_component_replication.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/2013_soares_unknown_journal_software_component_replication.htmlEfficient support for in-place metadata in transactional memoryhttps://joaomlourenco.github.io/publications/2012_dias_lecture_notes_in_computer_science_efficient_support_for.htmlSun, 01 Jan 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/2012_dias_lecture_notes_in_computer_science_efficient_support_for.htmlEfficient support for in-place metadata in transactional memoryhttps://joaomlourenco.github.io/publications/2012_dias_unknown_journal_efficient_support_for.htmlSun, 01 Jan 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/2012_dias_unknown_journal_efficient_support_for.htmlHardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papershttps://joaomlourenco.github.io/publications/2012_eder_lecture_notes_in_computer_science_hardware_and_software.htmlSun, 01 Jan 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/2012_eder_lecture_notes_in_computer_science_hardware_and_software.htmlPrecise detection of atomicity violationshttps://joaomlourenco.github.io/publications/2012_dias_lecture_notes_in_computer_science_precise_detection_of.htmlSun, 01 Jan 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/2012_dias_lecture_notes_in_computer_science_precise_detection_of.htmlPrecise detection of atomicity violationshttps://joaomlourenco.github.io/publications/2012_dias_unknown_journal_precise_detection_of.htmlSun, 01 Jan 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/2012_dias_unknown_journal_precise_detection_of.htmlUma Infraestrutura para Suporte de Memória Transacional Distribuídahttps://joaomlourenco.github.io/publications/2012_vale_proceedings_of_the_simposio_de_informatica_inforum_uma_infraestrutura_para.htmlSun, 01 Jan 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/2012_vale_proceedings_of_the_simposio_de_informatica_inforum_uma_infraestrutura_para.htmlUsing program closures to make an application programming interface (API) implementation thread safehttps://joaomlourenco.github.io/publications/2012_farchi_proceedings_of_the_2012_workshop_on_parallel_and_distributed_systems_testing_analysis_and_debugging_using_program_closures.htmlSun, 01 Jan 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/2012_farchi_proceedings_of_the_2012_workshop_on_parallel_and_distributed_systems_testing_analysis_and_debugging_using_program_closures.htmlUsing program closures to make an application programming interface (API) implementation thread safehttps://joaomlourenco.github.io/publications/2012_farchi_unknown_journal_using_program_closures.htmlSun, 01 Jan 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/2012_farchi_unknown_journal_using_program_closures.htmlVerification of snapshot isolation in transactional memory Java programshttps://joaomlourenco.github.io/publications/2012_dias_lecture_notes_in_computer_science_verification_of_snapshot.htmlSun, 01 Jan 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/2012_dias_lecture_notes_in_computer_science_verification_of_snapshot.htmlVerification of snapshot isolation in transactional memory Java programshttps://joaomlourenco.github.io/publications/2012_dias_unknown_journal_verification_of_snapshot.htmlSun, 01 Jan 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/2012_dias_unknown_journal_verification_of_snapshot.htmlDetecting concurrency anomalies in transactional memory programshttps://joaomlourenco.github.io/publications/2011_8_18_lourenco_computer_science_and_information_systems_detecting_concurrency_anomalies.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/2011_8_18_lourenco_computer_science_and_information_systems_detecting_concurrency_anomalies.htmlDetecting concurrency anomalies in transactional memory programshttps://joaomlourenco.github.io/publications/2011_lourenco_computer_science_and_information_systems_detecting_concurrency_anomalies.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/2011_lourenco_computer_science_and_information_systems_detecting_concurrency_anomalies.htmlEfficient and correct transactional memory programs combining snapshot isolation and static analysishttps://joaomlourenco.github.io/publications/2011_dias_unknown_journal_efficient_and_correct.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/2011_dias_unknown_journal_efficient_and_correct.htmlPractical verification of high-level dataraces in transactional memory programshttps://joaomlourenco.github.io/publications/2011_pessanha_proceedings_of_the_workshop_on_parallel_and_distributed_systems_testing_analysis_and_debugging_practical_verification_of.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/2011_pessanha_proceedings_of_the_workshop_on_parallel_and_distributed_systems_testing_analysis_and_debugging_practical_verification_of.htmlPractical verification of high-level dataraces in transactional memory programshttps://joaomlourenco.github.io/publications/2011_pessanha_unknown_journal_practical_verification_of.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/2011_pessanha_unknown_journal_practical_verification_of.htmlStarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programshttps://joaomlourenco.github.io/publications/2011_dias_lecture_notes_in_computer_science_startm_automatic_verification.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/2011_dias_lecture_notes_in_computer_science_startm_automatic_verification.htmlA static approach for detecting concurrency anomalies in transactional memoryhttps://joaomlourenco.github.io/publications/2010_lourenco_unknown_journal_a_static_approach.htmlFri, 01 Jan 2010 00:00:00 +0000https://joaomlourenco.github.io/publications/2010_lourenco_unknown_journal_a_static_approach.htmlDetection of transactional memory anomalies using static analysishttps://joaomlourenco.github.io/publications/2010_teixeira_proceedings_of_the_8th_workshop_on_parallel_and_distributed_systems_testing_analysis_and_debugging_detection_of_transactional.htmlFri, 01 Jan 2010 00:00:00 +0000https://joaomlourenco.github.io/publications/2010_teixeira_proceedings_of_the_8th_workshop_on_parallel_and_distributed_systems_testing_analysis_and_debugging_detection_of_transactional.htmlDetection of transactional memory anomalies using static analysishttps://joaomlourenco.github.io/publications/2010_teixeira_unknown_journal_detection_of_transactional.htmlFri, 01 Jan 2010 00:00:00 +0000https://joaomlourenco.github.io/publications/2010_teixeira_unknown_journal_detection_of_transactional.htmlOpen virtualization framework for testing ground systemshttps://joaomlourenco.github.io/publications/2010_duro_proceedings_of_the_8th_workshop_on_parallel_and_distributed_systems_testing_analysis_and_debugging_open_virtualization_framework.htmlFri, 01 Jan 2010 00:00:00 +0000https://joaomlourenco.github.io/publications/2010_duro_proceedings_of_the_8th_workshop_on_parallel_and_distributed_systems_testing_analysis_and_debugging_open_virtualization_framework.htmlOpen virtualization framework for testing ground systemshttps://joaomlourenco.github.io/publications/2010_duro_unknown_journal_open_virtualization_framework.htmlFri, 01 Jan 2010 00:00:00 +0000https://joaomlourenco.github.io/publications/2010_duro_unknown_journal_open_virtualization_framework.htmlSmART: An Application Reconfiguration Frameworkhttps://joaomlourenco.github.io/publications/2010_paulino_complex_systems_design__management_smart_an_application.htmlFri, 01 Jan 2010 00:00:00 +0000https://joaomlourenco.github.io/publications/2010_paulino_complex_systems_design__management_smart_an_application.htmlSnapshot isolation anomalies detection in software transactional memoryhttps://joaomlourenco.github.io/publications/2010_2010_dias_proceedings_of_inforum_snapshot_isolation_anomalies.htmlFri, 01 Jan 2010 00:00:00 +0000https://joaomlourenco.github.io/publications/2010_2010_dias_proceedings_of_inforum_snapshot_isolation_anomalies.htmlSpecial session on debugginghttps://joaomlourenco.github.io/publications/2010_hollander_unknown_journal_special_session_on.htmlFri, 01 Jan 2010 00:00:00 +0000https://joaomlourenco.github.io/publications/2010_hollander_unknown_journal_special_session_on.htmlUnderstanding the behavior of transactional memory applicationshttps://joaomlourenco.github.io/publications/2009_lourenco_proceedings_of_the_7th_workshop_on_parallel_and_distributed_systems_testing_analysis_and_debugging_understanding_the_behavior.htmlThu, 01 Jan 2009 00:00:00 +0000https://joaomlourenco.github.io/publications/2009_lourenco_proceedings_of_the_7th_workshop_on_parallel_and_distributed_systems_testing_analysis_and_debugging_understanding_the_behavior.htmlUnderstanding the behavior of transactional memory applicationshttps://joaomlourenco.github.io/publications/2009_lourenco_unknown_journal_understanding_the_behavior.htmlThu, 01 Jan 2009 00:00:00 +0000https://joaomlourenco.github.io/publications/2009_lourenco_unknown_journal_understanding_the_behavior.htmlUnderstanding the behavior of transactional memory applicationshttps://joaomlourenco.github.io/publications/2009_pessanha_proceedings_of_the_7th_workshop_on_parallel_and_distributed_systems_testing_analysis_and_debugging_understanding_the_behavior.htmlThu, 01 Jan 2009 00:00:00 +0000https://joaomlourenco.github.io/publications/2009_pessanha_proceedings_of_the_7th_workshop_on_parallel_and_distributed_systems_testing_analysis_and_debugging_understanding_the_behavior.htmlUnifying memory and database transactionshttps://joaomlourenco.github.io/publications/2009_dias_lecture_notes_in_computer_science_unifying_memory_and.htmlThu, 01 Jan 2009 00:00:00 +0000https://joaomlourenco.github.io/publications/2009_dias_lecture_notes_in_computer_science_unifying_memory_and.htmlUnifying memory and database transactionshttps://joaomlourenco.github.io/publications/2009_dias_unknown_journal_unifying_memory_and.htmlThu, 01 Jan 2009 00:00:00 +0000https://joaomlourenco.github.io/publications/2009_dias_unknown_journal_unifying_memory_and.htmlByzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation.https://joaomlourenco.github.io/publications/2008_preguica_unknown_journal_byzantium_byzantine-fault-tolerant_database.htmlTue, 01 Jan 2008 00:00:00 +0000https://joaomlourenco.github.io/publications/2008_preguica_unknown_journal_byzantium_byzantine-fault-tolerant_database.htmlDeveloping libraries using software transactional memoryhttps://joaomlourenco.github.io/publications/2008_5_2_dias_computer_science_and_information_systems_developing_libraries_using.htmlTue, 01 Jan 2008 00:00:00 +0000https://joaomlourenco.github.io/publications/2008_5_2_dias_computer_science_and_information_systems_developing_libraries_using.htmlDeveloping libraries using software transactional memoryhttps://joaomlourenco.github.io/publications/2008_dias_unknown_journal_developing_libraries_using.htmlTue, 01 Jan 2008 00:00:00 +0000https://joaomlourenco.github.io/publications/2008_dias_unknown_journal_developing_libraries_using.htmlTesting patterns for software transactional memory engineshttps://joaomlourenco.github.io/publications/2007_lourenco_proceedings_of_the_2007_acm_workshop_on_parallel_and_distributed_systems_testing_and_debugging_testing_patterns_for.htmlMon, 01 Jan 2007 00:00:00 +0000https://joaomlourenco.github.io/publications/2007_lourenco_proceedings_of_the_2007_acm_workshop_on_parallel_and_distributed_systems_testing_and_debugging_testing_patterns_for.htmlTesting patterns for software transactional memory engineshttps://joaomlourenco.github.io/publications/2007_lourenco_unknown_journal_testing_patterns_for.htmlMon, 01 Jan 2007 00:00:00 +0000https://joaomlourenco.github.io/publications/2007_lourenco_unknown_journal_testing_patterns_for.htmlSupporting on-line distributed monitoring and debugginghttps://joaomlourenco.github.io/publications/2004_duarte_on-line_monitoring_systems_supporting_on-line_distributed.htmlThu, 01 Jan 2004 00:00:00 +0000https://joaomlourenco.github.io/publications/2004_duarte_on-line_monitoring_systems_supporting_on-line_distributed.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.htmlDebugging of parallel and distributed programshttps://joaomlourenco.github.io/publications/2001_cunha_unknown_journal_debugging_of_parallel.htmlMon, 01 Jan 2001 00:00:00 +0000https://joaomlourenco.github.io/publications/2001_cunha_unknown_journal_debugging_of_parallel.htmlFiddle: A flexible distributed debugger architecturehttps://joaomlourenco.github.io/publications/2001_lourenco_lecture_notes_in_computer_science_fiddle_a_flexible.htmlMon, 01 Jan 2001 00:00:00 +0000https://joaomlourenco.github.io/publications/2001_lourenco_lecture_notes_in_computer_science_fiddle_a_flexible.htmlFiddle: A flexible distributed debugger architecturehttps://joaomlourenco.github.io/publications/2001_lourenco_unknown_journal_fiddle_a_flexible.htmlMon, 01 Jan 2001 00:00:00 +0000https://joaomlourenco.github.io/publications/2001_lourenco_unknown_journal_fiddle_a_flexible.htmlParallel Program development for cluster computing: methodology, tools and integrated environmentshttps://joaomlourenco.github.io/publications/2001_5_cunha_unknown_journal_parallel_program_development.htmlMon, 01 Jan 2001 00:00:00 +0000https://joaomlourenco.github.io/publications/2001_5_cunha_unknown_journal_parallel_program_development.htmlAn experience in building a parallel and distributed problem-solving environmenthttps://joaomlourenco.github.io/publications/1999_cunha_unknown_journal_an_experience_in.htmlFri, 01 Jan 1999 00:00:00 +0000https://joaomlourenco.github.io/publications/1999_cunha_unknown_journal_an_experience_in.htmlAn experiment in tool integration: the DDBG parallel and distributed debuggerhttps://joaomlourenco.github.io/publications/1999_45_11_cunha_journal_of_systems_architecture_an_experiment_in.htmlFri, 01 Jan 1999 00:00:00 +0000https://joaomlourenco.github.io/publications/1999_45_11_cunha_journal_of_systems_architecture_an_experiment_in.htmlA framework to support parallel and distributed debugginghttps://joaomlourenco.github.io/publications/1998_cunha_unknown_journal_a_framework_to.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/1998_cunha_unknown_journal_a_framework_to.htmlA thread-level distributed debuggerhttps://joaomlourenco.github.io/publications/1998_lourenco_proceedings_of_the_3rd_international_conference_on_vector_and_parallel_processing_vecpar98_a_thread-level_distributed.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/1998_lourenco_proceedings_of_the_3rd_international_conference_on_vector_and_parallel_processing_vecpar98_a_thread-level_distributed.htmlAn integrated course on parallel and distributed processinghttps://joaomlourenco.github.io/publications/1998_30_1_cunha_acm_sigcse_bulletin_an_integrated_course.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/1998_30_1_cunha_acm_sigcse_bulletin_an_integrated_course.htmlReplaying distributed applications with RPVMhttps://joaomlourenco.github.io/publications/1998_4_p2_lourenco_target_replaying_distributed_applications.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/1998_4_p2_lourenco_target_replaying_distributed_applications.htmlThe DOTPAR project: Towards a framework supporting domain oriented tools for parallel and distributed processinghttps://joaomlourenco.github.io/publications/1998_cunha_lecture_notes_in_computer_science_the_dotpar_project.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/1998_cunha_lecture_notes_in_computer_science_the_dotpar_project.htmlThe DOTPAR project: Towards a framework supporting domain oriented tools for parallel and distributed processinghttps://joaomlourenco.github.io/publications/1998_cunha_unknown_journal_the_dotpar_project.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/1998_cunha_unknown_journal_the_dotpar_project.htmlThe PDBG process-level debugger for parallel and distributed programs.https://joaomlourenco.github.io/publications/1998_lourenco_proceedings_of_the_sigmetrics_symposium_on_parallel_and_distributed_tools_the_pdbg_process-level.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/1998_lourenco_proceedings_of_the_sigmetrics_symposium_on_parallel_and_distributed_tools_the_pdbg_process-level.htmlThe PDBG process-level debugger for parallel and distributed programs.https://joaomlourenco.github.io/publications/1998_lourenco_unknown_journal_the_pdbg_process-level.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/1998_lourenco_unknown_journal_the_pdbg_process-level.htmlA graphical development and debugging environment for parallel programshttps://joaomlourenco.github.io/publications/1997_22_13_kacsuk_parallel_computing_a_graphical_development.htmlWed, 01 Jan 1997 00:00:00 +0000https://joaomlourenco.github.io/publications/1997_22_13_kacsuk_parallel_computing_a_graphical_development.htmlAn integrated testing and debugging environment for parallel and distributed programshttps://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.htmlWed, 01 Jan 1997 00:00:00 +0000https://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.htmlAn integrated testing and debugging environment for parallel and distributed programshttps://joaomlourenco.github.io/publications/1997_lourenco_unknown_journal_an_integrated_testing.htmlWed, 01 Jan 1997 00:00:00 +0000https://joaomlourenco.github.io/publications/1997_lourenco_unknown_journal_an_integrated_testing.htmlA debugging engine for a parallel and distributed environmenthttps://joaomlourenco.github.io/publications/1996_cunha_proceedings_of_the_1st_austrian-hungarian_workshop_on_distributed_and_parallel_systems_dapsys96_a_debugging_engine.htmlMon, 01 Jan 1996 00:00:00 +0000https://joaomlourenco.github.io/publications/1996_cunha_proceedings_of_the_1st_austrian-hungarian_workshop_on_distributed_and_parallel_systems_dapsys96_a_debugging_engine.htmlA distributed debugging tool for a parallel software engineering environmenthttps://joaomlourenco.github.io/publications/1996_96_cunha_onera_editor_eptm_a_distributed_debugging.htmlMon, 01 Jan 1996 00:00:00 +0000https://joaomlourenco.github.io/publications/1996_96_cunha_onera_editor_eptm_a_distributed_debugging.htmlDDBG: A distributed debugger–user’s guidehttps://joaomlourenco.github.io/publications/1996_cunha_sepp_project_copernicus_programme_5th_progress_report._university_of_westminster_london_uk_ddbg_a_distributed.htmlMon, 01 Jan 1996 00:00:00 +0000https://joaomlourenco.github.io/publications/1996_cunha_sepp_project_copernicus_programme_5th_progress_report._university_of_westminster_london_uk_ddbg_a_distributed.htmlIntegration of STEPS and DDBGhttps://joaomlourenco.github.io/publications/1996_neyman_technical_report_departamento_de_informatica_da_universidade_nova_de_lisboa_integration_of_steps.htmlMon, 01 Jan 1996 00:00:00 +0000https://joaomlourenco.github.io/publications/1996_neyman_technical_report_departamento_de_informatica_da_universidade_nova_de_lisboa_integration_of_steps.htmlMonitoring and Debugging Supporthttps://joaomlourenco.github.io/publications/1996_cunha_unknown_journal_monitoring_and_debugging.htmlMon, 01 Jan 1996 00:00:00 +0000https://joaomlourenco.github.io/publications/1996_cunha_unknown_journal_monitoring_and_debugging.htmlUsing DDBG to support testing and high-level debugging interfaceshttps://joaomlourenco.github.io/publications/1995_17_5_cunha_computers_and_artificial_intelligence_using_ddbg_to.htmlSun, 01 Jan 1995 00:00:00 +0000https://joaomlourenco.github.io/publications/1995_17_5_cunha_computers_and_artificial_intelligence_using_ddbg_to.html