Travelled to:1 × Austria
1 × Spain
2 × USA
Collaborated with:J.Hatcliff V.P.Ranganath M.B.Dwyer X.Deng W.Deng Robby A.Childs J.Greenwald P.Shanti G.Singh
Talks about:compon (6) framework (3) system (3) architectur (2) heterogen (2) specifi (2) environ (2) develop (2) centric (2) analysi (2)
Person: Georg Jung
DBLP: Jung:Georg
Contributed to:
20072010
2004
2003
2003Wrote 6 papers:
- GPCE-2007-JungH #architecture #component #framework #scalability #specification
- A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures (GJ, JH), pp. 33–42.
- GPCE-J-2007-JungH10 #architecture #component #framework #scalability #specification
- A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures (GJ, JH), pp. 615–637.
- FASE-2004-ChildsGRDDHJSS #analysis #component #development #ide #named #synthesis #verification
- Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems (AC, JG, VPR, XD, MBD, JH, GJ, PS, GS), pp. 160–164.
- FASE-2004-JungHR #component #corba #correlation #framework
- A Correlation Framework for the CORBA Component Model (GJ, JH, VPR), pp. 144–159.
- ICSE-2003-HatcliffDDJR #analysis #component #development #named #verification
- Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems (JH, XD, MBD, GJ, VPR), pp. 160–173.
- PEPM-2003-HatcliffDDJRR #component #corba #design #partial evaluation #slicing
- Slicing and partial evaluation of CORBA component model designs for avionics system (JH, WD, MBD, GJ, VPR, R), pp. 1–2.