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.
10453 Publications
2010 | Journal Article | LibreCat-ID: 53909
Beineke, S., Bähr, A., & Böcker, J. (2010). Theoretisch und praktisch erreichbare Regelgüte von Servoantrieben - Teil 2: Geschwindigkeits- und Drehzahlregelung sowie Lageregelung. antriebstechnik, 4.
LibreCat
| Download (ext.)
2010 | Journal Article | LibreCat-ID: 53907
Beineke, S., Bähr, A., & Böcker, J. (2010). Theoretisch und praktisch erreichbare Regelgüte von Servoantrieben - Teil 1: Grundsätzliche Zusammenhänge. antriebstechnik, 1–2, 22–26.
LibreCat
| Download (ext.)
2010 | Journal Article | LibreCat-ID: 53911
Beineke, S., Bähr, A., & Böcker, J. (2010). Theoretisch und praktisch erreichbare Regelgüte von Servoantrieben - Teil 3: Einflussgrößen für die erzielbare Bandbreite. antriebstechnik, 6.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 47616
Jonas-Ahrend, G., & Wlotzka, U. (2010). Piko - DO - Lehrerfortbildung zu kontextorientiertem Physikunterricht. Jahrestagung der Gesellschaft für Didaktik der Chemie und Physik (GDCP), Dresden.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla, F., He, D., & Müller, W. (2010). Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. Proceedings of DATE’10. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456990
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira, M. F. S., Zabel, H., & Müller, W. (2010). Assertion-Based Verification of RTOS Properties. Proceedings of DATE’10. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457130
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, K., Kuznik, C., Thuy, A., & Müller, W. (2010). Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. Proceedings of DATE’10, Dresden. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457125
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
Krupp, A., & Müller, W. (2010). A Systematic Approach to Combined HW/SW System Test. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457186
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., & Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456965
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
Becker, M., Zabel, H., & Müller, W. (2010). A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/10.1007/978-3-642-15234-4_15
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37044
Klobedanz, K., Defo, G. B., Zabel, H., Müller, W., & Zhi, Y. (2010). Task Migration for Fault-Tolerant FlexRay Networks (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/10.1007/978-3-642-15234-4_7
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37042
Mischkalla, F., Müller, W., & He, D. (2010). A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis. Proceedings of the M-BED Workshop.
LibreCat
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