2008 |
9 | EE | Georg Jung,
Tiziana Margaria,
Ralf Nagel,
Wolfgang Schubert,
Bernhard Steffen,
Horst Voigt:
SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction.
ISoLA 2008: 139-154 |
2007 |
8 | EE | Georg Jung,
John Hatcliff:
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures.
GPCE 2007: 33-42 |
7 | EE | Georg Jung,
John Hatcliff:
A correlation framework for the CORBA component model.
STTT 9(5-6): 417-427 (2007) |
2006 |
6 | EE | Adam Childs,
Jesse Greenwald,
Georg Jung,
Matthew Hoosier,
John Hatcliff:
CALM and Cadena: Metamodeling for Component-Based Product-Line Development.
IEEE Computer 39(2): 42-50 (2006) |
2004 |
5 | EE | Georg Jung,
John Hatcliff,
Venkatesh Prasad Ranganath:
A Correlation Framework for the CORBA Component Model.
FASE 2004: 144-159 |
4 | EE | 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.
FASE 2004: 160-164 |
2003 |
3 | EE | John Hatcliff,
Xianghua Deng,
Matthew B. Dwyer,
Georg Jung,
Venkatesh Prasad Ranganath:
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems.
ICSE 2003: 160-173 |
2 | EE | John Hatcliff,
William Deng,
Matthew B. Dwyer,
Georg Jung,
Venkatesh Prasad Ranganath,
Robby:
Slicing and partial evaluation of CORBA component model designs for avionics system.
PEPM 2003: 1-2 |
2002 |
1 | EE | Xianghua Deng,
Matthew B. Dwyer,
John Hatcliff,
Georg Jung,
Robby,
Gurdip Singh:
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software.
FMCO 2002: 154-181 |