Christian Schubert

Learn More
<i>Design by Contract</i> (DBC) is a programming technique to separate contract enforcement from application code. DBC provides information about the applicability of methods and helps to narrow down the search space in case of a software failure. However, most DBC implementations suffer from inflexibility: Contract enforcement can only be activated or(More)
This is a PDF file of an unedited manuscript that has been accepted for publication. As a service to our customers we are providing this early version of the manuscript. The manuscript will undergo copyediting, typesetting, and review of the resulting proof before it is published in its final form. Please note that during the production process errors may(More)
The paper presents a contribution to a Modelica benchmark suite. Basic ideas for a tool independent benchmark suite based on Python scripting along with models for testing the performance of Modelica compilers regarding large systems of equation are given. The automation of running the benchmark suite is demonstrated followed by a selection of benchmark(More)
A little more than a decade ago, Nathan Berg asked the question why behavioral economics had not yet inspired a reorientation of normative economics. Given the ever rising interest in the new, psychologically informed economics, the present paper will outline the way reasoning about the normative implications of behavioral economics has developed since Berg(More)
  • Schriftliche Publikationen, Aguilera, D N Ahlers, H Battelier, Bawamia A Bertoldi, A Bondarescu +69 others
  • 2015
Hinweis für AG4-Gutachter: Zur fünffachen Wertung angemeldet. Der Hinweis " Journal ist in der Thomson-Reuters Master Journal List " besagt, dass die jeweilige Zeitschrift in der Liste
This paper presents a novel algorithm, named <i>Reshuffling</i>, for manipulating a system of differential-algebraic equations (DAE). An algorithm is introduced to rearrange edges in the graph representation of the DAE in order to resolve cycles. The algorithm comprises a method to detect cycles of linear equations in the bipartite graph and to rearrange(More)
Over the last years, a lot of effort has been spent on the development and implementation of parallel computing techniques for Modelica models. Especially the field of automatic parallel computation of the state derivatives has been studied intensively. First results of the project HPC-OM have shown, that a significant speedup for simulation models of the(More)
The ecophysiological response of plants to environmental heavy metal stress is indicated by the profile of its tissue HM concentrations (C p) versus the concentration of the HM in the substrate (C s). We report a systems biology approach to the modelling of the C p-C s profile using as loose analogy, the Verhulst model of population dynamics but formulated(More)