Pierre-Yves Schobbens

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 39

Top Venues

Publications

Alix Decrop, Gilles Perrouin, Mike Papadakis, Xavier Devroey, Pierre-Yves Schobbens
You Can REST Now: Automated Specification Inference and Black-Box Testing of RESTful APIs with Large Language Models. CoRR (2024)
David Cortés, James Ortiz, Davide Basile, Jesús Aranda, Gilles Perrouin, Pierre-Yves Schobbens
Time for Networks: Mutation Testing for Timed Automata Networks. FormaliSE@ICSE (2024)
Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens
A Context-Aware Chatbot for Student Assistance Services in Higher Education. CSEDU (1) (2024)
Maxime Cordy, Sami Lazreg, Axel Legay, Pierre-Yves Schobbens
Towards Strengthening Formal Specifications with Mutation Model Checking. ESEC/SIGSOFT FSE (2023)
Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens
Explainable AI for DBA: Bridging the DBA's experience and machine learning in tuning database systems. Concurr. Comput. Pract. Exp. 35 (21) (2023)
Moussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens
Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts. VECoS (2023)
Jaime Cuartas, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL. ICSTW (2023)
Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens
Go Meta of Learned Cost Models: On the Power of Abstraction. MODELSWARD (2023)
Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens
Learning Analytics Solution for Monitoring and Analyzing the Students' Behavior in SQL Lab Work. CSEDU (2) (2023)
Junier Caminha Amorim, Eduardo Lemos Rocha, Luigi Minardi, Vander Alves, Edison Pignaton de Freitas, Thiago M. Castro, Moussa Amrani, James Ortiz, Pierre-Yves Schobbens, Gilles Perrouin
Providing command and control agility: A software product line approach. Expert Syst. Appl. 216 (2023)
Edilton Lima dos Santos, Pierre-Yves Schobbens, Ivan Machado, Gilles Perrouin
Architectural Bad Smells for Self-Adaptive Systems: Go Runtime! VaMoS (2023)
Moussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens
Towards the systematic design of model animation: key ingredients and general guidelines. MoDELS (Companion) (2022)
Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens
COMORP: Rapid prototyping for mathematical database cost models development. J. Comput. Lang. 73 (2022)
Edilton Lima dos Santos, Pierre-Yves Schobbens, Gilles Perrouin
Featured Scents: Towards Assessing Architectural Smells for Self-Adaptive Systems at Runtime. ICSA Companion (2022)
Edilton Lima dos Santos, Sophie Fortz, Pierre-Yves Schobbens, Gilles Perrouin
Behavioral Maps: Identifying Architectural Smells in Self-adaptive Systems at Runtime. ECSA (Tracks and Workshops) (2021)
Edilton Lima dos Santos, Sophie Fortz, Gilles Perrouin, Pierre-Yves Schobbens
A Vision to identify Architectural Smells in Self-Adaptive Systems using Behavioral Maps (short paper). ECSA (Companion) (2021)
Eun-Young Kang, Pierre-Yves Schobbens
InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics. MECO (2020)
Edilton Lima dos Santos, Gilles Perrouin, Pierre-Yves Schobbens
STARS: software technology for adaptable and reusable systems PhD research project. VaMoS (2020)
James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens
: A Distributed Real-Time Modal Logic. NFM (2019)
André Lanna, Thiago M. Castro, Vander Alves, Genaína Nunes Rodrigues, Pierre-Yves Schobbens, Sven Apel
Feature-family-based reliability analysis of software product lines. SPLC (A) (2019)
Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin
A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back (2019)
Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
Model-based mutant equivalence detection using automata language equivalence and simulations. J. Syst. Softw. 141 (2018)
André Lanna, Thiago M. Castro, Vander Alves, Genaína Nunes Rodrigues, Pierre-Yves Schobbens, Sven Apel
Feature-family-based reliability analysis of software product lines. Inf. Softw. Technol. 94 (2018)
Thiago M. Castro, André Lanna, Vander Alves, Leopoldo Teixeira, Sven Apel, Pierre-Yves Schobbens
All roads lead to Rome: Commuting strategies for product-line reliability analysis. Sci. Comput. Program. 152 (2018)
Adrien Duchêne, Hugues Marchal, Zhenjiang Hu, Pierre-Yves Schobbens
A lightweight data sharing system based on bidirectional transformations. Programming (2018)
Larissa Rocha Soares, Pierre-Yves Schobbens, Ivan do Carmo Machado, Eduardo Santana de Almeida
Feature interaction in software product line engineering: A systematic mapping study. Inf. Softw. Technol. 98 (2018)
James Jerson Ortiz Vega, Gilles Perrouin, Moussa Amrani, Pierre-Yves Schobbens
Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda. QRS (2018)
James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens
Multi-timed Bisimulation for Distributed Timed Automata. NFM (2017)
Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. ICST (2017)
Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans
On Featured Transition Systems. SOFSEM (2017)
Moussa Amrani, Pierre-Yves Schobbens
Formal Analysis of Object-Oriented Mograms. FTfJP@ECOOP (2017)
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
Statistical prioritization for software product line testing: an experience report. Softw. Syst. Model. 16 (1) (2017)
Fabian Gilson, André Bittar, Pierre-Yves Schobbens
Public Debates on the Web. ICWE (2017)
Kevin Colson, Robin Dupuis, Lionel Montrieux, Zhenjiang Hu, Sebastián Uchitel, Pierre-Yves Schobbens
Reusable self-adaptation through bidirectional programming. SEAMS@ICSE (2016)
Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
Search-based Similarity-driven Behavioural SPL Testing. VaMoS (2016)
Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
Featured model-based mutation analysis. ICSE (2016)
Moussa Amrani, Pierre-Yves Schobbens
Real-time model-driven engineering: an overview. PAME/VOLT@MoDELS (2016)
Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker
Counterexample guided abstraction refinement of product-line behavioural models. Software Engineering (2016)
Gilles Perrouin, Moussa Amrani, Mathieu Acher, Benoît Combemale, Axel Legay, Pierre-Yves Schobbens
Featured model types: towards systematic reuse in modelling language engineering. MiSE@ICSE (2016)
Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. VaMoS (2015)
Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
State machine flattening, a mapping study and tools assessment. ICST Workshops (2015)
Genaína Nunes Rodrigues, Vander Alves, Vinicius Nunes, André Lanna, Maxime Cordy, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Axel Legay
Modeling and Verification for Probabilistic Properties in Software Product Lines. HASE (2015)
Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans
Poster: VIBeS, Transition System Mutation Made Easy. ICSE (2) (2015)
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
Towards statistical prioritization for software product lines testing. VaMoS (2014)
Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. 80 (2014)
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens
A variability perspective of mutation analysis. SIGSOFT FSE (2014)
Eun-Young Kang, Pierre-Yves Schobbens
Schedulability analysis support for automotive systems: from requirement to implementation. SAC (2014)
Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens
Abstract test case generation for behavioural testing of software product lines. SPLC Workshops (2014)
Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans
Coverage Criteria for Behavioural Testing of Software Product Lines. ISoLA (1) (2014)
Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens
An extensible platform for product-line behavioural analysis. SPLC Workshops (2014)
Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker
Counterexample guided abstraction refinement of product-line behavioural models. SIGSOFT FSE (2014)
Axel Bodart, Keyvin Evrard, James Jerson Ortiz, Pierre-Yves Schobbens
ArThUR: A Tool for Markov Logic Network. OTM Workshops (2014)
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
State Machine Flattening: Mapping Study and Assessment. CoRR (2014)
Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
ProVeLines: a product line of verifiers for software product lines. SPLC Workshops (2013)
Damien De Nizza, James Jerson Ortiz, Hubert Meurisse, Pierre-Yves Schobbens
Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques. IC (2013)
Xavier Devroey, Maxime Cordy, Gilles Perrouin, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
Towards Statistical Prioritization for Software Product Lines Testing. CoRR (2013)
Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez
A framework for the rigorous design of highly adaptive timed systems. FormaliSE@ICSE (2013)
Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay
Verification for Reliable Product Lines. CoRR (2013)
Eun-Young Kang, Pierre-Yves Schobbens
Enabling formal analysis of energy-aware automotive embedded systems in East-adl. SpringSim (TMS-DEVS) (2013)
Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens
Model-Based Verification of Energy-Aware Real-Time Automotive Systems. ICECCS (2013)
Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Trans. Software Eng. 39 (8) (2013)
Eun-Young Kang, Pierre-Yves Schobbens
Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems. ICCA (2013)
Damien De Nizza, James Jerson Ortiz, Hubert Meurisse, Pierre-Yves Schobbens
ORTHOGEN : Système d'information intégré pour la traçabilité et la Gestion Multi-Paramètres des Infections Orthopédiques. INFORSID (2013)
Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
Beyond boolean product-line model checking: dealing with feature attributes and multi-features. ICSE (2013)
Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder, Ebrahim Khalil Abbasi
Supporting multiple perspectives in feature-based configuration. Softw. Syst. Model. 12 (3) (2013)
Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Pierre-Yves Schobbens, Paul Pettersson
A methodology for formal analysis and verification of EAST-ADL models. Reliab. Eng. Syst. Saf. 120 (2013)
Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
Simulation-based abstractions for software product-line model checking. ICSE (2012)
Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry
A Vision for Behavioural Model-Driven Validation of Software Product Lines. ISoLA (1) (2012)
Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
Model checking software product lines with SNIP. Int. J. Softw. Tools Technol. Transf. 14 (5) (2012)
Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens
Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach. QSIC (2012)
Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
Towards an incremental automata-based approach for software product-line model checking. SPLC (2) (2012)
Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
Managing evolution in software product lines: a model-checking perspective. VaMoS (2012)
Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
Behavioural modelling and verification of real-time software product lines. SPLC (1) (2012)
Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson
Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. SAFECOMP (2011)
James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens
Distributed Event Clock Automata - Extended Abstract. CIAA (2011)
Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
Symbolic model checking of software product lines. ICSE (2011)
Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder
Towards Multi-view Feature-Based Configuration. REFSQ (2010)
James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens
Memory Event Clocks. FORMATS (2010)
Lionel Montrieux, Jan Jürjens, Charles B. Haley, Yijun Yu, Pierre-Yves Schobbens, Hubert Toussaint
Tool support for code generation from a UMLsec property. ASE (2010)
Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin
Model checking lots of systems: efficient verification of temporal properties in software product lines. ICSE (1) (2010)
Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen
Evaluating formal properties of feature diagram languages. IET Softw. 2 (3) (2008)
Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens
What's in a Feature: A Requirements Engineering Perspective. FASE (2008)
Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
Clear justification of modeling decisions for goal-oriented requirements engineering. Requir. Eng. 13 (2) (2008)
Dirk Deridder, Jeff Gray, Alfonso Pierantonio, Pierre-Yves Schobbens
Model Co-evolution and Consistency Management (MCCM'08). MoDELS (Workshops) (2008)
Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
Model-checking the preservation of temporal properties upon feature integration. Int. J. Softw. Tools Technol. Transf. 9 (1) (2007)
Yves Bontemps, Pierre-Yves Schobbens
The computational complexity of scenario-based agent verification and design. J. Appl. Log. 5 (2) (2007)
Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
Achieving, Satisficing, and Excelling. ER Workshops (2007)
Andreas Metzger, Patrick Heymans, Klaus Pohl, Pierre-Yves Schobbens, Germain Saval
Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis. RE (2007)
Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps
Generic semantics of feature diagrams. Comput. Networks 51 (2) (2007)
Yves Bontemps, Germain Saval, Pierre-Yves Schobbens, Patrick Heymans
Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence. Tech. Sci. Informatiques 26 (7) (2007)
Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
Synthesising Features by Games. Electron. Notes Theor. Comput. Sci. 145 (2006)
Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps
Comparative Semantics of Feature Diagrams. EVOL (2006)
Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
A More Expressive Softgoal Conceptualization for Quality Requirements Analysis. ER (2006)
Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
Allocating Goals to Agent Roles During MAS Requirements Engineering. AOSE (2006)
Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
Justifying Goal Models. RE (2006)
Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux
Feature Diagrams: A Survey and a Formal Semantics. RE (2006)
Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
Model-checking the Preservation of Temporal Properties upon Feature Integration. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Yves Bontemps, Pierre-Yves Schobbens
The Complexity of Live Sequence Charts. FoSSaCS (2005)
Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens
From Live Sequence Charts to State Machines and Back: A Guided Tour. IEEE Trans. Software Eng. 31 (12) (2005)
Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
A New Algorithm for Strategy Synthesis in LTL Games. TACAS (2005)

Pierre-Yves Schobbens.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pierre-Yves Schobbens