Pierre-Yves Schobbens

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

Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens: Model checking software product lines with SNIP. STTT 14(5): 589-612 (2012)

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

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: 208-222

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

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

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

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

Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay: Symbolic model checking of software product lines. ICSE 2011: 321-330

Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson: Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. SAFECOMP 2011: 243-256

James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens: Distributed Event Clock Automata - Extended Abstract. CIAA 2011: 250-263

James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens: Memory Event Clocks. FORMATS 2010: 198-212

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: 335-344

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: 357-358

Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder: Towards Multi-view Feature-Based Configuration. REFSQ 2010: 106-112

Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen: Evaluating formal properties of feature diagram languages. IET Software 2(3): 281-302 (2008)

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

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

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

Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps: Generic semantics of feature diagrams. Computer Networks 51(2): 456-479 (2007)

Yves Bontemps, Pierre-Yves Schobbens: The computational complexity of scenario-based agent verification and design. J. Applied Logic 5(2): 252-276 (2007)

Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens: Model-checking the preservation of temporal properties upon feature integration. STTT 9(1): 53-62 (2007)

Yves Bontemps, Germain Saval, Pierre-Yves Schobbens, Patrick Heymans: Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence. Technique et Science Informatiques 26(7): 797-817 (2007)

Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens: Achieving, Satisficing, and Excelling. ER Workshops 2007: 286-295

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: 243-253

José Luiz Fiadeiro, Pierre-Yves Schobbens (Eds.): Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4409, Springer 2007, isbn 978-3-540-71997-7

Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens: Synthesising Features by Games. Electr. Notes Theor. Comput. Sci. 145: 79-93 (2006)

Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens: Allocating Goals to Agent Roles During MAS Requirements Engineering. AOSE 2006: 19-34

Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens: A More Expressive Softgoal Conceptualization for Quality Requirements Analysis. ER 2006: 281-295

Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens: Justifying Goal Models. RE 2006: 116-125

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

Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens: Model-checking the Preservation of Temporal Properties upon Feature Integration. Electr. Notes Theor. Comput. Sci. 128(6): 311-324 (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): 999-1014 (2005)

Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux: Generic Semantics of Feature Diagrams Variants. FIW 2005: 58-77

Yves Bontemps, Pierre-Yves Schobbens: The Complexity of Live Sequence Charts. FoSSaCS 2005: 364-378

Aidan Harding, Mark Ryan, Pierre-Yves Schobbens: A New Algorithm for Strategy Synthesis in LTL Games. TACAS 2005: 477-492

Pierre-Yves Schobbens: Alternating-time logic with imperfect recall. Electr. Notes Theor. Comput. Sci. 85(2): 82-93 (2004)

Yves Bontemps, Pierre-Yves Schobbens, Christof Löding: Synthesis of Open Reactive Systems from Scenario-Based Specifications. Fundam. Inform. 62(2): 139-169 (2004)

Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens: An Algebraic Approach for Codesign. ICTAC 2004: 415-430

Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobbens: Model-Checking Access Control Policies. ISC 2004: 219-230

Yves Bontemps, Pierre-Yves Schobbens: Synthesis of Open Reactive Systems from Scenario-Based Specifications. ACSD 2003: 41-50

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

Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens: Feature Integration as Substitution. FIW 2003: 275-294

Aidan Harding, Mark Ryan, Pierre-Yves Schobbens: Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. TIME 2003: 137-146

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

Hajnal Andréka, Mark Ryan, Pierre-Yves Schobbens: Operators and Laws for Combining Preference Relations. J. Log. Comput. 12(1): 13-53 (2002)

Pierre-Yves Schobbens, Jean-François Raskin, Thomas A. Henzinger: Axioms for real-time logics. Theor. Comput. Sci. 274(1-2): 151-182 (2002)

Aidan Harding, Mark Ryan, Pierre-Yves Schobbens: Approximating ATL^* in ATL. VMCAI 2002: 289-301

Mark Ryan, Pierre-Yves Schobbens: Agents and Roles: Refinement in Alternating-Time Temporal Logic. ATAL 2001: 100-114

Laurent Ferier, Jean-François Raskin, Pierre-Yves Schobbens: Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees. Electr. Notes Theor. Comput. Sci. 23(2): 108-126 (1999)

Pierre-Yves Schobbens, Jean-François Raskin: The Logic of ``Initially'' and ``Next'': Complete Axiomatization and Complexity. Inf. Process. Lett. 69(5): 221-225 (1999)

Jean-François Raskin, Pierre-Yves Schobbens: The Logic of Event Clocks - Decidability, Complexity and Expressiveness. Journal of Automata, Languages and Combinatorics 4(3): 247-286 (1999)

John-Jules Ch. Meyer, Pierre-Yves Schobbens (Eds.): Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers. Lecture Notes in Computer Science 1760, Springer 1999, isbn 3-540-67027-0

Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger: Axioms for Real-Time Logics. CONCUR 1998: 219-236

Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens: The Regular Real-Time Languages. ICALP 1998: 580-591

Mark Ryan, Pierre-Yves Schobbens: Counterfactuals and Updates as Inverse Modalities. Journal of Logic, Language and Information 6(2): 123-146 (1997)

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

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

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

Mark Ryan, Pierre-Yves Schobbens: Intertranslating Counterfactuals and Updates. ECAI 1996: 100-104

Mark Ryan, Pierre-Yves Schobbens, Odinaldo Rodrigues: Counterfactuals and Updates as Inverse Modalities. TARK 1996: 163-173

Mark Ryan, Pierre-Yves Schobbens: Belief Revision and Verisimilitude. Notre Dame Journal of Formal Logic 36(1): 15-29 (1995)

Pierre-Yves Schobbens: Exceptions for Algebraic Specifications: On the Meaning of "but". Sci. Comput. Program. 20(1-2): 73-111 (1993)

Pierre-Yves Schobbens: Extensions of Initial Models and their Second-Order Proof Systems. HOA 1993: 326-344

Pierre-Yves Schobbens: A Logic for Legal Hierarchies. ICAIL 1993: 272-281

Pierre-Yves Schobbens: Second-Order Proof Systems for Algebraic Specification Languages. COMPASS/ADT 1992: 321-336

Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens: An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. Commun. ACM 34(5): 62-71 (1991)

Pierre-Yves Schobbens: Clean Algebraic Exception with Implicit Propagation. AMAST 1991: 173-186

Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens: Two Approaches towards the Formalisation of VDM. VDM Europe 1990: 370-398

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

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