| 2007 |
|---|
| 10 | EE | Fabien Baligand,
Nicolas Rivierre,
Thomas Ledoux:
A Declarative Approach for QoS-Aware Web Service Compositions.
ICSOC 2007: 422-428 |
| 9 | EE | Philippe Collet,
Alain Ozanne,
Nicolas Rivierre:
Towards a Versatile Contract Model to Organize Behavioral Specifications.
SOFSEM (1) 2007: 844-855 |
| 8 | EE | Philippe Collet,
Jacques Malenfant,
Alain Ozanne,
Nicolas Rivierre:
Composite Contract Enforcement in Hierarchical Component Systems.
Software Composition 2007: 18-33 |
| 2006 |
|---|
| 7 | EE | Hervé Chang,
Philippe Collet,
Alain Ozanne,
Nicolas Rivierre:
From Components to Autonomic Elements Using Negotiable Contracts.
ATC 2006: 78-89 |
| 6 | EE | Philippe Collet,
Alain Ozanne,
Nicolas Rivierre:
On contracting different behavioral properties in component-based systems.
SAC 2006: 1798-1799 |
| 5 | EE | Philippe Collet,
Alain Ozanne,
Nicolas Rivierre:
Enforcing Different Contracts in Hierarchical Component-Based Systems.
Software Composition 2006: 50-65 |
| 2005 |
|---|
| 4 | EE | Nicolas Rivierre,
François Horn,
Frédéric Dang Tran:
On Monitoring Concurrent Systems with TLA: An Example.
ACSD 2005: 36-45 |
| 3 | EE | Philippe Collet,
Roger Rousseau,
Thierry Coupaye,
Nicolas Rivierre:
A Contracting System for Hierarchical Components.
CBSE 2005: 187-202 |
| 2004 |
|---|
| 2 | EE | Frédéric Dang Tran,
Jean-Philippe Fassino,
Olivier Lobry,
Jacques Pulou,
Nicolas Rivierre:
Toward a Component-Based Embedded Java-Oriented Operating System.
OTM Workshops 2004: 256-267 |
| 2002 |
|---|
| 1 | EE | Frédéric Dang Tran,
Marina Deslaugiers,
Anne Gérodolle,
Laurent Hazard,
Nicolas Rivierre:
An Open Middleware for Large-Scale Networked Virtual Environments.
VR 2002: 22- |
