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.
4 Publications
2014 | Conference Paper | LibreCat-ID: 36918
@inproceedings{Becker_Kuznik_Müller_2014, place={Berlin}, title={Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems}, DOI={10.1109/ICCPS.2014.6843726}, publisher={IEEE}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement and Model Checking of An Echo Cancellation Unit}, DOI={10.1109/DATE.2004.1269214}, booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, year={2004} }
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39505
@inproceedings{Dücker_Geiger_Hunstock_Lehrenfeld_Müller_1997, place={Capri, Italy}, title={Visual-Textual Prototyping of 4D Scenes}, DOI={10.1109/VL.1997.626601}, booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker, M. and Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang}, year={1997} }
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39541
@inproceedings{Lehrenfeld_Müller_Tahedl_1995, place={ Darmstadt, Germany }, title={Transforming SDL Diagrams Into a Complete Visual Representation}, DOI={10.1109/VL.1995.520803}, booktitle={Proceedings of Symposium on Visual Languages}, author={Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}, year={1995} }
LibreCat
| DOI