Georg Jung

According to our database, Georg Jung authored at least 10 papers between 2002 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures.

Georg Jung, John Hatcliff

Sci. Comput. Program., 2010

2008

SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction.

Georg Jung, Tiziana Margaria, Ralf Nagel, Wolfgang Schubert, Bernhard Steffen, Horst Voigt

Proceedings of the Leveraging Applications of Formal Methods, 2008

2007

A correlation framework for the CORBA component model.

Georg Jung, John Hatcliff

Int. J. Softw. Tools Technol. Transf., 2007

2006

CALM and Cadena: Metamodeling for Component-Based Product-Line Development.

Adam Childs, Jesse Greenwald, Georg Jung, Matthew Hoosier, John Hatcliff

Computer, 2006

2005

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

Proceedings of the Model-Driven Software Development, 2005

2004

A Correlation Framework for the CORBA Component Model.

Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath

Proceedings of the Fundamental Approaches to Software Engineering, 2004

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

Proceedings of the Fundamental Approaches to Software Engineering, 2004

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

Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003

Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems.

John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath

Proceedings of the 25th International Conference on Software Engineering, 2003

2002

Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software.

Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh

Proceedings of the Formal Methods for Components and Objects, 2002