LPG: A Generic, Logic and Functional Programming Language. - Didier Bert; Pascal Drabik; Rachid Echahed; Olivier Declerfayt; Brigitte Demeuse; Pierre-Yves Schobbens; François Wautier (ESOP, 1988)

Two Approaches towards the Formalisation of VDM. - Christine Lafontaine; Yves Ledru; Pierre-Yves Schobbens (VDM Europe, 1990)

Applying VDM to large developments. - Yves Ledru; Pierre-Yves Schobbens (Formal Methods in Software Development, 1990)

An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. - Christine Lafontaine; Yves Ledru; Pierre-Yves Schobbens (ICSE, 1990)

Clean Algebraic Exception with Implicit Propagation. - Pierre-Yves Schobbens (AMAST, 1991)

On the meaning of "but". - Pierre-Yves Schobbens (IWSSD, 1991)

Second-Order Proof Systems for Algebraic Specification Languages. - Pierre-Yves Schobbens (COMPASS/ADT, 1992)

Exceptions in Algebraic Specifications - Pierre-Yves Schobbens (1992)

Extensions of Initial Models and their Second-Order Proof Systems. - Pierre-Yves Schobbens (HOA, 1993)

A Logic for Legal Hierarchies. - Pierre-Yves Schobbens (ICAIL, 1993)

Exceptions for Algebraic Specifications: On the Meaning of "but". - Pierre-Yves Schobbens (Sci. Comput. Program., 1993)

Belief Revision and Verisimilitude. - Mark Ryan 001; Pierre-Yves Schobbens (Notre Dame J. Formal Log., 1995)

Intertranslating Counterfactuals and Updates. - Mark Ryan 001; Pierre-Yves Schobbens (ECAI, 1996)

Counterfactuals and Updates as Inverse Modalities. - Mark Ryan 001; Pierre-Yves Schobbens; Odinaldo Rodrigues (TARK, 1996)

State Clock Logic: A Decidable Real-Time Logic. - Jean-François Raskin; Pierre-Yves Schobbens (HART, 1997)

Formal Models of Agents: An Introduction. - John-Jules Ch. Meyer; Pierre-Yves Schobbens (ModelAge Workshop, 1997)

Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time. - Jean-François Raskin; Pierre-Yves Schobbens (TACAS, 1997)

Counterfactuals and Updates as Inverse Modalities. - Mark Ryan 001; Pierre-Yves Schobbens (J. Log. Lang. Inf., 1997)

Axioms for Real-Time Logics. - Jean-François Raskin; Pierre-Yves Schobbens; Thomas A. Henzinger (CONCUR, 1998)

The Regular Real-Time Languages. - Thomas A. Henzinger; Jean-François Raskin; Pierre-Yves Schobbens (ICALP, 1998)

Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees. - Laurent Ferier; Jean-François Raskin; Pierre-Yves Schobbens (SMC@FLoC, 1999)

The Logic of "Initially" and "Next": Complete Axiomatization and Complexity. - Pierre-Yves Schobbens; Jean-François Raskin (Inf. Process. Lett., 1999)

The Logic of Event Clocks - Decidability, Complexity and Expressiveness. - Jean-François Raskin; Pierre-Yves Schobbens (J. Autom. Lang. Comb., 1999)

Proving feature non-interaction with Alternating-Time Temporal Logic. - Franck Cassez; Mark Dermot Ryan; Pierre-Yves Schobbens (FIREworks, 2000)

Agents and Roles: Refinement in Alternating-Time Temporal Logic. - Mark Ryan 001; Pierre-Yves Schobbens (ATAL, 2001)

Vérification automatique de logiques orientées agent. - Pierre-Yves Schobbens (JFIADSMA, 2001)

Approximating ATL* in ATL. - Aidan Harding; Mark Ryan 001; Pierre-Yves Schobbens (VMCAI, 2002)

A two-level temporal logic for evolving specifications. - Pierre-Yves Schobbens; Gunter Saake; Amílcar Sernadas; Cristina Sernadas (Inf. Process. Lett., 2002)

