Georg Jung

Publication Activity (10 Years)

Years Active: 2002-2010
Publications (10 Years): 0

Publications

Georg Jung, John Hatcliff
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. Sci. Comput. Program. 75 (7) (2010)
Georg Jung, Tiziana Margaria, Ralf Nagel, Wolfgang Schubert, Bernhard Steffen, Horst Voigt
SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction. ISoLA (2008)
Georg Jung, John Hatcliff
A correlation framework for the CORBA component model. Int. J. Softw. Tools Technol. Transf. 9 (5-6) (2007)
Georg Jung, John Hatcliff
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. GPCE (2007)
Adam Childs, Jesse Greenwald, Georg Jung, Matthew Hoosier, John Hatcliff
CALM and Cadena: Metamodeling for Component-Based Product-Line Development. Computer 39 (2) (2006)
Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath
A Correlation Framework for the CORBA Component Model. FASE (2004)
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. FASE (2004)
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. ICSE (2003)
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. PEPM (2003)
Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. FMCO (2002)