| 2007 |
|---|
| 12 | EE | Pierre-Yves Schobbens,
Patrick Heymans,
Jean-Christophe Trigaux,
Yves Bontemps:
Generic semantics of feature diagrams.
Computer Networks 51(2): 456-479 (2007) |
| 11 | EE | Yves Bontemps,
Pierre-Yves Schobbens:
The computational complexity of scenario-based agent verification and design.
J. Applied Logic 5(2): 252-276 (2007) |
| 10 | 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) |
| 2005 |
|---|
| 9 | | Yves Bontemps,
Patrick Heymans,
Pierre-Yves Schobbens,
Jean-Christophe Trigaux:
Generic Semantics of Feature Diagrams Variants.
FIW 2005: 58-77 |
| 8 | EE | Yves Bontemps,
Pierre-Yves Schobbens:
The Complexity of Live Sequence Charts.
FoSSaCS 2005: 364-378 |
| 7 | EE | Yves Bontemps,
Alexander Egyed:
4th international workshop on scenarios and state machines: models, algorithms and tools (SCESM'05).
ICSE 2005: 697 |
| 6 | EE | Hillel Kugler,
David Harel,
Amir Pnueli,
Yuan Lu,
Yves Bontemps:
Temporal Logic for Scenario-Based Specifications.
TACAS 2005: 445-460 |
| 5 | EE | Yves Bontemps,
Alexander Egyed:
Scenarios and state machines: models, algorithms, and tools: a summary of the 4th workshop.
ACM SIGSOFT Software Engineering Notes 30(5): 1-4 (2005) |
| 4 | 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 |
|---|
| 3 | 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 |
|---|
| 2 | EE | Yves Bontemps,
Pierre-Yves Schobbens:
Synthesis of Open Reactive Systems from Scenario-Based Specifications.
ACSD 2003: 41-50 |
| 1 | EE | Yves Bontemps,
Patrick Heymans,
Pierre-Yves Schobbens:
Lightweight Formal Methods for Scenario-Based Software Engineering.
Scenarios: Models, Transformations and Tools 2003: 174-192 |
