Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Martin Gagnon

dblp:116/6733 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Software maintenance and evolution
feature location
0.112012
Locating features in dynamically configured avionics software · ICSE 2012
Software maintenance and evolution
program comprehension
0.112012
Locating features in dynamically configured avionics software · ICSE 2012
Program analysis
static analysis
0.112012
Locating features in dynamically configured avionics software · ICSE 2012
Program verification
model checking
0.012012
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
YearPublicationVenuePosition
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
SIMULTECH3
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 software
abstract
Locating 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
ICSE4