Concepedia

Gabriela Sampaio

GS

Statistics

Publications

4

Citations

67

H-Index

4

Active since

2016

Affiliations

Universidade Federal de Pernambuco(Current)

Imperial College London

Gabriela Sampaio is an author at Universidade Federal de Pernambuco specializing in requirements engineering, software evolution, and formal methods.

Publications per year

2016–2021

4

Publications

4

JaVerT 2.0: compositional symbolic execution for JavaScript

José Fragoso Santos, Petar Maksimović, Gabriela Sampaio et al. · Proceedings of the ACM on Programming Languages · 2019 · 26 citations · Full text

Computing, Computer Science, Formal Methods +15

Partially safe evolution of software product lines

Gabriela Sampaio, Paulo Borba, Leopoldo Teixeira · 2016 · 16 citations · Full text

Computing, Computer Science, Formal Methods +16

Partially safe evolution of software product lines

Gabriela Sampaio, Paulo Borba, Leopoldo Teixeira · Journal of Systems and Software · 2019 · 14 citations

Computing, Computer Science, Formal Methods +16

Guiding the evolution of product-line configurations

Michael Nieke, Gabriela Sampaio, Thomas Thüm et al. · Software & Systems Modeling · 2021 · 11 citations · Full text

Engineering, Industrial Engineering, Systems Engineering +15

1–4 of 4