Contact

All Stories

  1. A Decade of Featured Transition Systems

    Article • January 2019, Springer Science + Business Media

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  2. 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

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

    Article • Information and Software Technology, February 2018, Elsevier

    Prof. Pierre Yves Schobbens

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

    Article • Science of Computer Programming, January 2018, Elsevier

    Prof. Pierre Yves Schobbens

  5. 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

  6. On Featured Transition Systems

    Article • January 2017, Springer Science + Business Media

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  7. 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

  8. Reusable self-adaptation through bidirectional programming

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

    Prof. Pierre Yves Schobbens

  9. Search-based Similarity-driven Behavioural SPL Testing

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

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  10. Featured model types

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

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  11. 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

  12. 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

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

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

    Prof. Pierre Yves Schobbens

  14. Covering SPL Behaviour with Sampled Configurations

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

    Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

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

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

    Prof. Pierre Yves Schobbens

  16. Schedulability analysis support for automotive systems

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

    Prof. Pierre Yves Schobbens

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

    Article • Science of Computer Programming, February 2014, Elsevier

    Prof. Pierre Yves Schobbens

  18. 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

  19. 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

  20. 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

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

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

    Prof. Pierre Yves Schobbens

  22. An extensible platform for product-line behavioural analysis

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

    Prof. Pierre Yves Schobbens

  23. ArThUR: A Tool for Markov Logic Network

    Article • January 2014, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  24. Coverage Criteria for Behavioural Testing of Software Product Lines

    Article • January 2014, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

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

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

    Prof. Pierre Yves Schobbens

  26. 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

  27. 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

  28. 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

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

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

    Prof. Pierre Yves Schobbens

  30. 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

  31. Model Checking Adaptive Software with Featured Transition Systems

    Article • January 2013, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  32. ProVeLines

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

    Prof. Pierre Yves Schobbens

  33. 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

  34. 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

  35. 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

  36. Managing evolution in software product lines

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

    Prof. Pierre Yves Schobbens

  37. 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

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

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

    Prof. Pierre Yves Schobbens

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

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

    Prof. Pierre Yves Schobbens

  40. Supporting multiple perspectives in feature-based configuration

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

    Prof. Pierre Yves Schobbens

  41. Symbolic model checking of software product lines

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

    Prof. Pierre Yves Schobbens

  42. Distributed Event Clock Automata

    Article • January 2011, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

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

    Article • January 2011, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  44. Tool support for code generation from a UMLsec property

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

    Dr Yijun Yu, Prof. Pierre Yves Schobbens

  45. Memory Event Clocks

    Article • January 2010, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  46. Model checking lots of systems

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

    Prof. Pierre Yves Schobbens

  47. Towards Multi-view Feature-Based Configuration

    Article • January 2010, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

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

    Article • January 2009, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  49. Evaluating formal properties of feature diagram languages

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

    Prof. Pierre Yves Schobbens

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

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

    Prof. Pierre Yves Schobbens

  51. 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

  52. 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

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

    Article • Journal of Applied Logic, June 2007, Elsevier

    Prof. Pierre Yves Schobbens

  54. Generic semantics of feature diagrams

    Article • Computer Networks, February 2007, Elsevier

    Prof. Pierre Yves Schobbens

  55. Recent Trends in Algebraic Development Techniques

    Article • January 2007, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  56. 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

  57. Justifying Goal Models

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

    Prof. Pierre Yves Schobbens

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

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

    Prof. Pierre Yves Schobbens

  59. Feature Diagrams: A Survey and a Formal Semantics

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

    Prof. Pierre Yves Schobbens

  60. A More Expressive Softgoal Conceptualization for Quality Requirements Analysis

    Article • January 2006, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  61. Synthesising Features by Games

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

    Prof. Pierre Yves Schobbens

  62. 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

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

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

    Prof. Pierre Yves Schobbens

  64. A New Algorithm for Strategy Synthesis in LTL Games

    Article • January 2005, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  65. An Algebraic Approach for Codesign

    Article • January 2005, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  66. Lightweight Formal Methods for Scenario-Based Software Engineering

    Article • January 2005, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  67. The Complexity of Live Sequence Charts

    Article • January 2005, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  68. Alternating-time logic with imperfect recall

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

    Prof. Pierre Yves Schobbens

  69. Model-Checking Access Control Policies

    Article • January 2004, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  70. A two-level temporal logic for evolving specifications

    Article • Information Processing Letters, August 2002, Elsevier

    Prof. Pierre Yves Schobbens

  71. Axioms for real-time logics

    Article • Theoretical Computer Science, March 2002, Elsevier

    Prof. Pierre Yves Schobbens

  72. Operators and Laws for Combining Preference Relations

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

    Prof. Pierre Yves Schobbens

  73. Approximating ATL* in ATL

    Article • January 2002, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

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

    Article • January 2002, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  75. 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

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

    Article • January 2001, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

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

    Article • Information Processing Letters, March 1999, Elsevier

    Prof. Pierre Yves Schobbens

  78. Formal Models of Agents

    Article • January 1999, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  79. Formal Models of Agents: An Introduction

    Article • January 1999, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  80. The regular real-time languages

    Article • January 1998, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

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

    Article • January 1997, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

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

    Article • January 1997, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

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

    Prof. Pierre Yves Schobbens

  84. Belief Revision and Verisimilitude

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

    Prof. Pierre Yves Schobbens

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

    Article • January 1994, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  86. Second-order proof systems for algebraic specification languages

    Article • January 1994, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

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

    Article • Science of Computer Programming, April 1993, Elsevier

    Prof. Pierre Yves Schobbens

  88. A logic for legal hierarchies

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

    Prof. Pierre Yves Schobbens

  89. 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

  90. Applying VDM to large developments

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

    Prof. Pierre Yves Schobbens

  91. Applying VDM to large developments

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

    Prof. Pierre Yves Schobbens

  92. Two approaches towards the formalisation of VDM

    Article • January 1990, Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  93. Achieving, Satisficing, and Excelling

    Article • Springer Science + Business Media

    Prof. Pierre Yves Schobbens

  94. Allocating Goals to Agent Roles During MAS Requirements Engineering

    Article • Springer Science + Business Media

    Prof. Pierre Yves Schobbens

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

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Pierre Yves Schobbens

  96. 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

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

    Article • Springer Science + Business Media

    Prof. Pierre Yves Schobbens