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
Work
Publications
• Other
• 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
(jung
cis
ksu
edu,
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