Alexandre Campos Perez


AuthID: R-00F-CQ8

Publications Requiring Validation

1
TITLE: System Resilience through Health Monitoring and Reconfiguration
AUTHORS: Ion Matei; Wiktor Piotrowski; Alexandre Perez; Johan de Kleer; Jorge Tierno; Wendy Mungovan; Vance Turnewitsch;
PUBLISHED: 2024, SOURCE: ACM Trans. Cyber Phys. Syst., VOLUME: 8, ISSUE: 1
INDEXED IN: DBLP
IN MY: DBLP
2
TITLE: Real-World Planning with PDDL+ and Beyond
AUTHORS: Wiktor Piotrowski; Alexandre Perez;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2402.11901
INDEXED IN: DBLP
IN MY: DBLP
3
TITLE: CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems
AUTHORS: Ali Shokri; Alexandre Perez; Souma Chowdhury; Chen Zeng; Gerald Kaloor; Ion Matei; Peter Patel Schneider; Akshith Gunasekaran; Shantanu Rane;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2308.00250
INDEXED IN: DBLP
IN MY: DBLP
4
TITLE: DeepBreath - automated detection of respiratory pathology from lung auscultation in 572 pediatric outpatients across 5 countries
AUTHORS: 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; Georges Bediang; Hafidi, NEL; Bouskraoui, M; Idrissa Ba; ...More
PUBLISHED: 2023, SOURCE: npj Digit. Medicine, VOLUME: 6
INDEXED IN: DBLP
IN MY: DBLP
5
TITLE: A Theoretical and Empirical Analysis of Program Spectra Diagnosability  Full Text
AUTHORS: Perez, A; Abreu, R ; Van Deursen, A;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 47, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
6
TITLE: Playing Angry Birds with a Domain-Independent PDDL+ Planner
AUTHORS: Wiktor Piotrowski; Roni Stern; Matthew Klenk; Alexandre Perez; Shiwali Mohan; Johan de Kleer; Jacob Le;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2107.04635
INDEXED IN: DBLP
IN MY: DBLP
7
TITLE: Green Software Lab: Towards an Engineering Discipline for Green Software
AUTHORS: Rui Abreu; Marco Couto ; Luís Cruz; Jácome Cunha ; João Paulo Fernandes ; Rui Pereira ; Alexandre Perez; João Saraiva ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.03028
INDEXED IN: DBLP
IN MY: DBLP
8
TITLE: Pangolin: An SFL-based Toolset for Feature Localization
AUTHORS: Castro, B; Perez, A; Abreu, R ;
PUBLISHED: 2019, SOURCE: 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019)
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: DBLP
9
TITLE: Poster: A Qualitative Reasoning Approach to Spectrum-based Fault Localization
AUTHORS: Perez, A; Abreu, R ;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: DBLP
10
TITLE: Leveraging Qualitative Reasoning to Improve SFL
AUTHORS: Alexandre Perez; Rui Abreu ;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: DBLP
Page 1 of 2. Total results: 12.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service