2008 |
14 | EE | D'Arcy Walsh,
Francis Bordeleau,
Bran Selic:
A Constraint-Driven Executable Model of Dynamic System Reconfiguration.
JSW 3(4): 37-50 (2008) |
2007 |
13 | EE | D'Arcy Walsh,
Francis Bordeleau,
Bran Selic:
A Constrained Executable Model of Dynamic System Reconfiguration.
HICSS 2007: 257 |
12 | EE | James D'Arcy Walsh,
Francis Bordeleau,
Bran Selic:
Domain analysis of dynamic system reconfiguration.
Software and System Modeling 6(4): 355-380 (2007) |
2006 |
11 | EE | D'Arcy Walsh,
Francis Bordeleau,
Bran Selic:
Change Types of Dynamic System Reconfiguration.
ECBS 2006: 3-12 |
2005 |
10 | EE | D'Arcy Walsh,
Francis Bordeleau,
Bran Selic:
A Domain Model for Dynamic System Reconfiguration.
MoDELS 2005: 553-567 |
2004 |
9 | | Juan Pablo Zamora Zapata,
Francis Bordeleau,
Jean-Pierre Corriveau:
Validation of Platform Specific Models against Platform Independent Models in the Context of Standard Specifications: A Model Driven Architecture Approach.
Software Engineering Research and Practice 2004: 200-206 |
2003 |
8 | EE | Mark R. Vigder,
Toby McClean,
Francis Bordeleau:
Evaluating COTS Based Architectures.
ICCBSS 2003: 240-250 |
2002 |
7 | EE | Michel Barbeau,
Francis Bordeleau:
A Protocol Stack Development Tool Using Generative Programming.
GPCE 2002: 93-109 |
2001 |
6 | EE | Francis Bordeleau,
Jean-Pierre Corriveau:
On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design.
FASE 2001: 156-170 |
5 | EE | Andrew Miga,
Daniel Amyot,
Francis Bordeleau,
Donald Cameron,
C. Murray Woodside:
Deriving Message Sequence Charts from Use Case Maps Scenario Specifications.
SDL Forum 2001: 268-287 |
2000 |
4 | EE | Francis Bordeleau,
Jean-Pierre Corriveau,
Bran Selic:
A Scenario-Based Approach to Hierarchical State Machine Design.
ISORC 2000: 78-85 |
3 | | Francis Bordeleau,
Donald Cameron:
On the Relationship between use-case maps and Message Sequence Charts.
SAM 2000: 123-138 |
1997 |
2 | EE | Francis Bordeleau,
Raymond J. A. Buhr:
UCM-ROOM modelling: from use case maps to communicating state machines.
ECBS 1997: 169- |
1995 |
1 | | Daniel Amyot,
Francis Bordeleau,
Raymond J. A. Buhr,
Luigi Logrippo:
Formal Support for Design Techniques: A Timethreads-LOTOS Approach.
FORTE 1995: 57-72 |