Patrick Heymans - Publications, H-index & Citations

Patrick Heymans

universite de lorraine

38H指数

213论文数

5.4K被引数

收录论文 7

发表时间

VaryMinions: leveraging RNNs to identify variants in variability-intensive systems' logs

EMPIRICAL SOFTWARE ENGINEERING

IF3.6

2024-06-15

OAAI

Fortz, Sophie; Temple, Paul; Devroey, Xavier; Heymans, Patrick; Perrouin, Gilles

Model-based mutant equivalence detection using automata language equivalence and simulations

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2018-07-01

OAAI

Devroey, Xavier; Perrouin, Gilles; Papadakis, Mike; Legay, Axel; Schobbens, Pierre-Yves; Heymans, Patrick

Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines 绕过组合爆炸: 使用相似性为软件产品线生成并优先考虑T型测试配置

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2014-07-01

154

OAAI

Henard, Christopher; Papadakis, Mike; Perrouin, Gilles; Klein, Jacques; Heymans, Patrick; Le Traon, Yves

Separation of Concerns in Feature Diagram Languages: A Systematic Survey

ACM COMPUTING SURVEYS

IF28

2013-08-30

PREAI

Hubaux, Arnaud; Thein Than Tun; Heymans, Patrick

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2013-08-01

167

PREAI

Classen, Andreas; Cordy, Maxime; Schobbens, Pierre-Yves; Heymans, Patrick; Legay, Axel; Raskin, Jean-Francois

The Unified Enterprise Modelling Language-Overview and further work 统一企业建模语言-概述和进一步的工作

COMPUTERS IN INDUSTRY

IF9.1

2010-02-01

OAAI

Anaya, Victor; Berio, Giuseppe; Harzallah, Mounira; Heymans, Patrick; Matulevicius, Raimundas; Opdahl, Andreas L.; Panetto, Herve; Jose Verdecho, Maria

From live sequence charts to state machines and back: A guided tour

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2005-12-01

PREAI

Bontemps, Y; Heymans, P; Schobbens, PY

研究方向