João Bispo - Publications, H-index & Citations

João Bispo

Universidade do Porto

13H指数

94论文数

663被引数

收录论文 6

发表时间

METFORD - Mutation tEsTing Framework fOR anDroid METFORD-anDroid的突变测试框架

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2025-04-01

PREAI

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.

E-APK: Energy pattern detection in decompiled android applications

JOURNAL OF COMPUTER LANGUAGES

IF1.8

2023-08-01

OAAI

Gregorio, Nelson; Bispo, Joao; Fernandes, Joao Paulo; de Medeiros, Sergio Queiroz

Pegasus: Performance Engineering for Software Applications Targeting HPC Systems Pegasus: 针对HPC系统的软件应用程序的性能工程

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2022-03-01

OAAI

Pinto, Pedro; Bispo, Joao; Cardoso, Joao; Barbosa, Jorge Gomes; Gadioli, Davide; Palermo, Gianluca; Martinovic, Jan; Golasowski, Martin; Slaninova, Katerina; Cmar, Radim; Silvano, Cristina

An Efficient Monte Carlo-Based Probabilistic Time-Dependent Routing Calculation Targeting a Server-Side Car Navigation System

IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING

IF5.4

2021-04-01

OAAI

Vitali, Emanuele; Gadioli, Davide; Palermo, Gianluca; Golasowski, Martin; Bispo, Joao; Pinto, Pedro; Martinovic, Jan; Slaninova, Katerina; Cardoso, Joao M. P.; Silvano, Cristina

Formal verification of Matrix based MATLAB models using interactive theorem proving

PEERJ COMPUTER SCIENCE

IF2.5

2021-03-22

OAAI

Gauhar, Ayesha; Rashid, Adnan; Hasan, Osman; Bispo, Joao; Cardoso, Joao M. P.

Transparent Trace-Based Binary Acceleration for Reconfigurable HW/SW Systems

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS

IF9.9

2013-08-01

OAAI

Bispo, Joao; Paulino, Nuno; Cardoso, Joao M. P.; Ferreira, Joao C.

研究方向