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.
1208 Publications
2010 | Book Chapter | LibreCat-ID: 36969
J. Weber, “Flexibel, situiert & unberechenbar. Über Mensch und Maschine im Zeitalter der Technoscience,” in Der Wert des menschlichen Lebens im 21. Jahrhundert. Zu den Grenzen der menschlichen Verfügungsmacht. 13. Internationale Europakonferenz, H. Badura, Ed. Krems: Eigenverlag, 2010, pp. 245–260.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
F. Mischkalla, D. He, and W. Müller, “Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5456990.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification of RTOS Properties,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457130.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
K. Klobedanz, C. Kuznik, A. Thuy, and W. Müller, “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457125.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,” presented at the Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457186.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5456965.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
M. Becker, H. Zabel, and W. Müller, “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement,” 2010, doi: 10.1007/978-3-642-15234-4_15.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37044
K. Klobedanz, G. B. Defo, H. Zabel, W. Müller, and Y. Zhi, “Task Migration for Fault-Tolerant FlexRay Networks,” 2010, doi: 10.1007/978-3-642-15234-4_7.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37042
F. Mischkalla, W. Müller, and D. He, “A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis,” 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
A. Bol, W. Müller, and A. Krupp, “Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen,” 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
W. Müller et al., “The SATURN Approach to SysML-based HW/SW Codesign,” 2010, doi: 10.1007/978-94-007-1488-5_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37048
W. Müller, A. Bol, A. Krupp, and O. Lundkvist, “Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems,” 2010, doi: 10.1007/978-3-642-15234-4_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37049
T. Xie, F. Letombe, and W. Müller, “Mutation-Analysis Directed Constrained Random Verification,” 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37051
T. Xie, G. B. Defo, and W. Müller, “An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs,” presented at the First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (HoPES 2010), Paris, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37057
G. B. Defo, W. Müller, and C. Kuznik, “Verification of a CAN Bus Model in SystemC with Functional Coverage,” presented at the International Symposium on Industrial Embedded System (SIES), Trento, Italy, 2010, doi: 10.1109/SIES.2010.5551379.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37056
K. Klobedanz, G. B. Defo, W. Müller, and T. Kerstan, “Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks,” presented at the International Symposium on Industrial Embedded System (SIES), 2010, doi: 10.1109/SIES.2010.5551384.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
W. Müller, M. F. da S. Oliveira, H. Zabel, and M. Becker, “Verification of Real-Time Properties for Hardware-Dependant Software,” presented at the IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37060
M. F. S. Oliveira, F. A. M. do Nascimento, and W. Müller, “Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration,” 2010.
LibreCat
2010 | Book | LibreCat-ID: 37313
S. Dahmen, Evidenzbasierte Soziale Arbeit. Zur Rolle wissenschaftlichen Wissens für sozialarbeiterisches Handeln, vol. 17. Schneider Verlag Hohengehren, 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 27886
R. Bigga and K. Schlegel-Matthies, “Verbraucherbildung und Konsum – Was wissen Studierende? – Überlegungen zur Hochschuldidaktik,” Haushalt & Bildung, vol. 87, no. 3, pp. 48–57, 2010.
LibreCat