[{"publication":"Attention, Perception, & Psychophysics","abstract":[{"text":"For almost three decades, the theory of visual attention (TVA) has been successful in mathematically describing and explaining a wide variety of phenomena in visual selection and recognition with high quantitative precision. Interestingly, the influence of feature contrast on attention has been included in TVA only recently, although it has been extensively studied outside the TVA framework. The present approach further develops this extension of TVA’s scope by measuring and modeling salience. An empirical measure of salience is achieved by linking different (orientation and luminance) contrasts to a TVA parameter. In the modeling part, the function relating feature contrasts to salience is described mathematically and tested against alternatives by Bayesian model comparison. This model comparison reveals that the power function is an appropriate model of salience growth in the dimensions of orientation and luminance contrast. Furthermore, if contrasts from the two dimensions are comb","lang":"eng"}],"keyword":["Salience","Visual attention","Bayesian inference","Theory of visual attention","Computational modeling","Inference","Object Recognition","Theories","Visual Perception","Visual Attention","Luminance","Perceptual Orientation","Statistical Probability","Stimulus Salience","Computational Modeling"],"language":[{"iso":"eng"}],"issue":"6","year":"2017","date_created":"2018-12-10T07:05:04Z","title":"Measuring and modeling salience with the theory of visual attention.","type":"journal_article","status":"public","_id":"6075","user_id":"42165","department":[{"_id":"424"}],"article_type":"original","publication_status":"published","publication_identifier":{"issn":["1943-3921"]},"citation":{"ieee":"A. Krüger, J. Tünnermann, and I. Scharlau, “Measuring and modeling salience with the theory of visual attention.,” <i>Attention, Perception, &#38; Psychophysics</i>, vol. 79, no. 6, pp. 1593–1614, 2017, doi: <a href=\"https://doi.org/10.3758/s13414-017-1325-6\">10.3758/s13414-017-1325-6</a>.","chicago":"Krüger, Alexander, Jan Tünnermann, and Ingrid Scharlau. “Measuring and Modeling Salience with the Theory of Visual Attention.” <i>Attention, Perception, &#38; Psychophysics</i> 79, no. 6 (2017): 1593–1614. <a href=\"https://doi.org/10.3758/s13414-017-1325-6\">https://doi.org/10.3758/s13414-017-1325-6</a>.","ama":"Krüger A, Tünnermann J, Scharlau I. Measuring and modeling salience with the theory of visual attention. <i>Attention, Perception, &#38; Psychophysics</i>. 2017;79(6):1593-1614. doi:<a href=\"https://doi.org/10.3758/s13414-017-1325-6\">10.3758/s13414-017-1325-6</a>","apa":"Krüger, A., Tünnermann, J., &#38; Scharlau, I. (2017). Measuring and modeling salience with the theory of visual attention. <i>Attention, Perception, &#38; Psychophysics</i>, <i>79</i>(6), 1593–1614. <a href=\"https://doi.org/10.3758/s13414-017-1325-6\">https://doi.org/10.3758/s13414-017-1325-6</a>","bibtex":"@article{Krüger_Tünnermann_Scharlau_2017, title={Measuring and modeling salience with the theory of visual attention.}, volume={79}, DOI={<a href=\"https://doi.org/10.3758/s13414-017-1325-6\">10.3758/s13414-017-1325-6</a>}, number={6}, journal={Attention, Perception, &#38; Psychophysics}, author={Krüger, Alexander and Tünnermann, Jan and Scharlau, Ingrid}, year={2017}, pages={1593–1614} }","short":"A. Krüger, J. Tünnermann, I. Scharlau, Attention, Perception, &#38; Psychophysics 79 (2017) 1593–1614.","mla":"Krüger, Alexander, et al. “Measuring and Modeling Salience with the Theory of Visual Attention.” <i>Attention, Perception, &#38; Psychophysics</i>, vol. 79, no. 6, 2017, pp. 1593–614, doi:<a href=\"https://doi.org/10.3758/s13414-017-1325-6\">10.3758/s13414-017-1325-6</a>."},"intvolume":"        79","page":"1593 - 1614","date_updated":"2022-06-06T14:08:05Z","author":[{"first_name":"Alexander","full_name":"Krüger, Alexander","last_name":"Krüger"},{"first_name":"Jan","full_name":"Tünnermann, Jan","last_name":"Tünnermann"},{"last_name":"Scharlau","orcid":"0000-0003-2364-9489","full_name":"Scharlau, Ingrid","id":"451","first_name":"Ingrid"}],"volume":79,"doi":"10.3758/s13414-017-1325-6"},{"page":"20 - 38","intvolume":"        12","citation":{"short":"A. Krüger, J. Tünnermann, I. Scharlau, Advances in Cognitive Psychology 12 (2016) 20–38.","bibtex":"@article{Krüger_Tünnermann_Scharlau_2016, title={Fast and conspicuous? Quantifying salience with the theory of visual attention.}, volume={12}, DOI={<a href=\"https://doi.org/10.5709/acp-0184-1\">10.5709/acp-0184-1</a>}, number={1}, journal={Advances in Cognitive Psychology}, author={Krüger, Alexander and Tünnermann, Jan and Scharlau, Ingrid}, year={2016}, pages={20–38} }","mla":"Krüger, Alexander, et al. “Fast and Conspicuous? Quantifying Salience with the Theory of Visual Attention.” <i>Advances in Cognitive Psychology</i>, vol. 12, no. 1, 2016, pp. 20–38, doi:<a href=\"https://doi.org/10.5709/acp-0184-1\">10.5709/acp-0184-1</a>.","apa":"Krüger, A., Tünnermann, J., &#38; Scharlau, I. (2016). Fast and conspicuous? Quantifying salience with the theory of visual attention. <i>Advances in Cognitive Psychology</i>, <i>12</i>(1), 20–38. <a href=\"https://doi.org/10.5709/acp-0184-1\">https://doi.org/10.5709/acp-0184-1</a>","ieee":"A. Krüger, J. Tünnermann, and I. Scharlau, “Fast and conspicuous? Quantifying salience with the theory of visual attention.,” <i>Advances in Cognitive Psychology</i>, vol. 12, no. 1, pp. 20–38, 2016, doi: <a href=\"https://doi.org/10.5709/acp-0184-1\">10.5709/acp-0184-1</a>.","chicago":"Krüger, Alexander, Jan Tünnermann, and Ingrid Scharlau. “Fast and Conspicuous? Quantifying Salience with the Theory of Visual Attention.” <i>Advances in Cognitive Psychology</i> 12, no. 1 (2016): 20–38. <a href=\"https://doi.org/10.5709/acp-0184-1\">https://doi.org/10.5709/acp-0184-1</a>.","ama":"Krüger A, Tünnermann J, Scharlau I. Fast and conspicuous? Quantifying salience with the theory of visual attention. <i>Advances in Cognitive Psychology</i>. 2016;12(1):20-38. doi:<a href=\"https://doi.org/10.5709/acp-0184-1\">10.5709/acp-0184-1</a>"},"publication_identifier":{"issn":["1895-1171"]},"publication_status":"published","doi":"10.5709/acp-0184-1","main_file_link":[{"url":"http://ac-psych.org/en/download-pdf/volume/12/issue/1/id/185","open_access":"1"}],"volume":12,"author":[{"last_name":"Krüger","full_name":"Krüger, Alexander","first_name":"Alexander"},{"first_name":"Jan","last_name":"Tünnermann","full_name":"Tünnermann, Jan"},{"first_name":"Ingrid","id":"451","full_name":"Scharlau, Ingrid","last_name":"Scharlau","orcid":"0000-0003-2364-9489"}],"date_updated":"2022-06-06T16:21:09Z","oa":"1","status":"public","type":"journal_article","funded_apc":"1","department":[{"_id":"424"}],"user_id":"42165","_id":"6071","year":"2016","issue":"1","title":"Fast and conspicuous? Quantifying salience with the theory of visual attention.","date_created":"2018-12-10T07:04:15Z","abstract":[{"lang":"eng","text":"Particular differences between an object and its surrounding cause salience, guide attention, and improve performance in various tasks. While much research has been dedicated to identifying which feature dimensions contribute to salience, much less regard has been paid to the quantitative strength of the salience caused by feature differences. Only a few studies systematically related salience effects to a common salience measure, and they are partly outdated in the light of new findings on the time course of salience effects. We propose Bundesen’s Theory of Visual Attention (TV A) as a theoretical basis for measuring salience and introduce an empirical and modeling approach to link this theory to data retrieved from temporal-order judgments. With this procedure, TV A becomes applicable to a broad range of salience-related stimulus material. Three experiments with orientation pop-out displays demonstrate the feasibility of the method. A 4th experiment substantiates its applicability t"}],"publication":"Advances in Cognitive Psychology","language":[{"iso":"eng"}],"keyword":["salience","visual attention","Bayesian inference","theory of visual attention","computational modeling","Visual Attention","Computational Modeling","Inference","Judgment","Statistical Probability"]},{"publication":"IEEE/ACM Transactions on Audio, Speech, and Language Processing","type":"journal_article","status":"public","abstract":[{"text":"In this contribution we present a theoretical and experimental investigation into the effects of reverberation and noise on features in the logarithmic mel power spectral domain, an intermediate stage in the computation of the mel frequency cepstral coefficients, prevalent in automatic speech recognition (ASR). Gaining insight into the complex interaction between clean speech, noise, and noisy reverberant speech features is essential for any ASR system to be robust against noise and reverberation present in distant microphone input signals. The findings are gathered in a probabilistic formulation of an observation model which may be used in model-based feature compensation schemes. The proposed observation model extends previous models in three major directions: First, the contribution of additive background noise to the observation error is explicitly taken into account. Second, an energy compensation constant is introduced which ensures an unbiased estimate of the reverberant speech features, and, third, a recursive variant of the observation model is developed resulting in reduced computational complexity when used in model-based feature compensation. The experimental section is used to evaluate the accuracy of the model and to describe how its parameters can be determined from test data.","lang":"eng"}],"department":[{"_id":"54"}],"user_id":"44006","_id":"11861","language":[{"iso":"eng"}],"keyword":["computational complexity","reverberation","speech recognition","automatic speech recognition","background noise","clean speech","computational complexity","energy compensation","logarithmic mel power spectral domain","mel frequency cepstral coefficients","microphone input signals","model-based feature compensation schemes","noisy reverberant speech automatic recognition","noisy reverberant speech features","reverberation","Atmospheric modeling","Computational modeling","Noise","Noise measurement","Reverberation","Speech","Vectors","Model-based feature compensation","observation model for reverberant and noisy speech","recursive observation model","robust automatic speech recognition"],"issue":"1","publication_identifier":{"issn":["2329-9290"]},"intvolume":"        22","page":"95-109","citation":{"chicago":"Leutnant, Volker, Alexander Krueger, and Reinhold Haeb-Umbach. “A New Observation Model in the Logarithmic Mel Power Spectral Domain for the Automatic Recognition of Noisy Reverberant Speech.” <i>IEEE/ACM Transactions on Audio, Speech, and Language Processing</i> 22, no. 1 (2014): 95–109. <a href=\"https://doi.org/10.1109/TASLP.2013.2285480\">https://doi.org/10.1109/TASLP.2013.2285480</a>.","ieee":"V. Leutnant, A. Krueger, and R. Haeb-Umbach, “A New Observation Model in the Logarithmic Mel Power Spectral Domain for the Automatic Recognition of Noisy Reverberant Speech,” <i>IEEE/ACM Transactions on Audio, Speech, and Language Processing</i>, vol. 22, no. 1, pp. 95–109, 2014.","ama":"Leutnant V, Krueger A, Haeb-Umbach R. A New Observation Model in the Logarithmic Mel Power Spectral Domain for the Automatic Recognition of Noisy Reverberant Speech. <i>IEEE/ACM Transactions on Audio, Speech, and Language Processing</i>. 2014;22(1):95-109. doi:<a href=\"https://doi.org/10.1109/TASLP.2013.2285480\">10.1109/TASLP.2013.2285480</a>","apa":"Leutnant, V., Krueger, A., &#38; Haeb-Umbach, R. (2014). A New Observation Model in the Logarithmic Mel Power Spectral Domain for the Automatic Recognition of Noisy Reverberant Speech. <i>IEEE/ACM Transactions on Audio, Speech, and Language Processing</i>, <i>22</i>(1), 95–109. <a href=\"https://doi.org/10.1109/TASLP.2013.2285480\">https://doi.org/10.1109/TASLP.2013.2285480</a>","mla":"Leutnant, Volker, et al. “A New Observation Model in the Logarithmic Mel Power Spectral Domain for the Automatic Recognition of Noisy Reverberant Speech.” <i>IEEE/ACM Transactions on Audio, Speech, and Language Processing</i>, vol. 22, no. 1, 2014, pp. 95–109, doi:<a href=\"https://doi.org/10.1109/TASLP.2013.2285480\">10.1109/TASLP.2013.2285480</a>.","bibtex":"@article{Leutnant_Krueger_Haeb-Umbach_2014, title={A New Observation Model in the Logarithmic Mel Power Spectral Domain for the Automatic Recognition of Noisy Reverberant Speech}, volume={22}, DOI={<a href=\"https://doi.org/10.1109/TASLP.2013.2285480\">10.1109/TASLP.2013.2285480</a>}, number={1}, journal={IEEE/ACM Transactions on Audio, Speech, and Language Processing}, author={Leutnant, Volker and Krueger, Alexander and Haeb-Umbach, Reinhold}, year={2014}, pages={95–109} }","short":"V. Leutnant, A. Krueger, R. Haeb-Umbach, IEEE/ACM Transactions on Audio, Speech, and Language Processing 22 (2014) 95–109."},"year":"2014","volume":22,"author":[{"first_name":"Volker","last_name":"Leutnant","full_name":"Leutnant, Volker"},{"first_name":"Alexander","full_name":"Krueger, Alexander","last_name":"Krueger"},{"last_name":"Haeb-Umbach","full_name":"Haeb-Umbach, Reinhold","id":"242","first_name":"Reinhold"}],"date_created":"2019-07-12T05:29:41Z","date_updated":"2022-01-06T06:51:11Z","doi":"10.1109/TASLP.2013.2285480","title":"A New Observation Model in the Logarithmic Mel Power Spectral Domain for the Automatic Recognition of Noisy Reverberant Speech"},{"publisher":"IEEE","date_updated":"2023-01-16T11:57:22Z","date_created":"2023-01-16T11:57:08Z","author":[{"last_name":"Becker","full_name":"Becker, Markus","first_name":"Markus"},{"first_name":"Christoph","last_name":"Kuznik","full_name":"Kuznik, Christoph"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"}],"title":"Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems","doi":"10.1109/ICCPS.2014.6843726","conference":{"name":"ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)","location":"Berlin"},"place":"Berlin","year":"2014","citation":{"mla":"Becker, Markus, et al. <i>Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems</i>. IEEE, 2014, doi:<a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>.","short":"M. Becker, C. Kuznik, W. Müller, in: IEEE, Berlin, 2014.","bibtex":"@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={<a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>}, publisher={IEEE}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }","apa":"Becker, M., Kuznik, C., &#38; Müller, W. (2014). <i>Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems</i>. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin. <a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">https://doi.org/10.1109/ICCPS.2014.6843726</a>","ieee":"M. Becker, C. Kuznik, and W. Müller, “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems,” presented at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, 2014, doi: <a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>.","chicago":"Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems.” Berlin: IEEE, 2014. <a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">https://doi.org/10.1109/ICCPS.2014.6843726</a>.","ama":"Becker M, Kuznik C, Müller W. Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems. In: IEEE; 2014. doi:<a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>"},"_id":"36918","department":[{"_id":"58"}],"user_id":"5786","keyword":["Computational modeling","Finite element analysis","Prototypes","Abstracts","Software","Fault tolerance","Fault tolerant systems"],"language":[{"iso":"eng"}],"type":"conference","abstract":[{"text":"This paper presents an advanced eight levels spanning SystemC based virtual platform methodology and framework - referred to as HeroeS 3 - providing smooth application to platform mapping and continuous co-refinement of a virtual prototype with its physical environment model. For heterogeneity support, various SystemC extensions are combined covering continuous/discrete models of computation and different communication abstractions, such as analog mixed-signal models, abstract RTOS/HAL/middleware models, TLM bus models, and QEMU wrappers. We enable dependability assessment by Fault Effect Modeling (FEM) at the virtual prototype in order to avoid risking physical injury or damage. Also, simulation results are deterministic and can be evaluated interactively or offline. We apply FEM to both the physical environment model and the different abstractions of the virtual prototype. Currently, we focus on sensor failures and application control flow errors.","lang":"eng"}],"status":"public"},{"title":"An efficient simulation technique for high-frequency piezoelectric inertia motors","doi":"10.1109/ULTSYM.2012.0068","date_updated":"2022-01-06T07:04:20Z","date_created":"2019-05-13T13:20:17Z","author":[{"first_name":"Matthias","full_name":"Hunstig, Matthias","last_name":"Hunstig"},{"first_name":"Tobias","last_name":"Hemsel","full_name":"Hemsel, Tobias"},{"first_name":"Walter","full_name":"Sextro, Walter","last_name":"Sextro"}],"year":"2012","page":"277-280","citation":{"ieee":"M. Hunstig, T. Hemsel, and W. Sextro, “An efficient simulation technique for high-frequency piezoelectric inertia motors,” in <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i>, 2012, pp. 277–280.","chicago":"Hunstig, Matthias, Tobias Hemsel, and Walter Sextro. “An Efficient Simulation Technique for High-Frequency Piezoelectric Inertia Motors.” In <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i>, 277–80, 2012. <a href=\"https://doi.org/10.1109/ULTSYM.2012.0068\">https://doi.org/10.1109/ULTSYM.2012.0068</a>.","ama":"Hunstig M, Hemsel T, Sextro W. An efficient simulation technique for high-frequency piezoelectric inertia motors. In: <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i>. ; 2012:277-280. doi:<a href=\"https://doi.org/10.1109/ULTSYM.2012.0068\">10.1109/ULTSYM.2012.0068</a>","apa":"Hunstig, M., Hemsel, T., &#38; Sextro, W. (2012). An efficient simulation technique for high-frequency piezoelectric inertia motors. In <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i> (pp. 277–280). <a href=\"https://doi.org/10.1109/ULTSYM.2012.0068\">https://doi.org/10.1109/ULTSYM.2012.0068</a>","mla":"Hunstig, Matthias, et al. “An Efficient Simulation Technique for High-Frequency Piezoelectric Inertia Motors.” <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i>, 2012, pp. 277–80, doi:<a href=\"https://doi.org/10.1109/ULTSYM.2012.0068\">10.1109/ULTSYM.2012.0068</a>.","short":"M. Hunstig, T. Hemsel, W. Sextro, in: Ultrasonics Symposium (IUS), 2012 IEEE International, 2012, pp. 277–280.","bibtex":"@inproceedings{Hunstig_Hemsel_Sextro_2012, title={An efficient simulation technique for high-frequency piezoelectric inertia motors}, DOI={<a href=\"https://doi.org/10.1109/ULTSYM.2012.0068\">10.1109/ULTSYM.2012.0068</a>}, booktitle={Ultrasonics Symposium (IUS), 2012 IEEE International}, author={Hunstig, Matthias and Hemsel, Tobias and Sextro, Walter}, year={2012}, pages={277–280} }"},"publication_identifier":{"issn":["1948-5719"]},"quality_controlled":"1","keyword":["friction","ultrasonic motors","Coulomb friction model","efficient simulation technique","friction contact","high-frequency piezoelectric inertia motor","motor characteristics prediction","numerical simulation","slip-slip mode","stick-slip mode","time-step simulation","ultrasonic inertia motor","Acceleration","Acoustics","Actuators","Computational modeling","Friction","Numerical models","Steady-state"],"language":[{"iso":"eng"}],"_id":"9784","department":[{"_id":"151"}],"user_id":"55222","abstract":[{"text":"Piezoelectric inertia motors use the inertia of a body to drive it by means of a friction contact in a series of small steps. These motors can operate in ``stick-slip'' or ``slip-slip'' mode, with the fundamental frequency of the driving signal ranging from several Hertz to more than 100 kHz. To predict the motor characteristics, a Coulomb friction model is sufficient in many cases, but numerical simulation requires microscopic time steps. This contribution proposes a much faster simulation technique using one evaluation per period of the excitation signal. The proposed technique produces results very close to those of timestep simulation for ultrasonics inertia motors and allows direct determination of the steady-state velocity of an inertia motor from the motion profile of the driving part. Thus it is a useful simulation technique which can be applied in both analysis and design of inertia motors, especially for parameter studies and optimisation.","lang":"eng"}],"status":"public","publication":"Ultrasonics Symposium (IUS), 2012 IEEE International","type":"conference"},{"title":"HDL-Mutation Based Simulation Data Generation by Propagation Guided Search","doi":"10.1109/DSD.2011.83","date_updated":"2025-02-26T14:44:15Z","publisher":"IEEE","date_created":"2023-01-17T09:02:48Z","author":[{"first_name":"Tao","last_name":"Xie","full_name":"Xie, Tao"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"},{"last_name":"Letombe","full_name":"Letombe, Florian","first_name":"Florian"}],"year":"2011","place":"Oulu, Finnland","citation":{"ama":"Xie T, Müller W, Letombe F. HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. In: <i>Proceedings of Euromicro DSD 2011</i>. IEEE; 2011. doi:<a href=\"https://doi.org/10.1109/DSD.2011.83\">10.1109/DSD.2011.83</a>","ieee":"T. Xie, W. Müller, and F. Letombe, “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search,” 2011, doi: <a href=\"https://doi.org/10.1109/DSD.2011.83\">10.1109/DSD.2011.83</a>.","chicago":"Xie, Tao, Wolfgang Müller, and Florian Letombe. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” In <i>Proceedings of Euromicro DSD 2011</i>. Oulu, Finnland: IEEE, 2011. <a href=\"https://doi.org/10.1109/DSD.2011.83\">https://doi.org/10.1109/DSD.2011.83</a>.","apa":"Xie, T., Müller, W., &#38; Letombe, F. (2011). HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. <i>Proceedings of Euromicro DSD 2011</i>. <a href=\"https://doi.org/10.1109/DSD.2011.83\">https://doi.org/10.1109/DSD.2011.83</a>","mla":"Xie, Tao, et al. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” <i>Proceedings of Euromicro DSD 2011</i>, IEEE, 2011, doi:<a href=\"https://doi.org/10.1109/DSD.2011.83\">10.1109/DSD.2011.83</a>.","bibtex":"@inproceedings{Xie_Müller_Letombe_2011, place={Oulu, Finnland}, title={HDL-Mutation Based Simulation Data Generation by Propagation Guided Search}, DOI={<a href=\"https://doi.org/10.1109/DSD.2011.83\">10.1109/DSD.2011.83</a>}, booktitle={Proceedings of Euromicro DSD 2011}, publisher={IEEE}, author={Xie, Tao and Müller, Wolfgang and Letombe, Florian}, year={2011} }","short":"T. Xie, W. Müller, F. Letombe, in: Proceedings of Euromicro DSD 2011, IEEE, Oulu, Finnland, 2011."},"publication_identifier":{"isbn":["978-1-4577-1048-3"]},"keyword":["Hardware design languages","Cost function","Computational modeling","Fault detection","Data models","Analytical models","Testing"],"language":[{"iso":"eng"}],"_id":"37002","user_id":"5786","department":[{"_id":"672"}],"abstract":[{"text":"HDL-mutation based fault injection and analysis is considered as an important coverage metric for measuring the quality of design simulation processes [20, 3, 1, 2]. In this work, we try to solve the problem of automatic simulation data generation targeting HDL mutation faults. We follow a search based approach and eliminate the need for symbolic execution and mathematical constraint solving from existing work. An objective cost function is defined on the test input space and serves the guidance of search for fault-detecting test data. This is done by first mapping the simulation traces under a test onto a control and data flow graph structure which is extracted from the design. Then the progress of fault detection can be measured quantitatively on this graph to be the cost value. By minimizing this cost we approach the target test data. The effectiveness of the cost function is investigated under an example neighborhood search scheme. Case study with a floating point arithmetic IP design has shown that the cost function is able to guide effectively the search procedure towards a fault-detecting test. The cost calculation time as the search overhead was also observed to be minor compared to the actual design simulation time.","lang":"eng"}],"status":"public","type":"conference","publication":"Proceedings of Euromicro DSD 2011"},{"language":[{"iso":"eng"}],"keyword":["Libraries","Generators","Transfer functions","Monitoring","Computational modeling","Driver circuits","Adaptation model"],"user_id":"5786","department":[{"_id":"672"}],"_id":"37057","status":"public","abstract":[{"lang":"eng","text":"Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which is a challenging task for the verification engineer. To cope with complexity, verification techniques working on different abstraction levels are best practice. SystemC is a versatile C++ based design and verification language, offering various mechanisms and constructs required for embedded systems modeling. Using the add-on SystemC Verification Library (SCV) elemental constrained-random stimuli techniques may be used for verification. However, SCV has several drawbacks such as lack of functional coverage. In this paper we present a functional coverage library that implements parts of the IEEE 1800-2005 SystemVerilog standard and allows capturing functional coverage throughout the design and verification process with SystemC. Moreover, we will demonstrate the usability of the approach with a case study working on a CAN bus model written in SystemC."}],"type":"conference","publication":"Proceedings of SIES 2010","doi":"10.1109/SIES.2010.5551379","conference":{"name":"International Symposium on Industrial Embedded System (SIES)","location":" Trento, Italy"},"title":"Verification of a CAN Bus Model in SystemC with Functional Coverage","date_created":"2023-01-17T11:34:56Z","author":[{"last_name":"Defo","full_name":"Defo, Gilles B.","first_name":"Gilles B."},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"},{"full_name":"Kuznik, Christoph","last_name":"Kuznik","first_name":"Christoph"}],"date_updated":"2023-01-17T11:35:03Z","publisher":"IEEE","citation":{"apa":"Defo, G. B., Müller, W., &#38; Kuznik, C. (2010). Verification of a CAN Bus Model in SystemC with Functional Coverage. <i>Proceedings of SIES 2010</i>. International Symposium on Industrial Embedded System (SIES),  Trento, Italy. <a href=\"https://doi.org/10.1109/SIES.2010.5551379\">https://doi.org/10.1109/SIES.2010.5551379</a>","short":"G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE,  Trento, Italy, 2010.","bibtex":"@inproceedings{Defo_Müller_Kuznik_2010, place={ Trento, Italy}, title={Verification of a CAN Bus Model in SystemC with Functional Coverage}, DOI={<a href=\"https://doi.org/10.1109/SIES.2010.5551379\">10.1109/SIES.2010.5551379</a>}, booktitle={Proceedings of SIES 2010}, publisher={IEEE}, author={Defo, Gilles B. and Müller, Wolfgang and Kuznik, Christoph}, year={2010} }","mla":"Defo, Gilles B., et al. “Verification of a CAN Bus Model in SystemC with Functional Coverage.” <i>Proceedings of SIES 2010</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/SIES.2010.5551379\">10.1109/SIES.2010.5551379</a>.","ieee":"G. B. Defo, W. Müller, and C. Kuznik, “Verification of a CAN Bus Model in SystemC with Functional Coverage,” presented at the International Symposium on Industrial Embedded System (SIES),  Trento, Italy, 2010, doi: <a href=\"https://doi.org/10.1109/SIES.2010.5551379\">10.1109/SIES.2010.5551379</a>.","chicago":"Defo, Gilles B., Wolfgang Müller, and Christoph Kuznik. “Verification of a CAN Bus Model in SystemC with Functional Coverage.” In <i>Proceedings of SIES 2010</i>.  Trento, Italy: IEEE, 2010. <a href=\"https://doi.org/10.1109/SIES.2010.5551379\">https://doi.org/10.1109/SIES.2010.5551379</a>.","ama":"Defo GB, Müller W, Kuznik C. Verification of a CAN Bus Model in SystemC with Functional Coverage. In: <i>Proceedings of SIES 2010</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/SIES.2010.5551379\">10.1109/SIES.2010.5551379</a>"},"year":"2010","place":" Trento, Italy","publication_identifier":{"eisbn":["978-1-4244-5841-7"]}},{"_id":"39421","user_id":"5786","department":[{"_id":"672"}],"keyword":["Yarn","Formal verification","Kernel","Hardware design languages","Electronic design automation and methodology","Algebra","Computational modeling","Logic functions","Computer languages","Clocks"],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the Design, Automation, and Test in Europe (DATE’01)","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","date_updated":"2023-01-24T10:39:38Z","publisher":"IEEE","author":[{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"Ruf, Jürgen","last_name":"Ruf","first_name":"Jürgen"},{"first_name":"D. W.","last_name":"Hoffmann","full_name":"Hoffmann, D. W."},{"first_name":"Joachim","full_name":"Gerlach, Joachim","last_name":"Gerlach"},{"full_name":"Kropf, Thomas","last_name":"Kropf","first_name":"Thomas"},{"last_name":"Rosenstiehl","full_name":"Rosenstiehl, W.","first_name":"W."}],"date_created":"2023-01-24T10:39:33Z","title":"The Simulation Semantics of SystemC","doi":"10.1109/DATE.2001.915002","conference":{"name":" Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001"},"publication_identifier":{"isbn":["0-7695-0993-2"]},"year":"2001","place":"Munich, Germany ","citation":{"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>","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.","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>.","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} }","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>","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>.","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>."}}]