[{"page":"261-292","intvolume":"        12","citation":{"ieee":"Y. Vanderperren, W. Müller, and W. Dahaene, “UML for Electronic Systems Design – A Comprehensive Overview,” <i>Design Automation for Embedded Systems</i>, vol. 12, pp. 261–292, 2008, doi: <a href=\"https://doi.org/10.1007/s10617-008-9028-9\">10.1007/s10617-008-9028-9</a>.","chicago":"Vanderperren, Yves, Wolfgang Müller, and Wim Dahaene. “UML for Electronic Systems Design – A Comprehensive Overview.” <i>Design Automation for Embedded Systems</i> 12 (2008): 261–92. <a href=\"https://doi.org/10.1007/s10617-008-9028-9\">https://doi.org/10.1007/s10617-008-9028-9</a>.","ama":"Vanderperren Y, Müller W, Dahaene W. UML for Electronic Systems Design – A Comprehensive Overview. <i>Design Automation for Embedded Systems</i>. 2008;12:261-292. doi:<a href=\"https://doi.org/10.1007/s10617-008-9028-9\">10.1007/s10617-008-9028-9</a>","apa":"Vanderperren, Y., Müller, W., &#38; Dahaene, W. (2008). UML for Electronic Systems Design – A Comprehensive Overview. <i>Design Automation for Embedded Systems</i>, <i>12</i>, 261–292. <a href=\"https://doi.org/10.1007/s10617-008-9028-9\">https://doi.org/10.1007/s10617-008-9028-9</a>","mla":"Vanderperren, Yves, et al. “UML for Electronic Systems Design – A Comprehensive Overview.” <i>Design Automation for Embedded Systems</i>, vol. 12, Springer-Verlag, 2008, pp. 261–92, doi:<a href=\"https://doi.org/10.1007/s10617-008-9028-9\">10.1007/s10617-008-9028-9</a>.","bibtex":"@article{Vanderperren_Müller_Dahaene_2008, title={UML for Electronic Systems Design – A Comprehensive Overview}, volume={12}, DOI={<a href=\"https://doi.org/10.1007/s10617-008-9028-9\">10.1007/s10617-008-9028-9</a>}, journal={Design Automation for Embedded Systems}, publisher={Springer-Verlag}, author={Vanderperren, Yves and Müller, Wolfgang and Dahaene, Wim}, year={2008}, pages={261–292} }","short":"Y. Vanderperren, W. Müller, W. Dahaene, Design Automation for Embedded Systems 12 (2008) 261–292."},"year":"2008","doi":"10.1007/s10617-008-9028-9","title":"UML for Electronic Systems Design – A Comprehensive Overview","volume":12,"author":[{"full_name":"Vanderperren, Yves","last_name":"Vanderperren","first_name":"Yves"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"Wim","last_name":"Dahaene","full_name":"Dahaene, Wim"}],"date_created":"2022-12-19T12:18:21Z","date_updated":"2022-12-19T12:23:56Z","publisher":"Springer-Verlag","status":"public","abstract":[{"lang":"eng","text":"UML has been widely accepted by the software community for several years. As electronic systems design can no longer be seen as an isolated hardware design activity, UML becomes of significant interest as a unification language for systems description combining both HW and SW components. This article provides a comprehensive view of the UML applied to System-on-Chip (SoC) and hardware-related embedded systems design. The modeling concepts in the UML language are first introduced, including major diagrams for the representation of the behavior and the structure of systems. The principles behind application specific UML customizations (UML profiles) are summarized, and several examples relevant for SoC design are given, such as the SysML (System Modeling Language) and the SoC Profile. Thereafter, various approaches associating UML with existing HW/SW design languages are presented. Beyond language aspects, the article addresses the question of UML-based design flows, and shows how UML can be applied concretely to the development of electronic-based systems. The current situation about tool support constitutes the last focus of the article. In particular, we show how UML tools can be combined with well-known simulation environments, such as MATLAB."}],"publication":"Design Automation for Embedded Systems","type":"journal_article","language":[{"iso":"eng"}],"keyword":["UML     SysML     Model-based design     System specification     Modelling languages"],"department":[{"_id":"672"}],"user_id":"5786","_id":"34563"},{"volume":2,"author":[{"last_name":"Schäfer","full_name":"Schäfer, Robbie","first_name":"Robbie"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"date_created":"2022-12-19T12:22:50Z","date_updated":"2022-12-19T12:23:05Z","publisher":"Springer-Verlag","doi":"10.1007/s12193-008-0003-3","title":"Assessment of a Multimodal Interaction and Rendering System against Established Design Principles","issue":"1","intvolume":"         2","page":"25-41","citation":{"apa":"Schäfer, R., &#38; Müller, W. (2008). Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. <i>Journal on Multimodal User Interfaces</i>, <i>2</i>(1), 25–41. <a href=\"https://doi.org/10.1007/s12193-008-0003-3\">https://doi.org/10.1007/s12193-008-0003-3</a>","mla":"Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles.” <i>Journal on Multimodal User Interfaces</i>, vol. 2, no. 1, Springer-Verlag, 2008, pp. 25–41, doi:<a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>.","bibtex":"@article{Schäfer_Müller_2008, title={Assessment of a Multimodal Interaction and Rendering System against Established Design Principles}, volume={2}, DOI={<a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>}, number={1}, journal={Journal on Multimodal User Interfaces}, publisher={Springer-Verlag}, author={Schäfer, Robbie and Müller, Wolfgang}, year={2008}, pages={25–41} }","short":"R. Schäfer, W. Müller, Journal on Multimodal User Interfaces 2 (2008) 25–41.","ieee":"R. Schäfer and W. Müller, “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles,” <i>Journal on Multimodal User Interfaces</i>, vol. 2, no. 1, pp. 25–41, 2008, doi: <a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>.","chicago":"Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles.” <i>Journal on Multimodal User Interfaces</i> 2, no. 1 (2008): 25–41. <a href=\"https://doi.org/10.1007/s12193-008-0003-3\">https://doi.org/10.1007/s12193-008-0003-3</a>.","ama":"Schäfer R, Müller W. Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. <i>Journal on Multimodal User Interfaces</i>. 2008;2(1):25-41. doi:<a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>"},"year":"2008","department":[{"_id":"672"}],"user_id":"5786","_id":"34564","language":[{"iso":"eng"}],"keyword":["Interaction architecture     Abstract interaction objects     Dialogue model     Transformations     Multimodality     Multi-device     Design principles"],"publication":"Journal on Multimodal User Interfaces","type":"journal_article","status":"public","abstract":[{"lang":"eng","text":"To provide user interfaces for a rich set of devices and interaction modalities, we follow a model-based development methodology. We devised an architecture which deploys user interfaces specified as dialogue models with abstract interaction objects and allows context-based adaptations by means of an external transcoding process. For the validation of the applicability of this methodology for developing usable multimodal multi-device systems, we present two case studies based on proof-of-concept implementations and assessed them with a large set of established design principles and different types of modality cooperation."}]},{"title":"The Impact that Placing Email Addresses on the Internet has on the Receipt of Spam ? An Empirical Analysis","publisher":"Elsevier","date_created":"2018-11-14T14:53:12Z","year":"2007","issue":"5","ddc":["000"],"keyword":["Address-obfuscating techniques","email","empirical analysis","honeypot","security by design","security by obscurity","spam"],"language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"Email communication is encumbered with a mass of email messages which their recipients have neither requested nor require. Even worse, the impacts of these messages are far from being simply an annoyance, as they also involve economic damage. This manuscript examines the resource ?email addresses?, which is vital for any potential bulk mailer and spammer. Both a methodology and a honeypot conceptualization for implementing an empirical analysis of the usage of email addresses placed on the Internet are proposed here. Their objective is to assess, on a quantitative basis, the extent of the current harassment and its development over time. This ?framework? is intended to be extensible to measuring the effectiveness of address-obscuring techniques. The implementation of a pilot honeypot is described, which led to key findings, some of them being: (1) Web placements attract more than two-thirds (70\\%) of all honeypot spam emails, followed by newsgroup placements (28.6\\%) and newsletter subscriptions (1.4\\%), (2) the proportions of spam relating to the email addresses? top-level domain can be statistically assumed to be uniformly distributed, (3) More than 43\\% of addresses on the web have been abused, whereas about 27\\% was the case for addresses on newsgroups and only about 4\\% was the case for addresses used for a newsletter subscription, (4) Regarding the development of email addresses? attractiveness for spammers over time, the service ?web sites? features a negative linear relationship, whereas the service ?Usenet? hows a negative exponential relationship. (5) Only 1.54\\% of the spam emails showed an interrelation between the topic of the spam email and that of the location where the recipient?s address was placed, so that spammers are assumed to send their emails in a ?context insensitive? manner. The results of the empirical analysis motivate the need for the protection of email addresses through obscuration. We analyze this need by formulating requirements for address obscuring techniques and we reveal to which extent today?s most relevant approaches fulfill these requirements."}],"file":[{"relation":"main_file","content_type":"application/pdf","file_id":"6326","access_level":"open_access","file_name":"The Impact that Placing Email Addresses on the Internet has on the Receipt of Spam - An Empirical Analysis - Journal version.pdf","file_size":3026200,"creator":"hsiemes","date_created":"2018-12-18T13:27:01Z","date_updated":"2018-12-18T13:27:01Z"}],"publication":"Computers & Security","oa":"1","date_updated":"2022-01-06T07:02:22Z","author":[{"id":"72850","full_name":"Schryen, Guido","last_name":"Schryen","first_name":"Guido"}],"volume":2,"citation":{"apa":"Schryen, G. (2007). The Impact that Placing Email Addresses on the Internet has on the Receipt of Spam ? An Empirical Analysis. <i>Computers &#38; Security</i>, <i>2</i>(5), 361–372.","bibtex":"@article{Schryen_2007, title={The Impact that Placing Email Addresses on the Internet has on the Receipt of Spam ? An Empirical Analysis}, volume={2}, number={5}, journal={Computers &#38; Security}, publisher={Elsevier}, author={Schryen, Guido}, year={2007}, pages={361–372} }","short":"G. Schryen, Computers &#38; Security 2 (2007) 361–372.","mla":"Schryen, Guido. “The Impact That Placing Email Addresses on the Internet Has on the Receipt of Spam ? An Empirical Analysis.” <i>Computers &#38; Security</i>, vol. 2, no. 5, Elsevier, 2007, pp. 361–72.","chicago":"Schryen, Guido. “The Impact That Placing Email Addresses on the Internet Has on the Receipt of Spam ? An Empirical Analysis.” <i>Computers &#38; Security</i> 2, no. 5 (2007): 361–72.","ieee":"G. Schryen, “The Impact that Placing Email Addresses on the Internet has on the Receipt of Spam ? An Empirical Analysis,” <i>Computers &#38; Security</i>, vol. 2, no. 5, pp. 361–372, 2007.","ama":"Schryen G. The Impact that Placing Email Addresses on the Internet has on the Receipt of Spam ? An Empirical Analysis. <i>Computers &#38; Security</i>. 2007;2(5):361-372."},"page":"361-372","intvolume":"         2","has_accepted_license":"1","file_date_updated":"2018-12-18T13:27:01Z","extern":"1","_id":"5658","user_id":"61579","department":[{"_id":"277"}],"status":"public","type":"journal_article"},{"year":"2007","page":"447-454","citation":{"chicago":"Kaufmann, Paul, and Marco Platzner. “MOVES: A Modular Framework for Hardware Evolution.” In <i>Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)</i>, 447–54. IEEE, 2007. <a href=\"https://doi.org/10.1109/ahs.2007.73\">https://doi.org/10.1109/ahs.2007.73</a>.","ieee":"P. Kaufmann and M. Platzner, “MOVES: A Modular Framework for Hardware Evolution,” in <i>Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)</i>, Edinburgh, UK, 2007, pp. 447–454.","ama":"Kaufmann P, Platzner M. MOVES: A Modular Framework for Hardware Evolution. In: <i>Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)</i>. IEEE; 2007:447-454. doi:<a href=\"https://doi.org/10.1109/ahs.2007.73\">10.1109/ahs.2007.73</a>","apa":"Kaufmann, P., &#38; Platzner, M. (2007). MOVES: A Modular Framework for Hardware Evolution. In <i>Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)</i> (pp. 447–454). Edinburgh, UK: IEEE. <a href=\"https://doi.org/10.1109/ahs.2007.73\">https://doi.org/10.1109/ahs.2007.73</a>","short":"P. Kaufmann, M. Platzner, in: Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), IEEE, 2007, pp. 447–454.","mla":"Kaufmann, Paul, and Marco Platzner. “MOVES: A Modular Framework for Hardware Evolution.” <i>Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)</i>, IEEE, 2007, pp. 447–54, doi:<a href=\"https://doi.org/10.1109/ahs.2007.73\">10.1109/ahs.2007.73</a>.","bibtex":"@inproceedings{Kaufmann_Platzner_2007, title={MOVES: A Modular Framework for Hardware Evolution}, DOI={<a href=\"https://doi.org/10.1109/ahs.2007.73\">10.1109/ahs.2007.73</a>}, booktitle={Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)}, publisher={IEEE}, author={Kaufmann, Paul and Platzner, Marco}, year={2007}, pages={447–454} }"},"publication_identifier":{"isbn":["076952866X","9780769528663"]},"publication_status":"published","title":"MOVES: A Modular Framework for Hardware Evolution","conference":{"start_date":"2007-08-05","name":"Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)","location":"Edinburgh, UK","end_date":"2007-08-08"},"doi":"10.1109/ahs.2007.73","date_updated":"2022-01-06T07:03:08Z","publisher":"IEEE","date_created":"2019-01-08T09:52:43Z","author":[{"last_name":"Kaufmann","full_name":"Kaufmann, Paul","first_name":"Paul"},{"first_name":"Marco","id":"398","full_name":"Platzner, Marco","last_name":"Platzner"}],"abstract":[{"lang":"eng","text":"In this paper, we present a framework that supports experimenting with evolutionary hardware design. We describe the framework's modules for composing evolutionary optimizers and for setting up, controlling, and analyzing experiments. Two case studies demonstrate the usefulness of the framework: evolution of hash functions and evolution based on pre-engineered circuits."}],"status":"public","publication":"Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)","type":"conference","keyword":["integrated circuit design","hardware evolution","evolutionary hardware design","evolutionary optimizers","hash functions","preengineered circuits","Hardware","Circuits","Design optimization","Visualization","Genetic programming","Genetic mutations","Clustering algorithms","Biological cells","Field programmable gate arrays","Routing"],"language":[{"iso":"eng"}],"_id":"6508","department":[{"_id":"78"}],"user_id":"3118"},{"status":"public","type":"journal_article","publication":"IET Computers Digital Techniques","language":[{"iso":"eng"}],"keyword":["reconfigurable architectures","resource allocation","device reconfiguration time","dynamic hardware reconfiguration","dynamically reconfigurable hardware","light-weight runtime system","merge server distribute load","periodic real-time tasks","runtime system overheads","schedulability analysis","scheduling technique","server-based execution","synthesis tool flow"],"user_id":"3118","department":[{"_id":"78"}],"_id":"10646","citation":{"bibtex":"@article{Danne_Mühlenbernd_Platzner_2007, title={Server-based execution of periodic tasks on dynamically reconfigurable hardware}, volume={1}, DOI={<a href=\"https://doi.org/10.1049/iet-cdt:20060186\">10.1049/iet-cdt:20060186</a>}, number={4}, journal={IET Computers Digital Techniques}, author={Danne, Klaus and Mühlenbernd, Roland and Platzner, Marco}, year={2007}, pages={295–302} }","mla":"Danne, Klaus, et al. “Server-Based Execution of Periodic Tasks on Dynamically Reconfigurable Hardware.” <i>IET Computers Digital Techniques</i>, vol. 1, no. 4, 2007, pp. 295–302, doi:<a href=\"https://doi.org/10.1049/iet-cdt:20060186\">10.1049/iet-cdt:20060186</a>.","short":"K. Danne, R. Mühlenbernd, M. Platzner, IET Computers Digital Techniques 1 (2007) 295–302.","apa":"Danne, K., Mühlenbernd, R., &#38; Platzner, M. (2007). Server-based execution of periodic tasks on dynamically reconfigurable hardware. <i>IET Computers Digital Techniques</i>, <i>1</i>(4), 295–302. <a href=\"https://doi.org/10.1049/iet-cdt:20060186\">https://doi.org/10.1049/iet-cdt:20060186</a>","chicago":"Danne, Klaus, Roland Mühlenbernd, and Marco Platzner. “Server-Based Execution of Periodic Tasks on Dynamically Reconfigurable Hardware.” <i>IET Computers Digital Techniques</i> 1, no. 4 (2007): 295–302. <a href=\"https://doi.org/10.1049/iet-cdt:20060186\">https://doi.org/10.1049/iet-cdt:20060186</a>.","ieee":"K. Danne, R. Mühlenbernd, and M. Platzner, “Server-based execution of periodic tasks on dynamically reconfigurable hardware,” <i>IET Computers Digital Techniques</i>, vol. 1, no. 4, pp. 295–302, 2007.","ama":"Danne K, Mühlenbernd R, Platzner M. Server-based execution of periodic tasks on dynamically reconfigurable hardware. <i>IET Computers Digital Techniques</i>. 2007;1(4):295-302. doi:<a href=\"https://doi.org/10.1049/iet-cdt:20060186\">10.1049/iet-cdt:20060186</a>"},"page":"295-302","intvolume":"         1","year":"2007","issue":"4","publication_identifier":{"issn":["1751-8601"]},"doi":"10.1049/iet-cdt:20060186","title":"Server-based execution of periodic tasks on dynamically reconfigurable hardware","author":[{"first_name":"Klaus","last_name":"Danne","full_name":"Danne, Klaus"},{"first_name":"Roland","last_name":"Mühlenbernd","full_name":"Mühlenbernd, Roland"},{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"}],"date_created":"2019-07-10T11:10:54Z","volume":1,"date_updated":"2022-01-06T06:50:49Z"},{"language":[{"iso":"eng"}],"keyword":["Positioning Systems","Camera Based","Cost Efficiency","Smart Home Applications"],"user_id":"5786","department":[{"_id":"672"}],"_id":"38104","status":"public","abstract":[{"text":"Location-aware services for private use such as GPS-\r\nbased navigation systems and GSM-based offerings\r\nhave become quite a success for outdoor applications,\r\nwhile indoor positioning systems are still mainly\r\nemployed for professional use only. The main reasons\r\nare cost issues and the complexity of setup and\r\nmaintenance of those systems. In this paper we\r\npresent CaMPTrack (Camera-based Multiple Person\r\nTracker), a prototype of a webcam-based positioning\r\nsystem and discuss its application and development\r\nchallenges.","lang":"eng"}],"type":"conference","publication":"Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007","title":"A Low-Cost Positioning System for Location-Aware Applications in Smart Homes","author":[{"first_name":"Robbie","last_name":"Schäfer","full_name":"Schäfer, Robbie"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"last_name":"Deimann","full_name":"Deimann, Roman","first_name":"Roman"},{"full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann","first_name":"Bernd"}],"date_created":"2023-01-23T11:50:18Z","date_updated":"2023-01-23T11:50:27Z","citation":{"short":"R. Schäfer, W. Müller, R. Deimann, B. Kleinjohann, in: Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007, San Jose, USA, 2007.","mla":"Schäfer, Robbie, et al. “A Low-Cost Positioning System for Location-Aware Applications in Smart Homes.” <i>Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007</i>, 2007.","bibtex":"@inproceedings{Schäfer_Müller_Deimann_Kleinjohann_2007, place={San Jose, USA}, title={A Low-Cost Positioning System for Location-Aware Applications in Smart Homes}, booktitle={Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007}, author={Schäfer, Robbie and Müller, Wolfgang and Deimann, Roman and Kleinjohann, Bernd}, year={2007} }","apa":"Schäfer, R., Müller, W., Deimann, R., &#38; Kleinjohann, B. (2007). A Low-Cost Positioning System for Location-Aware Applications in Smart Homes. <i>Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007</i>.","ama":"Schäfer R, Müller W, Deimann R, Kleinjohann B. A Low-Cost Positioning System for Location-Aware Applications in Smart Homes. In: <i>Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007</i>. ; 2007.","ieee":"R. Schäfer, W. Müller, R. Deimann, and B. Kleinjohann, “A Low-Cost Positioning System for Location-Aware Applications in Smart Homes,” 2007.","chicago":"Schäfer, Robbie, Wolfgang Müller, Roman Deimann, and Bernd Kleinjohann. “A Low-Cost Positioning System for Location-Aware Applications in Smart Homes.” In <i>Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007</i>. San Jose, USA, 2007."},"year":"2007","place":"San Jose, USA"},{"quality_controlled":"1","year":"2006","place":"Chicago, Illinois, USA","citation":{"apa":"Richter, B., Twiefel, J., Hemsel, T., &#38; Wallaschek, J. (2006). Model based design of piezoelectric generators utilizing geometrical and material properties. In <i>ASME 2006 International Mechanical Engineering Congress and Exposition</i>. Chicago, Illinois, USA. <a href=\"https://doi.org/doi:10.1115/IMECE2006-14862\">https://doi.org/doi:10.1115/IMECE2006-14862</a>","bibtex":"@inproceedings{Richter_Twiefel_Hemsel_Wallaschek_2006, place={Chicago, Illinois, USA}, title={Model based design of piezoelectric generators utilizing geometrical and material properties}, DOI={<a href=\"https://doi.org/doi:10.1115/IMECE2006-14862\">doi:10.1115/IMECE2006-14862</a>}, booktitle={ASME 2006 International Mechanical Engineering Congress and Exposition}, author={Richter, Björn and Twiefel, Jens and Hemsel, Tobias and Wallaschek, Jörg}, year={2006} }","short":"B. Richter, J. Twiefel, T. Hemsel, J. Wallaschek, in: ASME 2006 International Mechanical Engineering Congress and Exposition, Chicago, Illinois, USA, 2006.","mla":"Richter, Björn, et al. “Model Based Design of Piezoelectric Generators Utilizing Geometrical and Material Properties.” <i>ASME 2006 International Mechanical Engineering Congress and Exposition</i>, 2006, doi:<a href=\"https://doi.org/doi:10.1115/IMECE2006-14862\">doi:10.1115/IMECE2006-14862</a>.","chicago":"Richter, Björn, Jens Twiefel, Tobias Hemsel, and Jörg Wallaschek. “Model Based Design of Piezoelectric Generators Utilizing Geometrical and Material Properties.” In <i>ASME 2006 International Mechanical Engineering Congress and Exposition</i>. Chicago, Illinois, USA, 2006. <a href=\"https://doi.org/doi:10.1115/IMECE2006-14862\">https://doi.org/doi:10.1115/IMECE2006-14862</a>.","ieee":"B. Richter, J. Twiefel, T. Hemsel, and J. Wallaschek, “Model based design of piezoelectric generators utilizing geometrical and material properties,” in <i>ASME 2006 International Mechanical Engineering Congress and Exposition</i>, 2006.","ama":"Richter B, Twiefel J, Hemsel T, Wallaschek J. Model based design of piezoelectric generators utilizing geometrical and material properties. In: <i>ASME 2006 International Mechanical Engineering Congress and Exposition</i>. Chicago, Illinois, USA; 2006. doi:<a href=\"https://doi.org/doi:10.1115/IMECE2006-14862\">doi:10.1115/IMECE2006-14862</a>"},"date_updated":"2022-01-06T07:04:16Z","author":[{"full_name":"Richter, Björn","last_name":"Richter","first_name":"Björn"},{"first_name":"Jens","last_name":"Twiefel","full_name":"Twiefel, Jens"},{"first_name":"Tobias","last_name":"Hemsel","full_name":"Hemsel, Tobias","id":"210"},{"first_name":"Jörg","full_name":"Wallaschek, Jörg","last_name":"Wallaschek"}],"date_created":"2019-04-29T09:37:45Z","title":"Model based design of piezoelectric generators utilizing geometrical and material properties","doi":"doi:10.1115/IMECE2006-14862","type":"conference","publication":"ASME 2006 International Mechanical Engineering Congress and Exposition","abstract":[{"text":"This paper presents a general model based on the electromechanical circuit theory. The model is set up as a mechanical equivalent model for base excited systems and describes the behaviour of a piezoelectric element around one resonance frequency which is sufficient for most practical applications. The model is extended to obtain the influence of geometrical and material properties. The derivated properties are used to describe the parameters of the general model which is easy to handle. Using this model either the calculation of the output power on a specific electric load or the determination of the design of the used piezoelectric element for a needed electric output power is possible. The paper focuses on the design of the ratio of length and width of a piezoelectric bimorph. The validity of the model is shown by the comparison of computed and experimental results.","lang":"eng"}],"status":"public","_id":"9548","user_id":"55222","department":[{"_id":"151"}],"keyword":["Materials properties","Design","Generators"],"language":[{"iso":"eng"}]},{"author":[{"first_name":"Jürgen","last_name":"Großmann","full_name":"Großmann, Jürgen"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"date_created":"2023-01-23T12:00:06Z","date_updated":"2023-01-23T12:06:26Z","doi":"10.1109/ISoLA.2006.37","conference":{"location":"Paphos, Cyprus"},"title":"A Formal Behavioral Semantics for TestML","publication_identifier":{"isbn":["978-0-7695-3071-0"]},"citation":{"apa":"Großmann, J., &#38; Müller, W. (2006). A Formal Behavioral Semantics for TestML. <i>Proc. of ISOLA 06</i>. <a href=\"https://doi.org/10.1109/ISoLA.2006.37\">https://doi.org/10.1109/ISoLA.2006.37</a>","short":"J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.","bibtex":"@inproceedings{Großmann_Müller_2006, place={Paphos, Cyprus}, title={A Formal Behavioral Semantics for TestML}, DOI={<a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>}, booktitle={Proc. of ISOLA 06}, author={Großmann, Jürgen and Müller, Wolfgang}, year={2006} }","mla":"Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” <i>Proc. of ISOLA 06</i>, 2006, doi:<a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>.","ama":"Großmann J, Müller W. A Formal Behavioral Semantics for TestML. In: <i>Proc. of ISOLA 06</i>. ; 2006. doi:<a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>","chicago":"Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” In <i>Proc. of ISOLA 06</i>. Paphos, Cyprus, 2006. <a href=\"https://doi.org/10.1109/ISoLA.2006.37\">https://doi.org/10.1109/ISoLA.2006.37</a>.","ieee":"J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,” Paphos, Cyprus, 2006, doi: <a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>."},"year":"2006","place":"Paphos, Cyprus","department":[{"_id":"672"}],"user_id":"5786","_id":"38107","language":[{"iso":"eng"}],"keyword":["System testing","Software testing","Automotive engineering","Automatic testing","Machinery production industries","Protocols","Hardware design languages","Samarium","XML","Computer industry"],"publication":"Proc. of ISOLA 06","type":"conference","status":"public","abstract":[{"text":"TestML is an XML-based language for the exchange of test descriptions in automotive systems design and mainly introduced through the structural definition of an XML schema as an independent exchange format for existing tools and methods covering a wide range of different test technologies. In this paper, we present a rigorous formal behavioral semantics for TestML by means of Abstract State Machines (ASMs). Our semantics is a concise, unambiguous, high-level specification for TestML-based implementations and serves as a basis to define exact and well-defined mappings between existing test languages and TestML.","lang":"eng"}]},{"_id":"39030","department":[{"_id":"672"}],"user_id":"5786","keyword":["UML","Executable Models","Hardware/Software Co-design","Virtual Machine","Embedded Systems"],"language":[{"iso":"eng"}],"publication":"Proceedings of ISNG 05","type":"conference","abstract":[{"lang":"eng","text":"StateCharts are well accepted for embedded systems\r\nspecification for various applications. However, for the\r\nspecification of complex systems they have several\r\nlimitations. In this article, we present a novel approach to\r\nefficiently execute an UML 2.0 subset for embedded real-\r\ntime systems implementation with focus on hardware\r\ninterrupts, software exceptions, and timeouts. We\r\nintroduce a UML Virtual Machine, which directly\r\nexecutes sequence diagrams, which are embedded into\r\nhierarchically structured state transition diagrams.\r\nWhereas state diagrams are directly executed as\r\nEmbedded State Machines (ESMs), sequence diagrams\r\nare translated into UVM Bytecode. The final UVM\r\nexecution is performed by the interaction of the ESM and\r\nthe Bytecode Interpreter. Due to our completely model-\r\nbased approach, the UVM runtime kernel is easily\r\nadaptable and scalable to different scheduling and\r\nmemory management strategies."}],"status":"public","date_updated":"2023-01-24T08:12:26Z","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"date_created":"2023-01-24T08:12:20Z","title":"A UML Virtual Machine for Embedded Systems","place":"Las Vegas, NV","year":"2005","citation":{"chicago":"Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” In <i>Proceedings of ISNG 05</i>. Las Vegas, NV, 2005.","ieee":"T. Schattkowsky and W. Müller, “A UML Virtual Machine for Embedded Systems,” 2005.","ama":"Schattkowsky T, Müller W. A UML Virtual Machine for Embedded Systems. In: <i>Proceedings of ISNG 05</i>. ; 2005.","bibtex":"@inproceedings{Schattkowsky_Müller_2005, place={Las Vegas, NV}, title={A UML Virtual Machine for Embedded Systems}, booktitle={Proceedings of ISNG 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }","mla":"Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” <i>Proceedings of ISNG 05</i>, 2005.","short":"T. Schattkowsky, W. Müller, in: Proceedings of ISNG 05, Las Vegas, NV, 2005.","apa":"Schattkowsky, T., &#38; Müller, W. (2005). A UML Virtual Machine for Embedded Systems. <i>Proceedings of ISNG 05</i>."}},{"doi":"10.1109/VLHCC.2005.64","title":"Transformation of UML State Machines for Direct Execution","date_created":"2023-01-24T08:18:10Z","author":[{"first_name":"Tim","full_name":"Schattkowsky, Tim","last_name":"Schattkowsky"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_updated":"2023-01-24T08:18:27Z","citation":{"chicago":"Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” In <i>Proceedings of VL/HCC 05</i>. Dallas, TX, USA, 2005. <a href=\"https://doi.org/10.1109/VLHCC.2005.64\">https://doi.org/10.1109/VLHCC.2005.64</a>.","ieee":"T. Schattkowsky and W. Müller, “Transformation of UML State Machines for Direct Execution,” 2005, doi: <a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>.","ama":"Schattkowsky T, Müller W. Transformation of UML State Machines for Direct Execution. In: <i>Proceedings of VL/HCC 05</i>. ; 2005. doi:<a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>","short":"T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA, 2005.","bibtex":"@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation of UML State Machines for Direct Execution}, DOI={<a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>}, booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }","mla":"Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” <i>Proceedings of VL/HCC 05</i>, 2005, doi:<a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>.","apa":"Schattkowsky, T., &#38; Müller, W. (2005). Transformation of UML State Machines for Direct Execution. <i>Proceedings of VL/HCC 05</i>. <a href=\"https://doi.org/10.1109/VLHCC.2005.64\">https://doi.org/10.1109/VLHCC.2005.64</a>"},"year":"2005","place":"Dallas, TX, USA","publication_identifier":{"isbn":["0-7695-2443-5"]},"language":[{"iso":"eng"}],"keyword":["Unified modeling language","Software design","Virtual machining","Embedded system","Programming","Documentation","Hardware","Computer languages","Operating systems","Runtime"],"user_id":"5786","department":[{"_id":"672"}],"_id":"39032","status":"public","abstract":[{"lang":"eng","text":"Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In this context, the direct execution of UML state machines is an interesting alternative to native code generation approaches since it significantly increases portability. However, fully featured UML 2.0 State Machines may contain a broad set of features with complex execution semantics that differ significantly from other StateChart variants. This makes their direct execution complex and inefficient. In this paper, we demonstrate how such state machines can be represented using a small subset of the UML state machine features that enables efficient execution. We describe the necessary model transformations in terms of graph transformations and discuss the underlying semantics and implications for execution."}],"type":"conference","publication":"Proceedings of VL/HCC 05"},{"publication_identifier":{"isbn":["0-7695-2085-5"]},"place":"Paris","year":"2004","citation":{"bibtex":"@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement and Model Checking of An Echo Cancellation Unit}, DOI={<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>}, booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, year={2004} }","mla":"Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” <i>Proceedings of DATE’04 Designers’ Forum</i>, 2004, doi:<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>.","short":"A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.","apa":"Krupp, A., Müller, W., &#38; Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. <i>Proceedings of DATE’04 Designers’ Forum</i>. Proceedings Design, Automation and Test in Europe Conference and Exhibition. <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">https://doi.org/10.1109/DATE.2004.1269214</a>","ama":"Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo Cancellation Unit. In: <i>Proceedings of DATE’04 Designers’ Forum</i>. ; 2004. doi:<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>","chicago":"Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” In <i>Proceedings of DATE’04 Designers’ Forum</i>. Paris, 2004. <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">https://doi.org/10.1109/DATE.2004.1269214</a>.","ieee":"A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi: <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>."},"date_updated":"2023-01-24T08:53:31Z","author":[{"first_name":"Alexander","full_name":"Krupp, Alexander","last_name":"Krupp"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"first_name":"Ian","last_name":"Oliver","full_name":"Oliver, Ian"}],"date_created":"2023-01-24T08:53:26Z","title":"Formal Refinement and Model Checking of An Echo Cancellation Unit","doi":"10.1109/DATE.2004.1269214","conference":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition"},"publication":"Proceedings of DATE’04 Designers' Forum","type":"conference","abstract":[{"text":"This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML state diagrams, which are translated to the formal B language and are model checked for real-time properties. By means of the B language and a B theorem prover, refined state diagrams are verified against their abstract representation. The approach is presented by means of the refinement of a digital echo cancellation unit.","lang":"eng"}],"status":"public","_id":"39061","department":[{"_id":"672"}],"user_id":"5786","keyword":["Echo cancellers","Logic","Unified modeling language","Automata","Data structures","Boolean functions","Electronic design automation and methodology","Prototypes","Specification languages","Constraint theory"],"language":[{"iso":"eng"}]},{"issue":"3","year":"2001","citation":{"short":"R. Haeb-Umbach, IEEE Transactions on Speech and Audio Processing 9 (2001) 299–302.","bibtex":"@article{Haeb-Umbach_2001, title={Automatic generation of phonetic regression class trees for MLLR adaptation}, volume={9}, DOI={<a href=\"https://doi.org/10.1109/89.906003\">10.1109/89.906003</a>}, number={3}, journal={IEEE Transactions on Speech and Audio Processing}, author={Haeb-Umbach, Reinhold}, year={2001}, pages={299–302} }","mla":"Haeb-Umbach, Reinhold. “Automatic Generation of Phonetic Regression Class Trees for MLLR Adaptation.” <i>IEEE Transactions on Speech and Audio Processing</i>, vol. 9, no. 3, 2001, pp. 299–302, doi:<a href=\"https://doi.org/10.1109/89.906003\">10.1109/89.906003</a>.","apa":"Haeb-Umbach, R. (2001). Automatic generation of phonetic regression class trees for MLLR adaptation. <i>IEEE Transactions on Speech and Audio Processing</i>, <i>9</i>(3), 299–302. <a href=\"https://doi.org/10.1109/89.906003\">https://doi.org/10.1109/89.906003</a>","ama":"Haeb-Umbach R. Automatic generation of phonetic regression class trees for MLLR adaptation. <i>IEEE Transactions on Speech and Audio Processing</i>. 2001;9(3):299-302. doi:<a href=\"https://doi.org/10.1109/89.906003\">10.1109/89.906003</a>","chicago":"Haeb-Umbach, Reinhold. “Automatic Generation of Phonetic Regression Class Trees for MLLR Adaptation.” <i>IEEE Transactions on Speech and Audio Processing</i> 9, no. 3 (2001): 299–302. <a href=\"https://doi.org/10.1109/89.906003\">https://doi.org/10.1109/89.906003</a>.","ieee":"R. Haeb-Umbach, “Automatic generation of phonetic regression class trees for MLLR adaptation,” <i>IEEE Transactions on Speech and Audio Processing</i>, vol. 9, no. 3, pp. 299–302, 2001."},"page":"299-302","intvolume":"         9","oa":"1","date_updated":"2022-01-06T06:51:08Z","author":[{"first_name":"Reinhold","id":"242","full_name":"Haeb-Umbach, Reinhold","last_name":"Haeb-Umbach"}],"date_created":"2019-07-12T05:28:04Z","volume":9,"title":"Automatic generation of phonetic regression class trees for MLLR adaptation","main_file_link":[{"url":"https://groups.uni-paderborn.de/nt/pubs/2001/Ha01.pdf","open_access":"1"}],"doi":"10.1109/89.906003","type":"journal_article","publication":"IEEE Transactions on Speech and Audio Processing","abstract":[{"text":"In this paper, it is shown that a correlation criterion is the appropriate criterion for bottom-up clustering to obtain broad phonetic class regression trees for maximum likelihood linear regression (MLLR)-based speaker adaptation. The correlation structure among speech units is estimated on the speaker-independent training data. In adaptation experiments the tree outperformed a regression tree obtained from clustering according to closeness in acoustic space and achieved results comparable with those of a manually designed broad phonetic class tree","lang":"eng"}],"status":"public","_id":"11778","user_id":"44006","department":[{"_id":"54"}],"keyword":["acoustic space","adaptation experiments","automatic generation","bottom-up clustering","broad phonetic class regression trees","correlation criterion","correlation methods","maximum likelihood estimation","maximum likelihood linear regression based speaker adaptation","MLLR adaptation","pattern clustering","phonetic regression class trees","speaker-independent training data","speech recognition","speech units","statistical analysis","trees (mathematics)"],"language":[{"iso":"eng"}]},{"status":"public","abstract":[{"lang":"eng","text":"Rapid prototyping based on 3D models is well accepted for several applications. This article addresses the application of animated virtual 3D prototypes for the development of computer-based systems supporting early collaboration of the system designer with the external customer. Our methodology seamlessly integrates illustration through 3D animation with the main tasks of computer-based real-time systems development, i.e., implementation and verification. The approach is outlined by the example of the design of a flexible manufacturing system."}],"publication":"Proceedings of IEEE KMN 2001","type":"conference","language":[{"iso":"eng"}],"keyword":["Virtual prototyping","Animation","Collaboration","System analysis and design","Feedback","Application software","Power system modeling","Handicapped aids","Process design","Contracts"],"department":[{"_id":"672"}],"user_id":"5786","_id":"39411","citation":{"chicago":"Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented Systems Design through Virtual Prototyps.” In <i>Proceedings of IEEE KMN 2001</i>. Cambridge, MA, USA , 2001. <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">https://doi.org/10.1109/ENABL.2001.953425</a>.","ieee":"S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, doi: <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>.","ama":"Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through Virtual Prototyps. In: <i>Proceedings of IEEE KMN 2001</i>. ; 2001. doi:<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>","short":"S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001, Cambridge, MA, USA , 2001.","mla":"Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.” <i>Proceedings of IEEE KMN 2001</i>, 2001, doi:<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>.","bibtex":"@inproceedings{Flake_Geiger_Müller_Ruf_2001, place={Cambridge, MA, USA }, title={Customer-Oriented Systems Design through Virtual Prototyps}, DOI={<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>}, booktitle={Proceedings of IEEE KMN 2001}, author={Flake, Stephan and Geiger, Christian and Müller, Wolfgang and Ruf, Jürgen}, year={2001} }","apa":"Flake, S., Geiger, C., Müller, W., &#38; Ruf, J. (2001). Customer-Oriented Systems Design through Virtual Prototyps. <i>Proceedings of IEEE KMN 2001</i>. Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">https://doi.org/10.1109/ENABL.2001.953425</a>"},"place":"Cambridge, MA, USA ","year":"2001","publication_identifier":{"isbn":["0-7695-1269-0"]},"conference":{"name":"Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises"},"doi":"10.1109/ENABL.2001.953425","title":"Customer-Oriented Systems Design through Virtual Prototyps","date_created":"2023-01-24T10:30:14Z","author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"first_name":"Christian","full_name":"Geiger, Christian","last_name":"Geiger"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"Jürgen","last_name":"Ruf","full_name":"Ruf, Jürgen"}],"date_updated":"2023-01-24T10:30:21Z"},{"keyword":["Yarn","Formal verification","Kernel","Hardware design languages","Electronic design automation and methodology","Algebra","Computational modeling","Logic functions","Computer languages","Clocks"],"language":[{"iso":"eng"}],"_id":"39421","department":[{"_id":"672"}],"user_id":"5786","abstract":[{"text":"We present a rigorous but transparent semantics definition of SystemC that covers method, thread, and clocked thread behavior as well as their interaction with the simulation kernel process. The semantics includes watching statements, signal assignment, and wait statements as they are introduced in SystemC V1.O. We present our definition in form of distributed Abstract State Machines (ASMs) rules reflecting the view given in the SystemC User's Manual and the reference implementation. We mainly see our formal semantics as a concise, unambiguous, high-level specification for SystemC-based implementations and for standardization. Additionally, it can be used as a sound basis to investigate SystemC interoperability with Verilog and VHDL.","lang":"eng"}],"status":"public","publication":"Proceedings of the Design, Automation, and Test in Europe (DATE’01)","type":"conference","title":"The Simulation Semantics of SystemC","conference":{"name":" Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001"},"doi":"10.1109/DATE.2001.915002","publisher":"IEEE","date_updated":"2023-01-24T10:39:38Z","author":[{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"},{"full_name":"Ruf, Jürgen","last_name":"Ruf","first_name":"Jürgen"},{"last_name":"Hoffmann","full_name":"Hoffmann, D. W.","first_name":"D. W."},{"full_name":"Gerlach, Joachim","last_name":"Gerlach","first_name":"Joachim"},{"first_name":"Thomas","last_name":"Kropf","full_name":"Kropf, Thomas"},{"full_name":"Rosenstiehl, W.","last_name":"Rosenstiehl","first_name":"W."}],"date_created":"2023-01-24T10:39:33Z","place":"Munich, Germany ","year":"2001","citation":{"ama":"Müller W, Ruf J, Hoffmann DW, Gerlach J, Kropf T, Rosenstiehl W. The Simulation Semantics of SystemC. In: <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>. IEEE; 2001. doi:<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>","ieee":"W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl, “The Simulation Semantics of SystemC,” presented at the  Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, doi: <a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>.","chicago":"Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.” In <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>. Munich, Germany : IEEE, 2001. <a href=\"https://doi.org/10.1109/DATE.2001.915002\">https://doi.org/10.1109/DATE.2001.915002</a>.","bibtex":"@inproceedings{Müller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place={Munich, Germany }, title={The Simulation Semantics of SystemC}, DOI={<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>}, booktitle={Proceedings of the Design, Automation, and Test in Europe (DATE’01)}, publisher={IEEE}, author={Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W.}, year={2001} }","mla":"Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.” <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>, IEEE, 2001, doi:<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>.","short":"W. Müller, J. Ruf, D.W. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl, in: Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, Munich, Germany , 2001.","apa":"Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., &#38; Rosenstiehl, W. (2001). The Simulation Semantics of SystemC. <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>.  Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001. <a href=\"https://doi.org/10.1109/DATE.2001.915002\">https://doi.org/10.1109/DATE.2001.915002</a>"},"publication_identifier":{"isbn":["0-7695-0993-2"]}},{"date_updated":"2022-01-06T06:56:17Z","publisher":"Computer Engineering and Networks Lab, ETH Zurich, Switzerland","date_created":"2018-04-17T15:56:00Z","author":[{"full_name":"Plessl, Christian","id":"16153","orcid":"0000-0001-5728-9982","last_name":"Plessl","first_name":"Christian"},{"full_name":"Maurer, Simon","last_name":"Maurer","first_name":"Simon"}],"title":"Hardware/Software Codesign in Speech Compression Applications","year":"2000","citation":{"apa":"Plessl, C., &#38; Maurer, S. (2000). <i>Hardware/Software Codesign in Speech Compression Applications</i>. Computer Engineering and Networks Lab, ETH Zurich, Switzerland.","mla":"Plessl, Christian, and Simon Maurer. <i>Hardware/Software Codesign in Speech Compression Applications</i>. Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.","short":"C. Plessl, S. Maurer, Hardware/Software Codesign in Speech Compression Applications, Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.","bibtex":"@book{Plessl_Maurer_2000, title={Hardware/Software Codesign in Speech Compression Applications}, publisher={Computer Engineering and Networks Lab, ETH Zurich, Switzerland}, author={Plessl, Christian and Maurer, Simon}, year={2000} }","ama":"Plessl C, Maurer S. <i>Hardware/Software Codesign in Speech Compression Applications</i>. Computer Engineering and Networks Lab, ETH Zurich, Switzerland; 2000.","chicago":"Plessl, Christian, and Simon Maurer. <i>Hardware/Software Codesign in Speech Compression Applications</i>. Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.","ieee":"C. Plessl and S. Maurer, <i>Hardware/Software Codesign in Speech Compression Applications</i>. Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000."},"_id":"2433","user_id":"24135","department":[{"_id":"518"}],"keyword":["co-design","speech processing"],"type":"mastersthesis","status":"public"},{"title":"State of the art and development trends of ultrasonic linear motors","doi":"10.1109/ULTSYM.2000.922635","date_updated":"2022-01-06T07:04:05Z","author":[{"last_name":"Hemsel","full_name":"Hemsel, Tobias","id":"210","first_name":"Tobias"},{"last_name":"Wallaschek","full_name":"Wallaschek, Jörg","first_name":"Jörg"}],"date_created":"2019-04-15T09:52:09Z","volume":1,"year":"2000","citation":{"ama":"Hemsel T, Wallaschek J. State of the art and development trends of ultrasonic linear motors. In: <i>Ultrasonics Symposium, 2000 IEEE</i>. Vol 1. ; 2000:663-666 vol.1. doi:<a href=\"https://doi.org/10.1109/ULTSYM.2000.922635\">10.1109/ULTSYM.2000.922635</a>","ieee":"T. Hemsel and J. Wallaschek, “State of the art and development trends of ultrasonic linear motors,” in <i>Ultrasonics Symposium, 2000 IEEE</i>, 2000, vol. 1, pp. 663–666 vol.1.","chicago":"Hemsel, Tobias, and Jörg Wallaschek. “State of the Art and Development Trends of Ultrasonic Linear Motors.” In <i>Ultrasonics Symposium, 2000 IEEE</i>, 1:663–66 vol.1, 2000. <a href=\"https://doi.org/10.1109/ULTSYM.2000.922635\">https://doi.org/10.1109/ULTSYM.2000.922635</a>.","short":"T. Hemsel, J. Wallaschek, in: Ultrasonics Symposium, 2000 IEEE, 2000, pp. 663–666 vol.1.","bibtex":"@inproceedings{Hemsel_Wallaschek_2000, title={State of the art and development trends of ultrasonic linear motors}, volume={1}, DOI={<a href=\"https://doi.org/10.1109/ULTSYM.2000.922635\">10.1109/ULTSYM.2000.922635</a>}, booktitle={Ultrasonics Symposium, 2000 IEEE}, author={Hemsel, Tobias and Wallaschek, Jörg}, year={2000}, pages={663–666 vol.1} }","mla":"Hemsel, Tobias, and Jörg Wallaschek. “State of the Art and Development Trends of Ultrasonic Linear Motors.” <i>Ultrasonics Symposium, 2000 IEEE</i>, vol. 1, 2000, pp. 663–66 vol.1, doi:<a href=\"https://doi.org/10.1109/ULTSYM.2000.922635\">10.1109/ULTSYM.2000.922635</a>.","apa":"Hemsel, T., &#38; Wallaschek, J. (2000). State of the art and development trends of ultrasonic linear motors. In <i>Ultrasonics Symposium, 2000 IEEE</i> (Vol. 1, pp. 663–666 vol.1). <a href=\"https://doi.org/10.1109/ULTSYM.2000.922635\">https://doi.org/10.1109/ULTSYM.2000.922635</a>"},"page":"663-666 vol.1","intvolume":"         1","quality_controlled":"1","publication_identifier":{"issn":["1051-0117"]},"keyword":["linear motors","ultrasonic motors","linear piezoelectric motor","maximum thrust force","no-load velocity","ultrasonic linear motor","Electromagnetic devices","Electromagnetic fields","Frequency","Friction","Gears","Materials science and technology","Piezoelectric materials","Research and development","Vibrations","Wheels"],"language":[{"iso":"eng"}],"_id":"8915","user_id":"55222","department":[{"_id":"151"}],"abstract":[{"text":"Ultrasonic linear motors have now been investigated for several years. Their key features are high thrust forces related to their volume and good position-accuracy. This contribution consists of two main parts. In the first part we describe the state-of-the-art of linear piezoelectric motors. Characteristics like no-load velocity, maximum thrust force and other technical properties of commercially available devices will be reported as well as those of prototypes. In the second part we report an ongoing research and development project aiming at a linear piezoelectric motor, which is capable of surpassing some of the shortcomings of other piezoelectric motors","lang":"eng"}],"status":"public","type":"conference","publication":"Ultrasonics Symposium, 2000 IEEE"},{"citation":{"chicago":"Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Visual Specification, Modeling, and Illustrations of Complex Systems.” In <i>Proceedings of HICSS-32</i>. Maui, Hawaii, 1999. <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">https://doi.org/10.1109/HICSS.1999.772621</a>.","ieee":"C. Geiger, G. Lehrenfeld, and W. Müller, “Visual Specification, Modeling, and Illustrations of Complex Systems,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii, 1999, doi: <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>.","ama":"Geiger C, Lehrenfeld G, Müller W. Visual Specification, Modeling, and Illustrations of Complex Systems. In: <i>Proceedings of HICSS-32</i>. ; 1999. doi:<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>","apa":"Geiger, C., Lehrenfeld, G., &#38; Müller, W. (1999). Visual Specification, Modeling, and Illustrations of Complex Systems. <i>Proceedings of HICSS-32</i>. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii. <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">https://doi.org/10.1109/HICSS.1999.772621</a>","short":"C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui, Hawaii, 1999.","bibtex":"@inproceedings{Geiger_Lehrenfeld_Müller_1999, place={Maui, Hawaii}, title={Visual Specification, Modeling, and Illustrations of Complex Systems}, DOI={<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>}, booktitle={Proceedings of HICSS-32}, author={Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}, year={1999} }","mla":"Geiger, Christian, et al. “Visual Specification, Modeling, and Illustrations of Complex Systems.” <i>Proceedings of HICSS-32</i>, 1999, doi:<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>."},"year":"1999","place":"Maui, Hawaii","publication_identifier":{"isbn":["0-7695-0001-3"]},"doi":"10.1109/HICSS.1999.772621","conference":{"location":"Maui, Hawaii","name":"Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999"},"title":"Visual Specification, Modeling, and Illustrations of Complex Systems","date_created":"2023-01-24T11:33:05Z","author":[{"full_name":"Geiger, Christian","last_name":"Geiger","first_name":"Christian"},{"first_name":"G.","full_name":"Lehrenfeld, G.","last_name":"Lehrenfeld"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"}],"date_updated":"2023-01-24T11:33:35Z","status":"public","abstract":[{"text":"This article introduces and discusses different innovative means for visual specification and animation of complex concurrent systems. It introduces the completely visual programming language Pictorial Janus (PJ) and its application in the customer-oriented design process. PJ implements a completely visual programming language with inherent animation facilities. The article outlines the transformation of purely visual PJ programs into textual imperative programming languages. The second part of the article investigates animated 3D-presentations and introduces a novel approach to an animated 3D programming language for interactive customer-oriented illustrations.","lang":"eng"}],"type":"conference","publication":"Proceedings of HICSS-32","language":[{"iso":"eng"}],"keyword":["Animation","Computer languages","Object oriented modeling","Collaboration","Process design","Graphical user interfaces","Jacobian matrices","Standardization","Feedback","Software prototyping"],"user_id":"5786","department":[{"_id":"672"}],"_id":"39487"}]