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.
9764 Publications
2013 | Conference Paper | LibreCat-ID: 25612
Mischkalla, Fabian, and Wolfgang Müller. “Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen.” In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25614
Kuznik, Christoph, Marcio F. S. Oliveira, and Wolfgang Müller. “SC OVM: An Advanced SystemC Library for OVM-Based Verification.” In Open SANITAS SystemC Verification Workshop, 2013.
LibreCat
2013 | Newspaper Article | LibreCat-ID: 25615
Engels, Gregor, Christian Gerth, Lisa Kleinjohann, Bernd Kleinjohann, and Wolfgang Müller. “ Informationstechnik spart Ressourcen.” ForschungsForum Paderborn , 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25616
Grösbrink, Stefan. “Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-Optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues.” Production Engineering Research & Development 7(1), 2013, 69–79.
LibreCat
2013 | Journal Article | LibreCat-ID: 25618
Jungmann, Alexander, Bernd Kleinjohann, and Lisa Kleinjohann. “Learning Service Recommendations.” International Journal of Business Process Integration and Management 6(4), 2013, 284–97.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25620
Kuznik, Christoph, Marcio F. Oliveira, Bertrand Defo, and Wolfgang Müller. “Systematic Application of UCIS to Improve the Automation on Verification Closure.” In Proceedings of DVCON, 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25625
Rasche, Christoph, Claudius Stern, Lisa Kleinjohann, and Bernd Kleinjohann. “A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights.” In Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480, edited by Gourab Sen Gupta, Donald Bailey, Serge Demidenko, and Dale Carnegie, 480:103–13. Berlin Heidelberg: Springer , 2013.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 25632
Klobedanz, Kay, Jan Jatzkowski, Achim Rettberg, and Wolfgang Müller. “Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks.” In International Embedded Systems Symposium (IESS) 2013. Springer, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 19981
Mertsching, Bärbel, Mohammad Divband Soorati, and Tobias Kotthauser. “Automatic Reconstruction of Polygonal Room Models from 3D Point Clouds.” IEEE International Conference on Robotics and Biomimetics (ROBIO), 2013, 661–67.
LibreCat
2013 | Journal Article | LibreCat-ID: 20148
Hamann, Heiko, Istvan Karsai, and Thomas Schmickl. “Time Delay Implies Cost on Task Switching: A Model to Investigate the Efficiency of Task Partitioning.” Bulletin of Mathematical Biology 75, no. 7 (2013): 1181–1206. https://doi.org/10.1007/s11538-013-9851-4 .
LibreCat
| DOI