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
Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen
A. Bol, W. Müller, A. Krupp, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), Dresden, 2010.
LibreCat
A. Bol, W. Müller, A. Krupp, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37050
The SATURN Approach to SysML-based HW/SW Codesign
W. Müller, D. He, F. Mischkalla, A. Wegele, A. Larkham, P. Whiston, P. Penil, E. Villar, N. Mitas, D. Kritharidis, F. Azcarate, M. Carballeda, in: Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010.
LibreCat
| DOI
W. Müller, D. He, F. Mischkalla, A. Wegele, A. Larkham, P. Whiston, P. Penil, E. Villar, N. Mitas, D. Kritharidis, F. Azcarate, M. Carballeda, in: Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010.
2010 | Conference Paper | LibreCat-ID: 37048
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems
W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat
| DOI
W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
2010 | Conference Paper | LibreCat-ID: 37049
Mutation-Analysis Directed Constrained Random Verification
T. Xie, F. Letombe, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat
T. Xie, F. Letombe, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
2010 | Conference Paper | LibreCat-ID: 37051
An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs
T. Xie, G.B. Defo, W. Müller, in: Paris, 2010.
LibreCat
T. Xie, G.B. Defo, W. Müller, in: Paris, 2010.
2010 | Conference Paper | LibreCat-ID: 37057
Verification of a CAN Bus Model in SystemC with Functional Coverage
G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE, Trento, Italy, 2010.
LibreCat
| DOI
G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE, Trento, Italy, 2010.
2010 | Conference Paper | LibreCat-ID: 37056
Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks
K. Klobedanz, G.B. Defo, W. Müller, T. Kerstan, in: Proceedings of SIES 2010, Trento, Italien, 2010.
LibreCat
| DOI
K. Klobedanz, G.B. Defo, W. Müller, T. Kerstan, in: Proceedings of SIES 2010, Trento, Italien, 2010.
2010 | Conference Paper | LibreCat-ID: 37053
Verification of Real-Time Properties for Hardware-Dependant Software
W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLDVT2010, IEEE, 2010.
LibreCat
W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLDVT2010, IEEE, 2010.
2010 | Conference Paper | LibreCat-ID: 37060
Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration
M.F.S. Oliveira, F.A.M. do Nascimento, W. Müller, in: Proceedings of MoMPES 2010, Antwerp, Belgium, 2010.
LibreCat
M.F.S. Oliveira, F.A.M. do Nascimento, W. Müller, in: Proceedings of MoMPES 2010, Antwerp, Belgium, 2010.
2010 | Book | LibreCat-ID: 37313
Evidenzbasierte Soziale Arbeit. Zur Rolle wissenschaftlichen Wissens für sozialarbeiterisches Handeln
S. Dahmen, Evidenzbasierte Soziale Arbeit. Zur Rolle Wissenschaftlichen Wissens Für Sozialarbeiterisches Handeln, Schneider Verlag Hohengehren, 2010.
LibreCat
S. Dahmen, Evidenzbasierte Soziale Arbeit. Zur Rolle Wissenschaftlichen Wissens Für Sozialarbeiterisches Handeln, Schneider Verlag Hohengehren, 2010.
2010 | Journal Article | LibreCat-ID: 27886
Verbraucherbildung und Konsum – Was wissen Studierende? – Überlegungen zur Hochschuldidaktik
R. Bigga, K. Schlegel-Matthies, Haushalt & Bildung 87 (2010) 48–57.
LibreCat
R. Bigga, K. Schlegel-Matthies, Haushalt & Bildung 87 (2010) 48–57.
2010 | Book | LibreCat-ID: 31285
Auf dem Weg zur Fachsprache. Sprachliche Professionalisierung in der psychiatrischen Schreibpraxis (1800–1939) (Reihe Germanistische Linguistik, Habilitation)
B.-M. Schuster, Auf dem Weg zur Fachsprache. Sprachliche Professionalisierung in der psychiatrischen Schreibpraxis (1800–1939) (Reihe Germanistische Linguistik, Habilitation) , de Gruyter, Berlin, New York , 2010.
LibreCat
B.-M. Schuster, Auf dem Weg zur Fachsprache. Sprachliche Professionalisierung in der psychiatrischen Schreibpraxis (1800–1939) (Reihe Germanistische Linguistik, Habilitation) , de Gruyter, Berlin, New York , 2010.
2010 | Encyclopedia Article | LibreCat-ID: 37517 | 
Technikwissenschaft / Technowissenschaft
J. Weber, in: H.-J. Sandkühler (Ed.), Enzyklopädie Philosophie Bd. 3, Felix Meiner Verlag, Hamburg, 2010, pp. 2717u–2721b.
LibreCat
| Download (ext.)
J. Weber, in: H.-J. Sandkühler (Ed.), Enzyklopädie Philosophie Bd. 3, Felix Meiner Verlag, Hamburg, 2010, pp. 2717u–2721b.
2010 | Book (Editor) | LibreCat-ID: 37566
Interdisziplinierung? Über den Wissenstransfer zwischen den Geistes-, Sozial- und Technowissenschaften
J. Weber, ed., Interdisziplinierung? Über Den Wissenstransfer Zwischen Den Geistes-, Sozial- Und Technowissenschaften, transcript, Bielefeld, 2010.
LibreCat
J. Weber, ed., Interdisziplinierung? Über Den Wissenstransfer Zwischen Den Geistes-, Sozial- Und Technowissenschaften, transcript, Bielefeld, 2010.
2010 | Journal Article | LibreCat-ID: 22607
PM-IRRAS studies of the adsorption and stability of organophosphonate monolayers on passivated NiTi surfaces
M. Maxisch, C. Ebbert, B. Torun, N. Fink, M.T. de los Arcos de Pedro, J. Lackmann, H.J. Maier, G. Grundmeier, Applied Surface Science (2010) 2011–2018.
LibreCat
| DOI
M. Maxisch, C. Ebbert, B. Torun, N. Fink, M.T. de los Arcos de Pedro, J. Lackmann, H.J. Maier, G. Grundmeier, Applied Surface Science (2010) 2011–2018.
2010 | Journal Article | LibreCat-ID: 39742
Bold relief fabrication by means of electroconvection: basic properties of a suitable mixture
M.A. Zöller, N. Stich, S.A. Benning, A. Hoischen, H.-S. Kitzerow, Liquid Crystals 37 (2010) 383–388.
LibreCat
| DOI
M.A. Zöller, N. Stich, S.A. Benning, A. Hoischen, H.-S. Kitzerow, Liquid Crystals 37 (2010) 383–388.
2010 | Journal Article | LibreCat-ID: 39740
Director field of birefringent stripes in liquid crystal/nanoparticle dispersions
M. Urbanski, B. Kinkead, T. Hegmann, H.-S. Kitzerow, Liquid Crystals 37 (2010) 1151–1156.
LibreCat
| DOI
M. Urbanski, B. Kinkead, T. Hegmann, H.-S. Kitzerow, Liquid Crystals 37 (2010) 1151–1156.
2010 | Journal Article | LibreCat-ID: 39741
Blue Phases: Prior Art, Potential Polar Effects, Challenges
H.-S. Kitzerow, Ferroelectrics 395 (2010) 66–85.
LibreCat
| DOI
H.-S. Kitzerow, Ferroelectrics 395 (2010) 66–85.
2010 | Journal Article | LibreCat-ID: 39974
Tunable photonic crystals
H.-S. Kitzerow, Liquid Crystals Today 11 (2010) 3–7.
LibreCat
| DOI
H.-S. Kitzerow, Liquid Crystals Today 11 (2010) 3–7.