@inbook{57193,
  author       = {{Biehler, Rolf}},
  booktitle    = {{Sustainability in statistics education. Proceedings of the Ninth International Conference on Teaching Statistics (ICOTS9, July, 2014), Flagstaff, Arizona, USA}},
  editor       = {{Makar, K. and d. Sousa, B. and Gould, R.}},
  publisher    = {{ISA}},
  title        = {{{On the delicate relation between informal statistical inference and formal statistical inference}}},
  year         = {{2014}},
}

@inbook{57413,
  author       = {{Hochmuth, Reinhard and Biehler, Rolf and Schreiber, Stephan}},
  booktitle    = {{Proceedings of the 17th Annual Conference on Research in Undergraduate Mathematics Education (RUME 17)}},
  editor       = {{Fukawa-Connelly, T. and Karakok, G. and Keene, K. and Zandieh, M.}},
  pages        = {{693–699}},
  title        = {{{Considering mathematical practices in engineering contexts focusing on signal analysis}}},
  year         = {{2014}},
}

@inbook{57415,
  author       = {{Kuzle, Ana and Biehler, Rolf}},
  booktitle    = {{Beiträge zum Mathematikunterricht 2014, Band 1}},
  editor       = {{Roth, J. and Ames, J.}},
  pages        = {{687--690}},
  publisher    = {{WTM-Verlag}},
  title        = {{{Wie „multiplizieren“ Mathematikmultiplikatoren in ihren selbst gestalteten Lehrerfortbildungsmaßnahmen?}}},
  year         = {{2014}},
}

@inbook{57275,
  author       = {{Biehler, Rolf and Kuzle, Ana and Dutkowski, Wilfried and Elschenbroich, Hans-Jürgen and Heintz, Gaby}},
  booktitle    = {{Beiträge zum Mathematikunterricht 2014, Band 1}},
  editor       = {{Roth, J. and Ames, J.}},
  pages        = {{181--184}},
  publisher    = {{WTM-Verlag}},
  title        = {{{GeKoDyn: Eine Fortbildungsreihe zur dynamischen und kompetenzorientierten Sicht auf die euklidische Geometrie}}},
  year         = {{2014}},
}

@inbook{57421,
  author       = {{Wassong, Thomas and Biehler, Rolf}},
  booktitle    = {{Sustainability in statistics education. Proceedings of the Ninth International Conference on Teaching Statistics (ICOTS9, July, 2014), Flagstaff, Arizona, USA}},
  editor       = {{Makar, K. and d. Sousa, B. and Gould, R.}},
  publisher    = {{ISA}},
  title        = {{{The use of technology in a mentor teacher course in statistics education}}},
  year         = {{2014}},
}

@article{57423,
  author       = {{Wolf, Paul and Biehler, Rolf}},
  journal      = {{Zeitschrift für Hochschulentwicklung}},
  number       = {{4}},
  pages        = {{169--190}},
  title        = {{{Entwicklung und Erprobung anwendungsorientierter Aufgaben für Ingenieurstudienanfänger/innen}}},
  volume       = {{9}},
  year         = {{2014}},
}

@book{57422,
  author       = {{Wolf, Paul and Biehler, Rolf}},
  publisher    = {{Universität Kassel}},
  title        = {{{Anwendungsorientierte Aufgaben für die Erstsemester-Mathematik-Veranstaltungen im Maschinenbaustudium, khdm-Report: Nr. 03-14}}},
  year         = {{2014}},
}

