Pierre-Yves Schobbens
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
62
Venues
36
Active years
1988–2025
Best venue rank
A*
Where they publish
- A*ICSE10 papers
- BSPLC6 papers
- AICST3 papers
- AMODELS3 papers
- ARE3 papers
- BCSEDU2 papers
- CMODELSWARD2 papers
- BECSA2 papers
- CISoLA2 papers
- AER2 papers
- ATACAS2 papers
- BIFM1 paper
- BESANN1 paper
- CVECoS1 paper
- AICSA1 paper
- CQRS1 paper
- AECOOP1 paper
- BICWE1 paper
- BSOFSEM1 paper
- MulticonferenceSAC1 paper
- BICECCS1 paper
- BSAFECOMP1 paper
- BREFSQ1 paper
- BFASE1 paper
- BFOSSACS1 paper
- CICTAC1 paper
- CTIME1 paper
- BVMCAI1 paper
- BCONCUR1 paper
- A*ICALP1 paper
- AECAI1 paper
- BTARK1 paper
- CICAIL1 paper
- CCOMPASS1 paper
- BFM1 paper
- AESOP1 paper
Papers
62 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IFM | Extending Timed Automata with Clock Derivatives. | David Corts, Jean Leneutre, Vadim Malvone, James Jerson Ortiz, Pierre-Yves Schobbens |
| 2024 | CSEDU | A Context-Aware Chatbot for Student Assistance Services in Higher Education. | Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens |
| 2024 | ESANN | CNNGen: A Generator and a Dataset for Energy-Aware Neural Architecture Search. | Antoine Gratia, Hong Liu, Shin'ichi Satoh, Paul Temple, Pierre-Yves Schobbens, Gilles Perrouin |
| 2023 | CSEDU | Learning Analytics Solution for Monitoring and Analyzing the Students' Behavior in SQL Lab Work. | Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens |
| 2023 | ICST | MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL. | Jaime Cuartas, Jess Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens |
| 2023 | MODELSWARD | Go Meta of Learned Cost Models: On the Power of Abstraction. | Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens |
| 2023 | MODELSWARD | Generating Custom Learned Cost Model for Query Optimizer of DBMS. | Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens |
| 2023 | VECoS | Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts. | Moussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens |
| 2022 | ICSA | Featured Scents: Towards Assessing Architectural Smells for Self-Adaptive Systems at Runtime. | Edilton Lima dos Santos, Pierre-Yves Schobbens, Gilles Perrouin |
| 2022 | MODELS | Towards the systematic design of model animation: key ingredients and general guidelines. | Moussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens |
| 2021 | ECSA | 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 |
| 2021 | ECSA | Behavioral Maps: Identifying Architectural Smells in Self-adaptive Systems at Runtime. | Edilton Lima dos Santos, Sophie Fortz, Pierre-Yves Schobbens, Gilles Perrouin |
| 2019 | SPLC | Feature-family-based reliability analysis of software product lines. | Andr Lanna, Thiago M. Castro, Vander Alves, Genana Nunes Rodrigues, Pierre-Yves Schobbens, Sven Apel |
| 2018 | QRS | Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda. | James Jerson Ortiz Vega, Gilles Perrouin, Moussa Amrani, Pierre-Yves Schobbens |
| 2017 | ECOOP | Formal Analysis of Object-Oriented Mograms. | Moussa Amrani, Pierre-Yves Schobbens |
| 2017 | ICST | 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 |
| 2017 | ICWE | Public Debates on the Web. | Fabian Gilson, Andr Bittar, Pierre-Yves Schobbens |
| 2017 | SOFSEM | On Featured Transition Systems. | Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans |
| 2016 | ICSE | Reusable self-adaptation through bidirectional programming. | Kevin Colson, Robin Dupuis, Lionel Montrieux, Zhenjiang Hu, Sebastin Uchitel, Pierre-Yves Schobbens |
| 2016 | ICSE | Featured model-based mutation analysis. | Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans |
| 2016 | ICSE | Featured model types: towards systematic reuse in modelling language engineering. | Gilles Perrouin, Moussa Amrani, Mathieu Acher, Benot Combemale, Axel Legay, Pierre-Yves Schobbens |
| 2016 | MODELS | Real-time model-driven engineering: an overview. | Moussa Amrani, Pierre-Yves Schobbens |
| 2015 | ICSE | Poster: VIBeS, Transition System Mutation Made Easy. | Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans |
| 2015 | ICST | State machine flattening, a mapping study and tools assessment. | Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans |
| 2014 | ISoLA | Coverage Criteria for Behavioural Testing of Software Product Lines. | Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans |
| 2014 | SAC | Schedulability analysis support for automotive systems: from requirement to implementation. | Eun-Young Kang, Pierre-Yves Schobbens |
| 2014 | SPLC | An extensible platform for product-line behavioural analysis. | Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens |
| 2014 | SPLC | Abstract test case generation for behavioural testing of software product lines. | Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens |
| 2013 | ICECCS | Model-Based Verification of Energy-Aware Real-Time Automotive Systems. | Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens |
| 2013 | ICSE | A framework for the rigorous design of highly adaptive timed systems. | Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez |
| 2013 | ICSE | Beyond boolean product-line model checking: dealing with feature attributes and multi-features. | Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay |
| 2013 | SPLC | ProVeLines: a product line of verifiers for software product lines. | Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay |
| 2012 | ICSE | Simulation-based abstractions for software product-line model checking. | Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay |
| 2012 | ISoLA | A Vision for Behavioural Model-Driven Validation of Software Product Lines. | Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry |
| 2012 | SPLC | Behavioural modelling and verification of real-time software product lines. | Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay |
| 2012 | SPLC | Towards an incremental automata-based approach for software product-line model checking. | Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay |
| 2011 | ICSE | Symbolic model checking of software product lines. | Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay |
| 2011 | SAFECOMP | Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. | Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson |
| 2010 | ICSE | Model checking lots of systems: efficient verification of temporal properties in software product lines. | Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-Franois Raskin |
| 2010 | REFSQ | Towards Multi-view Feature-Based Configuration. | Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder |
| 2008 | FASE | What's in a Feature: A Requirements Engineering Perspective. | Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens |
| 2008 | MODELS | Model Co-evolution and Consistency Management (MCCM'08). | Dirk Deridder, Jeff Gray, Alfonso Pierantonio, Pierre-Yves Schobbens |
| 2007 | ER | Achieving, Satisficing, and Excelling. | Ivan Jureta, Stphane Faulkner, Pierre-Yves Schobbens |
| 2007 | RE | 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 |
| 2006 | ER | A More Expressive Softgoal Conceptualization for Quality Requirements Analysis. | Ivan Jureta, Stphane Faulkner, Pierre-Yves Schobbens |
| 2006 | RE | Justifying Goal Models. | Ivan Jureta, Stphane Faulkner, Pierre-Yves Schobbens |
| 2006 | RE | Feature Diagrams: A Survey and a Formal Semantics. | Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux |
| 2005 | FOSSACS | The Complexity of Live Sequence Charts. | Yves Bontemps, Pierre-Yves Schobbens |
| 2005 | TACAS | A New Algorithm for Strategy Synthesis in LTL Games. | Aidan Harding, Mark Ryan, Pierre-Yves Schobbens |
| 2004 | ICTAC | An Algebraic Approach for Codesign. | Marc Aiguier, Stefan Broff, Pierre-Yves Schobbens |
| 2003 | TIME | Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. | Aidan Harding, Mark Ryan, Pierre-Yves Schobbens |
| 2002 | VMCAI | Approximating ATL | Aidan Harding, Mark Ryan, Pierre-Yves Schobbens |
| 1998 | CONCUR | Axioms for Real-Time Logics. | Jean-Franois Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger |
| 1998 | ICALP | The Regular Real-Time Languages. | Thomas A. Henzinger, Jean-Franois Raskin, Pierre-Yves Schobbens |
| 1997 | TACAS | Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time. | Jean-Franois Raskin, Pierre-Yves Schobbens |
| 1996 | ECAI | Intertranslating Counterfactuals and Updates. | Mark Ryan, Pierre-Yves Schobbens |
| 1996 | TARK | Counterfactuals and Updates as Inverse Modalities. | Mark Ryan, Pierre-Yves Schobbens, Odinaldo Rodrigues |
| 1993 | ICAIL | A Logic for Legal Hierarchies. | Pierre-Yves Schobbens |
| 1992 | COMPASS | Second-Order Proof Systems for Algebraic Specification Languages. | Pierre-Yves Schobbens |
| 1990 | FM | Two Approaches towards the Formalisation of VDM. | Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens |
| 1990 | ICSE | An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. | Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens |
| 1988 | ESOP | LPG: A Generic, Logic and Functional Programming Language. | Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens, Franois Wautier |