Pierre‐Yves Schobbens - Publications, H-index & Citations

Pierre‐Yves Schobbens

telecom paris

32H指数

208论文数

4.4K被引数

收录论文 10

发表时间

Extending Timed Automata with Clock Derivatives 为时序自动机扩展时钟导数

INTEGRATED FORMAL METHODS, IFM 2025

IF0

2026-01-01

PREAI

Cortes, David; Leneutrei, Jean; Malvone, Vadim; Ortiz, James; Schobbens, Pierre-Yves

Deep variability modeling to enhance reproducibility of database performance testing

CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS

IF4.1

2024-06-02

PREAI

Ouared, Abdelkader; Amrani, Moussa; Chadli, Abdelhafid; Schobbens, Pierre-Yves

Providing command and control agility: A software product line approach

EXPERT SYSTEMS WITH APPLICATIONS

IF7.5

2023-04-01

PREAI

Amorim, Junier Caminha; Rocha, Eduardo Lemos; Minardi, Luigi; Alves, Vander; de Freitas, Edison Pignaton; Castro, Thiago; Amrani, Moussa; Ortiz, James; Schobbens, Pierre-Yves; 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

Feature interaction in software product line engineering: A systematic mapping study 软件产品线工程中的特征交互: 系统映射研究

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2018-06-01

PREAI

Soares, Larissa Rocha; Schobbens, Pierre-Yves; Machado, Ivan do Carmo; de Almeida, Eduardo Santana

Feature-family-based reliability analysis of software product lines

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2018-02-01

PREAI

Lanna, Andre; Castro, Thiago; Alves, Vander; Rodrigues, Genaina; Schobbens, Pierre-Yves; Apel, Sven

A methodology for formal analysis and verification of EAST-ADL models

RELIABILITY ENGINEERING & SYSTEM SAFETY

IF11

2013-12-01

OAAI

Kang, Eun-Young; Enoiu, Eduard Paul; Marinescu, Raluca; Seceleanu, Cristina; Schobbens, Pierre-Yves; Pettersson, Paul

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

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

AN EXPERIMENT IN FORMAL SOFTWARE-DEVELOPMENT - USING THE B-THEOREM PROVER ON A VDM CASE-STUDY 正式软件开发的实验-在VDM案例研究中使用B定理证明器

COMMUNICATIONS OF THE ACM

IF12.2

1991-05-01

OAAI

LAFONTAINE, C; LEDRU, Y; SCHOBBENS, PY

研究方向