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.
71 Publications
2007 | Journal Article | LibreCat-ID: 5658 | 
Schryen, Guido. “The Impact That Placing Email Addresses on the Internet Has on the Receipt of Spam ? An Empirical Analysis.” Computers & Security 2, no. 5 (2007): 361–72.
LibreCat
| Files available
2007 | Conference Paper | LibreCat-ID: 6508
Kaufmann, Paul, and Marco Platzner. “MOVES: A Modular Framework for Hardware Evolution.” In Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), 447–54. IEEE, 2007. https://doi.org/10.1109/ahs.2007.73.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 9548
Richter, Björn, Jens Twiefel, Tobias Hemsel, and Jörg Wallaschek. “Model Based Design of Piezoelectric Generators Utilizing Geometrical and Material Properties.” In ASME 2006 International Mechanical Engineering Congress and Exposition. Chicago, Illinois, USA, 2006. https://doi.org/doi:10.1115/IMECE2006-14862.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38107
Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” In Proc. of ISOLA 06. Paphos, Cyprus, 2006. https://doi.org/10.1109/ISoLA.2006.37.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” In Proceedings of ISNG 05. Las Vegas, NV, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” In Proceedings of VL/HCC 05. Dallas, TX, USA, 2005. https://doi.org/10.1109/VLHCC.2005.64.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” In Proceedings of DATE’04 Designers’ Forum. Paris, 2004. https://doi.org/10.1109/DATE.2004.1269214.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39411
Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented Systems Design through Virtual Prototyps.” In Proceedings of IEEE KMN 2001. Cambridge, MA, USA , 2001. https://doi.org/10.1109/ENABL.2001.953425.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39421
Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.” In Proceedings of the Design, Automation, and Test in Europe (DATE’01). Munich, Germany : IEEE, 2001. https://doi.org/10.1109/DATE.2001.915002.
LibreCat
| DOI
2000 | Mastersthesis | LibreCat-ID: 2433
Plessl, Christian, and Simon Maurer. Hardware/Software Codesign in Speech Compression Applications. Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Visual Specification, Modeling, and Illustrations of Complex Systems.” In Proceedings of HICSS-32. Maui, Hawaii, 1999. https://doi.org/10.1109/HICSS.1999.772621.
LibreCat
| DOI