@inproceedings{46383, abstract = {{We propose an evolutionary multiobjective algorithm that approximates multiple reference points (the aspiration set) in a single run using the concept of the averaged Hausdorff distance.}}, author = {{Rudolph, Günter and Grimme, Christian and Schütze, Oliver and Trautmann, Heike}}, booktitle = {{Proceedings of the Learning and Intelligent OptimizatioN Conference (LION 8)}}, pages = {{153–156}}, publisher = {{Springer}}, title = {{{An Aspiration Set EMOA Based on Averaged Hausdorff Distances}}}, volume = {{8426}}, year = {{2014}}, } @inproceedings{46384, abstract = {{Multimodal optimization requires maintenance of a good search space coverage and approximation of several optima at the same time. We analyze two constitutive optimization algorithms and show that in many cases, a phase transition occurs at some point, so that either diversity collapses or optimization stagnates. But how to derive suitable stopping criteria for multimodal optimization? Experimental results indicate that an algorithm’s population contains sufficient information to estimate the point in time when several performance indicators reach their optimum. Thus, stopping criteria are formulated based on summary characteristics employing objective values and mutation strength.}}, author = {{Wessing, S and Preuss, M and Trautmann, Heike}}, booktitle = {{Proceedings of the Parallel Problem Solving from Nature — PPSN XIII}}, editor = {{Bartz-Beielstein, T and Branke, J and Filipic, B and Smith, J}}, pages = {{141–150}}, publisher = {{Springer}}, title = {{{Stopping Criteria for Multimodal Optimization}}}, doi = {{10.1007/978-3-319-10762-2_14}}, volume = {{8672}}, year = {{2014}}, } @inproceedings{31369, author = {{Panse, Anja and Hilgert, Joachim and Hoffmann, Max}}, booktitle = {{Beiträge zum Mathematikunterricht 2014}}, editor = {{Roth, Jürgen and Ames, Judith}}, pages = {{883–886}}, publisher = {{WTM-Verlag}}, title = {{{Handlungsbedarf in fachmathematischen Veranstaltungen? – Spezielle Maßnahmen an der Universität Paderborn}}}, doi = {{10.17877/DE290R-15591}}, year = {{2014}}, } @article{51394, author = {{Hilgert, Joachim and Möllers, J. and Kobayashi, T.}}, journal = {{J. Math. Soc. Japan}}, pages = {{349--414}}, title = {{{Minimal representations via Bessel operators}}}, volume = {{66}}, year = {{2014}}, } @article{51393, author = {{Hilgert, Joachim and Wurzbacher, T. and Alldridge, A.}}, journal = {{Math. Z.}}, pages = {{441--492}}, title = {{{Singular superspaces}}}, volume = {{278}}, year = {{2014}}, } @inbook{51466, author = {{Hilgert, Joachim and Ólafsson, G.}}, booktitle = {{Developments and Retrospectives in Lie Theory - Geometric and Analytic Methods}}, editor = {{Mason, G. and Penkov, I. and Wolf, J.A.}}, publisher = {{Springer}}, title = {{{The Radon transform and its dual for limits of symmetric spaces}}}, volume = {{37}}, year = {{2014}}, } @inbook{51465, author = {{Hilgert, Joachim and Hoffmann, M. and Panse, A.}}, booktitle = {{Beiträge zum Mathematikunterricht 2014}}, editor = {{Roth, J. and Ames, J.}}, publisher = {{WTM Verlag}}, title = {{{Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik}}}, year = {{2014}}, } @article{45935, author = {{Axelsson, Owe and Karátson, János and Kovács, Balázs}}, issn = {{0036-1429}}, journal = {{SIAM Journal on Numerical Analysis}}, keywords = {{Numerical Analysis, Applied Mathematics, Computational Mathematics}}, number = {{6}}, pages = {{2957--2976}}, publisher = {{Society for Industrial & Applied Mathematics (SIAM)}}, title = {{{Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality}}}, doi = {{10.1137/130940268}}, volume = {{52}}, year = {{2014}}, } @article{45934, author = {{Kovács, Balázs}}, issn = {{0862-7940}}, journal = {{Applications of Mathematics}}, keywords = {{Applied Mathematics}}, number = {{5}}, pages = {{489--508}}, publisher = {{Institute of Mathematics, Czech Academy of Sciences}}, title = {{{On the numerical performance of a sharp a posteriori error estimator for some nonlinear elliptic problems}}}, doi = {{10.1007/s10492-014-0068-0}}, volume = {{59}}, year = {{2014}}, } @phdthesis{51696, author = {{Werth, Gerda}}, title = {{{Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?}}}, year = {{2014}}, } @article{32025, author = {{Küster, Benjamin}}, journal = {{Communications in Mathematics}}, number = {{2}}, pages = {{141 -- 149}}, title = {{{Discontinuity of the Fuglede-Kadison determinant on a group von Neumann algebra}}}, volume = {{22}}, year = {{2014}}, } @book{48384, author = {{Wessel, Lena}}, publisher = {{Springer-Verlag}}, title = {{{Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff}}}, volume = {{19}}, year = {{2014}}, } @article{25164, author = {{Becker, Markus and Müller, Wolfgang and Stroop, Joachim and Kiffmeier, Ulrich}}, journal = {{Design, Automation and Test in Europe DATE, University Booth, Dresden}}, title = {{{HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC}}}, year = {{2014}}, } @inproceedings{47162, author = {{Fahl, Sascha and Acar, Yasemin and Perl, Henning and Smith, Matthew}}, booktitle = {{Proceedings of the 9th ACM symposium on Information, computer and communications security}}, publisher = {{ACM}}, title = {{{Why eve and mallory (also) love webmasters}}}, doi = {{10.1145/2590296.2590341}}, year = {{2014}}, } @inproceedings{25120, author = {{Mischkalla, Fabian and Müller, Wolfgang}}, booktitle = {{Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)}}, location = {{Greece, Sep. 2014, IEEE}}, publisher = {{IEEE}}, title = {{{Architectural Low-Power Design Using Transaction-Based System Simulation}}}, year = {{2014}}, } @inproceedings{25146, author = {{Joy, M. tech. Mabel Mary and Müller, Wolfgang and Rammig, Franz-Josef}}, booktitle = {{12th IEEE International conference on Embedded Computing}}, title = {{{Source code annotated memory leak detection for soft real time embedded systems with resource constraints}}}, year = {{2014}}, } @inproceedings{25144, author = {{Mischkalla, Fabian and Müller, Wolfgang}}, booktitle = {{PATMOS 2014}}, title = {{{Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation}}}, year = {{2014}}, } @inproceedings{36918, abstract = {{This paper presents an advanced eight levels spanning SystemC based virtual platform methodology and framework - referred to as HeroeS 3 - providing smooth application to platform mapping and continuous co-refinement of a virtual prototype with its physical environment model. For heterogeneity support, various SystemC extensions are combined covering continuous/discrete models of computation and different communication abstractions, such as analog mixed-signal models, abstract RTOS/HAL/middleware models, TLM bus models, and QEMU wrappers. We enable dependability assessment by Fault Effect Modeling (FEM) at the virtual prototype in order to avoid risking physical injury or damage. Also, simulation results are deterministic and can be evaluated interactively or offline. We apply FEM to both the physical environment model and the different abstractions of the virtual prototype. Currently, we focus on sensor failures and application control flow errors.}}, author = {{Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}}, keywords = {{Computational modeling, Finite element analysis, Prototypes, Abstracts, Software, Fault tolerance, Fault tolerant systems}}, location = {{Berlin}}, publisher = {{IEEE}}, title = {{{Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems}}}, doi = {{10.1109/ICCPS.2014.6843726}}, year = {{2014}}, } @inproceedings{36917, abstract = {{The ever-increasing complexity of heterogeneous electronic systems demand for intensified abstraction and automation efforts to improve design, verification and validation productivity, especially in earlier phases of system engineering. Within the verification activity various metrics can be applied to determine functional correctness or the overall progress. Here, a supporting verification methodology defining high-level verification planning down to the actual metric code development is essential. Moreover, an advanced assistance for the designer, such as a tooling infrastructure to automatize and accelerate the metric code implementation, is needed to minimize the influence of errorprone manual coding. In this article we present a single-source verification metric code-generation methodology for improved coverage automation. We determine (i) a suitable metric model for model-based capture of verification metrics as well as (ii) an assisted model-based processing and generation flow of the verification environment and metric skeletons. We apply our method to a SystemC case-study, in doing so, targeting metric code implementation productivity and consistency enhancement.}}, author = {{Kuznik, Christoph and Müller, Wolfgang and Defo, Gilles Bertrand}}, keywords = {{System Design, Verification}}, title = {{{An Assisted Single Source Verification Metric Model Code Generation Methodology}}}, year = {{2014}}, } @inproceedings{25166, abstract = {{Zur Sicherstellung hoher Zuverlässigkeits- und Fehlertoleranzwerte von Schaltungen und ganzen Systemen finden vermehrt Test- und Verifikationsmethoden Anwendung die einen virtuellen Prototypen (VP) des Systems bereits frühzeitig im Entwurfsablauf einem Stresstest unterziehen. Hierbei werden speziell für die Domäne relevante Fehlerinjektoren verwendet (Digital, Mixed-Signal, Mechanik) die anhand von Fehlermodellen geeignete Testfälle erzeugen und in das System über Stimuli bzw. direkt injizieren. Jede effektive Anwendung einer Methode bedingt jedoch auch das Vorhandensein einer zugrundeliegenden Methodik. In diesem Beitrag wird die System Verification Methodology (SVM) vorgestellt werden, eine universell einsetzbare und erweiterbare Infrastruktur zur Beschreibung von Testumgebungen auf Basis der SystemC Sprache und Simulationskernels.}}, author = {{Kuznik, Christoph and Müller, Wolfgang}}, booktitle = {{26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen}}, title = {{{Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM}}}, year = {{2014}}, }