2003 |
9 | EE | Cindy Kong,
Perry Alexander:
The Rosetta Meta-Model Framework.
ECBS 2003: 133-140 |
8 | EE | Cindy Kong,
Perry Alexander,
Catherine Menon:
Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language.
J. UCS 9(11): 1322-1349 (2003) |
2002 |
7 | EE | Cindy Kong,
Perry Alexander:
Multi-Faceted Requirements Modeling.
RE 2002: 112-122 |
2001 |
6 | EE | Cindy Kong:
Implementation of Specification Conjunction and Domain Interaction in Rosetta.
ASE 2001: 435 |
5 | EE | Perry Alexander,
Cindy Kong,
David Schonberger:
A Practical Semantics for Design Facet Interaction.
ECBS 2001: 229- |
4 | EE | Perry Alexander,
Cindy Kong:
Heterogeneous Modeling Support for Embedded Systems Design.
EMSOFT 2001: 1-13 |
3 | EE | Perry Alexander,
Cindy Kong:
Rosetta: Semantic Support for Model-Centered Systems-Level Design.
IEEE Computer 34(11): 64-70 (2001) |
2000 |
2 | EE | Murali Rangarajan,
Iqbal Mutabanna,
Darryl D. Dieckman,
Badar Farooqi,
Amitvikram Rajkhowa,
Sarjoun Doumit,
Arun Venkataraman,
Cindy Kong,
Roshan Kamath,
Perry Alexander,
Nael B. Abu-Ghazaleh:
On the Design of ORBIT.
ECBS 2000: 110- |
1 | EE | Cindy Kong,
Perry Alexander,
Darryl D. Dieckman:
Formal modeling of active network nodes using PVS.
FMSP 2000: 49-59 |