Operators and Laws for Combining Preference Relations. - Hajnal Andréka; Mark Ryan 001; Pierre-Yves Schobbens (J. Log. Comput., 2002)

Synthesis of Open Reactive Systems from Scenario-Based Specifications. - Yves Bontemps; Pierre-Yves Schobbens (ACSD, 2003)

Lightweight Formal Methods for Scenario-Based Software Engineering. - Yves Bontemps; Patrick Heymans; Pierre-Yves Schobbens (Scenarios: Models, Transformations and Tools, 2003)

Feature Integration as Substitution. - Dimitar P. Guelev; Mark Dermot Ryan; Pierre-Yves Schobbens (FIW, 2003)

Towards Symbolic Strategy Synthesis for left langle { left langle A right rangle } right rangle-LTL. - Aidan Harding; Mark Ryan 001; Pierre-Yves Schobbens (TIME, 2003)

Alternating-time logic with imperfect recall. - Pierre-Yves Schobbens (LCMAS, 2003)

An Algebraic Approach for Codesign. - Marc Aiguier; Stefan Béroff; Pierre-Yves Schobbens (ICTAC, 2004)

Model-Checking Access Control Policies. - Dimitar P. Guelev; Mark Ryan 001; Pierre-Yves Schobbens (ISC, 2004)

Synthesis of Open Reactive Systems from Scenario-Based Specifications. - Yves Bontemps; Pierre-Yves Schobbens; Christof Löding (Fundam. Informaticae, 2004)

Generic Semantics of Feature Diagrams Variants. - Yves Bontemps; Patrick Heymans; Pierre-Yves Schobbens; Jean-Christophe Trigaux (FIW, 2005)

The Complexity of Live Sequence Charts. - Yves Bontemps; Pierre-Yves Schobbens (FoSSaCS, 2005)

A New Algorithm for Strategy Synthesis in LTL Games. - Aidan Harding; Mark Ryan 001; Pierre-Yves Schobbens (TACAS, 2005)

Synthesising Features by Games. - Dimitar P. Guelev; Mark Dermot Ryan; Pierre-Yves Schobbens (AVoCS, 2005)

From Live Sequence Charts to State Machines and Back: A Guided Tour. - Yves Bontemps; Patrick Heymans; Pierre-Yves Schobbens (IEEE Trans. Software Eng., 2005)

Allocating Goals to Agent Roles During MAS Requirements Engineering. - Ivan Jureta; Stéphane Faulkner; Pierre-Yves Schobbens (AOSE, 2006)

A More Expressive Softgoal Conceptualization for Quality Requirements Analysis. - Ivan Jureta; Stéphane Faulkner; Pierre-Yves Schobbens (ER, 2006)

Comparative Semantics of Feature Diagrams. - Pierre-Yves Schobbens; Patrick Heymans; Jean-Christophe Trigaux; Yves Bontemps (EVOL, 2006)

Justifying Goal Models. - Ivan Jureta; Stéphane Faulkner; Pierre-Yves Schobbens (RE, 2006)

Feature Diagrams: A Survey and a Formal Semantics. - Pierre-Yves Schobbens; Patrick Heymans; Jean-Christophe Trigaux (RE, 2006)

Achieving, Satisficing, and Excelling. - Ivan Jureta; Stéphane Faulkner; Pierre-Yves Schobbens (ER Workshops, 2007)

Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis. - Andreas Metzger; Patrick Heymans; Klaus Pohl; Pierre-Yves Schobbens; Germain Saval (RE, 2007)

Generic semantics of feature diagrams. - Pierre-Yves Schobbens; Patrick Heymans; Jean-Christophe Trigaux; Yves Bontemps (Comput. Networks, 2007)

The computational complexity of scenario-based agent verification and design. - Yves Bontemps; Pierre-Yves Schobbens (J. Appl. Log., 2007)

Model-checking the preservation of temporal properties upon feature integration. - Dimitar P. Guelev; Mark Dermot Ryan; Pierre-Yves Schobbens (Int. J. Softw. Tools Technol. Transf., 2007)

Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence. - Yves Bontemps; Germain Saval; Pierre-Yves Schobbens; Patrick Heymans (Tech. Sci. Informatiques, 2007)

