Cindy Kong

Publication Activity (10 Years)

Years Active: 2000-2003
Publications (10 Years): 0

Publications

Cindy Kong, Perry Alexander
The Rosetta Meta-Model Framework. ECBS (2003)
Cindy Kong, Perry Alexander, Catherine Menon
Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language. J. Univers. Comput. Sci. 9 (11) (2003)
Cindy Kong, Perry Alexander
Multi-Faceted Requirements Modeling. RE (2002)
Perry Alexander, Cindy Kong
Heterogeneous Modeling Support for Embedded Systems Design. EMSOFT (2001)
Cindy Kong
Implementation of Specification Conjunction and Domain Interaction in Rosetta. ASE (2001)
Perry Alexander, Cindy Kong, David Schonberger
A Practical Semantics for Design Facet Interaction. ECBS (2001)
Perry Alexander, Cindy Kong
Rosetta: Semantic Support for Model-Centered Systems-Level Design. Computer 34 (11) (2001)
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)
Cindy Kong, Perry Alexander, Darryl D. Dieckman
Formal modeling of active network nodes using PVS. FMSP (2000)