Georg Jung
Georg Jung
EnergyVille
Verified email at acm.org
Title
Cited by
Cited by
Year
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
2432003
Model-checking middleware-based event-driven real-time embedded software
X Deng, MB Dwyer, J Hatcliff, G Jung, G Singh
International Symposium on Formal Methods for Components and Objects, 154-181, 2002
572002
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
562006
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures
G Jung, J Hatcliff
Science of Computer Programming 75 (7), 615-637, 2010
192010
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
172005
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
172004
SCA and jABC: bringing a service-oriented paradigm to web-service construction
G Jung, T Margaria, R Nagel, W Schubert, B Steffen, H Voigt
International Symposium On Leveraging Applications of Formal Methods …, 2008
142008
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
112010
A correlation framework for the CORBA component model
G Jung, J Hatcliff, VP Ranganath
International Conference on Fundamental Approaches to Software Engineering …, 2004
52004
A correlation framework for the CORBA component model
G Jung, J Hatcliff
International Journal on Software Tools for Technology Transfer 9 (5-6), 417-427, 2007
32007
The cellular approach–security of micro smart grids
G Kleineidam, G Jung, M Krasser, B Koch
SPARKS workshop, 2016
22016
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
22015
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
22003
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
12011
Structured interrelations of component architectures
G Jung
Kansas State University, 2007
12007
Cost Impact Simulation of Blackouts within the Electrical Grid
G Kleineidam, G Jung, A Woeltche
International ETG Congress 2017, 1-6, 2017
2017
Multi-agent proactive charging infrastructure for electric vehicles
A Wöltche, G Jung
6. Conference on Future Automotive Technology, 2017
2017
Enriching Component Interfaces with Checkable Dependence Specifications (Technical Report# 2005-5)
VP Ranganath, G Jung, J Hatcliff, MB Dwyer
2005
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
2003
Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems
VP Ranganath, MB Dwyer, G Jung, G Singh
The system can't perform the operation now. Try again later.
Articles 1–20