| 2008 |
|---|
| 7 | 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 |
| 6 | EE | Martina Hörmann,
Tiziana Margaria,
Thomas Mender,
Ralf Nagel,
Bernhard Steffen,
Hong Trinh:
The jABC Approach to Rigorous Collaborative Development of SCM Applications.
ISoLA 2008: 724-737 |
| 5 | EE | Annett Mitschick,
Ralf Nagel,
Klaus Meißner:
Semantic Metadata Instantiation and Consolidation within an Ontology-based Multimedia Document Management System.
SeMMA 2008: 46-60 |
| 2006 |
|---|
| 4 | EE | Bernhard Steffen,
Tiziana Margaria,
Ralf Nagel,
Sven Jörges,
Christian Kubczak:
Model-Driven Development with the jABC.
Haifa Verification Conference 2006: 92-108 |
| 2005 |
|---|
| 3 | EE | Tiziana Margaria,
Ralf Nagel,
Bernhard Steffen:
Remote Integration and Coordination of Verification Tools in JETI.
ECBS 2005: 431-436 |
| 2 | EE | Tiziana Margaria,
Ralf Nagel,
Bernhard Steffen:
jETI: A Tool for Remote Tool Integration.
TACAS 2005: 557-562 |
| 1995 |
|---|
| 1 | EE | Detlef Ruprecht,
Ralf Nagel,
Heinrich Müller:
Spatial free-form deformation with scattered data interpolation methods.
Computers & Graphics 19(1): 63-71 (1995) |
