Search the dblp DataBase

Publications of Author

1. Perry Alexander, Cindy Kong, David Schonberger
   A Practical Semantics for Design Facet Interaction. [Citation Graph (0, 0)][DBLP]
   ECBS, 2001, pp:229-0 [Conf]
   
2. Cindy Kong, Perry Alexander
   The Rosetta Meta-Model Framework. [Citation Graph (0, 0)][DBLP]
   ECBS, 2003, pp:133-140 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   ECBS, 2000, pp:110-0 [Conf]
   
4. Perry Alexander, Cindy Kong
   Heterogeneous Modeling Support for Embedded Systems Design. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2001, pp:1-13 [Conf]
   
5. Cindy Kong, Perry Alexander, Darryl D. Dieckman
   Formal modeling of active network nodes using PVS. [Citation Graph (0, 0)][DBLP]
   FMSP, 2000, pp:49-59 [Conf]
   
6. Cindy Kong
   Implementation of Specification Conjunction and Domain Interaction in Rosetta. [Citation Graph (0, 0)][DBLP]
   ASE, 2001, pp:435- [Conf]
   
7. Cindy Kong, Perry Alexander
   Multi-Faceted Requirements Modeling. [Citation Graph (0, 0)][DBLP]
   RE, 2002, pp:112-122 [Conf]
   
8. Perry Alexander, Cindy Kong
   Rosetta: Semantic Support for Model-Centered Systems-Level Design. [Citation Graph (0, 0)][DBLP]
   IEEE Computer, 2001, v:34, n:11, pp:64-70 [Journal]
   
9. Cindy Kong, Perry Alexander, Catherine Menon
   Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2003, v:9, n:11, pp:1322-1349 [Journal]