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.

332 Publications


2011 | Conference Paper | LibreCat-ID: 26787
Khaluf L, Gerth C, Engels G. Pattern-Based Modeling and Formalizing of Business Process Quality Constraints. In: Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11). Springer Verlag; 2011:521-535.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26789
Kuznik C, Müller W. Native binary mutation analysis for embedded software and virtual prototypes in SystemC. In: Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing. ; 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 26792
Esau N, Kleinjohann L. Emotional Robot Competence and Its Use in Robot Behavior Control. In: Emotional Engineering. Springer-Verlag London; 2011:119-142.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26794
Jungmann A, Lutterbeck J, Werdehausen B, Kleinjohann B, Kleinjohann L. Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots. In: Proceedings of the 2011 Workshop on Organic Computing. ACM; 2011:41-50.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 26805
Jungmann A, Kleinjohann B, Richert W. A Fast Hierarchical Learning Approach for Autonomous Robots. In: Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems. Springer Basel; 2011:545-558. doi:10.1007/978-3-0348-0130-0_36
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 26810
Jungmann A, Kleinjohann B, Richert W. Increasing Learning Speed by Imitation in Multi-robot Societies. In: Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 . Springer Basel; 2011:295-307. doi:10.1007/978-3-0348-0130-0_19
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 37001
Becker M, Zabel H, Müller W, Elfeky A. Virtual Prototyping software-intensiver mechatronischer Systeme - Eine Fallstudie. In: ; 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 37005
Kuznik C, Müller W. A SystemC Based Library for Functional Coverage. In: ; 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 37006
Klobedanz K, König A, Müller W. A Reconfiguration Approach for Faul-Tolerant FlexRay Networks. In: Proceedings of DATE’11. IEEE; 2011. doi:10.1109/DATE.2011.5763022
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 37002
Xie T, Müller W, Letombe F. HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. In: Proceedings of Euromicro DSD 2011. IEEE; 2011. doi:10.1109/DSD.2011.83
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla F, He D, Müller W. Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5456990
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37009
Oliveira MFS, Zabel H, Müller W. Assertion-Based Verification of RTOS Properties. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457130
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz K, Kuznik C, Thuy A, Müller W. Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. In: Proceedings of DATE’10, Dresden. IEEE; 2010. doi:10.1109/DATE.2010.5457125
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37037
Krupp A, Müller W. A Systematic Approach to Combined HW/SW System Test. In: Proceedings of DATE’10. IEEE; 2010. doi: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. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5456965
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37046
Becker M, Zabel H, Müller W. A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_15
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37044
Klobedanz K, Defo GB, Zabel H, Müller W, Zhi Y. Task Migration for Fault-Tolerant FlexRay Networks. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_7
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37042
Mischkalla F, Müller W, He D. A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis. In: Proceedings of the M-BED Workshop. ; 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37043
Bol A, Müller W, Krupp A. Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. In: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). ; 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37050
Müller W, He D, Mischkalla F, et al. The SATURN Approach to SysML-based HW/SW Codesign. In: Proceedings of the IEEE Computer Society Annual Symposium on VLSI. Lecture Notes in Electrical Engineering. ; 2010. doi:10.1007/978-94-007-1488-5_9
LibreCat | DOI
 

Filters and Search Terms

department=672

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed