Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
E-LIB Dokumentserver - Staats und Universitätsbibliothek Bremen
Institutional Repository
3425 Publications
More information
Detailed data provider information (OpenDOAR)


  • Automatisierte Testdatengenerierung hybrider diskret-kontinuierlicher eingebetteter Systeme

    In this dissertation we present an incremental approach to solve the Satisfiability (SAT) Problem for the automated test case generation of hybrid discrete and continuous embedded systems using background theory solvers of the linear arithmetic (LA) and fixed-size bit-vectors (BV) for quantifier-free first-order formulae. Both of these theory solvers extend the Davis-Putnam-Logemann-Loveland decision procedure (DPLL), which was initially designed to solve the satisfiability problem in the pro...

    On Integrating Triple Graph Grammars and OCL for Model-Driven Development

    Software systems become more and more complex. Despite significant advances in code-centric technologies such as advanced programming languages and integrated development environments (IDEs), developing complex software systems is still a laborious task. Model-centric software development has emerged as a promising paradigm, indicating a shift from "code-centric" to "model-centric" engineering. This paradigm puts forward a necessity as well as a challenge of a formal foundation for presenting...

    The impact of diet treatment on reproduction and thermophysiological processes in the land snails Cornu aspersum and Helix pomatia

    Resource acquisition and allocation is a basic task of all animals. Organisms often encounter environmental heterogeneity in space and time, and may adapt their life histories that have been described as heritable set of rules determining allocation to growth or storage for survival versus reproduction. In Cornu aspersum reproductive strategy depended on seasonal time constraints and investment in reproduction was influenced by the energy available in the environment. Nutrients available in f...

    Dinoflagellaten-Zysten als Paläoumweltindikatoren im Spätquartär des Europäischen Nordmeeres

    Dinoflagellate cysts have been investigated in nine short sediment cores as well as two long sediment cores from the Norwegian-Greenland Sea and the North Atlantic to reconstruct the surface water paleoenvironment of the last climatic cycle and the Holocene. Holocene sea-surface temperatures and salinities during summer and winter and the extent of sea-ice cover were reconstructed. On the Rockall Plateau, higher cyst concentrations indicating favourable conditions and increased productivity o...

    Writing/Reading Slavery as Trauma: Othering, Resistance, and the Haunting Use of Voice in Toni Morrison s A Mercy.

    For the first time since Beloved, Toni Morrison returns to slavery in A Mercy (2008): the slave trade is allegorized as a pox upon the initially utopian Vaark farm. Though in the face of systematic discourses of oth-ering, each oppressed character puts up strategies of resistance, the dialec-tic of love, loss, and alienation in Florens s story permeates the entire nov-el. But Florens s voice offers resistance and empowerment as well: the house that Jacob built and that Florens haunts is, in a...
  • No data provider research data found
  • Latest Documents Timeline

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Document Types

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Funders in data provider publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Projects with most Publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

Share - Bookmark