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
2622003
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
582006
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
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
212010
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
212004
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
182005
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
172008
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
122010
A correlation framework for the CORBA component model
G Jung, J Hatcliff, VP Ranganath
International Conference on Fundamental Approaches to Software Engineering …, 2004
62004
The Cellular Approach-Security of Micro Smart Grids
G Kleineidam, G Jung, M Krasser, B Koch
SPARKS workshop, 2016
52016
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
32007
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
for the CORBA Component Model
G Jung, VP Ranganath
Fundamental Approaches to Software Engineering, 144, 2004
2004
and Verification of Component-Based Systems
X Deng, M Dwyer, J Hatcliff, G Jung
Fundamental Approaches to Software Engineering, 160, 2004
2004
The system can't perform the operation now. Try again later.
Articles 1–20