1
TITLE: Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation
AUTHORS: Yacine Izza; Xuanxiang Huang; Morgado, António; Jordi Planes; Alexey Ignatiev; João Marques Silva;
PUBLISHED: 2024, SOURCE: KR
INDEXED IN: DBLP CrossRef
IN MY: ORCID
2
TITLE: Checking Robustness of Neural Network Models for the Classification of Malware
AUTHORS: Alsinet, Teresa; Argelich, Josep; Bejar, Ramon; Morgado, António; Planes, Jordi;
PUBLISHED: 2024, SOURCE: 26th International Conference of the Catalan Association for Artificial Intelligence-CCIA in ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT, VOLUME: 390
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
3
TITLE: MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
AUTHORS: Ramos, Frederico; Reis, Diogo Costa; Trigo, Miguel; Morgado, António; Santos, Jose Fragoso;
PUBLISHED: 2023, SOURCE: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) in PROCEEDINGS OF THE 32ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2023
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
4
TITLE: Feature Necessity & Relevancy in ML Classifier Explanations
AUTHORS: Xuanxiang Huang; Martin C Cooper; Morgado, António; Jordi Planes; Joao Marques-Silva;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Tools and Algorithms for the Construction and Analysis of Systems
INDEXED IN: CrossRef: 2
IN MY: ORCID