 | 2008 |
|---|
| 9 |       | 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 | | Georg Jung,
John Hatcliff:
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures.
GPCE 2007: 33-42 |
| 7 | | Georg Jung,
John Hatcliff:
A correlation framework for the CORBA component model.
STTT 9(5-6): 417-427 (2007) |
| 2006 |
|---|
| 6 | | 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 | | Georg Jung,
John Hatcliff,
Venkatesh Prasad Ranganath:
A Correlation Framework for the CORBA Component Model.
FASE 2004: 144-159 |
| 4 | | 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 | | 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 | | 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 | | 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 |
