Search the dblp DataBase

Publications of Author

1. Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh
   Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. [Citation Graph (0, 0)][DBLP]
   FASE, 2004, pp:160-164 [Conf]
   
2. Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath
   A Correlation Framework for the CORBA Component Model. [Citation Graph (0, 0)][DBLP]
   FASE, 2004, pp:144-159 [Conf]
   
3. Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh
   Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. [Citation Graph (0, 0)][DBLP]
   FMCO, 2002, pp:154-181 [Conf]
   
4. John Hatcliff, Xinghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath
   Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. [Citation Graph (0, 0)][DBLP]
   ICSE, 2003, pp:160-173 [Conf]
   
5. John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby
   Slicing and partial evaluation of CORBA component model designs for avionics system. [Citation Graph (0, 0)][DBLP]
   PEPM, 2003, pp:1-2 [Conf]
   
6. Adam Childs, Jesse Greenwald, Georg Jung, Matthew Hoosier, John Hatcliff
   CALM and Cadena: Metamodeling for Component-Based Product-Line Development. [Citation Graph (0, 0)][DBLP]
   IEEE Computer, 2006, v:39, n:2, pp:42-50 [Journal]
   
7. 
   A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. [Citation Graph (, )][DBLP]
   
   
8. 
   SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction. [Citation Graph (, )][DBLP]