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
@inproceedings{Khaluf_Gerth_Engels_2011, title={Pattern-Based Modeling and Formalizing of Business Process Quality Constraints}, booktitle={Proceedings of the 23rd international conference on Advanced information systems engineering (CAiSE’11)}, publisher={Springer Verlag}, author={Khaluf, Lial and Gerth, Christian and Engels, Gregor}, year={2011}, pages={521–535} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26789
@inproceedings{Kuznik_Müller_2011, title={Native binary mutation analysis for embedded software and virtual prototypes in SystemC}, booktitle={Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2011} }
LibreCat
2011 | Book Chapter | LibreCat-ID: 26792
@inbook{Esau_Kleinjohann_2011, title={Emotional Robot Competence and Its Use in Robot Behavior Control}, booktitle={Emotional Engineering}, publisher={Springer-Verlag London}, author={Esau, Natascha and Kleinjohann, Lisa}, year={2011}, pages={119–142} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26794
@inproceedings{Jungmann_Lutterbeck_Werdehausen_Kleinjohann_Kleinjohann_2011, title={Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots}, booktitle={Proceedings of the 2011 workshop on Organic computing}, publisher={ACM}, author={Jungmann, Alexander and Lutterbeck, Jan and Werdehausen, Benjamin and Kleinjohann, Bernd and Kleinjohann, Lisa}, year={2011}, pages={41–50} }
LibreCat
2011 | Book Chapter | LibreCat-ID: 26805
@inbook{Jungmann_Kleinjohann_Richert_2011, title={A Fast Hierarchical Learning Approach for Autonomous Robots}, DOI={10.1007/978-3-0348-0130-0_36}, booktitle={Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems}, publisher={Springer Basel}, author={Jungmann, Alexander and Kleinjohann, Bernd and Richert, Willi}, year={2011}, pages={545–558} }
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 26810
@inbook{Jungmann_Kleinjohann_Richert_2011, title={Increasing Learning Speed by Imitation in Multi-robot Societies}, DOI={10.1007/978-3-0348-0130-0_19}, booktitle={Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 }, publisher={Springer Basel}, author={Jungmann, Alexander and Kleinjohann, Bernd and Richert, Willi}, year={2011}, pages={295–307} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 37001
@inproceedings{Becker_Zabel_Müller_Elfeky_2011, place={Paderborn}, title={Virtual Prototyping software-intensiver mechatronischer Systeme - Eine Fallstudie}, author={Becker, Markus and Zabel, Henning and Müller, Wolfgang and Elfeky, Ahmed}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 37005
@inproceedings{Kuznik_Müller_2011, title={A SystemC Based Library for Functional Coverage}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 37006
@inproceedings{Klobedanz_König_Müller_2011, place={Grenoble, France}, title={A Reconfiguration Approach for Faul-Tolerant FlexRay Networks}, DOI={10.1109/DATE.2011.5763022}, booktitle={Proceedings of DATE’11}, publisher={IEEE}, author={Klobedanz, Kay and König, Andreas and Müller, Wolfgang}, year={2011} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 37002
@inproceedings{Xie_Müller_Letombe_2011, place={Oulu, Finnland}, title={HDL-Mutation Based Simulation Data Generation by Propagation Guided Search}, DOI={10.1109/DSD.2011.83}, booktitle={Proceedings of Euromicro DSD 2011}, publisher={IEEE}, author={Xie, Tao and Müller, Wolfgang and Letombe, Florian}, year={2011} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37007
@inproceedings{Mischkalla_He_Müller_2010, place={Dresden}, title={Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems}, DOI={10.1109/DATE.2010.5456990}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Mischkalla, Fabian and He, Da and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based Verification of RTOS Properties}, DOI={10.1109/DATE.2010.5457130}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
@inproceedings{Klobedanz_Kuznik_Thuy_Müller_2010, place={Dresden}, title={Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study}, DOI={10.1109/DATE.2010.5457125}, booktitle={Proceedings of DATE’10, Dresden}, publisher={IEEE}, author={Klobedanz, Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic Approach to Combined HW/SW System Test}, DOI={10.1109/DATE.2010.5457186}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={10.1109/DATE.2010.5456965}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
@inproceedings{Becker_Zabel_Müller_2010, place={Dordrecht}, title={A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement}, DOI={10.1007/978-3-642-15234-4_15}, publisher={Springer Verlag}, author={Becker, Markus and Zabel, Henning and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37044
@inproceedings{Klobedanz_Defo_Zabel_Müller_Zhi_2010, place={Dordrecht}, title={Task Migration for Fault-Tolerant FlexRay Networks}, DOI={10.1007/978-3-642-15234-4_7}, publisher={Springer Verlag}, author={Klobedanz, Kay and Defo, Gilles B. and Zabel, Henning and Müller, Wolfgang and Zhi, Yuan}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37042
@inproceedings{Mischkalla_Müller_He_2010, place={Dresden}, title={A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis}, booktitle={Proceedings of the M-BED Workshop}, author={Mischkalla, Fabian and Müller, Wolfgang and He, Da}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
@inproceedings{Bol_Müller_Krupp_2010, place={Dresden}, title={Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen}, booktitle={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, author={Bol, Alexander and Müller, Wolfgang and Krupp, Alexander}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
@inproceedings{Müller_He_Mischkalla_Wegele_Larkham_Whiston_Penil_Villar_Mitas_Kritharidis_et al._2010, series={Lecture Notes in Electrical Engineering}, title={The SATURN Approach to SysML-based HW/SW Codesign}, DOI={10.1007/978-94-007-1488-5_9}, booktitle={Proceedings of the IEEE Computer Society Annual Symposium on VLSI}, author={Müller, Wolfgang and He, Da and Mischkalla, Fabian and Wegele, Arthur and Larkham, Adrian and Whiston, Paul and Penil, Pablo and Villar, Eugenio and Mitas, Nikolaos and Kritharidis, Dimitros and et al.}, year={2010}, collection={Lecture Notes in Electrical Engineering} }
LibreCat
| DOI