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.
282 Publications
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
2010 | Conference Paper | LibreCat-ID: 37039
@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: 37047
@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
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 | Book (Editor) | LibreCat-ID: 40119
@book{Ecker_Müller_Dömer_2009, place={Dordrecht}, title={Hardware-dependent Software}, DOI={10.1007/978-1-4020-9436-1}, publisher={Springer Netherlands}, year={2009} }
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