--- _id: '55707' citation: ama: Priesching N, Henkelmann A, eds. Widerstand? Forschungsperspektiven auf das Verhältnis von Katholizismus und Nationalsozialismus. Vol 2.; 2010. apa: Priesching, N., & Henkelmann, A. (Eds.). (2010). Widerstand? Forschungsperspektiven auf das Verhältnis von Katholizismus und Nationalsozialismus (Vol. 2). bibtex: '@book{Priesching_Henkelmann_2010, place={Saarbrücken}, series={theologie.geschichte. Beihefte}, title={Widerstand? Forschungsperspektiven auf das Verhältnis von Katholizismus und Nationalsozialismus}, volume={2}, year={2010}, collection={theologie.geschichte. Beihefte} }' chicago: Priesching, Nicole, and Andreas Henkelmann, eds. Widerstand? Forschungsperspektiven auf das Verhältnis von Katholizismus und Nationalsozialismus. Vol. 2. theologie.geschichte. Beihefte. Saarbrücken, 2010. ieee: N. Priesching and A. Henkelmann, Eds., Widerstand? Forschungsperspektiven auf das Verhältnis von Katholizismus und Nationalsozialismus, vol. 2. Saarbrücken, 2010. mla: Priesching, Nicole, and Andreas Henkelmann, editors. Widerstand? Forschungsperspektiven auf das Verhältnis von Katholizismus und Nationalsozialismus. 2010. short: N. Priesching, A. Henkelmann, eds., Widerstand? Forschungsperspektiven auf das Verhältnis von Katholizismus und Nationalsozialismus, Saarbrücken, 2010. date_created: 2024-08-21T12:55:33Z date_updated: 2024-08-21T12:59:28Z department: - _id: '125' - _id: '21' editor: - first_name: Nicole full_name: Priesching, Nicole id: '32046' last_name: Priesching - first_name: Andreas full_name: Henkelmann, Andreas last_name: Henkelmann extern: '1' intvolume: ' 2' language: - iso: ger place: Saarbrücken publication_status: published series_title: theologie.geschichte. Beihefte status: public title: Widerstand? Forschungsperspektiven auf das Verhältnis von Katholizismus und Nationalsozialismus type: book_editor user_id: '23692' volume: 2 year: '2010' ... --- _id: '55813' author: - first_name: Johannes full_name: Kepper, Johannes id: '1684' last_name: Kepper orcid: 0000-0003-4891-260X - first_name: Perry D. full_name: Roland, Perry D. last_name: Roland citation: ama: Kepper J, Roland PD. Music Encoding Initiative Tag Library, 2010-05 Release.; 2010. apa: Kepper, J., & Roland, P. D. (2010). Music Encoding Initiative Tag Library, 2010-05 Release. bibtex: '@book{Kepper_Roland_2010, place={Charlottesville und Detmold}, title={Music Encoding Initiative Tag Library, 2010-05 Release}, author={Kepper, Johannes and Roland, Perry D.}, year={2010} }' chicago: Kepper, Johannes, and Perry D. Roland. Music Encoding Initiative Tag Library, 2010-05 Release. Charlottesville und Detmold, 2010. ieee: J. Kepper and P. D. Roland, Music Encoding Initiative Tag Library, 2010-05 Release. Charlottesville und Detmold, 2010. mla: Kepper, Johannes, and Perry D. Roland. Music Encoding Initiative Tag Library, 2010-05 Release. 2010. short: J. Kepper, P.D. Roland, Music Encoding Initiative Tag Library, 2010-05 Release, Charlottesville und Detmold, 2010. date_created: 2024-08-28T11:33:32Z date_updated: 2024-08-28T12:58:18Z department: - _id: '874' - _id: '538' language: - iso: eng main_file_link: - open_access: '1' url: https://music-encoding.org/downloads/MEI_TagLibrary_2010-05.pdf oa: '1' place: Charlottesville und Detmold publication_status: published status: public title: Music Encoding Initiative Tag Library, 2010-05 Release type: book user_id: '1684' year: '2010' ... --- _id: '40109' author: - first_name: Sabine full_name: Schmitz, Sabine id: '21675' last_name: Schmitz citation: ama: 'Schmitz S. Orte des Anderssagens auf der Bühne: Spielformen der allegorischen Personifikation in der Moralité des 15. und 16. Jahrhunderts. Archiv für das Studium der neueren Sprachen und Literaturen. 2010;247:317-333.' apa: 'Schmitz, S. (2010). Orte des Anderssagens auf der Bühne: Spielformen der allegorischen Personifikation in der Moralité des 15. und 16. Jahrhunderts. Archiv Für Das Studium Der Neueren Sprachen Und Literaturen, 247, 317–333.' bibtex: '@article{Schmitz_2010, title={Orte des Anderssagens auf der Bühne: Spielformen der allegorischen Personifikation in der Moralité des 15. und 16. Jahrhunderts}, volume={247}, journal={Archiv für das Studium der neueren Sprachen und Literaturen}, author={Schmitz, Sabine}, year={2010}, pages={317–333} }' chicago: 'Schmitz, Sabine. “Orte Des Anderssagens Auf Der Bühne: Spielformen Der Allegorischen Personifikation in Der Moralité Des 15. Und 16. Jahrhunderts.” Archiv Für Das Studium Der Neueren Sprachen Und Literaturen 247 (2010): 317–33.' ieee: 'S. Schmitz, “Orte des Anderssagens auf der Bühne: Spielformen der allegorischen Personifikation in der Moralité des 15. und 16. Jahrhunderts,” Archiv für das Studium der neueren Sprachen und Literaturen, vol. 247, pp. 317–333, 2010.' mla: 'Schmitz, Sabine. “Orte Des Anderssagens Auf Der Bühne: Spielformen Der Allegorischen Personifikation in Der Moralité Des 15. Und 16. Jahrhunderts.” Archiv Für Das Studium Der Neueren Sprachen Und Literaturen, vol. 247, 2010, pp. 317–33.' short: S. Schmitz, Archiv Für Das Studium Der Neueren Sprachen Und Literaturen 247 (2010) 317–333. date_created: 2023-01-25T20:17:05Z date_updated: 2024-09-03T10:30:45Z intvolume: ' 247' language: - iso: eng page: 317-333 publication: Archiv für das Studium der neueren Sprachen und Literaturen status: public title: 'Orte des Anderssagens auf der Bühne: Spielformen der allegorischen Personifikation in der Moralité des 15. und 16. Jahrhunderts' type: journal_article user_id: '21675' volume: 247 year: '2010' ... --- _id: '36946' author: - first_name: Jutta full_name: Weber, Jutta id: '31494' last_name: Weber citation: ama: Weber J. Making Worlds. Epistemological, Ontological and Political Dimensions of Technoscience. Poiesis and Praxis International Journal of Ethics of Science and Technology Assessment 1/2010. 2010;Vol. 7(1/2010):17-36. apa: Weber, J. (2010). Making Worlds. Epistemological, Ontological and Political Dimensions of Technoscience. Poiesis and Praxis. International Journal of Ethics of Science and Technology Assessment 1/2010, Vol. 7(1/2010), 17–36. bibtex: '@article{Weber_2010, title={Making Worlds. Epistemological, Ontological and Political Dimensions of Technoscience}, volume={Vol. 7}, number={1/2010}, journal={Poiesis and Praxis. International Journal of Ethics of Science and Technology Assessment 1/2010}, author={Weber, Jutta}, year={2010}, pages={17–36} }' chicago: 'Weber, Jutta. “Making Worlds. Epistemological, Ontological and Political Dimensions of Technoscience.” Poiesis and Praxis. International Journal of Ethics of Science and Technology Assessment 1/2010 Vol. 7, no. 1/2010 (2010): 17–36.' ieee: J. Weber, “Making Worlds. Epistemological, Ontological and Political Dimensions of Technoscience,” Poiesis and Praxis. International Journal of Ethics of Science and Technology Assessment 1/2010, vol. Vol. 7, no. 1/2010, pp. 17–36, 2010. mla: Weber, Jutta. “Making Worlds. Epistemological, Ontological and Political Dimensions of Technoscience.” Poiesis and Praxis. International Journal of Ethics of Science and Technology Assessment 1/2010, vol. Vol. 7, no. 1/2010, 2010, pp. 17–36. short: J. Weber, Poiesis and Praxis. International Journal of Ethics of Science and Technology Assessment 1/2010 Vol. 7 (2010) 17–36. date_created: 2023-01-16T13:27:53Z date_updated: 2023-01-16T13:30:05Z department: - _id: '411' extern: '1' issue: 1/2010 language: - iso: eng main_file_link: - open_access: '1' url: https://juttaweber.eu/wordpress/wp-content/uploads/2021/03/Weber_Making-Worlds.pdf oa: '1' page: 17-36 publication: Poiesis and Praxis. International Journal of Ethics of Science and Technology Assessment 1/2010 status: public title: Making Worlds. Epistemological, Ontological and Political Dimensions of Technoscience type: journal_article user_id: '14932' volume: Vol. 7 year: '2010' ... --- _id: '36957' author: - first_name: Jutta full_name: Weber, Jutta id: '31494' last_name: Weber citation: ama: 'Weber J. ‘Security’ Architectures, New Ontologies and the Category of Gender. Contemporary Challenges in Feminist Technoscience Studies. In: Riegraf B, Aulenbacher B, Kirsch-Auwärter E, Müller U, eds. GenderChange in Academia. Re-Mapping the Fields of Work, Knowledge, and Politics from a Gender Perspective. Verlag für Sozialwissenschaften; 2010:217-230.' apa: Weber, J. (2010). ‘Security’ Architectures, New Ontologies and the Category of Gender. Contemporary Challenges in Feminist Technoscience Studies. In B. Riegraf, B. Aulenbacher, E. Kirsch-Auwärter, & U. Müller (Eds.), GenderChange in Academia. Re-mapping the Fields of Work, Knowledge, and Politics from a Gender Perspective (pp. 217–230). Verlag für Sozialwissenschaften. bibtex: '@inbook{Weber_2010, place={Wiesbaden}, title={‘Security’ Architectures, New Ontologies and the Category of Gender. Contemporary Challenges in Feminist Technoscience Studies}, booktitle={GenderChange in Academia. Re-mapping the Fields of Work, Knowledge, and Politics from a Gender Perspective}, publisher={Verlag für Sozialwissenschaften}, author={Weber, Jutta}, editor={Riegraf, Birgit and Aulenbacher, Brigitte and Kirsch-Auwärter, Edit and Müller, Ursula}, year={2010}, pages={217–230} }' chicago: 'Weber, Jutta. “‘Security’ Architectures, New Ontologies and the Category of Gender. Contemporary Challenges in Feminist Technoscience Studies.” In GenderChange in Academia. Re-Mapping the Fields of Work, Knowledge, and Politics from a Gender Perspective, edited by Birgit Riegraf, Brigitte Aulenbacher, Edit Kirsch-Auwärter, and Ursula Müller, 217–30. Wiesbaden: Verlag für Sozialwissenschaften, 2010.' ieee: 'J. Weber, “‘Security’ Architectures, New Ontologies and the Category of Gender. Contemporary Challenges in Feminist Technoscience Studies,” in GenderChange in Academia. Re-mapping the Fields of Work, Knowledge, and Politics from a Gender Perspective, B. Riegraf, B. Aulenbacher, E. Kirsch-Auwärter, and U. Müller, Eds. Wiesbaden: Verlag für Sozialwissenschaften, 2010, pp. 217–230.' mla: Weber, Jutta. “‘Security’ Architectures, New Ontologies and the Category of Gender. Contemporary Challenges in Feminist Technoscience Studies.” GenderChange in Academia. Re-Mapping the Fields of Work, Knowledge, and Politics from a Gender Perspective, edited by Birgit Riegraf et al., Verlag für Sozialwissenschaften, 2010, pp. 217–30. short: 'J. Weber, in: B. Riegraf, B. Aulenbacher, E. Kirsch-Auwärter, U. Müller (Eds.), GenderChange in Academia. Re-Mapping the Fields of Work, Knowledge, and Politics from a Gender Perspective, Verlag für Sozialwissenschaften, Wiesbaden, 2010, pp. 217–230.' date_created: 2023-01-16T13:59:13Z date_updated: 2023-01-16T13:59:58Z department: - _id: '411' editor: - first_name: Birgit full_name: Riegraf, Birgit last_name: Riegraf - first_name: Brigitte full_name: Aulenbacher, Brigitte last_name: Aulenbacher - first_name: Edit full_name: Kirsch-Auwärter, Edit last_name: Kirsch-Auwärter - first_name: Ursula full_name: Müller, Ursula last_name: Müller extern: '1' language: - iso: eng page: 217-230 place: Wiesbaden publication: GenderChange in Academia. Re-mapping the Fields of Work, Knowledge, and Politics from a Gender Perspective publisher: Verlag für Sozialwissenschaften status: public title: ‘Security’ Architectures, New Ontologies and the Category of Gender. Contemporary Challenges in Feminist Technoscience Studies type: book_chapter user_id: '14932' year: '2010' ... --- _id: '36959' author: - first_name: Jutta full_name: Weber, Jutta id: '31494' last_name: Weber citation: ama: 'Weber J. Neue Roboterträume. Über Wunsch und Wirklichkeit der Dienstleistungsrobotik. In: Museum Tinguely Basel, ed. Roboterträume. Kehrer Verlag; 2010:40-61.' apa: Weber, J. (2010). Neue Roboterträume. Über Wunsch und Wirklichkeit der Dienstleistungsrobotik. In Museum Tinguely Basel (Ed.), Roboterträume (pp. 40–61). Kehrer Verlag. bibtex: '@inbook{Weber_2010, place={Heidelberg}, title={Neue Roboterträume. Über Wunsch und Wirklichkeit der Dienstleistungsrobotik}, booktitle={Roboterträume}, publisher={Kehrer Verlag}, author={Weber, Jutta}, editor={Museum Tinguely Basel}, year={2010}, pages={40–61} }' chicago: 'Weber, Jutta. “Neue Roboterträume. Über Wunsch und Wirklichkeit der Dienstleistungsrobotik.” In Roboterträume, edited by Museum Tinguely Basel, 40–61. Heidelberg: Kehrer Verlag, 2010.' ieee: 'J. Weber, “Neue Roboterträume. Über Wunsch und Wirklichkeit der Dienstleistungsrobotik,” in Roboterträume, Museum Tinguely Basel, Ed. Heidelberg: Kehrer Verlag, 2010, pp. 40–61.' mla: Weber, Jutta. “Neue Roboterträume. Über Wunsch und Wirklichkeit der Dienstleistungsrobotik.” Roboterträume, edited by Museum Tinguely Basel, Kehrer Verlag, 2010, pp. 40–61. short: 'J. Weber, in: Museum Tinguely Basel (Ed.), Roboterträume, Kehrer Verlag, Heidelberg, 2010, pp. 40–61.' corporate_editor: - Museum Tinguely Basel date_created: 2023-01-16T14:06:15Z date_updated: 2023-01-16T14:07:15Z department: - _id: '411' extern: '1' language: - iso: ger page: 40-61 place: Heidelberg publication: Roboterträume publisher: Kehrer Verlag status: public title: Neue Roboterträume. Über Wunsch und Wirklichkeit der Dienstleistungsrobotik type: book_chapter user_id: '14932' year: '2010' ... --- _id: '36958' author: - first_name: Jutta full_name: Weber, Jutta id: '31494' last_name: Weber citation: ama: 'Weber J. New Robot Dreams. On Desire and Reality in Service Robotics. In: Museum Tinguely Basel, ed. Roboterträume. Kehrer Verlag; 2010:40-61.' apa: Weber, J. (2010). New Robot Dreams. On Desire and Reality in Service Robotics. In Museum Tinguely Basel (Ed.), Roboterträume (pp. 40–61). Kehrer Verlag. bibtex: '@inbook{Weber_2010, place={Heidelberg}, title={New Robot Dreams. On Desire and Reality in Service Robotics}, booktitle={Roboterträume}, publisher={Kehrer Verlag}, author={Weber, Jutta}, editor={Museum Tinguely Basel}, year={2010}, pages={40–61} }' chicago: 'Weber, Jutta. “New Robot Dreams. On Desire and Reality in Service Robotics.” In Roboterträume, edited by Museum Tinguely Basel, 40–61. Heidelberg: Kehrer Verlag, 2010.' ieee: 'J. Weber, “New Robot Dreams. On Desire and Reality in Service Robotics,” in Roboterträume, Museum Tinguely Basel, Ed. Heidelberg: Kehrer Verlag, 2010, pp. 40–61.' mla: Weber, Jutta. “New Robot Dreams. On Desire and Reality in Service Robotics.” Roboterträume, edited by Museum Tinguely Basel, Kehrer Verlag, 2010, pp. 40–61. short: 'J. Weber, in: Museum Tinguely Basel (Ed.), Roboterträume, Kehrer Verlag, Heidelberg, 2010, pp. 40–61.' corporate_editor: - Museum Tinguely Basel date_created: 2023-01-16T14:03:15Z date_updated: 2023-01-16T14:03:54Z department: - _id: '411' extern: '1' language: - iso: eng page: 40-61 place: Heidelberg publication: Roboterträume publisher: Kehrer Verlag status: public title: New Robot Dreams. On Desire and Reality in Service Robotics type: book_chapter user_id: '14932' year: '2010' ... --- _id: '36963' author: - first_name: Jutta full_name: Weber, Jutta id: '31494' last_name: Weber citation: ama: 'Weber J. Armchair Warfare ‘on Terrorism’. On Robots, Targeted Assassinations and Strategic Violations of International Law. In: Vallverdú J, ed. Thinking Machines and the Philosophy of Computer Science: Concepts and Principles. IGI Global; 2010:206-222.' apa: 'Weber, J. (2010). Armchair Warfare ‘on Terrorism’. On Robots, Targeted Assassinations and Strategic Violations of International Law. In J. Vallverdú (Ed.), Thinking Machines and the Philosophy of Computer Science: Concepts and Principles (pp. 206–222). IGI Global.' bibtex: '@inbook{Weber_2010, title={Armchair Warfare ‘on Terrorism’. On Robots, Targeted Assassinations and Strategic Violations of International Law}, booktitle={Thinking Machines and the Philosophy of Computer Science: Concepts and Principles}, publisher={IGI Global}, author={Weber, Jutta}, editor={Vallverdú, Jordi}, year={2010}, pages={206–222} }' chicago: 'Weber, Jutta. “Armchair Warfare ‘on Terrorism’. On Robots, Targeted Assassinations and Strategic Violations of International Law.” In Thinking Machines and the Philosophy of Computer Science: Concepts and Principles, edited by Jordi Vallverdú, 206–22. IGI Global, 2010.' ieee: 'J. Weber, “Armchair Warfare ‘on Terrorism’. On Robots, Targeted Assassinations and Strategic Violations of International Law,” in Thinking Machines and the Philosophy of Computer Science: Concepts and Principles, J. Vallverdú, Ed. IGI Global, 2010, pp. 206–222.' mla: 'Weber, Jutta. “Armchair Warfare ‘on Terrorism’. On Robots, Targeted Assassinations and Strategic Violations of International Law.” Thinking Machines and the Philosophy of Computer Science: Concepts and Principles, edited by Jordi Vallverdú, IGI Global, 2010, pp. 206–22.' short: 'J. Weber, in: J. Vallverdú (Ed.), Thinking Machines and the Philosophy of Computer Science: Concepts and Principles, IGI Global, 2010, pp. 206–222.' date_created: 2023-01-17T06:32:24Z date_updated: 2023-01-17T06:32:45Z department: - _id: '411' editor: - first_name: Jordi full_name: Vallverdú, Jordi last_name: Vallverdú extern: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://juttaweber.eu/wordpress/wp-content/uploads/2021/03/Weber_Armchair-Warfare_preprint.pdf oa: '1' page: 206-222 publication: 'Thinking Machines and the Philosophy of Computer Science: Concepts and Principles' publisher: IGI Global status: public title: Armchair Warfare ‘on Terrorism’. On Robots, Targeted Assassinations and Strategic Violations of International Law type: book_chapter user_id: '14932' year: '2010' ... --- _id: '36964' author: - first_name: Jutta full_name: Weber, Jutta id: '31494' last_name: Weber - first_name: Cecile full_name: Crutzen, Cecile last_name: Crutzen citation: ama: 'Weber J, Crutzen C. Gender, Diversity and a Competence Based Computer Science Curriculum. In: Elovaara P, Sefyrin J, Öhman M, Björkman C, Blomqvist M, eds. Festschrift for Christina Mörtberg. Department of Informatics: Umeå Universität; 2010:245-268.' apa: 'Weber, J., & Crutzen, C. (2010). Gender, Diversity and a Competence Based Computer Science Curriculum. In P. Elovaara, J. Sefyrin, M. Öhman, C. Björkman, & M. Blomqvist (Eds.), Festschrift for Christina Mörtberg (pp. 245–268). Department of Informatics: Umeå Universität.' bibtex: '@inbook{Weber_Crutzen_2010, title={Gender, Diversity and a Competence Based Computer Science Curriculum}, booktitle={Festschrift for Christina Mörtberg}, publisher={Department of Informatics: Umeå Universität}, author={Weber, Jutta and Crutzen, Cecile}, editor={Elovaara, Pirjo and Sefyrin, Johanna and Öhman, Maybritt and Björkman, Christina and Blomqvist, Martha}, year={2010}, pages={245–268} }' chicago: 'Weber, Jutta, and Cecile Crutzen. “Gender, Diversity and a Competence Based Computer Science Curriculum.” In Festschrift for Christina Mörtberg, edited by Pirjo Elovaara, Johanna Sefyrin, Maybritt Öhman, Christina Björkman, and Martha Blomqvist, 245–68. Department of Informatics: Umeå Universität, 2010.' ieee: 'J. Weber and C. Crutzen, “Gender, Diversity and a Competence Based Computer Science Curriculum,” in Festschrift for Christina Mörtberg, P. Elovaara, J. Sefyrin, M. Öhman, C. Björkman, and M. Blomqvist, Eds. Department of Informatics: Umeå Universität, 2010, pp. 245–268.' mla: 'Weber, Jutta, and Cecile Crutzen. “Gender, Diversity and a Competence Based Computer Science Curriculum.” Festschrift for Christina Mörtberg, edited by Pirjo Elovaara et al., Department of Informatics: Umeå Universität, 2010, pp. 245–68.' short: 'J. Weber, C. Crutzen, in: P. Elovaara, J. Sefyrin, M. Öhman, C. Björkman, M. Blomqvist (Eds.), Festschrift for Christina Mörtberg, Department of Informatics: Umeå Universität, 2010, pp. 245–268.' date_created: 2023-01-17T06:38:53Z date_updated: 2023-01-17T06:39:16Z department: - _id: '411' editor: - first_name: Pirjo full_name: Elovaara, Pirjo last_name: Elovaara - first_name: Johanna full_name: Sefyrin, Johanna last_name: Sefyrin - first_name: Maybritt full_name: Öhman, Maybritt last_name: Öhman - first_name: Christina full_name: Björkman, Christina last_name: Björkman - first_name: Martha full_name: Blomqvist, Martha last_name: Blomqvist extern: '1' language: - iso: eng page: 245-268 publication: Festschrift for Christina Mörtberg publisher: 'Department of Informatics: Umeå Universität' status: public title: Gender, Diversity and a Competence Based Computer Science Curriculum type: book_chapter user_id: '14932' year: '2010' ... --- _id: '36967' author: - first_name: Jutta full_name: Weber, Jutta id: '31494' last_name: Weber citation: ama: 'Weber J. Situiertheit, Verkörperung, Gefühl: Unscharfe Begriffe als technowissenschaftliche Innovationsressource. In: Ernst W, ed. Geschlecht und Innovation. Gender-Mainstreaming im Techno-Wissenschaftsbetrieb. Teilband 4. Internationale Frauen- und Geschlechterforschung in Niedersachsen. LIT Verlag; 2010:49-62.' apa: 'Weber, J. (2010). Situiertheit, Verkörperung, Gefühl: Unscharfe Begriffe als technowissenschaftliche Innovationsressource. In W. Ernst (Ed.), Geschlecht und Innovation. Gender-Mainstreaming im Techno-Wissenschaftsbetrieb. Teilband 4. Internationale Frauen- und Geschlechterforschung in Niedersachsen (pp. 49–62). LIT Verlag.' bibtex: '@inbook{Weber_2010, place={Berlin}, title={Situiertheit, Verkörperung, Gefühl: Unscharfe Begriffe als technowissenschaftliche Innovationsressource}, booktitle={Geschlecht und Innovation. Gender-Mainstreaming im Techno-Wissenschaftsbetrieb. Teilband 4. Internationale Frauen- und Geschlechterforschung in Niedersachsen}, publisher={LIT Verlag}, author={Weber, Jutta}, editor={Ernst, Waltraud}, year={2010}, pages={49–62} }' chicago: 'Weber, Jutta. “Situiertheit, Verkörperung, Gefühl: Unscharfe Begriffe als technowissenschaftliche Innovationsressource.” In Geschlecht und Innovation. Gender-Mainstreaming im Techno-Wissenschaftsbetrieb. Teilband 4. Internationale Frauen- und Geschlechterforschung in Niedersachsen, edited by Waltraud Ernst, 49–62. Berlin: LIT Verlag, 2010.' ieee: 'J. Weber, “Situiertheit, Verkörperung, Gefühl: Unscharfe Begriffe als technowissenschaftliche Innovationsressource,” in Geschlecht und Innovation. Gender-Mainstreaming im Techno-Wissenschaftsbetrieb. Teilband 4. Internationale Frauen- und Geschlechterforschung in Niedersachsen, W. Ernst, Ed. Berlin: LIT Verlag, 2010, pp. 49–62.' mla: 'Weber, Jutta. “Situiertheit, Verkörperung, Gefühl: Unscharfe Begriffe als technowissenschaftliche Innovationsressource.” Geschlecht und Innovation. Gender-Mainstreaming im Techno-Wissenschaftsbetrieb. Teilband 4. Internationale Frauen- und Geschlechterforschung in Niedersachsen, edited by Waltraud Ernst, LIT Verlag, 2010, pp. 49–62.' short: 'J. Weber, in: W. Ernst (Ed.), Geschlecht und Innovation. Gender-Mainstreaming im Techno-Wissenschaftsbetrieb. Teilband 4. Internationale Frauen- und Geschlechterforschung in Niedersachsen, LIT Verlag, Berlin, 2010, pp. 49–62.' date_created: 2023-01-17T06:48:23Z date_updated: 2023-01-17T06:49:01Z department: - _id: '411' editor: - first_name: Waltraud full_name: Ernst, Waltraud last_name: Ernst extern: '1' language: - iso: ger page: 49-62 place: Berlin publication: Geschlecht und Innovation. Gender-Mainstreaming im Techno-Wissenschaftsbetrieb. Teilband 4. Internationale Frauen- und Geschlechterforschung in Niedersachsen publisher: LIT Verlag status: public title: 'Situiertheit, Verkörperung, Gefühl: Unscharfe Begriffe als technowissenschaftliche Innovationsressource' type: book_chapter user_id: '14932' year: '2010' ... --- _id: '36969' author: - first_name: Jutta full_name: Weber, Jutta id: '31494' last_name: Weber citation: ama: 'Weber J. Flexibel, situiert & unberechenbar. Über Mensch und Maschine im Zeitalter der Technoscience. In: Badura H, ed. Der Wert des menschlichen Lebens im 21. Jahrhundert. Zu den Grenzen der menschlichen Verfügungsmacht. 13. Internationale Europakonferenz. Eigenverlag; 2010:245-260.' apa: Weber, J. (2010). Flexibel, situiert & unberechenbar. Über Mensch und Maschine im Zeitalter der Technoscience. In H. Badura (Ed.), Der Wert des menschlichen Lebens im 21. Jahrhundert. Zu den Grenzen der menschlichen Verfügungsmacht. 13. Internationale Europakonferenz (pp. 245–260). Eigenverlag. bibtex: '@inbook{Weber_2010, place={Krems}, title={Flexibel, situiert & unberechenbar. Über Mensch und Maschine im Zeitalter der Technoscience}, booktitle={Der Wert des menschlichen Lebens im 21. Jahrhundert. Zu den Grenzen der menschlichen Verfügungsmacht. 13. Internationale Europakonferenz}, publisher={Eigenverlag}, author={Weber, Jutta}, editor={Badura, Hans}, year={2010}, pages={245–260} }' chicago: 'Weber, Jutta. “Flexibel, situiert & unberechenbar. Über Mensch und Maschine im Zeitalter der Technoscience.” In Der Wert des menschlichen Lebens im 21. Jahrhundert. Zu den Grenzen der menschlichen Verfügungsmacht. 13. Internationale Europakonferenz, edited by Hans Badura, 245–60. Krems: Eigenverlag, 2010.' ieee: 'J. Weber, “Flexibel, situiert & unberechenbar. Über Mensch und Maschine im Zeitalter der Technoscience,” in Der Wert des menschlichen Lebens im 21. Jahrhundert. Zu den Grenzen der menschlichen Verfügungsmacht. 13. Internationale Europakonferenz, H. Badura, Ed. Krems: Eigenverlag, 2010, pp. 245–260.' mla: Weber, Jutta. “Flexibel, situiert & unberechenbar. Über Mensch und Maschine im Zeitalter der Technoscience.” Der Wert des menschlichen Lebens im 21. Jahrhundert. Zu den Grenzen der menschlichen Verfügungsmacht. 13. Internationale Europakonferenz, edited by Hans Badura, Eigenverlag, 2010, pp. 245–60. short: 'J. Weber, in: H. Badura (Ed.), Der Wert des menschlichen Lebens im 21. Jahrhundert. Zu den Grenzen der menschlichen Verfügungsmacht. 13. Internationale Europakonferenz, Eigenverlag, Krems, 2010, pp. 245–260.' date_created: 2023-01-17T07:02:08Z date_updated: 2023-01-17T07:02:39Z department: - _id: '411' editor: - first_name: Hans full_name: Badura, Hans last_name: Badura extern: '1' language: - iso: ger page: 245-260 place: Krems publication: Der Wert des menschlichen Lebens im 21. Jahrhundert. Zu den Grenzen der menschlichen Verfügungsmacht. 13. Internationale Europakonferenz publisher: Eigenverlag status: public title: Flexibel, situiert & unberechenbar. Über Mensch und Maschine im Zeitalter der Technoscience type: book_chapter user_id: '14932' year: '2010' ... --- _id: '37007' abstract: - lang: eng text: UML is widely applied for the specification and modeling of software and some studies have demonstrated that it is applicable for HW/SW codesign. However, in this area there is still a big gap from UML modeling to SystemC-based verification and synthesis environments. This paper presents an efficient approach to bridge this gap in the context of Systems-on-a-Chip (SoC) design. We propose a framework for the seamless integration of a customized SysML entry with code generation for HW/SW cosimulation and high-level FPGA synthesis. For this, we extended the SysML UML profile by SystemC and synthesis capabilities. Two case studies demonstrate the applicability of our approach. author: - first_name: Fabian full_name: Mischkalla, Fabian last_name: Mischkalla - first_name: Da full_name: He, Da last_name: He - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller citation: ama: 'Mischkalla F, He D, Müller W. Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5456990' apa: Mischkalla, F., He, D., & Müller, W. (2010). Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. Proceedings of DATE’10. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456990 bibtex: '@inproceedings{Mischkalla_He_Müller_2010, place={Dresden}, title={Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems}, DOI={10.1109/DATE.2010.5456990}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Mischkalla, Fabian and He, Da and Müller, Wolfgang}, year={2010} }' chicago: 'Mischkalla, Fabian, Da He, and Wolfgang Müller. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456990.' ieee: 'F. Mischkalla, D. He, and W. Müller, “Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5456990.' mla: Mischkalla, Fabian, et al. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5456990. short: 'F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.' conference: location: Dresden name: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) date_created: 2023-01-17T09:12:35Z date_updated: 2023-01-17T09:12:44Z department: - _id: '672' doi: 10.1109/DATE.2010.5456990 keyword: - Unified modeling language - Field programmable gate arrays - Bridges - Helium - Real time systems - Operating systems - Documentation - Application software - XML - Space exploration language: - iso: eng place: Dresden publication: Proceedings of DATE’10 publication_identifier: eisbn: - 978-3-9810801-6-2 publisher: IEEE status: public title: Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems type: conference user_id: '5786' year: '2010' ... --- _id: '37009' abstract: - lang: eng text: Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) residing on one or several processors. For scaling of each task set and processor configuration, instruction set simulation and worst case timing analysis are typically applied. This paper presents a complementary approach for the verification of RTOS properties based on an abstract RTOS-Model in SystemC. We apply IEEE P1850 PSL for which we present an approach and first experiences for the assertion-based verification of RTOS properties. author: - first_name: Marcio F. S. full_name: Oliveira, Marcio F. S. last_name: Oliveira - first_name: Henning full_name: Zabel, Henning last_name: Zabel - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller citation: ama: 'Oliveira MFS, Zabel H, Müller W. Assertion-Based Verification of RTOS Properties. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457130' apa: Oliveira, M. F. S., Zabel, H., & Müller, W. (2010). Assertion-Based Verification of RTOS Properties. Proceedings of DATE’10. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457130 bibtex: '@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based Verification of RTOS Properties}, DOI={10.1109/DATE.2010.5457130}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }' chicago: 'Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based Verification of RTOS Properties.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457130.' ieee: 'M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification of RTOS Properties,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457130.' mla: Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457130. short: 'M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.' conference: location: Dresden name: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) date_created: 2023-01-17T09:15:10Z date_updated: 2023-01-17T09:15:18Z department: - _id: '672' doi: 10.1109/DATE.2010.5457130 keyword: - Operating systems - Real time systems - Timing - Hardware - Analytical models - Embedded software - Software systems - Processor scheduling - Software performance - Performance analysis language: - iso: eng place: Dresden publication: Proceedings of DATE’10 publisher: IEEE status: public title: Assertion-Based Verification of RTOS Properties type: conference user_id: '5786' year: '2010' ... --- _id: '37011' abstract: - lang: eng text: Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSAR-based language for timing modeling and analysis. We present and apply the Timing Augmented Description Language (TADL) and demonstrate a methodology for the development of a speed-adaptive steer-by-wire system. We examine the impact of TADL and the methodology on the development process and the suitability and interoperability of the applied tools with respect to the AUTOSAR-based tool chain in the context of our case study. author: - first_name: Kay full_name: Klobedanz, Kay last_name: Klobedanz - first_name: Christoph full_name: Kuznik, Christoph last_name: Kuznik - first_name: Andre full_name: Thuy, Andre last_name: Thuy - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller citation: ama: 'Klobedanz K, Kuznik C, Thuy A, Müller W. Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. In: Proceedings of DATE’10, Dresden. IEEE; 2010. doi:10.1109/DATE.2010.5457125' apa: Klobedanz, K., Kuznik, C., Thuy, A., & Müller, W. (2010). Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. Proceedings of DATE’10, Dresden. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457125 bibtex: '@inproceedings{Klobedanz_Kuznik_Thuy_Müller_2010, place={Dresden}, title={Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study}, DOI={10.1109/DATE.2010.5457125}, booktitle={Proceedings of DATE’10, Dresden}, publisher={IEEE}, author={Klobedanz, Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang}, year={2010} }' chicago: 'Klobedanz, Kay, Christoph Kuznik, Andre Thuy, and Wolfgang Müller. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” In Proceedings of DATE’10, Dresden. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457125.' ieee: 'K. Klobedanz, C. Kuznik, A. Thuy, and W. Müller, “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457125.' mla: Klobedanz, Kay, et al. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” Proceedings of DATE’10, Dresden, IEEE, 2010, doi:10.1109/DATE.2010.5457125. short: 'K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10, Dresden, IEEE, Dresden, 2010.' conference: location: Dresden name: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) date_created: 2023-01-17T09:19:36Z date_updated: 2023-01-17T09:19:46Z department: - _id: '672' doi: 10.1109/DATE.2010.5457125 keyword: - Timing - Programming - Automotive engineering - Application software - Hardware - Computer architecture - Communication system software - Software architecture - Delay - Software standards language: - iso: eng place: Dresden publication: Proceedings of DATE’10, Dresden publisher: IEEE status: public title: Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study type: conference user_id: '5786' year: '2010' ... --- _id: '37037' abstract: - lang: eng text: Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embedded Systems (CTM/ES) to fill this gap by new concepts for the precise specification of stimuli for operational ranges of continuous control systems. It introduces novel means for continuous acceptance criteria definition and for functional coverage definition. author: - first_name: Alexander full_name: Krupp, Alexander last_name: Krupp - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller citation: ama: 'Krupp A, Müller W. A Systematic Approach to Combined HW/SW System Test. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457186' apa: Krupp, A., & Müller, W. (2010). A Systematic Approach to Combined HW/SW System Test. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457186 bibtex: '@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic Approach to Combined HW/SW System Test}, DOI={10.1109/DATE.2010.5457186}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2010} }' chicago: 'Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457186.' ieee: 'A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,” presented at the Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457186.' mla: Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457186. short: 'A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.' conference: location: Dresden name: Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) date_created: 2023-01-17T10:41:15Z date_updated: 2023-01-17T10:41:25Z department: - _id: '672' doi: 10.1109/DATE.2010.5457186 keyword: - System testing - Automatic testing - Object oriented modeling - Classification tree analysis - Automotive engineering - Mathematical model - Embedded system - Control systems - Electronic equipment testing - Software testing language: - iso: eng place: Dresden publication: Proceedings of DATE’10 publisher: IEEE status: public title: A Systematic Approach to Combined HW/SW System Test type: conference user_id: '5786' year: '2010' ... --- _id: '37040' abstract: - lang: eng text: Refinement of untimed TLM models into a timed HW/SW platform is a step by step design process which is a trade-off between timing accuracy of the used models and correct estimation of the final timing performance. The use of an RTOS on the target platform is mandatory in the case real-time properties must be guaranteed. Thus, the question is when the RTOS must be introduced in this step by step refinement process. This paper proposes a four-level RTOS-aware refinement methodology that, starting from an untimed TLM SystemC description of the whole system, progressively introduce HW/SW partitioning, timing, device driver and RTOS functionalities, till to obtain an accurate model of the final platform, where SW tasks run upon an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions. Each refinement level allows the designer to estimate more and more accurate timing properties, thus anticipating design decisions without being constrained to leave timing analysis to the final step of the refinement. The effectiveness of the methodology has been evaluated in the design of two complex platforms. author: - first_name: Markus full_name: Becker, Markus last_name: Becker - first_name: Giuseppe full_name: Di Guglielmo, Giuseppe last_name: Di Guglielmo - first_name: Franco full_name: Fummi, Franco last_name: Fummi - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller - first_name: Graziano full_name: Pravadelli, Graziano last_name: Pravadelli - first_name: Tao full_name: Xie, Tao last_name: Xie citation: ama: 'Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5456965' apa: Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., & Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456965 bibtex: '@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={10.1109/DATE.2010.5456965}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }' chicago: 'Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456965.' ieee: 'M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5456965.' mla: Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5456965. short: 'M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.' conference: location: Dresden name: Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) date_created: 2023-01-17T10:47:29Z date_updated: 2023-01-17T10:47:37Z department: - _id: '672' doi: 10.1109/DATE.2010.5456965 keyword: - Timing - Hardware - Operating systems - Process design - Accuracy - Standards development - Context modeling - Real time systems - Communication channels - Microprogramming language: - iso: eng place: Dresden publication: Proceedings of DATE’10 publication_identifier: eisbn: - 978-3-9810801-6-2 publisher: IEEE status: public title: RTOS-Aware Refinement for TLM2.0-based HW/SW Design type: conference user_id: '5786' year: '2010' ... --- _id: '37046' abstract: - lang: eng text: In this article, we present a flexible simulation environment for embedded real-time software refinement by a mixed level cosimulation. For this, we combine the native speed of an abstract real-time operating system (RTOS) model in SystemC with dynamic binary translation for fast Instruction Set Simulation (ISS) by QEMU. In order to support stepwise RTOS software refinement from system level to the target software, each task can be separately migrated between the native execution and the ISS. By adapting the dynamic binary translation approach to an efficient but yet very accurate synchronization scheme the overhead of QEMU user mode execution is only factor two compared to native SystemC. Furthermore, the simulation speed increases almost linearly according to the utilization of the task set abstracted by the native execution. Hereby, the simulation time can be considerably reduced by cosimulating just a subset of tasks on QEMU. author: - first_name: Markus full_name: Becker, Markus last_name: Becker - first_name: Henning full_name: Zabel, Henning last_name: Zabel - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller citation: ama: 'Becker M, Zabel H, Müller W. A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_15' apa: Becker, M., Zabel, H., & Müller, W. (2010). A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/10.1007/978-3-642-15234-4_15 bibtex: '@inproceedings{Becker_Zabel_Müller_2010, place={Dordrecht}, title={A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement}, DOI={10.1007/978-3-642-15234-4_15}, publisher={Springer Verlag}, author={Becker, Markus and Zabel, Henning and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }' chicago: 'Becker, Markus, Henning Zabel, and Wolfgang Müller. “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. https://doi.org/10.1007/978-3-642-15234-4_15.' ieee: 'M. Becker, H. Zabel, and W. Müller, “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement,” 2010, doi: 10.1007/978-3-642-15234-4_15.' mla: Becker, Markus, et al. A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:10.1007/978-3-642-15234-4_15. short: 'M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.' conference: name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010) date_created: 2023-01-17T11:01:30Z date_updated: 2023-01-17T11:03:00Z department: - _id: '672' doi: 10.1007/978-3-642-15234-4_15 editor: - first_name: L. full_name: Kleinjohann, L. last_name: Kleinjohann - first_name: B. full_name: Kleinjohann, B. last_name: Kleinjohann keyword: - Application Programming Interface User Mode Kernel Space System Level Design Mixed Level language: - iso: eng place: Dordrecht publication_identifier: isbn: - 978-3-642-15233-7 publisher: Springer Verlag status: public title: A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement type: conference user_id: '5786' year: '2010' ... --- _id: '37044' abstract: - lang: eng text: In this paper we present new concepts to resolve ECU (Electronic Control Unit) failures in FlexRay networks. Our approach extends the FlexRay bus schedule by redundant slots with modifications in the communication and slot assignment. We introduce additional backup nodes to replace faulty nodes. To reduce the required memory resources of the backup nodes, we distribute redundant tasks over different nodes and propose the migration of tasks to the backup node at runtime. We investigate different solutions to migrate the redundant tasks to the backup node by time-triggered and event-triggered transmissions. author: - first_name: Kay full_name: Klobedanz, Kay last_name: Klobedanz - first_name: Gilles B. full_name: Defo, Gilles B. last_name: Defo - first_name: Henning full_name: Zabel, Henning last_name: Zabel - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller - first_name: Yuan full_name: Zhi, Yuan last_name: Zhi citation: ama: 'Klobedanz K, Defo GB, Zabel H, Müller W, Zhi Y. Task Migration for Fault-Tolerant FlexRay Networks. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_7' apa: Klobedanz, K., Defo, G. B., Zabel, H., Müller, W., & Zhi, Y. (2010). Task Migration for Fault-Tolerant FlexRay Networks (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/10.1007/978-3-642-15234-4_7 bibtex: '@inproceedings{Klobedanz_Defo_Zabel_Müller_Zhi_2010, place={Dordrecht}, title={Task Migration for Fault-Tolerant FlexRay Networks}, DOI={10.1007/978-3-642-15234-4_7}, publisher={Springer Verlag}, author={Klobedanz, Kay and Defo, Gilles B. and Zabel, Henning and Müller, Wolfgang and Zhi, Yuan}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }' chicago: 'Klobedanz, Kay, Gilles B. Defo, Henning Zabel, Wolfgang Müller, and Yuan Zhi. “Task Migration for Fault-Tolerant FlexRay Networks.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. https://doi.org/10.1007/978-3-642-15234-4_7.' ieee: 'K. Klobedanz, G. B. Defo, H. Zabel, W. Müller, and Y. Zhi, “Task Migration for Fault-Tolerant FlexRay Networks,” 2010, doi: 10.1007/978-3-642-15234-4_7.' mla: Klobedanz, Kay, et al. Task Migration for Fault-Tolerant FlexRay Networks. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:10.1007/978-3-642-15234-4_7. short: 'K. Klobedanz, G.B. Defo, H. Zabel, W. Müller, Y. Zhi, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.' conference: name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010) date_created: 2023-01-17T10:59:52Z date_updated: 2023-01-17T11:00:00Z department: - _id: '672' doi: 10.1007/978-3-642-15234-4_7 editor: - first_name: L. full_name: Kleinjohann, L. last_name: Kleinjohann - first_name: B. full_name: Kleinjohann, B. last_name: Kleinjohann keyword: - Faulty Node Static Segment Slot Assignment Task Migration Communication Controller language: - iso: eng place: Dordrecht publication_identifier: isbn: - 978-3-642-15233-7 publisher: Springer Verlag status: public title: Task Migration for Fault-Tolerant FlexRay Networks type: conference user_id: '5786' year: '2010' ... --- _id: '37042' abstract: - lang: eng text: It's wide application in the area of software engineering, UML is still not fully accepted for other engineering domains like for electronic systems design. The main obstacle is due to a major gap in the design flow between UML-based modeling and verification. To overcome this gap, we introduce a UML profile for synthesizable SystemC and C and present its implementation in the context of the advanced SysML modeling environment of ARTiSAN Studio. We demonstrate how to customize Studio for SystemC/C comodeling so that it can serve as a verification and synthesis front-end. author: - first_name: Fabian full_name: Mischkalla, Fabian last_name: Mischkalla - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller - first_name: Da full_name: He, Da last_name: He citation: ama: 'Mischkalla F, Müller W, He D. A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis. In: Proceedings of the M-BED Workshop. ; 2010.' apa: Mischkalla, F., Müller, W., & He, D. (2010). A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis. Proceedings of the M-BED Workshop. bibtex: '@inproceedings{Mischkalla_Müller_He_2010, place={Dresden}, title={A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis}, booktitle={Proceedings of the M-BED Workshop}, author={Mischkalla, Fabian and Müller, Wolfgang and He, Da}, year={2010} }' chicago: Mischkalla, Fabian, Wolfgang Müller, and Da He. “A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis.” In Proceedings of the M-BED Workshop. Dresden, 2010. ieee: F. Mischkalla, W. Müller, and D. He, “A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis,” 2010. mla: Mischkalla, Fabian, et al. “A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis.” Proceedings of the M-BED Workshop, 2010. short: 'F. Mischkalla, W. Müller, D. He, in: Proceedings of the M-BED Workshop, Dresden, 2010.' date_created: 2023-01-17T10:50:01Z date_updated: 2023-01-17T10:50:10Z department: - _id: '672' language: - iso: eng place: Dresden publication: Proceedings of the M-BED Workshop status: public title: A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis type: conference user_id: '5786' year: '2010' ... --- _id: '37043' author: - first_name: Alexander full_name: Bol, Alexander last_name: Bol - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller - first_name: Alexander full_name: Krupp, Alexander last_name: Krupp citation: ama: 'Bol A, Müller W, Krupp A. Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. In: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). ; 2010.' apa: Bol, A., Müller, W., & Krupp, A. (2010). Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). bibtex: '@inproceedings{Bol_Müller_Krupp_2010, place={Dresden}, title={Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen}, booktitle={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, author={Bol, Alexander and Müller, Wolfgang and Krupp, Alexander}, year={2010} }' chicago: Bol, Alexander, Wolfgang Müller, and Alexander Krupp. “Eine Strukturierte Methode Zur Generierung von SystemVerilog-Testumgebungen Aus Textuellen Anforderungsbeschreibungen.” In Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Dresden, 2010. ieee: A. Bol, W. Müller, and A. Krupp, “Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen,” 2010. mla: Bol, Alexander, et al. “Eine Strukturierte Methode Zur Generierung von SystemVerilog-Testumgebungen Aus Textuellen Anforderungsbeschreibungen.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2010. short: 'A. Bol, W. Müller, A. Krupp, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), Dresden, 2010.' date_created: 2023-01-17T10:55:18Z date_updated: 2023-01-17T10:55:24Z department: - _id: '672' language: - iso: eng place: Dresden publication: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) status: public title: Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen type: conference user_id: '5786' year: '2010' ...