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.
1206 Publications
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
2010 | Conference Paper | LibreCat-ID: 37049
Xie, T., Letombe, F., & Müller, W. (2010). Mutation-Analysis Directed Constrained Random Verification (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37051
Xie, T., Defo, G. B., & Müller, W. (2010). An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs. First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (HoPES 2010), Paris.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37057
Defo, G. B., Müller, W., & Kuznik, C. (2010). Verification of a CAN Bus Model in SystemC with Functional Coverage. Proceedings of SIES 2010. International Symposium on Industrial Embedded System (SIES), Trento, Italy. https://doi.org/10.1109/SIES.2010.5551379
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37056
Klobedanz, K., Defo, G. B., Müller, W., & Kerstan, T. (2010). Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. Proceedings of SIES 2010. International Symposium on Industrial Embedded System (SIES). https://doi.org/10.1109/SIES.2010.5551384
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller, W., da S. Oliveira, M. F., Zabel, H., & Becker, M. (2010). Verification of Real-Time Properties for Hardware-Dependant Software. Proceedings of HLDVT2010. IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37060
Oliveira, M. F. S., do Nascimento, F. A. M., & Müller, W. (2010). Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration. Proceedings of MoMPES 2010.
LibreCat
2010 | Book | LibreCat-ID: 37313
Dahmen, S. (2010). Evidenzbasierte Soziale Arbeit. Zur Rolle wissenschaftlichen Wissens für sozialarbeiterisches Handeln (Vol. 17). Schneider Verlag Hohengehren.
LibreCat
2010 | Journal Article | LibreCat-ID: 27886
Bigga, R., & Schlegel-Matthies, K. (2010). Verbraucherbildung und Konsum – Was wissen Studierende? – Überlegungen zur Hochschuldidaktik. Haushalt & Bildung, 87(3), 48–57.
LibreCat
2010 | Book | LibreCat-ID: 31285
Schuster, B.-M. (2010). Auf dem Weg zur Fachsprache. Sprachliche Professionalisierung in der psychiatrischen Schreibpraxis (1800–1939) (Reihe Germanistische Linguistik, Habilitation) (Vol. 286). de Gruyter.
LibreCat
2010 | Encyclopedia Article | LibreCat-ID: 37517 | 
Weber, J. (2010). Technikwissenschaft / Technowissenschaft. In H.-J. Sandkühler (Ed.), Enzyklopädie Philosophie Bd. 3 (Vol. 3, pp. 2717u–2721b). Felix Meiner Verlag.
LibreCat
| Download (ext.)
2010 | Encyclopedia Article | LibreCat-ID: 37527
Weber, J. (2010). Leben. In H.-J. Sandkühler (Ed.), Enzyklopädie Philosophie Bd. 2 (Vol. 2, pp. 1377u–1382b). Felix Meiner Verlag.
LibreCat
2010 | Book (Editor) | LibreCat-ID: 37566
Weber, J. (Ed.). (2010). Interdisziplinierung? Über den Wissenstransfer zwischen den Geistes-, Sozial- und Technowissenschaften. transcript.
LibreCat
2010 | Journal Article | LibreCat-ID: 22607
Maxisch, M., Ebbert, C., Torun, B., Fink, N., de los Arcos de Pedro, M. T., Lackmann, J., Maier, H. J., & Grundmeier, G. (2010). PM-IRRAS studies of the adsorption and stability of organophosphonate monolayers on passivated NiTi surfaces. Applied Surface Science, 2011–2018. https://doi.org/10.1016/j.apsusc.2010.09.044
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 39742
Zöller, M. A., Stich, N., Benning, S. A., Hoischen, A., & Kitzerow, H.-S. (2010). Bold relief fabrication by means of electroconvection: basic properties of a suitable mixture. Liquid Crystals, 37(4), 383–388. https://doi.org/10.1080/02678291003632603
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 39740
Urbanski, M., Kinkead, B., Hegmann, T., & Kitzerow, H.-S. (2010). Director field of birefringent stripes in liquid crystal/nanoparticle dispersions. Liquid Crystals, 37(9), 1151–1156. https://doi.org/10.1080/02678292.2010.489160
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 39741
Kitzerow, H.-S. (2010). Blue Phases: Prior Art, Potential Polar Effects, Challenges. Ferroelectrics, 395(1), 66–85. https://doi.org/10.1080/00150191003683807
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 39974
Kitzerow, H.-S. (2010). Tunable photonic crystals. Liquid Crystals Today, 11(4), 3–7. https://doi.org/10.1080/1464518021000069229
LibreCat
| DOI