Contact

All Stories

  1. Energy-Aware Neural Architecture Search: Leveraging Genetic Algorithms for Balancing Performance and Consumption

    Article • January 2025, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  2. MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real‐Time Model‐Based Systems

    Article • Software Testing Verification and Reliability, November 2024, Wiley

    Prof. Pierre Yves Schobbens

  3. Deep variability modeling to enhance reproducibility of database performance testing

    Article • Cluster Computing, June 2024, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  4. Time for Networks: Mutation Testing for Timed Automata Networks

    Article • April 2024, ACM (Association for Computing Machinery)

    FNRS Research Associate Gilles Perrouin, Prof. Pierre Yves Schobbens

  5. Generating Custom Learned Cost Model for Query Optimizer of DBMS

    Article • January 2024, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  6. CNNGen: A Generator and a Dataset for Energy-Aware Neural Architecture Search

    Article • January 2024, Centre de Recherche en Demographie et Societes

    Prof. Pierre Yves Schobbens

  7. Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts

    Article • December 2023, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  8. Towards Strengthening Formal Specifications with Mutation Model Checking

    Article • November 2023, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens

  9. Providing command and control agility: A software product line approach

    Article • Expert Systems with Applications, April 2023, Elsevier

    FNRS Research Associate Gilles Perrouin, Prof. Pierre Yves Schobbens

  10. MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL

    Article • April 2023, Institute of Electrical & Electronics Engineers (IEEE)

    FNRS Research Associate Gilles Perrouin, Prof. Pierre Yves Schobbens

  11. Explainable AI for DBA: Bridging the DBA's experience and machine learning in tuning database systems

    Article • Concurrency and Computation Practice and Experience, March 2023, Wiley

    Prof. Pierre Yves Schobbens

  12. Architectural Bad Smells for Self-Adaptive Systems: Go Runtime!

    Article • January 2023, ACM (Association for Computing Machinery)

    FNRS Research Associate Gilles Perrouin, Prof. Pierre Yves Schobbens

  13. Go Meta of Learned Cost Models: On the Power of Abstraction

    Article • January 2023, Scitepress

    Prof. Pierre Yves Schobbens

  14. Learning Analytics Solution for Monitoring and Analyzing the Students’ Behavior in SQL Lab Work

    Article • January 2023, Scitepress

    Prof. Pierre Yves Schobbens

  15. COMORP: Rapid prototyping for mathematical database cost models development

    Article • Journal of Computer Languages, December 2022, Elsevier

    Prof. Pierre Yves Schobbens

  16. Featured Scents: Towards Assessing Architectural Smells for Self-Adaptive Systems at Runtime

    Article • March 2022, Institute of Electrical & Electronics Engineers (IEEE)

    FNRS Research Associate Gilles Perrouin, Prof. Pierre Yves Schobbens

  17. Behavioral Maps: Identifying Architectural Smells in Self-adaptive Systems at Runtime

    Article • January 2022, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  18. InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics

    Article • June 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens

  19. STARS

    Article • February 2020, ACM (Association for Computing Machinery)

    FNRS Research Associate Gilles Perrouin, Prof. Pierre Yves Schobbens

  20. Feature-Family-Based Reliability Analysis of Software Product Lines

    Article • September 2019, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens

  21. A Decade of Featured Transition Systems

    Article • January 2019, Springer Science + Business Media

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  22. $$\textsf {ML}_{\nu }$$ : A Distributed Real-Time Modal Logic

    Article • January 2019, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

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

    Article • Journal of Systems and Software, July 2018, Elsevier

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  24. Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda

    Article • July 2018, Institute of Electrical & Electronics Engineers (IEEE)

    FNRS Research Associate Gilles Perrouin, Prof. Pierre Yves Schobbens

  25. Feature interaction in software product line engineering: A systematic mapping study

    Article • Information and Software Technology, June 2018, Elsevier

    Prof. Pierre Yves Schobbens

  26. A lightweight data sharing system based on bidirectional transformations

    Article • April 2018, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens

  27. Feature-family-based reliability analysis of software product lines

    Article • Information and Software Technology, February 2018, Elsevier

    Prof. Pierre Yves Schobbens

  28. All roads lead to Rome: Commuting strategies for product-line reliability analysis

    Article • Science of Computer Programming, January 2018, Elsevier

    Prof. Pierre Yves Schobbens

  29. Formal Analysis of Object-Oriented Mograms

    Article • June 2017, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens

  30. Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation

    Article • March 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  31. On Featured Transition Systems

    Article • January 2017, Springer Science + Business Media

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  32. Public Debates on the Web

    Article • January 2017, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  33. Multi-timed Bisimulation for Distributed Timed Automata

    Article • January 2017, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  34. Featured model-based mutation analysis

    Article • May 2016, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens, Dr Mike PAPADAKIS, FNRS Research Associate Gilles Perrouin

  35. Reusable self-adaptation through bidirectional programming

    Article • May 2016, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens

  36. Search-based Similarity-driven Behavioural SPL Testing

    Article • January 2016, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  37. Featured model types

    Article • January 2016, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  38. Statistical prioritization for software product line testing: an experience report

    Article • Software & Systems Modeling, July 2015, Springer Science + Business Media

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  39. Poster: VIBeS, Transition System Mutation Made Easy

    Article • May 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  40. State machine flattening, a mapping study and tools assessment

    Article • April 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens

  41. Covering SPL Behaviour with Sampled Configurations

    Article • January 2015, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  42. Modeling and Verification for Probabilistic Properties in Software Product Lines

    Article • January 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens

  43. Schedulability analysis support for automotive systems

    Article • March 2014, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens

  44. Formal semantics, modular specification, and symbolic verification of product-line behaviour

    Article • Science of Computer Programming, February 2014, Elsevier

    Prof. Pierre Yves Schobbens

  45. Towards statistical prioritization for software product lines testing

    Article • January 2014, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  46. A variability perspective of mutation analysis

    Article • January 2014, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS, Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  47. Abstract test case generation for behavioural testing of software product lines

    Article • January 2014, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  48. Counterexample guided abstraction refinement of product-line behavioural models

    Article • January 2014, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens

  49. An extensible platform for product-line behavioural analysis

    Article • January 2014, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens

  50. ArThUR: A Tool for Markov Logic Network

    Article • January 2014, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  51. Coverage Criteria for Behavioural Testing of Software Product Lines

    Article • January 2014, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

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

    Article • Reliability Engineering & System Safety, December 2013, Elsevier

    Prof. Pierre Yves Schobbens

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

    Article • IEEE Transactions on Software Engineering, August 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens

  54. Model-Based Verification of Energy-Aware Real-Time Automotive Systems

    Article • July 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  55. Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems

    Article • June 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens

  56. A framework for the rigorous design of highly adaptive timed systems

    Article • May 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens

  57. Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features

    Article • May 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens

  58. Model Checking Adaptive Software with Featured Transition Systems

    Article • January 2013, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  59. ProVeLines

    Article • January 2013, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens

  60. Assurances for Self-Adaptive Systems

    Article • January 2013, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  61. Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach

    Article • August 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  62. Model checking software product lines with SNIP

    Article • International Journal on Software Tools for Technology Transfer, June 2012, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  63. Simulation-based abstractions for software product-line model checking

    Article • June 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  64. Managing evolution in software product lines

    Article • January 2012, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens

  65. A Vision for Behavioural Model-Driven Validation of Software Product Lines

    Article • January 2012, Springer Science + Business Media

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  66. Behavioural modelling and verification of real-time software product lines

    Article • January 2012, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens

  67. Towards an incremental automata-based approach for software product-line model checking

    Article • January 2012, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens

  68. Supporting multiple perspectives in feature-based configuration

    Article • Software & Systems Modeling, November 2011, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  69. Symbolic model checking of software product lines

    Article • May 2011, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens

  70. Distributed Event Clock Automata

    Article • January 2011, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  71. Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT

    Article • January 2011, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  72. Tool support for code generation from a UMLsec property

    Article • September 2010, ACM (Association for Computing Machinery)

    Dr Yijun Yu, Prof. Pierre Yves Schobbens

  73. Memory Event Clocks

    Article • January 2010, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  74. Model checking lots of systems

    Article • January 2010, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens

  75. Towards Multi-view Feature-Based Configuration

    Article • January 2010, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  76. Model Co-evolution and Consistency Management (MCCM’08)

    Article • January 2009, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  77. Evaluating formal properties of feature diagram languages

    Article • IET Software, January 2008, the Institution of Engineering and Technology (the IET)

    Prof. Pierre Yves Schobbens

  78. Clear justification of modeling decisions for goal-oriented requirements engineering

    Article • Requirements Engineering, October 2007, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  79. Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence

    Article • Techniques et sciences informatiques, October 2007, Lavoisier

    Prof. Pierre Yves Schobbens

  80. Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis

    Article • October 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens

  81. RE Theory Meets Software Practice: Lessons from the Software Development Trenches

    Article • October 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens

  82. The computational complexity of scenario-based agent verification and design

    Article • Journal of Applied Logic, June 2007, Elsevier

    Prof. Pierre Yves Schobbens

  83. Generic semantics of feature diagrams

    Article • Computer Networks, February 2007, Elsevier

    Prof. Pierre Yves Schobbens

  84. Recent Trends in Algebraic Development Techniques

    Article • January 2007, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  85. Model-checking the preservation of temporal properties upon feature integration

    Article • International Journal on Software Tools for Technology Transfer, September 2006, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  86. Justifying Goal Models

    Article • September 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens

  87. Comparative semantics of Feature Diagrams: FFD vs. vDFD

    Article • September 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens

  88. Feature Diagrams: A Survey and a Formal Semantics

    Article • September 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens

  89. A More Expressive Softgoal Conceptualization for Quality Requirements Analysis

    Article • January 2006, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  90. Synthesising Features by Games

    Article • Electronic Notes in Theoretical Computer Science, January 2006, Elsevier

    Prof. Pierre Yves Schobbens

  91. From live sequence charts to state machines and back: a guided tour

    Article • IEEE Transactions on Software Engineering, December 2005, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens

  92. Model-checking the Preservation of Temporal Properties upon Feature Integration

    Article • Electronic Notes in Theoretical Computer Science, May 2005, Elsevier

    Prof. Pierre Yves Schobbens

  93. A New Algorithm for Strategy Synthesis in LTL Games

    Article • January 2005, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  94. An Algebraic Approach for Codesign

    Article • January 2005, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  95. Lightweight Formal Methods for Scenario-Based Software Engineering

    Article • January 2005, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  96. The Complexity of Live Sequence Charts

    Article • January 2005, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  97. Alternating-time logic with imperfect recall

    Article • Electronic Notes in Theoretical Computer Science, April 2004, Elsevier

    Prof. Pierre Yves Schobbens

  98. Model-Checking Access Control Policies

    Article • January 2004, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  99. A two-level temporal logic for evolving specifications

    Article • Information Processing Letters, August 2002, Elsevier

    Prof. Pierre Yves Schobbens

  100. Axioms for real-time logics

    Article • Theoretical Computer Science, March 2002, Elsevier

    Prof. Pierre Yves Schobbens

  101. Operators and Laws for Combining Preference Relations

    Article • Journal of Logic and Computation, February 2002, Oxford University Press (OUP)

    Prof. Pierre Yves Schobbens

  102. Approximating ATL* in ATL

    Article • January 2002, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  103. Agents and Roles: Refinement in Alternating-Time Temporal Logic

    Article • January 2002, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  104. Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees

    Article • Electronic Notes in Theoretical Computer Science, December 2001, Elsevier

    Prof. Pierre Yves Schobbens

  105. Proving feature non-interaction with Alternating-Time Temporal Logic

    Article • January 2001, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  106. The logic of “initially” and “next”: Complete axiomatization and complexity

    Article • Information Processing Letters, March 1999, Elsevier

    Prof. Pierre Yves Schobbens

  107. Formal Models of Agents

    Article • January 1999, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  108. Formal Models of Agents: An Introduction

    Article • January 1999, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  109. The regular real-time languages

    Article • January 1998, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  110. Axioms for real-time logics

    Article • January 1998, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  111. Real-time logics: Fictitious clock as an abstraction of dense time

    Article • January 1997, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  112. State clock logic: A decidable real-time logic

    Article • January 1997, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  113. Article • Journal of Logic Language and Information, January 1997, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  114. Belief Revision and Verisimilitude

    Article • Notre Dame Journal of Formal Logic, January 1995, Duke University Press

    Prof. Pierre Yves Schobbens

  115. Extensions of initial models and their second-order proof systems

    Article • January 1994, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  116. Second-order proof systems for algebraic specification languages

    Article • January 1994, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  117. Exceptions for algebraic specifications: on the meaning of “but”

    Article • Science of Computer Programming, April 1993, Elsevier

    Prof. Pierre Yves Schobbens

  118. A logic for legal hierarchies

    Article • January 1993, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens

  119. An experiment in formal software development: using the B theorem prover on a VDM case study

    Article • Communications of the ACM, May 1991, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens

  120. Applying VDM to large developments

    Article • ACM SIGSOFT Software Engineering Notes, April 1990, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens

  121. Applying VDM to large developments

    Article • January 1990, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens

  122. Two approaches towards the formalisation of VDM

    Article • January 1990, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  123. LPG: A generic, logic and functional programming language

    Article • January 1988, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  124. Achieving, Satisficing, and Excelling

    Article • Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  125. Allocating Goals to Agent Roles During MAS Requirements Engineering

    Article • Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  126. Towards symbolic strategy synthesis for >>A<<-LTL

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens

  127. Synthesis of open reactive systems from scenario-based specifications

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens

  128. An experiment in formal software development: using the B theorem prover on a VDM case study

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens

  129. What’s in a Feature: A Requirements Engineering Perspective

    Article • Springer Science + Business Media

    Prof. Pierre Yves Schobbens