João Carlos Viegas Martins Bispo


AuthID: R-000-6X6

Confirmed Publications: 74



1
TITLE: METFORD - Mutation tEsTing Framework fOR anDroid  Full Text
AUTHORS: Vincenzi, Auri M. R.; Kuroishi, Pedro H.; Bispo, Joao ; da Veiga, Ana R. C.; da Mata, David R. C.; Azevedo, Francisco B.; Paiva, Ana C. R. ;
PUBLISHED: 2025, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 222
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
2
TITLE: Multilanguage Detection of Design Pattern Instances  Full Text
AUTHORS: Andrade, Hugo; Bispo, Joao ; Correia, Filipe F. ;
PUBLISHED: 2025, SOURCE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 37, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef Unpaywall
IN MY: ORCID
3
4
TITLE: A C Subset for Ergonomic Source-to-Source Analyses and Transformations
AUTHORS: Matos, Joao N.; Bispo, Joao ; Sousa, Luis Miguel;
PUBLISHED: 2024, SOURCE: Rapido Workshop on Rapid Simulation and Performance Evaluation - Methods and Tools (Rapido) / HiPEAC Conference in PROCEEDINGS OF THE RAPIDO 2024 WORKSHOP, HIPEAC 2024
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
5
TITLE: A DSL and MLIR Dialect for Streaming and Vectorisation
AUTHORS: da Silva, Manuel Cerqueira; Sousa, Luis ; Paulino, Nuno ; Bispo, Joao ;
PUBLISHED: 2024, SOURCE: 20th International Symposium on Applied Reconfigurable Computing (ARC) in APPLIED RECONFIGURABLE COMPUTING. ARCHITECTURES, TOOLS, AND APPLICATIONS, ARC 2024, VOLUME: 14553
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
6
TITLE: A Flexible-Granularity Task Graph Representation and Its Generation from C Applications (WIP)
AUTHORS: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ;
PUBLISHED: 2024, SOURCE: 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
7
TITLE: Enhancing Object Detection in Maritime Environments Using Metadata
AUTHORS: Fernandes, Diogo Samuel; Bispo, Joao ; Bento, Luis Conde; Figueiredo, Monica;
PUBLISHED: 2024, SOURCE: 26th Iberoamerican Congress on Pattern Recognition (CIARP) in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, CIARP 2023, PT II, VOLUME: 14470
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
8
TITLE: Foundations for a Rust-Like Borrow Checker for C
AUTHORS: Silva, Tiago; Bispo, Joao ; Carvalho, Tiago ;
PUBLISHED: 2024, SOURCE: 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
9
TITLE: Towards a Rust-Like Borrow Checker for C  Full Text
AUTHORS: Tiago Silva; Pedro Correia; Luís Sousa; João Bispo ; Tiago Carvalho;
PUBLISHED: 2024, SOURCE: ACM Transactions on Embedded Computing Systems
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
10
TITLE: Using Source-to-Source to Target RISC-V Custom Extensions: UVE Case-Study
AUTHORS: Henriques, Miguel; Bispo, Joao ; Paulino, Nuno ;
PUBLISHED: 2024, SOURCE: Rapido Workshop on Rapid Simulation and Performance Evaluation - Methods and Tools (Rapido) / HiPEAC Conference in PROCEEDINGS OF THE RAPIDO 2024 WORKSHOP, HIPEAC 2024
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 1 of 8. Total results: 74.

footer slogan

Useful Links

Get Help

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