@inproceedingsBol_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: /record/37043

@inproceedingsMü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: /record/37050
DOI: 10.1007/978-94-007-1488-5_9

@inproceedingsMüller_Bol_Krupp_Lundkvist_2010, place=Dordrecht, title=Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems, DOI=10.1007/978-3-642-15234-4_9, publisher=Springer Verlag, author=Müller, Wolfgang and Bol, Alexander and Krupp, Alexander and Lundkvist, Ola, editor=Kleinjohann, L. and Kleinjohann, B., year=2010 
LibreCat: /record/37048
DOI: 10.1007/978-3-642-15234-4_9

@inproceedingsXie_Letombe_Müller_2010, place=Dordrecht, title=Mutation-Analysis Directed Constrained Random Verification, publisher=Springer Verlag, author=Xie, Tao and Letombe, Florian and Müller, Wolfgang, editor=Kleinjohann, L. and Kleinjohann, B., year=2010 
LibreCat: /record/37049

@inproceedingsXie_Defo_Müller_2010, place=Paris, title=An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs, author=Xie, Tao and Defo, Gilles B. and Müller, Wolfgang, year=2010 
LibreCat: /record/37051

@inproceedingsDefo_Müller_Kuznik_2010, place= Trento, Italy, title=Verification of a CAN Bus Model in SystemC with Functional Coverage, DOI=10.1109/SIES.2010.5551379, booktitle=Proceedings of SIES 2010, publisher=IEEE, author=Defo, Gilles B. and Müller, Wolfgang and Kuznik, Christoph, year=2010 
LibreCat: /record/37057
DOI: 10.1109/SIES.2010.5551379

@inproceedingsKlobedanz_Defo_Müller_Kerstan_2010, place=Trento, Italien, title=Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks, DOI=10.1109/SIES.2010.5551384, booktitle=Proceedings of SIES 2010, author=Klobedanz, Kay and Defo, Gilles B. and Müller, Wolfgang and Kerstan, Timo, year=2010 
LibreCat: /record/37056
DOI: 10.1109/SIES.2010.5551384

@inproceedingsMüller_da S. Oliveira_Zabel_Becker_2010, title=Verification of Real-Time Properties for Hardware-Dependant Software, booktitle=Proceedings of HLD, publisher=IEEE, author=Müller, Wolfgang and da S. Oliveira, Marcio F. and Zabel, Henning and Becker, Markus, year=2010 
LibreCat: /record/37053

@inproceedingsOliveira_do Nascimento_Müller_2010, place=Antwerp, Belgium, title=Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration, booktitle=Proceedings of MoMPES 2010, author=Oliveira, Marcio F. S. and do Nascimento, Francisco Assis M. and Müller, Wolfgang, year=2010 
LibreCat: /record/37060

@bookDahmen_2010, title=Evidenzbasierte Soziale Arbeit. Zur Rolle wissenschaftlichen Wissens für sozialarbeiterisches Handeln, volume=17, publisher=Schneider Verlag Hohengehren, author=Dahmen, Stephan, year=2010 
LibreCat: /record/37313

@articleBigga_Schlegel-Matthies_2010, title=Verbraucherbildung und Konsum – Was wissen Studierende? – Überlegungen zur Hochschuldidaktik, volume=87, number=3, journal=Haushalt &; Bildung, author=Bigga, Regine and Schlegel-Matthies, Kirsten, year=2010, pages=48–57 
LibreCat: /record/27886

@bookSchuster_2010, place=Berlin, New York , title=Auf dem Weg zur Fachsprache. Sprachliche Professionalisierung in der psychiatrischen Schreibpraxis (1800–1939) (Reihe Germanistische Linguistik, Habilitation) , volume=286, publisher=de Gruyter, author=Schuster, Britt-Marie, year=2010 
LibreCat: /record/31285

@inbookWeber_2010, place=Hamburg, title=Technikwissenschaft / Technowissenschaft, volume=3, booktitle=Enzyklopädie Philosophie Bd. 3, publisher=Felix Meiner Verlag, author=Weber, Jutta, editor=Sandkühler, Hans-Jörg, year=2010, pages=2717u–2721b 
LibreCat: /record/37517

@inbookWeber_2010, place=Hamburg, title=Leben, volume=2, booktitle=Enzyklopädie Philosophie Bd. 2, publisher=Felix Meiner Verlag, author=Weber, Jutta, editor=Sandkühler, Hans-Jörg, year=2010, pages=1377u–1382b 
LibreCat: /record/37527

@bookWeber_2010, place=Bielefeld, title=Interdisziplinierung? Über den Wissenstransfer zwischen den Geistes-, Sozial- und Technowissenschaften, publisher=transcript, year=2010 
LibreCat: /record/37566

@articleMaxisch_Ebbert_Torun_Fink_de los Arcos de Pedro_Lackmann_Maier_Grundmeier_2010, title=PM-IRRAS studies of the adsorption and stability of organophosphonate monolayers on passivated NiTi surfaces, DOI=10.1016/j.apsusc.2010.09.044, journal=Applied Surface Science, author=Maxisch, M. and Ebbert, C. and Torun, B. and Fink, N. and de los Arcos de Pedro, Maria Teresa and Lackmann, J. and Maier, H.J. and Grundmeier, G., year=2010, pages=2011–2018 
LibreCat: /record/22607
DOI: 10.1016/j.apsusc.2010.09.044

@articleZöller_Stich_Benning_Hoischen_Kitzerow_2010, title=Bold relief fabrication by means of electroconvection: basic properties of a suitable mixture, volume=37, DOI=10.1080/02678291003632603, number=4, journal=Liquid Crystals, publisher=Informa UK Limited, author=Zöller, M.A. and Stich, N. and Benning, S.A. and Hoischen, A. and Kitzerow, Heinz-Siegfried, year=2010, pages=383–388 
LibreCat: /record/39742
DOI: 10.1080/02678291003632603

@articleUrbanski_Kinkead_Hegmann_Kitzerow_2010, title=Director field of birefringent stripes in liquid crystal/nanoparticle dispersions, volume=37, DOI=10.1080/02678292.2010.489160, number=9, journal=Liquid Crystals, publisher=Informa UK Limited, author=Urbanski, Martin and Kinkead, Brandy and Hegmann, Torsten and Kitzerow, Heinz-Siegfried, year=2010, pages=1151–1156 
LibreCat: /record/39740
DOI: 10.1080/02678292.2010.489160

@articleKitzerow_2010, title=Blue Phases: Prior Art, Potential Polar Effects, Challenges, volume=395, DOI=10.1080/00150191003683807, number=1, journal=Ferroelectrics, publisher=Informa UK Limited, author=Kitzerow, Heinz-Siegfried, year=2010, pages=66–85 
LibreCat: /record/39741
DOI: 10.1080/00150191003683807

@articleKitzerow_2010, title=Tunable photonic crystals, volume=11, DOI=10.1080/1464518021000069229, number=4, journal=Liquid Crystals Today, publisher=Informa UK Limited, author=Kitzerow, Heinz-Siegfried, year=2010, pages=3–7 
LibreCat: /record/39974
DOI: 10.1080/1464518021000069229