Georg Jung @ Kansas State University

Since January 2002 I am working on my PhD in computer science at SAnToS Laboratory, Computing and Information Sciences, Kansas State University with Dr. John Hatcliff.

Coordinates

e-mail:	jungcisksuedu
paper-mail:	234 Nichols Hall, Manhattan, KS 66506, USA
facsimile:	+1 (785) 532 7353
phone:	+1 (785) 532 6350 [office]
	+1 (785) 532 7821 [direct]
office:	317 Nichols Hall (see campus map)

Work

Publications

• Other

• Adam Childs, Jesse Greenwald, Georg Jung, Matthew Hoosier, John Hatcliff. "CALM and Cadena: Metamodeling for Component-Based Product-Line Development", in IEEE Computer, February 2006 (Vol. 39, No. 2) pp. 42-50. (PDF, BibTeX-entry)

• Papers

• Georg Jung, John Hatcliff, Venkatesh Prashant Ranganath. "A Correlation Framework for the CORBA Component Model", in 7th International Conference, FASE 2004. Part of ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings. (Postscript, BibTeX-entry)
• 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", in 7th International Conference, FASE 2004. Part of ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings. (PDF, BibTeX-entry)
• John Hatcliff, William Deng, Matthew Dwyer, Georg Jung, Venkatesh Prasad Ranganath. "Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems", International Conference on Software Engineering, ICSE 2003, Portland, Oregon. Proceedings. (PDF, BibTeX-entry)
• Adam Childs, Xianghua Deng, Matthew B. Dwyer, Jesse Greenwald, John Hatcliff, Prashant Kumar, Georg Jung, Venkatesh Ranganath, Robby, Gurdip Singh. "Supporting Model-driven Development of Component-based Embedded Systems with Cadena (2003)", Specification and Verification of Component-Based Systems (SAVCBS 2003) affiliated with ESEC/FSE 2003, Helsinki, Finland, September 1 and 2, 2003. Workshop Proceedings (PDF)
• John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby. "Slicing and partial evaluation of CORBA component model designs for avionics systems", 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003 (PEPM 2003), San Diego, California. Workshop Proceedings. (PDF, BibTeX-entry)
• William Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, and Gurdip Singh. "Model-checking Middleware-based Event-driven Real-time Embedded Software", March 2003. First International Symposium on Formal Methods for Components and Objects (FMCO 2002). Proceedings. (PDF, BibTeX-entry)

• SAnToS Technical Reports

• "Some Examples for the CCM Correlation Framework", collection of simple examples SAnToS TR Nr. 5, 2004 (Postscript)
• "A Correlation Framework for the CORBA Component Model", extended witepaper SAnToS TR Nr. 9, 2003 (Postscript)

• Presentations

• "CALM: Explaining Cadena's Type System" (PDF), February 14, 2007
• "About the use of Correlations in Component Based Frameworks" (Power Point), September 13, 2004
• "A Correlation Framework for the CORBA Component Model" (Power Point), presented on FASE 2004, March 29, 2004

• Non-science-related-stuff

• Presentation in Cultural Exchange Class with Asst. Prof. Young-Ok Yum about Germany, October 28, 2004 (Power Point)

CV

Life

Pictures

Georg Jung (jungcisksuedu, jung)
234 Nichols Hall, Manhattan, KS 66506, USA, +1 (785) 532 6350
Kansas State University | Computing and Information Sciences | SAnToS Laboratory

Last modified: Wed Feb 14 16:56:40 CST 2007