[{"volume":"8:7","doi":"10.1186/s42779-021-00084-6","user_id":"95179","_id":"51381","language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://journalofethnicfoods.biomedcentral.com/articles/10.1186/s42779-021-00084-6"}],"date_updated":"2026-05-09T00:14:58Z","publication_status":"published","author":[{"id":"95179","first_name":"Mohammed","orcid":"0000-0002-0545-9799","last_name":"Abdelrahem","full_name":"Abdelrahem, Mohammed"},{"first_name":"Ali ","last_name":"Abdallah","full_name":"Abdallah, Ali "},{"full_name":"Pasqualone, Antonella ","first_name":"Antonella ","last_name":"Pasqualone"}],"title":"The multiplicity of halal standards: a case study of application to slaughterhouses","status":"public","year":"2021","oa":"1","department":[{"_id":"469"}],"keyword":["halal standards","halal food","slaughterhouses"],"type":"journal_article","date_created":"2024-02-19T00:49:03Z","quality_controlled":"1","citation":{"apa":"Abdelrahem, M., Abdallah, A., &#38; Pasqualone, A. (2021). The multiplicity of halal standards: a case study of application to slaughterhouses. <i> Journal of Ethnic Foods</i>, <i>8:7</i>. <a href=\"https://doi.org/10.1186/s42779-021-00084-6\">https://doi.org/10.1186/s42779-021-00084-6</a>","mla":"Abdelrahem, Mohammed, et al. “The Multiplicity of Halal Standards: A Case Study of Application to Slaughterhouses.” <i> Journal of Ethnic Foods</i>, vol. 8:7, 2021, doi:<a href=\"https://doi.org/10.1186/s42779-021-00084-6\">10.1186/s42779-021-00084-6</a>.","ieee":"M. Abdelrahem, A. Abdallah, and A. Pasqualone, “The multiplicity of halal standards: a case study of application to slaughterhouses,” <i> Journal of Ethnic Foods</i>, vol. 8:7, 2021, doi: <a href=\"https://doi.org/10.1186/s42779-021-00084-6\">10.1186/s42779-021-00084-6</a>.","chicago":"Abdelrahem, Mohammed, Ali  Abdallah, and Antonella  Pasqualone. “The Multiplicity of Halal Standards: A Case Study of Application to Slaughterhouses.” <i> Journal of Ethnic Foods</i> 8:7 (2021). <a href=\"https://doi.org/10.1186/s42779-021-00084-6\">https://doi.org/10.1186/s42779-021-00084-6</a>.","ama":"Abdelrahem M, Abdallah A, Pasqualone A. The multiplicity of halal standards: a case study of application to slaughterhouses. <i> Journal of Ethnic Foods</i>. 2021;8:7. doi:<a href=\"https://doi.org/10.1186/s42779-021-00084-6\">10.1186/s42779-021-00084-6</a>","short":"M. Abdelrahem, A. Abdallah, A. Pasqualone,  Journal of Ethnic Foods 8:7 (2021).","bibtex":"@article{Abdelrahem_Abdallah_Pasqualone_2021, title={The multiplicity of halal standards: a case study of application to slaughterhouses}, volume={8:7}, DOI={<a href=\"https://doi.org/10.1186/s42779-021-00084-6\">10.1186/s42779-021-00084-6</a>}, journal={ Journal of Ethnic Foods}, author={Abdelrahem, Mohammed and Abdallah, Ali  and Pasqualone, Antonella }, year={2021} }"},"publication":" Journal of Ethnic Foods"},{"publication":"IEEE Transactions on Software Engineering","citation":{"mla":"Nguyen Quang Do, Lisa, et al. “Debugging Static Analysis.” <i>IEEE Transactions on Software Engineering</i>, 2018, pp. 1–1, doi:<a href=\"https://doi.org/10.1109/TSE.2018.2868349\">10.1109/TSE.2018.2868349</a>.","ama":"Nguyen Quang Do L, Krüger S, Hill P, Ali K, Bodden E. Debugging Static Analysis. <i>IEEE Transactions on Software Engineering</i>. Published online 2018:1-1. doi:<a href=\"https://doi.org/10.1109/TSE.2018.2868349\">10.1109/TSE.2018.2868349</a>","bibtex":"@article{Nguyen Quang Do_Krüger_Hill_Ali_Bodden_2018, title={Debugging Static Analysis}, DOI={<a href=\"https://doi.org/10.1109/TSE.2018.2868349\">10.1109/TSE.2018.2868349</a>}, journal={IEEE Transactions on Software Engineering}, author={Nguyen Quang Do, Lisa and Krüger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric}, year={2018}, pages={1–1} }","apa":"Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., &#38; Bodden, E. (2018). Debugging Static Analysis. <i>IEEE Transactions on Software Engineering</i>, 1–1. <a href=\"https://doi.org/10.1109/TSE.2018.2868349\">https://doi.org/10.1109/TSE.2018.2868349</a>","ieee":"L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, and E. Bodden, “Debugging Static Analysis,” <i>IEEE Transactions on Software Engineering</i>, pp. 1–1, 2018, doi: <a href=\"https://doi.org/10.1109/TSE.2018.2868349\">10.1109/TSE.2018.2868349</a>.","short":"L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, IEEE Transactions on Software Engineering (2018) 1–1.","chicago":"Nguyen Quang Do, Lisa, Stefan Krüger, Patrick Hill, Karim Ali, and Eric Bodden. “Debugging Static Analysis.” <i>IEEE Transactions on Software Engineering</i>, 2018, 1–1. <a href=\"https://doi.org/10.1109/TSE.2018.2868349\">https://doi.org/10.1109/TSE.2018.2868349</a>."},"date_created":"2020-11-30T09:32:12Z","type":"journal_article","keyword":["Debugging","Static analysis","Tools","Computer bugs","Standards","Writing","Encoding","Testing and Debugging","Program analysis","Development tools","Integrated environments","Graphical environments","Usability testing"],"department":[{"_id":"76"}],"title":"Debugging Static Analysis","status":"public","year":"2018","publication_identifier":{"issn":["2326-3881"]},"author":[{"full_name":"Nguyen Quang Do, Lisa","last_name":"Nguyen Quang Do","first_name":"Lisa"},{"last_name":"Krüger","first_name":"Stefan","full_name":"Krüger, Stefan"},{"full_name":"Hill, Patrick","last_name":"Hill","first_name":"Patrick"},{"first_name":"Karim","last_name":"Ali","full_name":"Ali, Karim"},{"full_name":"Bodden, Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","first_name":"Eric","id":"59256"}],"date_updated":"2022-01-06T06:54:29Z","page":"1-1","main_file_link":[{"url":"http://www.bodden.de/pubs/tse18debugging.pdf"}],"language":[{"iso":"eng"}],"_id":"20543","user_id":"5786","doi":"10.1109/TSE.2018.2868349"},{"user_id":"102979","doi":"10.1109/SSCI.2017.8285183","page":"1–8","_id":"48857","language":[{"iso":"eng"}],"publication_status":"published","date_updated":"2023-12-13T10:44:28Z","year":"2017","title":"A Pareto-Beneficial Sub-Tree Mutation for the Multi-Criteria Minimum Spanning Tree Problem","status":"public","author":[{"full_name":"Bossek, Jakob","first_name":"Jakob","orcid":"0000-0002-4121-4668","last_name":"Bossek","id":"102979"},{"full_name":"Grimme, Christian","first_name":"Christian","last_name":"Grimme"}],"keyword":["Convergence","Encoding","Euclidean distance","Evolutionary computation","Heating systems","Optimization","Standards"],"type":"conference","department":[{"_id":"819"}],"date_created":"2023-11-14T15:58:54Z","extern":"1","abstract":[{"lang":"eng","text":"While finding minimum-cost spanning trees (MST) in undirected graphs is solvable in polynomial time, the multi-criteria minimum spanning tree problem (mcMST) is NP-hard. Interestingly, the mcMST problem has not been in focus of evolutionary computation research for a long period of time, although, its relevance for real world problems is easy to see. The available and most notable approaches by Zhou and Gen as well as by Knowles and Corne concentrate on solution encoding and on fairly dated selection mechanisms. In this work, we revisit the mcMST and focus on the mutation operators as exploratory components of evolutionary algorithms neglected so far. We investigate optimal solution characteristics to discuss current mutation strategies, identify shortcomings of these operators, and propose a sub-tree based operator which offers what we term Pareto-beneficial behavior: ensuring convergence and diversity at the same time. The operator is empirically evaluated inside modern standard evolutionary meta-heuristics for multi-criteria optimization and compared to hitherto applied mutation operators in the context of mcMST."}],"publication":"2017 IEEE Symposium Series on Computational Intelligence (SSCI)","citation":{"bibtex":"@inproceedings{Bossek_Grimme_2017, title={A Pareto-Beneficial Sub-Tree Mutation for the Multi-Criteria Minimum Spanning Tree Problem}, DOI={<a href=\"https://doi.org/10.1109/SSCI.2017.8285183\">10.1109/SSCI.2017.8285183</a>}, booktitle={2017 IEEE Symposium Series on Computational Intelligence (SSCI)}, author={Bossek, Jakob and Grimme, Christian}, year={2017}, pages={1–8} }","ama":"Bossek J, Grimme C. A Pareto-Beneficial Sub-Tree Mutation for the Multi-Criteria Minimum Spanning Tree Problem. In: <i>2017 IEEE Symposium Series on Computational Intelligence (SSCI)</i>. ; 2017:1–8. doi:<a href=\"https://doi.org/10.1109/SSCI.2017.8285183\">10.1109/SSCI.2017.8285183</a>","mla":"Bossek, Jakob, and Christian Grimme. “A Pareto-Beneficial Sub-Tree Mutation for the Multi-Criteria Minimum Spanning Tree Problem.” <i>2017 IEEE Symposium Series on Computational Intelligence (SSCI)</i>, 2017, pp. 1–8, doi:<a href=\"https://doi.org/10.1109/SSCI.2017.8285183\">10.1109/SSCI.2017.8285183</a>.","chicago":"Bossek, Jakob, and Christian Grimme. “A Pareto-Beneficial Sub-Tree Mutation for the Multi-Criteria Minimum Spanning Tree Problem.” In <i>2017 IEEE Symposium Series on Computational Intelligence (SSCI)</i>, 1–8, 2017. <a href=\"https://doi.org/10.1109/SSCI.2017.8285183\">https://doi.org/10.1109/SSCI.2017.8285183</a>.","short":"J. Bossek, C. Grimme, in: 2017 IEEE Symposium Series on Computational Intelligence (SSCI), 2017, pp. 1–8.","ieee":"J. Bossek and C. Grimme, “A Pareto-Beneficial Sub-Tree Mutation for the Multi-Criteria Minimum Spanning Tree Problem,” in <i>2017 IEEE Symposium Series on Computational Intelligence (SSCI)</i>, 2017, pp. 1–8, doi: <a href=\"https://doi.org/10.1109/SSCI.2017.8285183\">10.1109/SSCI.2017.8285183</a>.","apa":"Bossek, J., &#38; Grimme, C. (2017). A Pareto-Beneficial Sub-Tree Mutation for the Multi-Criteria Minimum Spanning Tree Problem. <i>2017 IEEE Symposium Series on Computational Intelligence (SSCI)</i>, 1–8. <a href=\"https://doi.org/10.1109/SSCI.2017.8285183\">https://doi.org/10.1109/SSCI.2017.8285183</a>"}},{"doi":"10.1109/SSCI.2017.8285224","user_id":"102979","language":[{"iso":"eng"}],"_id":"48856","page":"1–8","date_updated":"2023-12-13T10:44:36Z","publication_status":"published","author":[{"id":"102979","full_name":"Bossek, Jakob","last_name":"Bossek","orcid":"0000-0002-4121-4668","first_name":"Jakob"},{"full_name":"Grimme, Christian","first_name":"Christian","last_name":"Grimme"}],"title":"An Extended Mutation-Based Priority-Rule Integration Concept for Multi-Objective Machine Scheduling","status":"public","year":"2017","department":[{"_id":"819"}],"type":"conference","keyword":["Evolutionary computation","Processor scheduling","Schedules","Scheduling","Sociology","Standards","Statistics"],"date_created":"2023-11-14T15:58:54Z","abstract":[{"lang":"eng","text":"There exist many optimal or heuristic priority rules for machine scheduling problems, which can easily be integrated into single-objective evolutionary algorithms via mutation operators. However, in the multi-objective case, simultaneously applying different priorities for different objectives may cause severe disruptions in the genome and may lead to inferior solutions. In this paper, we combine an existing mutation operator concept with new insights from detailed observation of the structure of solutions for multi-objective machine scheduling problems. This allows the comprehensive integration of priority rules to produce better Pareto-front approximations. We evaluate the extended operator concept compared to standard swap mutation and the stand-alone components of our hybrid scheme, which performs best in all evaluated cases."}],"extern":"1","citation":{"bibtex":"@inproceedings{Bossek_Grimme_2017, title={An Extended Mutation-Based Priority-Rule Integration Concept for Multi-Objective Machine Scheduling}, DOI={<a href=\"https://doi.org/10.1109/SSCI.2017.8285224\">10.1109/SSCI.2017.8285224</a>}, booktitle={2017 IEEE Symposium Series on Computational Intelligence (SSCI)}, author={Bossek, Jakob and Grimme, Christian}, year={2017}, pages={1–8} }","ama":"Bossek J, Grimme C. An Extended Mutation-Based Priority-Rule Integration Concept for Multi-Objective Machine Scheduling. In: <i>2017 IEEE Symposium Series on Computational Intelligence (SSCI)</i>. ; 2017:1–8. doi:<a href=\"https://doi.org/10.1109/SSCI.2017.8285224\">10.1109/SSCI.2017.8285224</a>","short":"J. Bossek, C. Grimme, in: 2017 IEEE Symposium Series on Computational Intelligence (SSCI), 2017, pp. 1–8.","chicago":"Bossek, Jakob, and Christian Grimme. “An Extended Mutation-Based Priority-Rule Integration Concept for Multi-Objective Machine Scheduling.” In <i>2017 IEEE Symposium Series on Computational Intelligence (SSCI)</i>, 1–8, 2017. <a href=\"https://doi.org/10.1109/SSCI.2017.8285224\">https://doi.org/10.1109/SSCI.2017.8285224</a>.","ieee":"J. Bossek and C. Grimme, “An Extended Mutation-Based Priority-Rule Integration Concept for Multi-Objective Machine Scheduling,” in <i>2017 IEEE Symposium Series on Computational Intelligence (SSCI)</i>, 2017, pp. 1–8, doi: <a href=\"https://doi.org/10.1109/SSCI.2017.8285224\">10.1109/SSCI.2017.8285224</a>.","mla":"Bossek, Jakob, and Christian Grimme. “An Extended Mutation-Based Priority-Rule Integration Concept for Multi-Objective Machine Scheduling.” <i>2017 IEEE Symposium Series on Computational Intelligence (SSCI)</i>, 2017, pp. 1–8, doi:<a href=\"https://doi.org/10.1109/SSCI.2017.8285224\">10.1109/SSCI.2017.8285224</a>.","apa":"Bossek, J., &#38; Grimme, C. (2017). An Extended Mutation-Based Priority-Rule Integration Concept for Multi-Objective Machine Scheduling. <i>2017 IEEE Symposium Series on Computational Intelligence (SSCI)</i>, 1–8. <a href=\"https://doi.org/10.1109/SSCI.2017.8285224\">https://doi.org/10.1109/SSCI.2017.8285224</a>"},"publication":"2017 IEEE Symposium Series on Computational Intelligence (SSCI)"},{"citation":{"ama":"Valentincic A, Novak A, Kosi U. Accounting quality in private firms during the transition towards international standards. <i>Accounting in Europe</i>. 2017;14(3):358-387. doi:<a href=\"https://doi.org/10.1080/17449480.2017.1378821\">10.1080/17449480.2017.1378821</a>","bibtex":"@article{Valentincic_Novak_Kosi_2017, title={Accounting quality in private firms during the transition towards international standards}, volume={14}, DOI={<a href=\"https://doi.org/10.1080/17449480.2017.1378821\">10.1080/17449480.2017.1378821</a>}, number={3}, journal={Accounting in Europe}, author={Valentincic, Aljosa and Novak, Ales and Kosi, Urska}, year={2017}, pages={358–387} }","mla":"Valentincic, Aljosa, et al. “Accounting Quality in Private Firms during the Transition towards International Standards.” <i>Accounting in Europe</i>, vol. 14, no. 3, 2017, pp. 358–87, doi:<a href=\"https://doi.org/10.1080/17449480.2017.1378821\">10.1080/17449480.2017.1378821</a>.","short":"A. Valentincic, A. Novak, U. Kosi, Accounting in Europe 14 (2017) 358–387.","chicago":"Valentincic, Aljosa, Ales Novak, and Urska Kosi. “Accounting Quality in Private Firms during the Transition towards International Standards.” <i>Accounting in Europe</i> 14, no. 3 (2017): 358–87. <a href=\"https://doi.org/10.1080/17449480.2017.1378821\">https://doi.org/10.1080/17449480.2017.1378821</a>.","apa":"Valentincic, A., Novak, A., &#38; Kosi, U. (2017). Accounting quality in private firms during the transition towards international standards. <i>Accounting in Europe</i>, <i>14</i>(3), 358–387. <a href=\"https://doi.org/10.1080/17449480.2017.1378821\">https://doi.org/10.1080/17449480.2017.1378821</a>","ieee":"A. Valentincic, A. Novak, and U. Kosi, “Accounting quality in private firms during the transition towards international standards,” <i>Accounting in Europe</i>, vol. 14, no. 3, pp. 358–387, 2017, doi: <a href=\"https://doi.org/10.1080/17449480.2017.1378821\">10.1080/17449480.2017.1378821</a>."},"jel":["M41","C23","L21","P20"],"status":"public","volume":14,"user_id":"54068","_id":"3542","page":"358-387","abstract":[{"text":"We study the historical development of Slovenian Accounting Standards (SAS) and their association with accounting quality (AQ). We focus on private firms where the financial reporting process is characterised by low demand for high-quality reporting. We investigate three distinct editions of SAS since 1994 and test how their development towards international standards is related to AQ. Aggregate earnings management measures indicate that the use of accounting discretion decreases with less earnings smoothing over time. The main features of AQ have been consistent throughout historical development. Asymmetric timeliness of earnings, the ability of earnings to predict future cash flows, and the ability of accruals to mitigate mismatching are all present throughout. We also document typical departures from properties of high AQ. For example, accruals do not (always) facilitate timely recognition of losses. However, these can be attributed to the overwhelming influence of reporting incentives (e.g. taxation, debt, size) rather than to the (lower) quality of accounting standards.\r\n\r\n\r\n     \r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n \r\n\r\n\r\n\r\n Full Article  \r\n  Figures & data  \r\n References \r\n  Citations  \r\n \r\n Metrics \r\n  Reprints & Permissions \r\n  PDF \r\n \r\n \r\n\r\n\r\n\r\n\r\nAbstract\r\n\r\n\r\nWe study the historical development of Slovenian Accounting Standards (SAS) and their association with accounting quality (AQ). We focus on private firms where the financial reporting process is characterised by low demand for high-quality reporting. We investigate three distinct editions of SAS since 1994 and test how their development towards international standards is related to AQ. Aggregate earnings management measures indicate that the use of accounting discretion decreases with less earnings smoothing over time. The main features of AQ have been consistent throughout historical development. Asymmetric timeliness of earnings, the ability of earnings to predict future cash flows, and the ability of accruals to mitigate mismatching are all present throughout. We also document typical departures from properties of high AQ. For example, accruals do not (always) facilitate timely recognition of losses. However, these can be attributed to the overwhelming influence of reporting incentives (e.g. taxation, debt, size) rather than to the (lower) quality of accounting standards.","lang":"eng"}],"publication":"Accounting in Europe","issue":"3","department":[{"_id":"551"},{"_id":"635"},{"_id":"186"}],"keyword":["private firms","accounting quality","development of accounting standards","IFRS-like standards","Slovenia"],"type":"journal_article","date_created":"2018-07-11T08:57:03Z","intvolume":"        14","date_updated":"2023-01-24T15:34:31Z","publication_status":"published","author":[{"full_name":"Valentincic, Aljosa","first_name":"Aljosa","last_name":"Valentincic"},{"full_name":"Novak, Ales","first_name":"Ales","last_name":"Novak"},{"first_name":"Urska","last_name":"Kosi","full_name":"Kosi, Urska","id":"54068"}],"year":"2017","title":"Accounting quality in private firms during the transition towards international standards","doi":"10.1080/17449480.2017.1378821","language":[{"iso":"eng"}]},{"doi":"10.1109/ICASSP.2013.6638353","main_file_link":[{"url":"https://groups.uni-paderborn.de/nt/pubs/2013/HoHa2013.pdf","open_access":"1"}],"language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:51:09Z","year":"2013","title":"Parameter estimation and classification of censored Gaussian data with application to WiFi indoor positioning","publication_identifier":{"issn":["1520-6149"]},"author":[{"full_name":"Hoang, Manh Kha","first_name":"Manh Kha","last_name":"Hoang"},{"id":"242","full_name":"Haeb-Umbach, Reinhold","first_name":"Reinhold","last_name":"Haeb-Umbach"}],"keyword":["Gaussian processes","Global Positioning System","convergence","expectation-maximisation algorithm","fingerprint identification","indoor radio","signal classification","wireless LAN","EM algorithm","ML estimation","WiFi indoor positioning","censored Gaussian data classification","clipped data","convergence properties","expectation maximization algorithm","fingerprinting method","maximum likelihood estimation","optimal classification","parameters estimation","portable devices sensitivity","signal strength measurements","wireless LAN positioning systems","Convergence","IEEE 802.11 Standards","Maximum likelihood estimation","Parameter estimation","Position measurement","Training","Indoor positioning","censored data","expectation maximization","signal strength","wireless LAN"],"type":"conference","department":[{"_id":"54"}],"date_created":"2019-07-12T05:28:48Z","abstract":[{"text":"In this paper, we consider the Maximum Likelihood (ML) estimation of the parameters of a GAUSSIAN in the presence of censored, i.e., clipped data. We show that the resulting Expectation Maximization (EM) algorithm delivers virtually biasfree and efficient estimates, and we discuss its convergence properties. We also discuss optimal classification in the presence of censored data. Censored data are frequently encountered in wireless LAN positioning systems based on the fingerprinting method employing signal strength measurements, due to the limited sensitivity of the portable devices. Experiments both on simulated and real-world data demonstrate the effectiveness of the proposed algorithms.","lang":"eng"}],"related_material":{"link":[{"description":"Poster","relation":"supplementary_material","url":"https://groups.uni-paderborn.de/nt/pubs/2013/HoHa2013_Poster.pdf"}]},"publication":"38th International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013)","user_id":"44006","page":"3721-3725","_id":"11816","status":"public","oa":"1","citation":{"apa":"Hoang, M. K., &#38; Haeb-Umbach, R. (2013). Parameter estimation and classification of censored Gaussian data with application to WiFi indoor positioning. In <i>38th International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013)</i> (pp. 3721–3725). <a href=\"https://doi.org/10.1109/ICASSP.2013.6638353\">https://doi.org/10.1109/ICASSP.2013.6638353</a>","mla":"Hoang, Manh Kha, and Reinhold Haeb-Umbach. “Parameter Estimation and Classification of Censored Gaussian Data with Application to WiFi Indoor Positioning.” <i>38th International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013)</i>, 2013, pp. 3721–25, doi:<a href=\"https://doi.org/10.1109/ICASSP.2013.6638353\">10.1109/ICASSP.2013.6638353</a>.","ieee":"M. K. Hoang and R. Haeb-Umbach, “Parameter estimation and classification of censored Gaussian data with application to WiFi indoor positioning,” in <i>38th International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013)</i>, 2013, pp. 3721–3725.","chicago":"Hoang, Manh Kha, and Reinhold Haeb-Umbach. “Parameter Estimation and Classification of Censored Gaussian Data with Application to WiFi Indoor Positioning.” In <i>38th International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013)</i>, 3721–25, 2013. <a href=\"https://doi.org/10.1109/ICASSP.2013.6638353\">https://doi.org/10.1109/ICASSP.2013.6638353</a>.","short":"M.K. Hoang, R. Haeb-Umbach, in: 38th International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013), 2013, pp. 3721–3725.","ama":"Hoang MK, Haeb-Umbach R. Parameter estimation and classification of censored Gaussian data with application to WiFi indoor positioning. In: <i>38th International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013)</i>. ; 2013:3721-3725. doi:<a href=\"https://doi.org/10.1109/ICASSP.2013.6638353\">10.1109/ICASSP.2013.6638353</a>","bibtex":"@inproceedings{Hoang_Haeb-Umbach_2013, title={Parameter estimation and classification of censored Gaussian data with application to WiFi indoor positioning}, DOI={<a href=\"https://doi.org/10.1109/ICASSP.2013.6638353\">10.1109/ICASSP.2013.6638353</a>}, booktitle={38th International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013)}, author={Hoang, Manh Kha and Haeb-Umbach, Reinhold}, year={2013}, pages={3721–3725} }"}},{"abstract":[{"lang":"eng","text":"Faced with increasing demands on energy efficiency, current electronic systems operate according to complex power management schemes including more and more fine-grained voltage frequency scaling and power shutdown scenarios. Consequently, validation of the power design intent should begin as early as possible at electronic system-level (ESL) together with first executable system specifications for integrity tests. However, today's system-level design methodologies usually focus on the abstraction of digital logic and time, so that typical low-power aspects cannot be considered so far. In this paper, we present a high-level modeling approach on top of the SystemC/TLM standard to simulate power distribution and voltage based implications in a \"loosely-timed\" functional execution context. The approach reuses legacy TLM models and prevents the need for detailed lock-step process synchronization in contrast to existing methods. A case study derived from an open source low-power design demonstrates the efficiency of our approach in terms of simulation performance and testability."}],"citation":{"mla":"Mischkalla, Fabian, and Wolfgang Müller. <i>Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach</i>. IEEE, 2013, doi:<a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>.","bibtex":"@inproceedings{Mischkalla_Müller_2013, place={Karlsruhe}, title={Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach}, DOI={<a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>}, publisher={IEEE}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013} }","ama":"Mischkalla F, Müller W. Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach. In: IEEE; 2013. doi:<a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>","ieee":"F. Mischkalla and W. Müller, “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach,” presented at the 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2013, doi: <a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>.","apa":"Mischkalla, F., &#38; Müller, W. (2013). <i>Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach</i>. 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS). <a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">https://doi.org/10.1109/PATMOS.2013.6662171</a>","short":"F. Mischkalla, W. Müller, in: IEEE, Karlsruhe, 2013.","chicago":"Mischkalla, Fabian, and Wolfgang Müller. “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach.” Karlsruhe: IEEE, 2013. <a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">https://doi.org/10.1109/PATMOS.2013.6662171</a>."},"keyword":["Time-varying systems","Time-domain analysis","Synchronization","Context modeling","Clocks","Semantics","Standards"],"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-16T12:08:03Z","place":"Karlsruhe","date_updated":"2023-01-16T12:08:17Z","status":"public","title":"Efficient Power-Intent Validation Using \"Loosely-Timed\" Simulation Models: A Non-Invasive Approach","year":"2013","publication_identifier":{"eisbn":["978-1-4799-1170-7"]},"author":[{"full_name":"Mischkalla, Fabian","first_name":"Fabian","last_name":"Mischkalla"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"conference":{"name":"23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS)"},"user_id":"5786","doi":"10.1109/PATMOS.2013.6662171","_id":"36919","publisher":"IEEE","language":[{"iso":"eng"}]},{"department":[{"_id":"672"}],"type":"conference","keyword":["Timing","Programming","Automotive engineering","Application software","Hardware","Computer architecture","Communication system software","Software architecture","Delay","Software standards"],"place":"Dresden","date_created":"2023-01-17T09:19:36Z","abstract":[{"lang":"eng","text":"Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSAR-based language for timing modeling and analysis. We present and apply the Timing Augmented Description Language (TADL) and demonstrate a methodology for the development of a speed-adaptive steer-by-wire system. We examine the impact of TADL and the methodology on the development process and the suitability and interoperability of the applied tools with respect to the AUTOSAR-based tool chain in the context of our case study."}],"citation":{"mla":"Klobedanz, Kay, et al. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” <i>Proceedings of DATE’10, Dresden</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457125\">10.1109/DATE.2010.5457125</a>.","bibtex":"@inproceedings{Klobedanz_Kuznik_Thuy_Müller_2010, place={Dresden}, title={Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5457125\">10.1109/DATE.2010.5457125</a>}, booktitle={Proceedings of DATE’10, Dresden}, publisher={IEEE}, author={Klobedanz, Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang}, year={2010} }","ama":"Klobedanz K, Kuznik C, Thuy A, Müller W. Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. In: <i>Proceedings of DATE’10, Dresden</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457125\">10.1109/DATE.2010.5457125</a>","ieee":"K. Klobedanz, C. Kuznik, A. Thuy, and W. Müller, “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study,” presented at the 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5457125\">10.1109/DATE.2010.5457125</a>.","apa":"Klobedanz, K., Kuznik, C., Thuy, A., &#38; Müller, W. (2010). Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. <i>Proceedings of DATE’10, Dresden</i>. 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5457125\">https://doi.org/10.1109/DATE.2010.5457125</a>","short":"K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10, Dresden, IEEE, Dresden, 2010.","chicago":"Klobedanz, Kay, Christoph Kuznik, Andre Thuy, and Wolfgang Müller. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” In <i>Proceedings of DATE’10, Dresden</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5457125\">https://doi.org/10.1109/DATE.2010.5457125</a>."},"publication":"Proceedings of DATE’10, Dresden","doi":"10.1109/DATE.2010.5457125","user_id":"5786","publisher":"IEEE","_id":"37011","language":[{"iso":"eng"}],"date_updated":"2023-01-17T09:19:46Z","conference":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"author":[{"first_name":"Kay","last_name":"Klobedanz","full_name":"Klobedanz, Kay"},{"first_name":"Christoph","last_name":"Kuznik","full_name":"Kuznik, Christoph"},{"first_name":"Andre","last_name":"Thuy","full_name":"Thuy, Andre"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"status":"public","title":"Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study","year":"2010"},{"abstract":[{"text":"Refinement of untimed TLM models into a timed HW/SW platform is a step by step design process which is a trade-off between timing accuracy of the used models and correct estimation of the final timing performance. The use of an RTOS on the target platform is mandatory in the case real-time properties must be guaranteed. Thus, the question is when the RTOS must be introduced in this step by step refinement process. This paper proposes a four-level RTOS-aware refinement methodology that, starting from an untimed TLM SystemC description of the whole system, progressively introduce HW/SW partitioning, timing, device driver and RTOS functionalities, till to obtain an accurate model of the final platform, where SW tasks run upon an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions. Each refinement level allows the designer to estimate more and more accurate timing properties, thus anticipating design decisions without being constrained to leave timing analysis to the final step of the refinement. The effectiveness of the methodology has been evaluated in the design of two complex platforms.","lang":"eng"}],"publication":"Proceedings of DATE’10","citation":{"ieee":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","apa":"Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &#38; Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. <i>Proceedings of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>","short":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","chicago":"Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>.","mla":"Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","bibtex":"@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }","ama":"Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>"},"keyword":["Timing","Hardware","Operating systems","Process design","Accuracy","Standards development","Context modeling","Real time systems","Communication channels","Microprogramming"],"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-17T10:47:29Z","place":"Dresden","date_updated":"2023-01-17T10:47:37Z","title":"RTOS-Aware Refinement for TLM2.0-based HW/SW Design","status":"public","year":"2010","publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"author":[{"full_name":"Becker, Markus","first_name":"Markus","last_name":"Becker"},{"full_name":"Di Guglielmo, Giuseppe","first_name":"Giuseppe","last_name":"Di Guglielmo"},{"full_name":"Fummi, Franco","first_name":"Franco","last_name":"Fummi"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"},{"full_name":"Pravadelli, Graziano","first_name":"Graziano","last_name":"Pravadelli"},{"last_name":"Xie","first_name":"Tao","full_name":"Xie, Tao"}],"conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"user_id":"5786","doi":"10.1109/DATE.2010.5456965","_id":"37040","language":[{"iso":"eng"}],"publisher":"IEEE"},{"user_id":"5786","doi":"10.1109/DATE.2010.5456965","publisher":"IEEE","_id":"37039","language":[{"iso":"eng"}],"date_updated":"2025-03-12T16:39:17Z","year":"2010","status":"public","title":"RTOS-Aware Refinement for TLM2.0-based HW/SW Design","publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"author":[{"full_name":"Becker, Markus","first_name":"Markus","last_name":"Becker"},{"first_name":"Giuseppe","last_name":"Di Guglielmo","full_name":"Di Guglielmo, Giuseppe"},{"full_name":"Fummi, Franco","last_name":"Fummi","first_name":"Franco"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"},{"first_name":"Graziano","last_name":"Pravadelli","full_name":"Pravadelli, Graziano"},{"first_name":"Tao","last_name":"Xie","full_name":"Xie, Tao"}],"conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"keyword":["Timing","Hardware","Operating systems","Process design","Accuracy","Standards development","Context modeling","Real time systems","Communication channels","Microprogramming"],"type":"conference","date_created":"2023-01-17T10:44:46Z","place":"Dresden","abstract":[{"text":"Refinement of untimed TLM models into a timed HW/SW platform is a step by step design process which is a trade-off between timing accuracy of the used models and correct estimation of the final timing performance. The use of an RTOS on the target platform is mandatory in the case real-time properties must be guaranteed. Thus, the question is when the RTOS must be introduced in this step by step refinement process. This paper proposes a four-level RTOS-aware refinement methodology that, starting from an untimed TLM SystemC description of the whole system, progressively introduce HW/SW partitioning, timing, device driver and RTOS functionalities, till to obtain an accurate model of the final platform, where SW tasks run upon an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions. Each refinement level allows the designer to estimate more and more accurate timing properties, thus anticipating design decisions without being constrained to leave timing analysis to the final step of the refinement. The effectiveness of the methodology has been evaluated in the design of two complex platforms.","lang":"eng"}],"publication":"Proceedings of DATE’10","citation":{"mla":"Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","ama":"Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>","bibtex":"@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }","apa":"Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &#38; Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. <i>Proceedings of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>","ieee":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","short":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","chicago":"Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>."}},{"conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition"},"author":[{"last_name":"Schattkowsky","first_name":"Tim","full_name":"Schattkowsky, Tim"},{"full_name":"Xie, Tao","first_name":"Tao","last_name":"Xie"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"publication_identifier":{"isbn":["978-1-4244-3781-8"]},"title":"A UML Frontend for IP-XACT-based IP Management","year":"2009","status":"public","date_updated":"2023-01-17T11:54:07Z","_id":"37067","publisher":"IEEE","language":[{"iso":"eng"}],"doi":"10.1109/DATE.2009.5090664","user_id":"5786","citation":{"mla":"Schattkowsky, Tim, et al. “A UML Frontend for IP-XACT-Based IP Management.” <i>Proceedings of DATE’09</i>, IEEE, 2009, doi:<a href=\"https://doi.org/10.1109/DATE.2009.5090664\">10.1109/DATE.2009.5090664</a>.","ama":"Schattkowsky T, Xie T, Müller W. A UML Frontend for IP-XACT-based IP Management. In: <i>Proceedings of DATE’09</i>. IEEE; 2009. doi:<a href=\"https://doi.org/10.1109/DATE.2009.5090664\">10.1109/DATE.2009.5090664</a>","bibtex":"@inproceedings{Schattkowsky_Xie_Müller_2009, place={Nice, France}, title={A UML Frontend for IP-XACT-based IP Management}, DOI={<a href=\"https://doi.org/10.1109/DATE.2009.5090664\">10.1109/DATE.2009.5090664</a>}, booktitle={Proceedings of DATE’09}, publisher={IEEE}, author={Schattkowsky, Tim and Xie, Tao and Müller, Wolfgang}, year={2009} }","apa":"Schattkowsky, T., Xie, T., &#38; Müller, W. (2009). A UML Frontend for IP-XACT-based IP Management. <i>Proceedings of DATE’09</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition. <a href=\"https://doi.org/10.1109/DATE.2009.5090664\">https://doi.org/10.1109/DATE.2009.5090664</a>","ieee":"T. Schattkowsky, T. Xie, and W. Müller, “A UML Frontend for IP-XACT-based IP Management,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition, 2009, doi: <a href=\"https://doi.org/10.1109/DATE.2009.5090664\">10.1109/DATE.2009.5090664</a>.","short":"T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice, France, 2009.","chicago":"Schattkowsky, Tim, Tao Xie, and Wolfgang Müller. “A UML Frontend for IP-XACT-Based IP Management.” In <i>Proceedings of DATE’09</i>. Nice, France: IEEE, 2009. <a href=\"https://doi.org/10.1109/DATE.2009.5090664\">https://doi.org/10.1109/DATE.2009.5090664</a>."},"publication":"Proceedings of DATE'09","abstract":[{"lang":"eng","text":"IP-XACT is a well accepted standard for the exchange of IP components at Electronic System and Register Transfer Level. Still, the creation and manipulation of these descriptions at the XML level can be time-consuming and error-prone. In this paper, we show that the UML can be consistently applied as an efficient and comprehensible frontend for IP-XACT-based IP description and integration. For this, we present an IP-XACT UML profile that enables UML-based descriptions covering the same information as a corresponding IP-XACT description. This enables the automated generation of IP-XACT component and design descriptions from respective UML models. In particular, it also allows the integration of existing IPs with UML. To illustrate our approach, we present an application example based on the IBM PowerPC Evaluation Kit."}],"place":"Nice, France","date_created":"2023-01-17T11:54:02Z","department":[{"_id":"672"}],"keyword":["Unified modeling language","XML","Power system modeling","Application software","Master-slave","Power system management","Acceleration","Scattering","Software engineering","Software standards"],"type":"conference"},{"department":[{"_id":"672"}],"keyword":["Unified modeling language","Logic","Formal verification","Real time systems","Programming profession","Vehicle dynamics","Software standards","Flexible manufacturing systems","Electronics industry","Protocols"],"type":"conference","date_created":"2023-01-24T10:22:12Z","place":"Big Island, HI, USA ","abstract":[{"text":"The Unified Modeling Language (UML) has received wide acceptance as a standard language in the field of software specification by means of different diagram types. In a recent version of UML, the textual Object Constraint Language (OCL) was introduced to support specification of constraints for UML models. But OCL currently does not provide sufficient means to specify constraints over the dynamic behavior of a model. This article presents an OCL extension that is consistent with current OCL and enables modelers to specify state-related time-bounded constraints. We consider the case study of a flexible manufacturing system and identify typical real-time constraints. The constraints are presented in our temporal OCL extension as well as in temporal logic formulae. For general application, we define a semantics of our OCL extension by means of a time-bounded temporal logic based on Computational Tree Logic (CTL).","lang":"eng"}],"citation":{"mla":"Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” <i>Proceedings of HICSS-35</i>, 2002, doi:<a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>.","bibtex":"@inproceedings{Flake_Müller_2002, place={Big Island, HI, USA }, title={Specification of Real-Time Properties for UML Models}, DOI={<a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>}, booktitle={Proceedings of HICSS-35}, author={Flake, Stephan and Müller, Wolfgang}, year={2002} }","ama":"Flake S, Müller W. Specification of Real-Time Properties for UML Models. In: <i>Proceedings of HICSS-35</i>. ; 2002. doi:<a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>","ieee":"S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,” presented at the Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA , 2002, doi: <a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>.","apa":"Flake, S., &#38; Müller, W. (2002). Specification of Real-Time Properties for UML Models. <i>Proceedings of HICSS-35</i>. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA . <a href=\"https://doi.org/10.1109/HICSS.2002.994469\">https://doi.org/10.1109/HICSS.2002.994469</a>","chicago":"Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” In <i>Proceedings of HICSS-35</i>. Big Island, HI, USA , 2002. <a href=\"https://doi.org/10.1109/HICSS.2002.994469\">https://doi.org/10.1109/HICSS.2002.994469</a>.","short":"S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002."},"publication":"Proceedings of HICSS-35","user_id":"5786","doi":"10.1109/HICSS.2002.994469","_id":"39403","language":[{"iso":"eng"}],"date_updated":"2023-01-24T10:22:16Z","publication_identifier":{"isbn":["0-7695-1435-9"]},"author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"conference":{"location":"Big Island, HI, USA ","name":"Proceedings of the 35th Annual Hawaii International Conference on System Sciences"},"title":"Specification of Real-Time Properties for UML Models","year":"2002","status":"public"},{"date_updated":"2023-01-24T11:21:57Z","status":"public","year":"1999","title":"Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control","conference":{"name":"18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS","location":"New York, NY, USA "},"publication_identifier":{"isbn":["0-7803-5211-4"]},"author":[{"full_name":"Flake, Stephan","first_name":"Stephan","last_name":"Flake"},{"full_name":"Geiger, Christian","first_name":"Christian","last_name":"Geiger"},{"last_name":"Lehrenfeld","first_name":"G.","full_name":"Lehrenfeld, G."},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"Paelke, Volker","first_name":"Volker","last_name":"Paelke"}],"doi":"10.1109/NAFIPS.1999.781697","user_id":"5786","language":[{"iso":"eng"}],"_id":"39474","publisher":"IEEE","abstract":[{"text":"Agent-based systems technologies are of emerging interest in the specification and implementation of complex systems. This article introduces the CASA agent development system which seamlessly combines the BDI (belief desire intention) approach with the FIPA agent communication language standard and an integrated specification of fuzzy controllers. The behavior of agents is defined by strategies which basically correspond to extended guarded Horn clauses with priorities. The presented concepts are introduced by an example from computer integrated manufacturing (CIM). The example gives the specification of a fuzzy controller for a manufacturing station in the context of a holonic manufacturing system (HMS).","lang":"eng"}],"publication":"Proceedings of NAFIPS'99, 18th International Conference of the North American Fuzzy Information Processing Society","citation":{"apa":"Flake, S., Geiger, C., Lehrenfeld, G., Müller, W., &#38; Paelke, V. (1999). Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. <i>Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society</i>. 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA . <a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">https://doi.org/10.1109/NAFIPS.1999.781697</a>","ieee":"S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, and V. Paelke, “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control,” presented at the 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA , 1999, doi: <a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">10.1109/NAFIPS.1999.781697</a>.","short":"S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, V. Paelke, in: Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society, IEEE, New York, NY, USA , 1999.","chicago":"Flake, Stephan, Christian Geiger, G. Lehrenfeld, Wolfgang Müller, and Volker Paelke. “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control.” In <i>Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society</i>. New York, NY, USA : IEEE, 1999. <a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">https://doi.org/10.1109/NAFIPS.1999.781697</a>.","mla":"Flake, Stephan, et al. “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control.” <i>Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society</i>, IEEE, 1999, doi:<a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">10.1109/NAFIPS.1999.781697</a>.","ama":"Flake S, Geiger C, Lehrenfeld G, Müller W, Paelke V. Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. In: <i>Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society</i>. IEEE; 1999. doi:<a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">10.1109/NAFIPS.1999.781697</a>","bibtex":"@inproceedings{Flake_Geiger_Lehrenfeld_Müller_Paelke_1999, place={New York, NY, USA }, title={Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control}, DOI={<a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">10.1109/NAFIPS.1999.781697</a>}, booktitle={Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society}, publisher={IEEE}, author={Flake, Stephan and Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang and Paelke, Volker}, year={1999} }"},"keyword":["Manufacturing systems","Fuzzy control","Multiagent systems","Control systems","Concurrent computing","Specification languages","Communication standards","Standards development","Communication system control","Computer integrated manufacturing"],"type":"conference","department":[{"_id":"672"}],"place":"New York, NY, USA ","date_created":"2023-01-24T11:21:53Z"}]