Demo Data from EDBT 2026 / reviewers in the wild / expert
Martin Gagnon
dblp:116/6733
· DBLP profile ↗
3ranked-venue papers
0as first author
1since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1Databases, data management, data science and information retrieval · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Software maintenance and evolution · 61% Program analysis · 30% Program verification · 9% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software maintenance and evolution
feature location |
0.1 | 1 | 2012 | Locating features in dynamically configured avionics software · ICSE 2012 |
Software maintenance and evolution
program comprehension |
0.1 | 1 | 2012 | Locating features in dynamically configured avionics software · ICSE 2012 |
Program analysis
static analysis |
0.1 | 1 | 2012 | Locating features in dynamically configured avionics software · ICSE 2012 |
Program verification
model checking |
0.0 | 1 | 2012 | Locating features in dynamically configured avionics software · ICSE 2012 |
Methods — techniques the papers use, named apart from their topics
static analysis · 0.1model checking · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Reliability Analysis of Francis Turbine Cracking Using Gamma Frailty Model and Censored Historical Maintenance Data
Théophile Mbuyi Tshibangu, Guyh Dituba Ngoma, Martin Gagnon, Sébastien Carle |
SIMULTECH | 3 |
| 2018 | A comparison between aggregation before and after propagation based on a reliability model
Mounia Berdai, Souheil-Antoine Tahan, Martin Gagnon |
Inf. Sci. | 3 |
| 2012 | Locating features in dynamically configured avionics softwareabstractLocating features in software is an important activity for program comprehension and to support software reengineering. We present a novel automated approach to locate features in source code based on static analysis and model checking. The technique is aimed at dynamically configured software, which is software in which the activation of specific features is controlled by configuration variables. The approach is evaluated on an industrial avionics system. Maxime Ouellet, Ettore Merlo, Neset Sozen, Martin Gagnon |
ICSE | 4 |