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.
327 Publications
2011 | Conference Paper | LibreCat-ID: 26715
@inproceedings{Kuznik_Müller_2011, title={Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction}, booktitle={Proceedings of DVCON }, author={Kuznik, Christoph and Müller, Wolfgang}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26716
@inproceedings{Mischkalla_He_Müller_2011, title={A Retargetable SysML-based Front-End for High-Level Synthesis}, booktitle={Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED)}, author={Mischkalla, Fabian and He, Da and Müller, Wolfgang}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26717
@inproceedings{He_Mischkalla_Müller_2011, title={A SysML-based Framework with QEMU-SystemC Code Generation}, booktitle={Proceedings of 1st international QEMU Users Forum}, author={He, Da and Mischkalla, Fabian and Müller, Wolfgang}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26782
@inproceedings{Becker_2011, title={QEMU/SystemC Cosimulation at Different Abstraction Levels}, booktitle={1st International QEMU Users Forum (QUF’11)}, author={Becker, Markus}, year={2011} }
LibreCat
2011 | Book Chapter | LibreCat-ID: 26783
@inbook{Adelt_Esau_Hölscher_Kleinjohann_Kleinjohann_Krüger_Zimmer_2011, title={Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems}, booktitle={ Intelligent Mechatronics; Kapitel 10}, publisher={InTech Open Access Publisher}, author={Adelt, Philipp and Esau, Natascha and Hölscher, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Krüger, Martin and Zimmer, Detmar}, year={2011}, pages={169–194} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26784
@inproceedings{Gnokam Defo_Müller_2011, title={Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk}, booktitle={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, author={Gnokam Defo, Gilles Bertrand and Müller, Wolfgang}, year={2011} }
LibreCat
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
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
2010 | Conference Paper | LibreCat-ID: 37048
@inproceedings{Müller_Bol_Krupp_Lundkvist_2010, place={Dordrecht}, title={Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems}, DOI={10.1007/978-3-642-15234-4_9}, publisher={Springer Verlag}, author={Müller, Wolfgang and Bol, Alexander and Krupp, Alexander and Lundkvist, Ola}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37049
@inproceedings{Xie_Letombe_Müller_2010, place={Dordrecht}, title={Mutation-Analysis Directed Constrained Random Verification}, publisher={Springer Verlag}, author={Xie, Tao and Letombe, Florian and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37051
@inproceedings{Xie_Defo_Müller_2010, place={Paris}, title={An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs}, author={Xie, Tao and Defo, Gilles B. and Müller, Wolfgang}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37057
@inproceedings{Defo_Müller_Kuznik_2010, place={ Trento, Italy}, title={Verification of a CAN Bus Model in SystemC with Functional Coverage}, DOI={10.1109/SIES.2010.5551379}, booktitle={Proceedings of SIES 2010}, publisher={IEEE}, author={Defo, Gilles B. and Müller, Wolfgang and Kuznik, Christoph}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37056
@inproceedings{Klobedanz_Defo_Müller_Kerstan_2010, place={Trento, Italien}, title={Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks}, DOI={10.1109/SIES.2010.5551384}, booktitle={Proceedings of SIES 2010}, author={Klobedanz, Kay and Defo, Gilles B. and Müller, Wolfgang and Kerstan, Timo}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
@inproceedings{Müller_da S. Oliveira_Zabel_Becker_2010, title={Verification of Real-Time Properties for Hardware-Dependant Software}, booktitle={Proceedings of HLDVT2010}, publisher={IEEE}, author={Müller, Wolfgang and da S. Oliveira, Marcio F. and Zabel, Henning and Becker, Markus}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37060
@inproceedings{Oliveira_do Nascimento_Müller_2010, place={Antwerp, Belgium}, title={Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration}, booktitle={Proceedings of MoMPES 2010}, author={Oliveira, Marcio F. S. and do Nascimento, Francisco Assis M. and Müller, Wolfgang}, year={2010} }
LibreCat
2009 | Book Chapter | LibreCat-ID: 33813
@inbook{Zabel_Müller_Gerstlauer_2009, place={Dordrecht}, title={Accurate RTOS Modelling and Analysis with SystemC}, DOI={10.1007/978-1-4020-9436-1_9}, booktitle={Hardware Dependent Software - Principles and Practice}, publisher={Springer Verlag}, author={Zabel, Henning and Müller, Wolfgang and Gerstlauer, Andreas}, editor={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, year={2009}, pages={233–260} }
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 33814
@inbook{Ecker_Müller_Dömer_2009, place={Dordrecht}, title={Hardware-dependent Software - Introduction and Overview}, DOI={10.1007/978-1-4020-9436-1_1}, booktitle={Hardware Dependent Software - Principles and Practice}, publisher={Springer Verlag}, author={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, editor={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, year={2009}, pages={1–14} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
@inproceedings{Schattkowsky_Xie_Müller_2009, place={Nice, France}, title={A UML Frontend for IP-XACT-based IP Management}, DOI={10.1109/DATE.2009.5090664}, booktitle={Proceedings of DATE’09}, publisher={IEEE}, author={Schattkowsky, Tim and Xie, Tao and Müller, Wolfgang}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
@inproceedings{Zabel_Müller_2009, place={Nice, France}, title={Increased Accuracy through Noise Injection in Abstract RTOS Simulation}, DOI={10.1109/DATE.2009.5090925}, booktitle={Proceedings of DATE’09}, author={Zabel, Henning and Müller, Wolfgang}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37063
@inproceedings{Klobedanz_Kuznik_Elfeky_Müller_2009, title={Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study}, DOI={10.1007/978-3-642-04284-3_20}, booktitle={Proceedings of IESS09}, publisher={Springer Verlag}, author={Klobedanz, Kay and Kuznik, Christoph and Elfeky, Ahmed and Müller, Wolfgang}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37064
@inproceedings{Becker_Zabel_Müller_2009, title={Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme}, author={Becker, Markus and Zabel, Henning and Müller, Wolfgang}, year={2009} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 37061
@inproceedings{Krupp_Müller_2009, place={Friedrichshafen}, title={Systematic Model-in-the-Loop Test of Embedded Control Systems}, booktitle={Proceedings of IESS09}, author={Krupp, Alexander and Müller, Wolfgang}, year={2009} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 37068
@inproceedings{Doemer_Gerstlauer_Müller_2009, place={Yokohama, Japan}, title={Hardware-dependent Software for Multi- and Many-Core Embedded Systems}, booktitle={Proceedings of ASP-DAC’09}, author={Doemer, R. and Gerstlauer, A. and Müller, Wolfgang}, year={2009} }
LibreCat
2008 | Journal Article | LibreCat-ID: 34563
@article{Vanderperren_Müller_Dahaene_2008, title={UML for Electronic Systems Design – A Comprehensive Overview}, volume={12}, DOI={10.1007/s10617-008-9028-9}, journal={Design Automation for Embedded Systems}, publisher={Springer-Verlag}, author={Vanderperren, Yves and Müller, Wolfgang and Dahaene, Wim}, year={2008}, pages={261–292} }
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 34564
@article{Schäfer_Müller_2008, title={Assessment of a Multimodal Interaction and Rendering System against Established Design Principles}, volume={2}, DOI={10.1007/s12193-008-0003-3}, number={1}, journal={Journal on Multimodal User Interfaces}, publisher={Springer-Verlag}, author={Schäfer, Robbie and Müller, Wolfgang}, year={2008}, pages={25–41} }
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 33815
@inbook{Großmann_Fey_Krupp_Conrad_Wewetzer_Müller_2008, place={Berlin, Heidelberg}, title={TestML – A Test Exchange Language for Model-based Testing of Embedded Software}, DOI={10.1007/978-3-540-70930-5_7}, booktitle={ASWSD 2006: Model-Driven Development of Reliable Automotive Services}, publisher={Springer Verlag}, author={Großmann, Jürgen and Fey, Ines and Krupp, Alexander and Conrad, Mirko and Wewetzer, Christian and Müller, Wolfgang}, editor={Broy, Manfred and Krüger, Ingolf H. and Meisinger, Michael}, year={2008}, pages={98–117} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37075
@article{Zabel_Müller_2008, place={Dordrecht}, series={ IFIP – The International Federation for Information Processing}, title={An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration}, volume={271}, DOI={10.1007/978-0-387-09661-2_18}, publisher={Springer Verlag}, author={Zabel, Henning and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2008}, collection={ IFIP – The International Federation for Information Processing} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37072
@inproceedings{Zabel_Müller_2008, place={Aachen}, title={Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC}, booktitle={Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System}, publisher={Shaker Verlag}, author={Zabel, Henning and Müller, Wolfgang}, editor={Scholl, Ch. and Disch, S.}, year={2008} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 37076
@article{Zabel_Müller_2007, place={Paderborn}, series={C-LAB Report}, title={Simulation mit abstrakten RTOS Modellen in SystemC}, volume={6}, number={4}, author={Zabel, Henning and Müller, Wolfgang}, year={2007}, collection={C-LAB Report} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 37083
@inproceedings{Krupp_Müller_2007, place={Prague, Czech Republic}, title={Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage}, booktitle={Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007)}, author={Krupp, Alexander and Müller, Wolfgang}, year={2007} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 37080
@inproceedings{Großmann_Fey_Conrad_Wewetzer_Müller_2007, title={TestML - A Test Exchange Language for Model-based Testing of Embedded Software}, booktitle={Proceedings of the Automotive Software Workshop ’06}, author={Großmann, Jürgen and Fey, Ines and Conrad, M. and Wewetzer, Ch. and Müller, Wolfgang}, year={2007} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 37079
@inproceedings{Müller_2007, place={San Diego, USA}, title={On the Use and Misuse of UML- Application of Diagrams in Engineering}, booktitle={Proceedings of the UML for SoC Design Workshop at DAC’07}, author={Müller, Wolfgang}, year={2007} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 37085
@inproceedings{Schäfer_Müller_Marin-López_Díaz-Sánchez_2007, place={Singapore}, title={Using Smart Cards for Secure and Device Independent User Interfaces}, booktitle={Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007)}, author={Schäfer, Robbie and Müller, Wolfgang and Marin-López, Andrés and Díaz-Sánchez, Daniel}, year={2007} }
LibreCat