What's in a Feature: A Requirements Engineering Perspective. - Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens (FASE, 2008)

Model Co-evolution and Consistency Management (MCCM'08). - Dirk Deridder; Jeff Gray 001; Alfonso Pierantonio; Pierre-Yves Schobbens (MoDELS (Workshops), 2008)

Evaluating formal properties of feature diagram languages. - Patrick Heymans; Pierre-Yves Schobbens; Jean-Christophe Trigaux; Yves Bontemps; Raimundas Matulevicius; Andreas Classen (IET Softw., 2008)

Clear justification of modeling decisions for goal-oriented requirements engineering. - Ivan Jureta; Stéphane Faulkner; Pierre-Yves Schobbens (Requir. Eng., 2008)

Memory Event Clocks. - James Jerson Ortiz; Axel Legay; Pierre-Yves Schobbens (FORMATS, 2010)

Model checking lots of systems: efficient verification of temporal properties in software product lines. - Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens; Axel Legay; Jean-François Raskin (ICSE (1), 2010)

Tool support for code generation from a UMLsec property. - Lionel Montrieux; Jan Jürjens; Charles B. Haley; Yijun Yu; Pierre-Yves Schobbens; Hubert Toussaint (ASE, 2010)

Towards Multi-view Feature-Based Configuration. - Arnaud Hubaux; Patrick Heymans; Pierre-Yves Schobbens; Dirk Deridder (REFSQ, 2010)

Symbolic model checking of software product lines. - Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens; Axel Legay (ICSE, 2011)

Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. - Eun-Young Kang 001; Pierre-Yves Schobbens; Paul Pettersson (SAFECOMP, 2011)

Distributed Event Clock Automata - Extended Abstract. - James Jerson Ortiz; Axel Legay; Pierre-Yves Schobbens (CIAA, 2011)

Simulation-based abstractions for software product-line model checking. - Maxime Cordy; Andreas Classen; Gilles Perrouin; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay (ICSE, 2012)

A Vision for Behavioural Model-Driven Validation of Software Product Lines. - Xavier Devroey; Maxime Cordy; Gilles Perrouin; Eun-Young Kang 001; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay; Benoit Baudry (ISoLA (1), 2012)

Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach. - Eun-Young Kang 001; Gilles Perrouin; Pierre-Yves Schobbens (QSIC, 2012)

Behavioural modelling and verification of real-time software product lines. - Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay (SPLC (1), 2012)

Towards an incremental automata-based approach for software product-line model checking. - Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay (SPLC (2), 2012)

Managing evolution in software product lines: a model-checking perspective. - Maxime Cordy; Andreas Classen; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay (VaMoS, 2012)

Model checking software product lines with SNIP. - Andreas Classen; Maxime Cordy; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens (Int. J. Softw. Tools Technol. Transf., 2012)

Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques. - Damien De Nizza; James Jerson Ortiz; Hubert Meurisse; Pierre-Yves Schobbens (IC, 2013)

Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems. - Eun-Young Kang 001; Pierre-Yves Schobbens (ICCA, 2013)

Model-Based Verification of Energy-Aware Real-Time Automotive Systems. - Eun-Young Kang 001; Gilles Perrouin; Pierre-Yves Schobbens (ICECCS, 2013)

A framework for the rigorous design of highly adaptive timed systems. - Maxime Cordy; Axel Legay; Pierre-Yves Schobbens; Louis-Marie Traonouez (FormaliSE@ICSE, 2013)

Beyond boolean product-line model checking: dealing with feature attributes and multi-features. - Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay (ICSE, 2013)

ORTHOGEN : Système d'information intégré pour la traçabilité et la Gestion Multi-Paramètres des Infections Orthopédiques. - Damien De Nizza; James Jerson Ortiz; Hubert Meurisse; Pierre-Yves Schobbens (INFORSID, 2013)

ProVeLines: a product line of verifiers for software product lines. - Maxime Cordy; Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens; Axel Legay (SPLC Workshops, 2013)

Enabling formal analysis of energy-aware automotive embedded systems in East-adl. - Eun-Young Kang 001; Pierre-Yves Schobbens (SpringSim (TMS-DEVS), 2013)

Verification for Reliable Product Lines. - Maxime Cordy; Patrick Heymans; Pierre-Yves Schobbens; Amir Molzam Sharifloo; Carlo Ghezzi; Axel Legay (CoRR, 2013)

A methodology for formal analysis and verification of EAST-ADL models. - Eun-Young Kang 001; Eduard Paul Enoiu; Raluca Marinescu; Cristina Cerschi Seceleanu; Pierre-Yves Schobbens; Paul Pettersson (Reliab. Eng. Syst. Saf., 2013)

Supporting multiple perspectives in feature-based configuration. - Arnaud Hubaux; Patrick Heymans; Pierre-Yves Schobbens; Dirk Deridder; Ebrahim Khalil Abbasi (Softw. Syst. Model., 2013)

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. - Andreas Classen; Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay; Jean-François Raskin (IEEE Trans. Software Eng., 2013)

Model Checking Adaptive Software with Featured Transition Systems. - Maxime Cordy; Andreas Classen; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens (Assurances for Self-Adaptive Systems, 2013)

Coverage Criteria for Behavioural Testing of Software Product Lines. - Xavier Devroey; Gilles Perrouin; Axel Legay; Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans (ISoLA (1), 2014)

ArThUR: A Tool for Markov Logic Network. - Axel Bodart; Keyvin Evrard; James Jerson Ortiz; Pierre-Yves Schobbens (OTM Workshops, 2014)

Schedulability analysis support for automotive systems: from requirement to implementation. - Eun-Young Kang 001; Pierre-Yves Schobbens (SAC, 2014)

Counterexample guided abstraction refinement of product-line behavioural models. - Maxime Cordy; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens; Bruno Dawagne; Martin Leucker (SIGSOFT FSE, 2014)

A variability perspective of mutation analysis. - Xavier Devroey; Gilles Perrouin; Maxime Cordy; Mike Papadakis; Axel Legay; Pierre-Yves Schobbens (SIGSOFT FSE, 2014)

An extensible platform for product-line behavioural analysis. - Maxime Cordy; Marco Willemart; Bruno Dawagne; Patrick Heymans; Pierre-Yves Schobbens (SPLC Workshops, 2014)

Abstract test case generation for behavioural testing of software product lines. - Xavier Devroey; Gilles Perrouin; Pierre-Yves Schobbens (SPLC Workshops, 2014)

Towards statistical prioritization for software product lines testing. - Xavier Devroey; Gilles Perrouin; Maxime Cordy; Pierre-Yves Schobbens; Axel Legay; Patrick Heymans (VaMoS, 2014)

State Machine Flattening: Mapping Study and Assessment. - Xavier Devroey; Gilles Perrouin; Maxime Cordy; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (CoRR, 2014)

Formal semantics, modular specification, and symbolic verification of product-line behaviour. - Andreas Classen; Maxime Cordy; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens (Sci. Comput. Program., 2014)

Modeling and Verification for Probabilistic Properties in Software Product Lines. - Genaína Nunes Rodrigues; Vander Alves; Vinicius Nunes; André Lanna; Maxime Cordy; Pierre-Yves Schobbens; Amir Molzam Sharifloo; Axel Legay (HASE, 2015)

Poster: VIBeS, Transition System Mutation Made Easy. - Xavier Devroey; Gilles Perrouin; Pierre-Yves Schobbens; Patrick Heymans (ICSE (2), 2015)

State machine flattening, a mapping study and tools assessment. - Xavier Devroey; Maxime Cordy; Pierre-Yves Schobbens; Axel Legay; Patrick Heymans (ICST Workshops, 2015)

Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. - Xavier Devroey; Gilles Perrouin; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (VaMoS, 2015)

Reusable self-adaptation through bidirectional programming. - Kevin Colson; Robin Dupuis; Lionel Montrieux; Zhenjiang Hu; Sebastián Uchitel; Pierre-Yves Schobbens (SEAMS@ICSE, 2016)

Featured model-based mutation analysis. - Xavier Devroey; Gilles Perrouin; Mike Papadakis; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (ICSE, 2016)

Featured model types: towards systematic reuse in modelling language engineering. - Gilles Perrouin; Moussa Amrani; Mathieu Acher; Benoît Combemale; Axel Legay; Pierre-Yves Schobbens (MiSE@ICSE, 2016)

Real-time model-driven engineering: an overview. - Moussa Amrani; Pierre-Yves Schobbens (PAME/VOLT@MoDELS, 2016)

Search-based Similarity-driven Behavioural SPL Testing. - Xavier Devroey; Gilles Perrouin; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (VaMoS, 2016)

Formal Analysis of Object-Oriented Mograms. - Moussa Amrani; Pierre-Yves Schobbens (FTfJP@ECOOP, 2017)

Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. - Xavier Devroey; Gilles Perrouin; Mike Papadakis; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (ICST, 2017)

Public Debates on the Web. - Fabian Gilson; André Bittar; Pierre-Yves Schobbens (ICWE, 2017)

Multi-timed Bisimulation for Distributed Timed Automata. - James Jerson Ortiz; Moussa Amrani; Pierre-Yves Schobbens (NFM, 2017)

On Featured Transition Systems. - Axel Legay; Gilles Perrouin; Xavier Devroey; Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans (SOFSEM, 2017)

Statistical prioritization for software product line testing: an experience report. - Xavier Devroey; Gilles Perrouin; Maxime Cordy; Hamza Samih; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (Softw. Syst. Model., 2017)

A lightweight data sharing system based on bidirectional transformations. - Adrien Duchêne; Hugues Marchal; Zhenjiang Hu; Pierre-Yves Schobbens (Programming, 2018)

Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda. - James Jerson Ortiz Vega; Gilles Perrouin; Moussa Amrani; Pierre-Yves Schobbens (QRS, 2018)

Feature interaction in software product line engineering: A systematic mapping study. - Larissa Rocha Soares; Pierre-Yves Schobbens; Ivan do Carmo Machado; Eduardo Santana de Almeida (Inf. Softw. Technol., 2018)

Model-based mutant equivalence detection using automata language equivalence and simulations. - Xavier Devroey; Gilles Perrouin; Mike Papadakis; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (J. Syst. Softw., 2018)

All roads lead to Rome: Commuting strategies for product-line reliability analysis. - Thiago M. Castro; André Lanna; Vander Alves; Leopoldo Teixeira; Sven Apel; Pierre-Yves Schobbens (Sci. Comput. Program., 2018)

A Decade of Featured Transition Systems. - Maxime Cordy; Xavier Devroey; Axel Legay; Gilles Perrouin; Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens; Jean-François Raskin (From Software Engineering to Formal Methods and Tools, and Back, 2019)

MLν: A Distributed Real-Time Modal Logic. - James Jerson Ortiz; Moussa Amrani; Pierre-Yves Schobbens (NFM, 2019)

Feature-family-based reliability analysis of software product lines. - André Lanna; Thiago M. Castro; Vander Alves; Genaína Nunes Rodrigues; Pierre-Yves Schobbens; Sven Apel (SPLC (A), 2019)

InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics. - Eun-Young Kang 001; Pierre-Yves Schobbens (MECO, 2020)

STARS: software technology for adaptable and reusable systems PhD research project. - Edilton Lima dos Santos; Gilles Perrouin; Pierre-Yves Schobbens (VaMoS, 2020)

A Vision to identify Architectural Smells in Self-Adaptive Systems using Behavioral Maps (short paper). - Edilton Lima dos Santos; Sophie Fortz; Gilles Perrouin; Pierre-Yves Schobbens (ECSA (Companion), 2021)

Behavioral Maps: Identifying Architectural Smells in Self-adaptive Systems at Runtime. - Edilton Lima dos Santos; Sophie Fortz; Pierre-Yves Schobbens; Gilles Perrouin (ECSA (Tracks and Workshops), 2021)

Featured Scents: Towards Assessing Architectural Smells for Self-Adaptive Systems at Runtime. - Edilton Lima dos Santos; Pierre-Yves Schobbens; Gilles Perrouin (ICSA Companion, 2022)

Towards the systematic design of model animation: key ingredients and general guidelines. - Moussa Amrani; Abdelkader Ouared; Pierre-Yves Schobbens (MoDELS (Companion), 2022)

COMORP: Rapid prototyping for mathematical database cost models development. - Abdelkader Ouared; Moussa Amrani; Pierre-Yves Schobbens (J. Comput. Lang., 2022)

Learning Analytics Solution for Monitoring and Analyzing the Students' Behavior in SQL Lab Work. - Abdelkader Ouared; Moussa Amrani; Pierre-Yves Schobbens (CSEDU (2), 2023)

MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL. - Jaime Cuartas; Jesús Aranda; Maxime Cordy; James Ortiz 001; Gilles Perrouin; Pierre-Yves Schobbens (ICSTW, 2023)

Go Meta of Learned Cost Models: On the Power of Abstraction. - Abdelkader Ouared; Moussa Amrani; Pierre-Yves Schobbens (MODELSWARD, 2023)

Generating Custom Learned Cost Model for Query Optimizer of DBMS. - Abdelkader Ouared; Moussa Amrani; Pierre-Yves Schobbens (MODELSWARD (Revised Selected Papers), 2023)

Towards Strengthening Formal Specifications with Mutation Model Checking. - Maxime Cordy; Sami Lazreg; Axel Legay; Pierre-Yves Schobbens (ESEC/SIGSOFT FSE, 2023)

Architectural Bad Smells for Self-Adaptive Systems: Go Runtime! - Edilton Lima dos Santos; Pierre-Yves Schobbens; Ivan Machado 001; Gilles Perrouin (VaMoS, 2023)

Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts. - Moussa Amrani; Abdelkader Ouared; Pierre-Yves Schobbens (VECoS, 2023)

Explainable AI for DBA: Bridging the DBA's experience and machine learning in tuning database systems. - Abdelkader Ouared; Moussa Amrani; Pierre-Yves Schobbens (Concurr. Comput. Pract. Exp., 2023)

Providing command and control agility: A software product line approach. - Junier Caminha Amorim; Eduardo Lemos Rocha; Luigi Minardi; Vander Alves; Edison Pignaton de Freitas; Thiago M. Castro; Moussa Amrani; James Ortiz 001; Pierre-Yves Schobbens; Gilles Perrouin (Expert Syst. Appl., 2023)

A Context-Aware Chatbot for Student Assistance Services in Higher Education. - Abdelkader Ouared; Moussa Amrani; Pierre-Yves Schobbens (CSEDU (1), 2024)

CNNGen: A Generator and a Dataset for Energy-Aware Neural Architecture Search. - Antoine Gratia; Hong Liu 009; Shin'ichi Satoh 001; Paul Temple; Pierre-Yves Schobbens; Gilles Perrouin (ESANN, 2024)

Time for Networks: Mutation Testing for Timed Automata Networks. - David Cortés; James Ortiz 001; Davide Basile 001; Jesús Aranda; Gilles Perrouin; Pierre-Yves Schobbens (FormaliSE@ICSE, 2024)

You Can REST Now: Automated Specification Inference and Black-Box Testing of RESTful APIs with Large Language Models. - Alix Decrop; Gilles Perrouin; Mike Papadakis; Xavier Devroey; Pierre-Yves Schobbens (CoRR, 2024)

Deep variability modeling to enhance reproducibility of database performance testing. - Abdelkader Ouared; Moussa Amrani; Abdelhafid Chadli; Pierre-Yves Schobbens (Clust. Comput., 2024)

MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-Based Systems. - Jaime Cuartas; David Cortés; Joan S. Betancourt; Jesús Aranda; Maxime Cordy; James Ortiz 001; Gilles Perrouin; Pierre-Yves Schobbens (Softw. Test. Verification Reliab., 2025)