Georg Jung
Georg Jung
Verified email at
Cited by
Cited by
Cadena: An integrated development, analysis, and verification environment for component-based systems
J Hatcliff, X Deng, MB Dwyer, G Jung, VP Ranganath
25th International Conference on Software Engineering, 2003. Proceedings …, 2003
Calm and cadena: Metamodeling for component-based product-line development
A Childs, J Greenwald, G Jung, M Hoosier, J Hatcliff
Computer 39 (2), 42-50, 2006
Model-checking middleware-based event-driven real-time embedded software
X Deng, MB Dwyer, J Hatcliff, G Jung, Robby, G Singh
Formal Methods for Components and Objects: First International Symposium …, 2003
SCA and jABC: bringing a service-oriented paradigm to web-service construction
G Jung, T Margaria, R Nagel, W Schubert, B Steffen, H Voigt
Leveraging Applications of Formal Methods, Verification and Validation …, 2008
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures
G Jung, J Hatcliff
Proceedings of the 6th international conference on Generative programming …, 2007
Cadena: An integrated development environment for analysis, synthesis, and verification of component-based systems
A Childs, J Greenwald, VP Ranganath, X Deng, M Dwyer, J Hatcliff, ...
International Conference on Fundamental Approaches to Software Engineering …, 2004
An integrated model-driven development environment for composing and validating distributed real-time and embedded systems
G Trombetti, A Gokhale, DC Schmidt, J Greenwald, J Hatcliff, G Jung, ...
Model-Driven Software Development, 329-361, 2005
Formalizing a methodology for design-and runtime self-healing
G Jung, T Margaria, C Wagner, M Bakera
2010 Seventh IEEE International Conference and Workshops on Engineering of …, 2010
The Cellular Approach-Security of Micro Smart Grids
G Kleineidam, G Jung, M Krasser, B Koch
SPARKS workshop, 2016
A correlation framework for the CORBA component model
G Jung, J Hatcliff, VP Ranganath
Fundamental Approaches to Software Engineering: 7th International Conference …, 2004
Integrated Approach for Smart Grid Data Acquisition, Transmission and Evaluation
A Schmutzer, J Bogenrieder, G Jung, P Luchscheider, S Müller, ...
5th Solar Integration Workshop, 2015
A correlation framework for the CORBA component model
G Jung, J Hatcliff
International Journal on Software Tools for Technology Transfer 9 (5), 417-427, 2007
Slicing and partial evaluation of CORBA component model designs for avionics system
J Hatcliff, W Deng, MB Dwyer, G Jung, V Ranganath, R Robby
ACM SIGPLAN Notices 38 (10), 1-2, 2003
Variable Ranges Security Protocol for Wireless Sensor Networks
F Bagci, A Khalifeh, G Jung, C Sturm
Proceedings of the International Conference on Wireless Networks (ICWN), 1, 2011
Structured interrelations of component architectures
G Jung
Kansas State University, 2007
Cost Impact Simulation of Blackouts within the Electrical Grid
G Kleineidam, G Jung, A Woeltche
International ETG Congress 2017, 1-6, 2017
Multi-agent proactive charging infrastructure for electric vehicles
A Wöltche, G Jung
6. Conference on Future Automotive Technology, 2017
Enriching Component Interfaces with Checkable Dependence Specifications (Technical Report# 2005-5)
VP Ranganath, G Jung, J Hatcliff, MB Dwyer
Components I-A Correlation Framework for the CORBA Component Model
G Jung, J Hatcliff, VP Ranganath
Lecture Notes in Computer Science 2984, 144-159, 2004
Supporting Model-driven Development of Component-based Embedded Systems with Cadena
A Childs, X Deng, MB Dwyer, J Greenwald, J Hatcliff
SAVCBS 2003 Specification and Verification of Component-Based Systems, 3, 2003
The system can't perform the operation now. Try again later.
Articles 1–20