@inproceedings{34583,
  abstract     = {{In this paper, we present an efficient approach to virtual platform modeling for TriCore-based SoCs by combining fast and open software emulation with IEEE-1666 Standard SystemC simulation.  For evaluation we consider Infineon's recently introduced AURIX processor family as a target platform, which utilizes multiple CPU cores operating in lockstep mode, memories, hierarchical buses, and a rich set of peripherals. For SoC prototyping, we integrate the fast and open instruction accurate QEMU software emulator with the TLMu library for SystemC co-verification. This article reports our most recent efforts of the implementation of the TriCore instruction set for QEMU. The experimental results demonstrate the functional correctness and performance of our TriCore implementation.}},
  author       = {{Koppelmann, Bastian and Messidat, Bernd and Kuznik, Christoph and Müller, Wolfgang and Becker, Markus and Scheytt, J. Christoph}},
  booktitle    = {{Proceedings of the Design and Verification Conference Europe (DVCON Europe)}},
  keywords     = {{System Design, Verification}},
  title        = {{{Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU}}},
  year         = {{2014}},
}

@article{25117,
  author       = {{Koppelmann, Bastian and Messidat, Bernd and Becker, Markus and Kuznik, Christoph and Müller, Wolfgang and Scheytt, J. Christoph}},
  journal      = {{Design and Verification Conference (DVCON EUROPE)}},
  title        = {{{Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU}}},
  year         = {{2014}},
}

@article{25162,
  author       = {{Kuznik, Christoph and Müller, Wolfgang}},
  journal      = {{Design, Automation and Test in Europe DATE, University Booth, Dresden }},
  title        = {{{Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure}}},
  year         = {{2014}},
}

@inproceedings{25169,
  author       = {{Oetjens, Jan-Hendrik and Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}},
  booktitle    = {{Design Automation Conference (DAC)}},
  title        = {{{Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges}}},
  year         = {{2014}},
}

@article{60444,
  abstract     = {{<jats:p>
            We introduce
            <jats:italic>Dual Strip Weaving</jats:italic>
            , a novel concept for the interactive design of quad layouts, i.e. partitionings of freeform surfaces into quadrilateral patch networks. In contrast to established tools for the design of quad layouts or subdivision base meshes, which are often based on creating individual vertices, edges, and quads, our method takes a more global perspective, operating on a higher level of abstraction: the atomic operation of our method is the creation of an entire cyclic strip, delineating a large number of quad patches at once. The global consistency-preserving nature of this approach reduces demands on the user's expertise by requiring less advance planning. Efficiency is achieved using a novel method at the heart of our system, which automatically proposes geometrically and topologically suitable strips to the user. Based on this we provide interaction tools to influence the design process to any desired degree and visual guides to support the user in this task.
          </jats:p>}},
  author       = {{Campen, Marcel and Kobbelt, Leif}},
  issn         = {{0730-0301}},
  journal      = {{ACM Transactions on Graphics}},
  number       = {{6}},
  pages        = {{1--10}},
  publisher    = {{Association for Computing Machinery (ACM)}},
  title        = {{{Dual strip weaving}}},
  doi          = {{10.1145/2661229.2661236}},
  volume       = {{33}},
  year         = {{2014}},
}

@article{60445,
  abstract     = {{<jats:p>The most effective and popular tools for obtaining feature aligned quad meshes from triangular input meshes are based on cross field guided parametrization. These methods are incarnations of a conceptual three-step pipeline: (1) cross field computation, (2) field-guided surface parametrization, (3) quad mesh extraction. While in most meshing scenarios the user prescribes a desired target quad size or edge length, this information is typically taken into account from step 2 onwards only, but not in the cross field computation step. This turns into a problem in the presence of small scale geometric or topological features or noise in the input mesh: closely placed singularities are induced in the cross field, which are not properly reproducible by vertices in a quad mesh with the prescribed edge length, causing severe distortions or even failure of the meshing algorithm. We reformulate the construction of cross fields as well as field-guided parametrizations in a scale-aware manner which effectively suppresses densely spaced features and noise of geometric as well as topological kind. Dominant large-scale features are adequately preserved in the output by relying on the unaltered input mesh as the computational domain.</jats:p>}},
  author       = {{Ebke, Hans-Christian and Campen, Marcel and Bommes, David and Kobbelt, Leif}},
  issn         = {{0730-0301}},
  journal      = {{ACM Transactions on Graphics}},
  number       = {{6}},
  pages        = {{1--11}},
  publisher    = {{Association for Computing Machinery (ACM)}},
  title        = {{{Level-of-detail quad meshing}}},
  doi          = {{10.1145/2661229.2661240}},
  volume       = {{33}},
  year         = {{2014}},
}

@article{60443,
  abstract     = {{<jats:title>Abstract</jats:title><jats:p><jats:italic>Quad layouting, i.e. the partitioning of a surface into a coarse network of quadrilateral patches, is a fundamental step in application scenarios ranging from animation and simulation to reverse engineering and meshing. This process involves determining the layout's combinatorial structure as well as its geometric embedding in the surface. We present a novel quad layout algorithm that focuses on the embedding optimization, thereby complementing recent methods focusing on the structure optimization aspect. It takes as input a description of the target layout structure and computes a complete embedding in form of a parameterization globally optimized for isometry and, in particular, principal direction alignment. Besides being suited for fully automatic workflows, our method can also incorporate user constraints and support the tedious but common procedure of manual layouting</jats:italic>.</jats:p>}},
  author       = {{Campen, Marcel and Kobbelt, Leif}},
  issn         = {{0167-7055}},
  journal      = {{Computer Graphics Forum}},
  number       = {{8}},
  pages        = {{69--81}},
  publisher    = {{Wiley}},
  title        = {{{Quad Layout Embedding via Aligned Parameterization}}},
  doi          = {{10.1111/cgf.12401}},
  volume       = {{33}},
  year         = {{2014}},
}

@article{10309,
  author       = {{Hüllermeier, Eyke}},
  journal      = {{Int. J. Approx. Reasoning}},
  number       = {{7}},
  pages        = {{1609--1613}},
  title        = {{{Rejoinder on "Learning from imprecise and fuzzy observations: Data disambiguation through generalized loss minimization"}}},
  volume       = {{55}},
  year         = {{2014}},
}

@inproceedings{25269,
  author       = {{Khaluf, Yara and Birattari, Mauro and Rammig, Franz-Josef}},
  booktitle    = {{Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013}},
  location     = {{Cáceres, Spain, 3. - 5. Dez. 2013}},
  publisher    = {{Springer}},
  title        = {{{Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences}}},
  volume       = {{8273}},
  year         = {{2013}},
}

@inproceedings{25270,
  author       = {{Joy, M. tech. Mabel Mary and Müller, Wolfgang and Rammig, Franz-Josef}},
  booktitle    = {{Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,}},
  publisher    = {{Linköping University Electronic Press}},
  title        = {{{Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model}}},
  year         = {{2013}},
}

@inproceedings{25271,
  author       = {{He, Da and Müller, Wolfgang}},
  booktitle    = {{Proceedings of International Conference on Applied Computing (AC)}},
  title        = {{{AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS}}},
  year         = {{2013}},
}

@inproceedings{25273,
  abstract     = {{Automation and control systems include many “intelligent” automation devices, which are usually implemented as complex embedded systems. New methods and tools are demanded to cope with the increasing design complexity, while keeping the project on schedule. Proper handling of nonfunctional system requirements is a key factor during the design of industrial automation systems, since in some application domains they are as important as (sometimes, more important than) functional requirements. This paper presents a model-driven engineering approach, which combines Unified Modeling Language (UML) and aspect-oriented software development (AOSD) to design real-time and embedded automation systems. The proposed approach allows a smooth transition from the initial phases to implementation by using software tools, comprising the system specification and the automatic generation of source code. By combining UML with model-level aspects and a script-base code generation tool, it enables the use of AOSD during system design and implementation, even though the target platform does not natively support such concepts. Experimental results on using this approach to design real-world examples of automation systems are presented. The results indicate a positive impact on the design of automation systems. The encapsulation of nonfunctional requirements was improved, increasing the reuse of developed artifacts. Generated source code statistics indicate that the proposed approach can generated a fair amount of code per model element.}},
  author       = {{Wehrmeister, Marco A. and Pereira, Carlos E. and Rammig, Franz-Josef}},
  booktitle    = {{ IEEE Trans. on Industrial Informatics vol. 9 (no. 4)}},
  pages        = {{2373--2386}},
  title        = {{{Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems}}},
  year         = {{2013}},
}

@inproceedings{25274,
  author       = {{Khaluf, Yara and Rammig, Franz-Josef}},
  booktitle    = {{ECAL 2013, 12th European Conference on Artificial Life}},
  location     = {{ 2. - 6. Sep. 2013}},
  title        = {{{Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms}}},
  year         = {{2013}},
}