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.
1210 Publications
2010 | Book Chapter | LibreCat-ID: 12737
Hagengruber, R. E. (2010). Von Diana zu Minerva: Philosophierende Aristokratinnen des 17. und 18. Jahrhunderts. In R. Hagengruber & A. Rodrigues (Eds.), Von Diana zu Minerva. Philosophierende Aristokratinnen des 17. und 18. Jahrhunderts (pp. 11–33). Akademie-Verlag.
LibreCat
2010 | Journal Article | LibreCat-ID: 36946 | 
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.
LibreCat
| Download (ext.)
2010 | Book Chapter | LibreCat-ID: 36957
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.
LibreCat
2010 | Book Chapter | LibreCat-ID: 36959
Weber, J. (2010). Neue Roboterträume. Über Wunsch und Wirklichkeit der Dienstleistungsrobotik. In Museum Tinguely Basel (Ed.), Roboterträume (pp. 40–61). Kehrer Verlag.
LibreCat
2010 | Book Chapter | LibreCat-ID: 36958
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.
LibreCat
2010 | Book Chapter | LibreCat-ID: 36963 |
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.
LibreCat
| Download (ext.)
2010 | Book Chapter | LibreCat-ID: 36964
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.
LibreCat
2010 | Book Chapter | LibreCat-ID: 36967
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.
LibreCat
2010 | Book Chapter | LibreCat-ID: 36969
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.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
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
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
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
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
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
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
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
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
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
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
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
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37044
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
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37042
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.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
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).
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
Müller, W., He, D., Mischkalla, F., Wegele, A., Larkham, A., Whiston, P., Penil, P., Villar, E., Mitas, N., Kritharidis, D., Azcarate, F., & Carballeda, M. (2010). The SATURN Approach to SysML-based HW/SW Codesign. Proceedings of the IEEE Computer Society Annual Symposium on VLSI. https://doi.org/10.1007/978-94-007-1488-5_9
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37048
Müller, W., Bol, A., Krupp, A., & Lundkvist, O. (2010). Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/10.1007/978-3-642-15234-4_9
LibreCat
| DOI