Dima Suliman

Publication Activity (10 Years)

Years Active: 2004-2007
Publications (10 Years): 0

Publications

Daniel Brenner, Colin Atkinson, Rainer Malaka, Matthias Merdes, Barbara Paech, Dima Suliman
Reducing verification effort in component-based software engineering through built-in testing. Inf. Syst. Frontiers 9 (2-3) (2007)
Matthias Merdes, Rainer Malaka, Dima Suliman, Barbara Paech, Daniel Brenner, Colin Atkinson
Ubiquitous RATs: how resource-aware run-time tests can improve ubiquitous software systems. SEM (2006)
Daniel Brenner, Colin Atkinson, Barbara Paech, Rainer Malaka, Matthias Merdes, Dima Suliman
Reducing Verification Effort in Component-Based Software Engineering through Built-In Testing. EDOC (2006)
Dima Suliman, Barbara Paech, Lars Borner, Colin Atkinson, Daniel Brenner, Matthias Merdes, Rainer Malaka
The MORABIT Approach to Runtime Component Testing. COMPSAC (2) (2006)
Dirk Draheim, Winfried Neun, Dima Suliman
Employing Computer Algebra for Classifying Mathematical Web Content. Algorithmic Algebra and Logic (2005)
Dirk Draheim, Winfried Neun, Dima Suliman
Classifying Differential Equations on the Web. MKM (2004)