| 2008 |
|---|
| 54 | EE | Andreas Classen,
Patrick Heymans,
Pierre-Yves Schobbens:
What's in a Feature: A Requirements Engineering Perspective.
FASE 2008: 16-30 |
| 53 | EE | Dirk Deridder,
Jeff Gray,
Alfonso Pierantonio,
Pierre-Yves Schobbens:
Model Co-evolution and Consistency Management (MCCM'08).
MoDELS Workshops 2008: 120-123 |
| 52 | EE | 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) |
| 2007 |
|---|
| 51 | | José Luiz Fiadeiro,
Pierre-Yves Schobbens:
Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Springer 2007 |
| 50 | EE | Ivan Jureta,
Stéphane Faulkner,
Pierre-Yves Schobbens:
Achieving, Satisficing, and Excelling.
ER Workshops 2007: 286-295 |
| 49 | EE | 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 |
| 48 | EE | Pierre-Yves Schobbens,
Patrick Heymans,
Jean-Christophe Trigaux,
Yves Bontemps:
Generic semantics of feature diagrams.
Computer Networks 51(2): 456-479 (2007) |
| 47 | EE | Yves Bontemps,
Pierre-Yves Schobbens:
The computational complexity of scenario-based agent verification and design.
J. Applied Logic 5(2): 252-276 (2007) |
| 46 | EE | 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) |
| 45 | EE | 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) |
| 2006 |
|---|
| 44 | EE | Ivan Jureta,
Stéphane Faulkner,
Pierre-Yves Schobbens:
Allocating Goals to Agent Roles During MAS Requirements Engineering.
AOSE 2006: 19-34 |
| 43 | EE | Ivan Jureta,
Stéphane Faulkner,
Pierre-Yves Schobbens:
A More Expressive Softgoal Conceptualization for Quality Requirements Analysis.
ER 2006: 281-295 |
| 42 | EE | Ivan Jureta,
Stéphane Faulkner,
Pierre-Yves Schobbens:
Justifying Goal Models.
RE 2006: 116-125 |
| 41 | EE | Pierre-Yves Schobbens,
Patrick Heymans,
Jean-Christophe Trigaux:
Feature Diagrams: A Survey and a Formal Semantics.
RE 2006: 136-145 |
| 40 | EE | Dimitar P. Guelev,
Mark Dermot Ryan,
Pierre-Yves Schobbens:
Synthesising Features by Games.
Electr. Notes Theor. Comput. Sci. 145: 79-93 (2006) |
| 2005 |
|---|
| 39 | | Yves Bontemps,
Patrick Heymans,
Pierre-Yves Schobbens,
Jean-Christophe Trigaux:
Generic Semantics of Feature Diagrams Variants.
FIW 2005: 58-77 |
| 38 | EE | Yves Bontemps,
Pierre-Yves Schobbens:
The Complexity of Live Sequence Charts.
FoSSaCS 2005: 364-378 |
| 37 | EE | Aidan Harding,
Mark Ryan,
Pierre-Yves Schobbens:
A New Algorithm for Strategy Synthesis in LTL Games.
TACAS 2005: 477-492 |
| 36 | EE | 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) |
| 35 | EE | 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) |
| 2004 |
|---|
| 34 | EE | Marc Aiguier,
Stefan Béroff,
Pierre-Yves Schobbens:
An Algebraic Approach for Codesign.
ICTAC 2004: 415-430 |
| 33 | EE | Dimitar P. Guelev,
Mark Ryan,
Pierre-Yves Schobbens:
Model-Checking Access Control Policies.
ISC 2004: 219-230 |
| 32 | EE | Yves Bontemps,
Pierre-Yves Schobbens,
Christof Löding:
Synthesis of Open Reactive Systems from Scenario-Based Specifications.
Fundam. Inform. 62(2): 139-169 (2004) |
| 2003 |
|---|
| 31 | EE | Yves Bontemps,
Pierre-Yves Schobbens:
Synthesis of Open Reactive Systems from Scenario-Based Specifications.
ACSD 2003: 41-50 |
| 30 | | Dimitar P. Guelev,
Mark Dermot Ryan,
Pierre-Yves Schobbens:
Feature Integration as Substitution.
FIW 2003: 275-294 |
| 29 | EE | Yves Bontemps,
Patrick Heymans,
Pierre-Yves Schobbens:
Lightweight Formal Methods for Scenario-Based Software Engineering.
Scenarios: Models, Transformations and Tools 2003: 174-192 |
| 28 | EE | 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 |
| 2002 |
|---|
| 27 | EE | Aidan Harding,
Mark Ryan,
Pierre-Yves Schobbens:
Approximating ATL* in ATL.
VMCAI 2002: 289-301 |
| 26 | EE | 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) |
| 25 | EE | Hajnal Andréka,
Mark Ryan,
Pierre-Yves Schobbens:
Operators and Laws for Combining Preference Relations.
J. Log. Comput. 12(1): 13-53 (2002) |
| 24 | EE | Pierre-Yves Schobbens,
Jean-François Raskin,
Thomas A. Henzinger:
Axioms for real-time logics.
Theor. Comput. Sci. 274(1-2): 151-182 (2002) |
| 2001 |
|---|
| 23 | EE | Mark Ryan,
Pierre-Yves Schobbens:
Agents and Roles: Refinement in Alternating-Time Temporal Logic.
ATAL 2001: 100-114 |
| 1999 |
|---|
| 22 | | John-Jules Ch. Meyer,
Pierre-Yves Schobbens:
Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers
Springer 1999 |
| 21 | EE | 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): (1999) |
| 20 | EE | 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) |
| 19 | | 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) |
| 1998 |
|---|
| 18 | EE | Jean-François Raskin,
Pierre-Yves Schobbens,
Thomas A. Henzinger:
Axioms for Real-Time Logics.
CONCUR 1998: 219-236 |
| 17 | EE | Thomas A. Henzinger,
Jean-François Raskin,
Pierre-Yves Schobbens:
The Regular Real-Time Languages.
ICALP 1998: 580-591 |
| 1997 |
|---|
| 16 | | Jean-François Raskin,
Pierre-Yves Schobbens:
State Clock Logic: A Decidable Real-Time Logic.
HART 1997: 33-47 |
| 15 | EE | John-Jules Ch. Meyer,
Pierre-Yves Schobbens:
Formal Models of Agents: An Introduction.
ModelAge Workshop 1997: 1-7 |
| 14 | | Jean-François Raskin,
Pierre-Yves Schobbens:
Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time.
TACAS 1997: 165-182 |
| 13 | | Mark Ryan,
Pierre-Yves Schobbens:
Counterfactuals and Updates as Inverse Modalities.
Journal of Logic, Language and Information 6(2): 123-146 (1997) |
| 1996 |
|---|
| 12 | | Mark Ryan,
Pierre-Yves Schobbens:
Intertranslating Counterfactuals and Updates.
ECAI 1996: 100-104 |
| 11 | | Mark Ryan,
Pierre-Yves Schobbens,
Odinaldo Rodrigues:
Counterfactuals and Updates as Inverse Modalities.
TARK 1996: 163-173 |
| 1995 |
|---|
| 10 | | Mark Ryan,
Pierre-Yves Schobbens:
Belief Revision and Verisimilitude.
Notre Dame Journal of Formal Logic 36(1): 15-29 (1995) |
| 1993 |
|---|
| 9 | | Pierre-Yves Schobbens:
Extensions of Initial Models and their Second-Order Proof Systems.
HOA 1993: 326-344 |
| 8 | EE | Pierre-Yves Schobbens:
A Logic for Legal Hierarchies.
ICAIL 1993: 272-281 |
| 7 | | Pierre-Yves Schobbens:
Exceptions for Algebraic Specifications: On the Meaning of "but".
Sci. Comput. Program. 20(1-2): 73-111 (1993) |
| 1992 |
|---|
| 6 | | Pierre-Yves Schobbens:
Second-Order Proof Systems for Algebraic Specification Languages.
COMPASS/ADT 1992: 321-336 |
| 1991 |
|---|
| 5 | | Pierre-Yves Schobbens:
Clean Algebraic Exception with Implicit Propagation.
AMAST 1991: 173-186 |
| 4 | | 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, 87 (1991) |
| 1990 |
|---|
| 3 | | 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 |
| 2 | | Christine Lafontaine,
Yves Ledru,
Pierre-Yves Schobbens:
Two Approaches towards the Formalisation of VDM.
VDM Europe 1990: 370-398 |
| 1988 |
|---|
| 1 | | 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 |
