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 | 
@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} }
LibreCat
| Download (ext.)
2010 | Journal Article | LibreCat-ID: 40109
@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} }
LibreCat
2010 | Journal Article | LibreCat-ID: 36946 |
@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} }
LibreCat
| Download (ext.)
2010 | Book Chapter | LibreCat-ID: 36957
@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} }
LibreCat
2010 | Book Chapter | LibreCat-ID: 36959
@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} }
LibreCat
2010 | Book Chapter | LibreCat-ID: 36958
@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} }
LibreCat
2010 | Book Chapter | LibreCat-ID: 36963 |
@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} }
LibreCat
| Download (ext.)
2010 | Book Chapter | LibreCat-ID: 36964
@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} }
LibreCat
2010 | Book Chapter | LibreCat-ID: 36967
@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} }
LibreCat
2010 | Book Chapter | LibreCat-ID: 36969
@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} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
@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} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
@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} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
@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} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
@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} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
@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} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
@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} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37044
@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} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37042
@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} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
@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} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
@inproceedings{Müller_He_Mischkalla_Wegele_Larkham_Whiston_Penil_Villar_Mitas_Kritharidis_et al._2010, series={Lecture Notes in Electrical Engineering}, title={The SATURN Approach to SysML-based HW/SW Codesign}, DOI={10.1007/978-94-007-1488-5_9}, booktitle={Proceedings of the IEEE Computer Society Annual Symposium on VLSI}, author={Müller, Wolfgang and He, Da and Mischkalla, Fabian and Wegele, Arthur and Larkham, Adrian and Whiston, Paul and Penil, Pablo and Villar, Eugenio and Mitas, Nikolaos and Kritharidis, Dimitros and et al.}, year={2010}, collection={Lecture Notes in Electrical Engineering} }
LibreCat
| DOI