Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. - Xianghua Deng; Matthew B. Dwyer; John Hatcliff; Georg Jung; Robby; Gurdip Singh (FMCO, 2002)

Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. - John Hatcliff; Xianghua Deng; Matthew B. Dwyer; Georg Jung; Venkatesh Prasad Ranganath (ICSE, 2003)

Slicing and partial evaluation of CORBA component model designs for avionics system. - John Hatcliff; William Deng; Matthew B. Dwyer; Georg Jung; Venkatesh Prasad Ranganath; Robby (PEPM, 2003)

Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. - Adam Childs; Jesse Greenwald; Venkatesh Prasad Ranganath; Xianghua Deng; Matthew B. Dwyer; John Hatcliff; Georg Jung; Prashant Shanti; Gurdip Singh (FASE, 2004)

A Correlation Framework for the CORBA Component Model. - Georg Jung; John Hatcliff; Venkatesh Prasad Ranganath (FASE, 2004)

An Integrated Model-Driven Development Environment for Composing and Validating Distributed Real-Time and Embedded Systems. - Gabriele Trombetti; Aniruddha Gokhale; Douglas C. Schmidt; Jesse Greenwald; John Hatcliff; Georg Jung; Gurdip Singh (Model-Driven Software Development, 2005)

CALM and Cadena: Metamodeling for Component-Based Product-Line Development. - Adam Childs; Jesse Greenwald; Georg Jung; Matthew Hoosier; John Hatcliff (Computer, 2006)

A correlation framework for the CORBA component model. - Georg Jung; John Hatcliff (Int. J. Softw. Tools Technol. Transf., 2007)

SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction. - Georg Jung; Tiziana Margaria; Ralf Nagel 001; Wolfgang Schubert; Bernhard Steffen; Horst Voigt (ISoLA, 2008)

A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. - Georg Jung; John Hatcliff (Sci. Comput. Program., 2010)