Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1265 Publications
2010 | Book | LibreCat-ID: 55813 | 
Kepper J, Roland PD. Music Encoding Initiative Tag Library, 2010-05 Release.; 2010.
LibreCat
| Download (ext.)
2010 | Journal Article | LibreCat-ID: 40109
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.
LibreCat
2010 | Journal Article | LibreCat-ID: 36946 |
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.
LibreCat
| Download (ext.)
2010 | Book Chapter | LibreCat-ID: 36957
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.
LibreCat
2010 | Book Chapter | LibreCat-ID: 36959
Weber J. Neue Roboterträume. Über Wunsch und Wirklichkeit der Dienstleistungsrobotik. In: Museum Tinguely Basel, ed. Roboterträume. Kehrer Verlag; 2010:40-61.
LibreCat
2010 | Book Chapter | LibreCat-ID: 36958
Weber J. New Robot Dreams. On Desire and Reality in Service Robotics. In: Museum Tinguely Basel, ed. Roboterträume. Kehrer Verlag; 2010:40-61.
LibreCat
2010 | Book Chapter | LibreCat-ID: 36963 |
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.
LibreCat
| Download (ext.)
2010 | Book Chapter | LibreCat-ID: 36964
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.
LibreCat
2010 | Book Chapter | LibreCat-ID: 36967
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.
LibreCat
2010 | Book Chapter | LibreCat-ID: 36969
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.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
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
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
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
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
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
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
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
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
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
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
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
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37044
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
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37042
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.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
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.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
Müller W, He D, Mischkalla F, et al. The SATURN Approach to SysML-based HW/SW Codesign. In: Proceedings of the IEEE Computer Society Annual Symposium on VLSI. Lecture Notes in Electrical Engineering. ; 2010. doi:10.1007/978-94-007-1488-5_9
LibreCat
| DOI