@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}}, } @inproceedings{25163, author = {{Kuznik, Christoph and Defo, Bertrand Gilles and Müller, Wolfgang}}, booktitle = {{17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) }}, title = {{{Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung}}}, year = {{2014}}, } @article{25151, author = {{Kuznik, Christoph and Defo, Bertrand Gilles and Müller, Wolfgang}}, journal = {{Electronic System Level Synthesis Conference (ESLSyn)}}, title = {{{An Assisted Single Source Verification Metric Model Code Generation Methodology}}}, year = {{2014}}, } @inproceedings{37107, author = {{Florou, Annita and Kosi, Urska}}, location = {{Graz, Austria}}, title = {{{Does mandatory IFRS adoption facilitate debt financing? }}}, year = {{2014}}, } @inbook{37219, author = {{Wallmeier, Nadine}}, booktitle = {{Studien zur Lexikographie und Lexikologie des Niederdeutschen. Festgabe für Robert Damme zum 60. Geburtstag.}}, editor = {{Denkler, Markus and Roolfs, Friedel }}, pages = {{29--40}}, publisher = {{Aschendorff}}, title = {{{Rechtssprachliches im >Vocabularius Theutonicus< }}}, volume = {{54}}, year = {{2014}}, } @inproceedings{35714, author = {{Temmen, Katrin and Nofen, Barbara and Wehebrink, Markus}}, booktitle = {{2014 IEEE Global Engineering Education Conference (EDUCON)}}, publisher = {{IEEE}}, title = {{{Lecture meets laboratory experimental experiences for large audiences: Concept and implementation}}}, doi = {{10.1109/educon.2014.6826117}}, year = {{2014}}, } @article{37307, author = {{Dahmen, Stephan}}, issn = {{1613-8953}}, journal = {{Social Work & Society. International Online Journal}}, number = {{2}}, publisher = {{Univ. Duisburg-Essen, Inst. für Soziale Arbeit und Sozialpolitik}}, title = {{{The Capability Approach and Sociological Conceptions of Human Agency: An Empirical Assessment on the Basis of an Analysis of Activation Policies}}}, volume = {{12}}, year = {{2014}}, } @inbook{37309, author = {{Dahmen, Stephan}}, booktitle = {{Children’s Rights and the Capability Approach}}, editor = {{Bonvin, Jean-Michel and Stöcklin, Daniel}}, pages = {{153–173}}, publisher = {{Springer}}, title = {{{The Theoretical Orthodoxy of Children’s and Youth Agency and Its Contradictions: Moving from Normative Thresholds to a Situated Assessment of Children’s and Youth Lives}}}, volume = {{8}}, year = {{2014}}, } @article{37458, author = {{Schwab, Susanne and Seifert, Susanne and Gasteiger-Klicpera, Barbara}}, issn = {{0966-9760}}, journal = {{International Journal of Early Years Education}}, keywords = {{Developmental and Educational Psychology, Education}}, number = {{2}}, pages = {{210--222}}, publisher = {{Informa UK Limited}}, title = {{{Improving reading in children with German as a first or second language}}}, doi = {{10.1080/09669760.2014.909308}}, volume = {{22}}, year = {{2014}}, } @article{37457, author = {{Schwab, Susanne and Seifert, Susanne}}, issn = {{2190-6890}}, journal = {{Zeitschrift für Bildungsforschung}}, number = {{1}}, pages = {{73--87}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{Einstellungen von Lehramtsstudierenden und Pädagogikstudierenden zur schulischen Inklusion – Ergebnisse einer quantitativen Untersuchung}}}, doi = {{10.1007/s35834-014-0107-7}}, volume = {{5}}, year = {{2014}}, } @misc{37513, author = {{Weber, Jutta}}, booktitle = {{Schlüsselwerke der Wissenschafts- und Technikforschung/Science & Technology Studies}}, editor = {{Lengersdorf, Diana and Wieser, Matthias}}, pages = {{155--169}}, publisher = {{VS Verlag}}, title = {{{Donna Haraway. Technoscience, New World Order und Trickster-Geschichten für lebbare Welten}}}, year = {{2014}}, } @misc{37514, author = {{Weber, Jutta}}, booktitle = {{Science, Technology and Innovation Studies, Vol. 10, No. 1}}, pages = {{187--199}}, title = {{{Opacity versus Computational Reflection. Modelling Human-Robot Interaction in Personal Service Robotics}}}, year = {{2014}}, } @article{31296, author = {{Barkhofen, Sonja and Faure, F and Weich, Tobias}}, issn = {{0951-7715}}, journal = {{Nonlinearity}}, keywords = {{Applied Mathematics, General Physics and Astronomy, Mathematical Physics, Statistical and Nonlinear Physics}}, number = {{8}}, pages = {{1829--1858}}, publisher = {{IOP Publishing}}, title = {{{Resonance chains in open systems, generalized zeta functions and clustering of the length spectrum}}}, doi = {{10.1088/0951-7715/27/8/1829}}, volume = {{27}}, year = {{2014}}, } @book{35971, author = {{Lorenz, Cornelia}}, isbn = {{978-3-8233-6918-9}}, publisher = {{Narr}}, title = {{{Zugezogene im Fokus. Sprachkontakterscheinungen im Regiolekt. }}}, year = {{2014}}, } @article{36067, author = {{Lorenz, Cornelia}}, journal = {{Linguistik Online}}, number = {{Die Vermessung der Salienz(forschung). Themenheft}}, pages = {{135--146}}, publisher = {{Christen, Helen / Ziegler, Evelyn}}, title = {{{Salienz unter Einheimischen und Zugezogenen. Ein empirischer Vergleich.}}}, volume = {{66,4/14.}}, year = {{2014}}, } @inproceedings{2742, author = {{Beutner, Marc and Kundisch, Dennis and Magenheim, J. and Zoyke, A.}}, booktitle = {{Proceedings of the World Conference on E-Learning}}, location = {{New Orleans, USA}}, pages = {{197 -- 204}}, title = {{{Support, Supervision, Feedback and Lecturers Role in the use of the Classroom Response Systems PINGO}}}, year = {{2014}}, } @article{31297, author = {{Weich, Tobias and Barkhofen, Sonja and Kuhl, U and Poli, C and Schomerus, H}}, issn = {{1367-2630}}, journal = {{New Journal of Physics}}, keywords = {{General Physics and Astronomy}}, number = {{3}}, publisher = {{IOP Publishing}}, title = {{{Formation and interaction of resonance chains in the open three-disk system}}}, doi = {{10.1088/1367-2630/16/3/033029}}, volume = {{16}}, year = {{2014}}, } @article{22580, author = {{König, Dennis and Naujoks, Dennis and de los Arcos de Pedro, Maria Teresa and Grosse-Kreul, Simon and Ludwig, Alfred}}, issn = {{1438-1656}}, journal = {{Advanced Engineering Materials}}, pages = {{669--673}}, title = {{{X-Ray Photoelectron Spectroscopy Investigations of the Surface Reaction Layer and its Effects on the Transformation Properties of Nanoscale Ti51Ni38Cu11Shape Memory Thin Films}}}, doi = {{10.1002/adem.201400317}}, year = {{2014}}, }