Alexandre Campos Perez
AuthID: R-00F-CQ8
1
TÃTULO: System Resilience through Health Monitoring and Reconfiguration
AUTORES: Ion Matei; Wiktor Piotrowski; Alexandre Perez; Johan de Kleer; Jorge Tierno; Wendy Mungovan; Vance Turnewitsch;
PUBLICAÇÃO: 2024, FONTE: ACM Trans. Cyber Phys. Syst., VOLUME: 8, NÚMERO: 1
AUTORES: Ion Matei; Wiktor Piotrowski; Alexandre Perez; Johan de Kleer; Jorge Tierno; Wendy Mungovan; Vance Turnewitsch;
PUBLICAÇÃO: 2024, FONTE: ACM Trans. Cyber Phys. Syst., VOLUME: 8, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
2
TÃTULO: Real-World Planning with PDDL+ and Beyond
AUTORES: Wiktor Piotrowski; Alexandre Perez;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2402.11901
AUTORES: Wiktor Piotrowski; Alexandre Perez;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2402.11901
INDEXADO EM: DBLP
NO MEU: DBLP
3
TÃTULO: CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems
AUTORES: Ali Shokri; Alexandre Perez; Souma Chowdhury; Chen Zeng; Gerald Kaloor; Ion Matei; Peter Patel Schneider; Akshith Gunasekaran; Shantanu Rane;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2308.00250
AUTORES: Ali Shokri; Alexandre Perez; Souma Chowdhury; Chen Zeng; Gerald Kaloor; Ion Matei; Peter Patel Schneider; Akshith Gunasekaran; Shantanu Rane;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2308.00250
INDEXADO EM: DBLP
NO MEU: DBLP
4
TÃTULO: DeepBreath - automated detection of respiratory pathology from lung auscultation in 572 pediatric outpatients across 5 countries
AUTORES: Julien Heitmann; Alban Glangetas; Jonathan Doenz; Juliane Dervaux; Deeksha M Shama; Daniel Hinjos Garcia; Mohamed Rida Benissa; Aymeric Cantais; Alexandre Perez; Daniel Müller; Tatjana Chavdarova; Isabelle Ruchonnet Metrailler; Johan N Siebert; Laurence Lacroix; Martin Jaggi; Alain Gervaix; Mary Anne Hartley; Florence Hugon; Derrick Fassbind; Makura Barro; ...Mais
PUBLICAÇÃO: 2023, FONTE: npj Digit. Medicine, VOLUME: 6
AUTORES: Julien Heitmann; Alban Glangetas; Jonathan Doenz; Juliane Dervaux; Deeksha M Shama; Daniel Hinjos Garcia; Mohamed Rida Benissa; Aymeric Cantais; Alexandre Perez; Daniel Müller; Tatjana Chavdarova; Isabelle Ruchonnet Metrailler; Johan N Siebert; Laurence Lacroix; Martin Jaggi; Alain Gervaix; Mary Anne Hartley; Florence Hugon; Derrick Fassbind; Makura Barro; ...Mais
PUBLICAÇÃO: 2023, FONTE: npj Digit. Medicine, VOLUME: 6
INDEXADO EM: DBLP
NO MEU: DBLP
5
TÃTULO: A Theoretical and Empirical Analysis of Program Spectra Diagnosability Full Text
AUTORES: Perez, A; Abreu, R ; Van Deursen, A;
PUBLICAÇÃO: 2021, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 47, NÚMERO: 2
AUTORES: Perez, A; Abreu, R ; Van Deursen, A;
PUBLICAÇÃO: 2021, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 47, NÚMERO: 2
6
TÃTULO: Playing Angry Birds with a Domain-Independent PDDL+ Planner
AUTORES: Wiktor Piotrowski; Roni Stern; Matthew Klenk; Alexandre Perez; Shiwali Mohan; Johan de Kleer; Jacob Le;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2107.04635
AUTORES: Wiktor Piotrowski; Roni Stern; Matthew Klenk; Alexandre Perez; Shiwali Mohan; Johan de Kleer; Jacob Le;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2107.04635
INDEXADO EM: DBLP
NO MEU: DBLP
7
TÃTULO: Green Software Lab: Towards an Engineering Discipline for Green Software
AUTORES: Rui Abreu; Marco Couto ; Luís Cruz; Jácome Cunha ; João Paulo Fernandes ; Rui Pereira ; Alexandre Perez; João Saraiva ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2108.03028
AUTORES: Rui Abreu; Marco Couto ; Luís Cruz; Jácome Cunha ; João Paulo Fernandes ; Rui Pereira ; Alexandre Perez; João Saraiva ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2108.03028
INDEXADO EM: DBLP
NO MEU: DBLP
8
TÃTULO: Pangolin: An SFL-based Toolset for Feature Localization
AUTORES: Castro, B; Perez, A; Abreu, R ;
PUBLICAÇÃO: 2019, FONTE: 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019)
AUTORES: Castro, B; Perez, A; Abreu, R ;
PUBLICAÇÃO: 2019, FONTE: 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019)
9
TÃTULO: Poster: A Qualitative Reasoning Approach to Spectrum-based Fault Localization
AUTORES: Perez, A; Abreu, R ;
PUBLICAÇÃO: 2018, FONTE: 40th ACM/IEEE International Conference on Software Engineering (ICSE) in PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, VOLUME: Part F137351
AUTORES: Perez, A; Abreu, R ;
PUBLICAÇÃO: 2018, FONTE: 40th ACM/IEEE International Conference on Software Engineering (ICSE) in PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, VOLUME: Part F137351
10
TÃTULO: Leveraging Qualitative Reasoning to Improve SFL
AUTORES: Alexandre Perez; Rui Abreu ;
PUBLICAÇÃO: 2018, FONTE: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 in Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., VOLUME: 2018-July
AUTORES: Alexandre Perez; Rui Abreu ;
PUBLICAÇÃO: 2018, FONTE: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 in Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., VOLUME: 2018-July