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.
1207 Publications
2010 | Book Chapter | LibreCat-ID: 36967
Situiertheit, Verkörperung, Gefühl: Unscharfe Begriffe als technowissenschaftliche Innovationsressource
J. Weber, in: W. Ernst (Ed.), Geschlecht und Innovation. Gender-Mainstreaming im Techno-Wissenschaftsbetrieb. Teilband 4. Internationale Frauen- und Geschlechterforschung in Niedersachsen, LIT Verlag, Berlin, 2010, pp. 49–62.
LibreCat
J. Weber, in: W. Ernst (Ed.), Geschlecht und Innovation. Gender-Mainstreaming im Techno-Wissenschaftsbetrieb. Teilband 4. Internationale Frauen- und Geschlechterforschung in Niedersachsen, LIT Verlag, Berlin, 2010, pp. 49–62.
2010 | Book Chapter | LibreCat-ID: 36969
Flexibel, situiert & unberechenbar. Über Mensch und Maschine im Zeitalter der Technoscience
J. Weber, in: H. Badura (Ed.), Der Wert des menschlichen Lebens im 21. Jahrhundert. Zu den Grenzen der menschlichen Verfügungsmacht. 13. Internationale Europakonferenz, Eigenverlag, Krems, 2010, pp. 245–260.
LibreCat
J. Weber, in: H. Badura (Ed.), Der Wert des menschlichen Lebens im 21. Jahrhundert. Zu den Grenzen der menschlichen Verfügungsmacht. 13. Internationale Europakonferenz, Eigenverlag, Krems, 2010, pp. 245–260.
2010 | Conference Paper | LibreCat-ID: 37007
Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems
F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37009
Assertion-Based Verification of RTOS Properties
M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37011
Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study
K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10, Dresden, IEEE, Dresden, 2010.
LibreCat
| DOI
K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10, Dresden, IEEE, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37037
A Systematic Approach to Combined HW/SW System Test
A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37040
RTOS-Aware Refinement for TLM2.0-based HW/SW Design
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37046
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement
M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat
| DOI
M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
2010 | Conference Paper | LibreCat-ID: 37044
Task Migration for Fault-Tolerant FlexRay Networks
K. Klobedanz, G.B. Defo, H. Zabel, W. Müller, Y. Zhi, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat
| DOI
K. Klobedanz, G.B. Defo, H. Zabel, W. Müller, Y. Zhi, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
2010 | Conference Paper | LibreCat-ID: 37042
A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis
F. Mischkalla, W. Müller, D. He, in: Proceedings of the M-BED Workshop, Dresden, 2010.
LibreCat
F. Mischkalla, W. Müller, D. He, in: Proceedings of the M-BED Workshop, Dresden, 2010.
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.