[{"editor":[{"full_name":"Malmqvist, J.","last_name":"Malmqvist","first_name":"J."},{"full_name":"Candi, M.","last_name":"Candi","first_name":"M."},{"first_name":"R.","last_name":"Saemundsson","full_name":"Saemundsson, R."},{"full_name":"Bystrom, F.","last_name":"Bystrom","first_name":"F."},{"full_name":"Isaksson, O.","first_name":"O.","last_name":"Isaksson"}],"user_id":"86782","_id":"56166","page":"617-625","conference":{"end_date":"2024-08-14","start_date":"2024-08-12","name":"NordDesign Conference 2024","location":"Reykjavik"},"status":"public","citation":{"ieee":"P. J. Kulkarni, D. Tissen, R. Bernijazov, and R. Dumitrescu, “Towards Automated Design: Automatically Generating Modeling Elements with Prompt Engineering and Generative Artificial Intelligence,” in <i>DS 130: Proceedings of NordDesign 2024</i>, Reykjavik, 2024, pp. 617–625, doi: <a href=\"https://doi.org/10.35199/NORDDESIGN2024.66\">10.35199/NORDDESIGN2024.66</a>.","mla":"Kulkarni, Pranav Jayant, et al. “Towards Automated Design: Automatically Generating Modeling Elements with Prompt Engineering and Generative Artificial Intelligence.” <i>DS 130: Proceedings of NordDesign 2024</i>, edited by J. Malmqvist et al., 2024, pp. 617–25, doi:<a href=\"https://doi.org/10.35199/NORDDESIGN2024.66\">10.35199/NORDDESIGN2024.66</a>.","apa":"Kulkarni, P. J., Tissen, D., Bernijazov, R., &#38; Dumitrescu, R. (2024). Towards Automated Design: Automatically Generating Modeling Elements with Prompt Engineering and Generative Artificial Intelligence. In J. Malmqvist, M. Candi, R. Saemundsson, F. Bystrom, &#38; O. Isaksson (Eds.), <i>DS 130: Proceedings of NordDesign 2024</i> (pp. 617–625). <a href=\"https://doi.org/10.35199/NORDDESIGN2024.66\">https://doi.org/10.35199/NORDDESIGN2024.66</a>","bibtex":"@inproceedings{Kulkarni_Tissen_Bernijazov_Dumitrescu_2024, title={Towards Automated Design: Automatically Generating Modeling Elements with Prompt Engineering and Generative Artificial Intelligence}, DOI={<a href=\"https://doi.org/10.35199/NORDDESIGN2024.66\">10.35199/NORDDESIGN2024.66</a>}, booktitle={DS 130: Proceedings of NordDesign 2024}, author={Kulkarni, Pranav Jayant and Tissen, Denis and Bernijazov, Ruslan and Dumitrescu, Roman}, editor={Malmqvist, J. and Candi, M. and Saemundsson, R. and Bystrom, F. and Isaksson, O.}, year={2024}, pages={617–625} }","short":"P.J. Kulkarni, D. Tissen, R. Bernijazov, R. Dumitrescu, in: J. Malmqvist, M. Candi, R. Saemundsson, F. Bystrom, O. Isaksson (Eds.), DS 130: Proceedings of NordDesign 2024, 2024, pp. 617–625.","ama":"Kulkarni PJ, Tissen D, Bernijazov R, Dumitrescu R. Towards Automated Design: Automatically Generating Modeling Elements with Prompt Engineering and Generative Artificial Intelligence. In: Malmqvist J, Candi M, Saemundsson R, Bystrom F, Isaksson O, eds. <i>DS 130: Proceedings of NordDesign 2024</i>. ; 2024:617-625. doi:<a href=\"https://doi.org/10.35199/NORDDESIGN2024.66\">10.35199/NORDDESIGN2024.66</a>","chicago":"Kulkarni, Pranav Jayant, Denis Tissen, Ruslan Bernijazov, and Roman Dumitrescu. “Towards Automated Design: Automatically Generating Modeling Elements with Prompt Engineering and Generative Artificial Intelligence.” In <i>DS 130: Proceedings of NordDesign 2024</i>, edited by J. Malmqvist, M. Candi, R. Saemundsson, F. Bystrom, and O. Isaksson, 617–25, 2024. <a href=\"https://doi.org/10.35199/NORDDESIGN2024.66\">https://doi.org/10.35199/NORDDESIGN2024.66</a>."},"doi":"10.35199/NORDDESIGN2024.66","language":[{"iso":"eng"}],"date_updated":"2024-09-17T09:57:07Z","publication_status":"epub_ahead","publication_identifier":{"unknown":["978-1-912254-21-7"]},"author":[{"id":"86782","last_name":"Kulkarni","first_name":"Pranav Jayant","full_name":"Kulkarni, Pranav Jayant"},{"id":"44458","full_name":"Tissen, Denis","first_name":"Denis","last_name":"Tissen"},{"full_name":"Bernijazov, Ruslan","first_name":"Ruslan","last_name":"Bernijazov","id":"36312"},{"id":"16190","first_name":"Roman","last_name":"Dumitrescu","full_name":"Dumitrescu, Roman"}],"year":"2024","title":"Towards Automated Design: Automatically Generating Modeling Elements with Prompt Engineering and Generative Artificial Intelligence","keyword":["Data Driven Design","Design Automation","Systems Engineering (SE)","Artificial Intelligence (AI)"],"type":"conference","date_created":"2024-09-17T09:56:43Z","related_material":{"link":[{"url":"https://www.designsociety.org/publication/47658/Towards+Automated+Design%3A+Automatically+Generating+Modeling+Elements+with+Prompt+Engineering+and+Generative+Artificial+Intelligence","relation":"confirmation"}]},"abstract":[{"lang":"eng","text":"Developing Intelligent Technical Systems (ITS) involves a complex process encompassing planning, analysis, design, production, and maintenance. Model-Based Systems Engineering (MBSE) is a key methodology for systematic systems engineering. Designing models for ITS requires harmonious interaction of various elements, posing a challenge in MBSE. Leveraging Generative Artificial Intelligence, we generated a dataset for modeling, using prompt engineering on large language models. The generated artifacts can aid engineers in MBSE design or serve as synthetic training data for AI assistants."}],"publication":"DS 130: Proceedings of NordDesign 2024"},{"status":"public","_id":"30290","publisher":"Springer International Publishing","user_id":"50788","citation":{"ieee":"C. Harteis, “Research on Workplace Learning in Times of Digitalisation,” in <i>Research Approaches on Workplace Learning</i>, Cham: Springer International Publishing, 2022.","apa":"Harteis, C. (2022). Research on Workplace Learning in Times of Digitalisation. In <i>Research Approaches on Workplace Learning</i>. Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-030-89582-2_19\">https://doi.org/10.1007/978-3-030-89582-2_19</a>","chicago":"Harteis, Christian. “Research on Workplace Learning in Times of Digitalisation.” In <i>Research Approaches on Workplace Learning</i>. Cham: Springer International Publishing, 2022. <a href=\"https://doi.org/10.1007/978-3-030-89582-2_19\">https://doi.org/10.1007/978-3-030-89582-2_19</a>.","short":"C. Harteis, in: Research Approaches on Workplace Learning, Springer International Publishing, Cham, 2022.","mla":"Harteis, Christian. “Research on Workplace Learning in Times of Digitalisation.” <i>Research Approaches on Workplace Learning</i>, Springer International Publishing, 2022, doi:<a href=\"https://doi.org/10.1007/978-3-030-89582-2_19\">10.1007/978-3-030-89582-2_19</a>.","bibtex":"@inbook{Harteis_2022, place={Cham}, title={Research on Workplace Learning in Times of Digitalisation}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-89582-2_19\">10.1007/978-3-030-89582-2_19</a>}, booktitle={Research Approaches on Workplace Learning}, publisher={Springer International Publishing}, author={Harteis, Christian}, year={2022} }","ama":"Harteis C. Research on Workplace Learning in Times of Digitalisation. In: <i>Research Approaches on Workplace Learning</i>. Springer International Publishing; 2022. doi:<a href=\"https://doi.org/10.1007/978-3-030-89582-2_19\">10.1007/978-3-030-89582-2_19</a>"},"place":"Cham","publication_identifier":{"isbn":["9783030895815","9783030895822"],"issn":["2210-5549","2210-5557"]},"author":[{"id":"27503","orcid":"https://orcid.org/0000-0002-3570-7626","last_name":"Harteis","first_name":"Christian","full_name":"Harteis, Christian"}],"year":"2022","title":"Research on Workplace Learning in Times of Digitalisation","publication_status":"published","date_updated":"2022-03-13T19:14:38Z","language":[{"iso":"eng"}],"doi":"10.1007/978-3-030-89582-2_19","publication":"Research Approaches on Workplace Learning","abstract":[{"text":"The article explores the particular quality of changes introduced through the latest wave of digital transformation of workplaces. It has effects on workflow processes, on distribution of work and tasks, and the mode of distributing working tasks, e.g. through cyber-physical systems. Hence, the changes in work are manifold and require changes in vocational education and training as well as in workplace learning. These changes reveal new challenges for research on workplace learning. Finally, conclusions for future workplace learning research will be developed.","lang":"eng"}],"related_material":{"link":[{"relation":"other","url":"https://link.springer.com/chapter/10.1007/978-3-030-89582-2_19#citeas"}]},"date_created":"2022-03-13T19:11:33Z","department":[{"_id":"452"}],"keyword":["Digitalisation Self organisation Distribution of labour Automation"],"type":"book_chapter"},{"abstract":[{"text":"State-of-the-art frameworks for generating approximate circuits automatically explore the search space in an iterative process - often greedily. Synthesis and verification processes are invoked in each iteration to evaluate the found solutions and to guide the search algorithm. As a result, a large number of approximate circuits is subjected to analysis - leading to long runtimes - but only a few approximate circuits might form an acceptable solution.\r\n\r\nIn this paper, we present our Jump Search (JS) method which seeks to reduce the runtime of an approximation process by reducing the number of expensive synthesis and verification steps. To reduce the runtime, JS computes impact factors for each approximation candidate in the circuit to create a selection of approximate circuits without invoking synthesis or verification processes. We denote the selection as path from which JS determines the final solution. In our experimental results, JS achieved speed-ups of up to 57x while area savings remain comparable to the reference search method, Simulated Annealing.","lang":"eng"}],"publication":"Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI '19","keyword":["Approximate computing","design automation","parameter selection","circuit synthesis"],"type":"conference","department":[{"_id":"78"}],"date_created":"2019-07-08T15:13:10Z","date_updated":"2022-01-06T06:50:45Z","publication_status":"published","title":"Jump Search: A Fast Technique for the Synthesis of Approximate Circuits","year":"2019","author":[{"id":"49051","last_name":"Witschen","first_name":"Linus Matthias","full_name":"Witschen, Linus Matthias"},{"full_name":"Ghasemzadeh Mohammadi, Hassan","last_name":"Ghasemzadeh Mohammadi","first_name":"Hassan","id":"61186"},{"full_name":"Artmann, Matthias","last_name":"Artmann","first_name":"Matthias"},{"first_name":"Marco","last_name":"Platzner","full_name":"Platzner, Marco","id":"398"}],"publication_identifier":{"isbn":["9781450362528"]},"doi":"10.1145/3299874.3317998","language":[{"iso":"eng"}],"project":[{"_id":"52","name":"Computing Resources Provided by the Paderborn Center for Parallel Computing"}],"citation":{"ama":"Witschen LM, Ghasemzadeh Mohammadi H, Artmann M, Platzner M. Jump Search: A Fast Technique for the Synthesis of Approximate Circuits. In: <i>Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI ’19</i>. New York, NY, USA: ACM; 2019. doi:<a href=\"https://doi.org/10.1145/3299874.3317998\">10.1145/3299874.3317998</a>","bibtex":"@inproceedings{Witschen_Ghasemzadeh Mohammadi_Artmann_Platzner_2019, place={New York, NY, USA}, title={Jump Search: A Fast Technique for the Synthesis of Approximate Circuits}, DOI={<a href=\"https://doi.org/10.1145/3299874.3317998\">10.1145/3299874.3317998</a>}, booktitle={Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI ’19}, publisher={ACM}, author={Witschen, Linus Matthias and Ghasemzadeh Mohammadi, Hassan and Artmann, Matthias and Platzner, Marco}, year={2019} }","mla":"Witschen, Linus Matthias, et al. “Jump Search: A Fast Technique for the Synthesis of Approximate Circuits.” <i>Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI ’19</i>, ACM, 2019, doi:<a href=\"https://doi.org/10.1145/3299874.3317998\">10.1145/3299874.3317998</a>.","short":"L.M. Witschen, H. Ghasemzadeh Mohammadi, M. Artmann, M. Platzner, in: Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI ’19, ACM, New York, NY, USA, 2019.","chicago":"Witschen, Linus Matthias, Hassan Ghasemzadeh Mohammadi, Matthias Artmann, and Marco Platzner. “Jump Search: A Fast Technique for the Synthesis of Approximate Circuits.” In <i>Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI ’19</i>. New York, NY, USA: ACM, 2019. <a href=\"https://doi.org/10.1145/3299874.3317998\">https://doi.org/10.1145/3299874.3317998</a>.","apa":"Witschen, L. M., Ghasemzadeh Mohammadi, H., Artmann, M., &#38; Platzner, M. (2019). Jump Search: A Fast Technique for the Synthesis of Approximate Circuits. In <i>Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI ’19</i>. New York, NY, USA: ACM. <a href=\"https://doi.org/10.1145/3299874.3317998\">https://doi.org/10.1145/3299874.3317998</a>","ieee":"L. M. Witschen, H. Ghasemzadeh Mohammadi, M. Artmann, and M. Platzner, “Jump Search: A Fast Technique for the Synthesis of Approximate Circuits,” in <i>Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI ’19</i>, Tysons Corner, VA, USA, 2019."},"place":"New York, NY, USA","status":"public","conference":{"end_date":"2019-05-11","name":"ACM Great Lakes Symposium on VLSI (GLSVLSI)","start_date":"2019-05-09","location":"Tysons Corner, VA, USA"},"user_id":"49051","_id":"10577","publisher":"ACM"},{"abstract":[{"text":"This article presents the classification tree method for functional verification to close the gap from the specification of a test plan to SystemVerilog (Chandra and Chakrabarty, 2001) test bench generation. Our method supports the systematic development of test configurations and is based on the classification tree method for embedded systems (CTM/ES) (Chakrabarty et al., 2000) extending CTM/ES for random test generation as well as for functional coverage and property specification","lang":"eng"}],"citation":{"mla":"Krupp, Alexander, and Wolfgang Müller. “Classification Trees for Functional Coverage and Random Test Generation.” <i>Proceedings of the Design Automation &#38; Test in Europe Conference</i>, IEEE, 2006, doi:<a href=\"https://doi.org/10.1109/DATE.2006.243902\">10.1109/DATE.2006.243902</a>.","ama":"Krupp A, Müller W. Classification Trees for Functional Coverage and Random Test Generation. In: <i>Proceedings of the Design Automation &#38; Test in Europe Conference</i>. IEEE; 2006. doi:<a href=\"https://doi.org/10.1109/DATE.2006.243902\">10.1109/DATE.2006.243902</a>","bibtex":"@inproceedings{Krupp_Müller_2006, place={Munich, Germany}, title={Classification Trees for Functional Coverage and Random Test Generation}, DOI={<a href=\"https://doi.org/10.1109/DATE.2006.243902\">10.1109/DATE.2006.243902</a>}, booktitle={Proceedings of the Design Automation &#38; Test in Europe Conference}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2006} }","apa":"Krupp, A., &#38; Müller, W. (2006). Classification Trees for Functional Coverage and Random Test Generation. <i>Proceedings of the Design Automation &#38; Test in Europe Conference</i>. <a href=\"https://doi.org/10.1109/DATE.2006.243902\">https://doi.org/10.1109/DATE.2006.243902</a>","ieee":"A. Krupp and W. Müller, “Classification Trees for Functional Coverage and Random Test Generation,” 2006, doi: <a href=\"https://doi.org/10.1109/DATE.2006.243902\">10.1109/DATE.2006.243902</a>.","short":"A. Krupp, W. Müller, in: Proceedings of the Design Automation &#38; Test in Europe Conference, IEEE, Munich, Germany, 2006.","chicago":"Krupp, Alexander, and Wolfgang Müller. “Classification Trees for Functional Coverage and Random Test Generation.” In <i>Proceedings of the Design Automation &#38; Test in Europe Conference</i>. Munich, Germany: IEEE, 2006. <a href=\"https://doi.org/10.1109/DATE.2006.243902\">https://doi.org/10.1109/DATE.2006.243902</a>."},"publication":"Proceedings of the Design Automation & Test in Europe Conference","department":[{"_id":"672"}],"type":"conference","keyword":["Classification tree analysis","System testing","Embedded system","Safety","Automatic testing","Automation"],"place":"Munich, Germany","date_created":"2023-01-24T08:06:09Z","date_updated":"2023-01-24T08:06:14Z","publication_identifier":{"isbn":["3-9810801-1-4"]},"author":[{"full_name":"Krupp, Alexander","first_name":"Alexander","last_name":"Krupp"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"title":"Classification Trees for Functional Coverage and Random Test Generation","year":"2006","status":"public","doi":"10.1109/DATE.2006.243902","user_id":"5786","language":[{"iso":"eng"}],"_id":"38784","publisher":"IEEE"},{"publisher":"IEEE","_id":"39050","language":[{"iso":"eng"}],"doi":"10.1109/DEXA.2005.171","user_id":"5786","title":"Secure Profile Management in Smart Home Networks","status":"public","year":"2005","conference":{"name":"16th International Workshop on Database and Expert Systems Applications (DEXA'05)","location":"Copenhagen, Denmark "},"author":[{"first_name":"Max","last_name":"Ziegler","full_name":"Ziegler, Max"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"},{"first_name":"Robbie","last_name":"Schäfer","full_name":"Schäfer, Robbie"},{"full_name":"Loeser, Chris","first_name":"Chris","last_name":"Loeser"}],"publication_identifier":{"isbn":["0-7695-2424-9"]},"date_updated":"2023-01-24T08:39:50Z","place":"Copenhagen, Denmark ","date_created":"2023-01-24T08:39:45Z","keyword":["Intelligent networks","Smart homes","Middleware","Project management","Data security","Ubiquitous computing","Context-aware services","Computer architecture","Home automation","Environmental management"],"type":"conference","department":[{"_id":"672"}],"publication":"Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)","citation":{"short":"M. Ziegler, W. Müller, R. Schäfer, C. Loeser, in: Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005), IEEE, Copenhagen, Denmark , 2005.","chicago":"Ziegler, Max, Wolfgang Müller, Robbie Schäfer, and Chris Loeser. “Secure Profile Management in Smart Home Networks.” In <i>Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)</i>. Copenhagen, Denmark : IEEE, 2005. <a href=\"https://doi.org/10.1109/DEXA.2005.171\">https://doi.org/10.1109/DEXA.2005.171</a>.","apa":"Ziegler, M., Müller, W., Schäfer, R., &#38; Loeser, C. (2005). Secure Profile Management in Smart Home Networks. <i>Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)</i>. 16th International Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark . <a href=\"https://doi.org/10.1109/DEXA.2005.171\">https://doi.org/10.1109/DEXA.2005.171</a>","ieee":"M. Ziegler, W. Müller, R. Schäfer, and C. Loeser, “Secure Profile Management in Smart Home Networks,” presented at the 16th International Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark , 2005, doi: <a href=\"https://doi.org/10.1109/DEXA.2005.171\">10.1109/DEXA.2005.171</a>.","ama":"Ziegler M, Müller W, Schäfer R, Loeser C. Secure Profile Management in Smart Home Networks. In: <i>Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)</i>. IEEE; 2005. doi:<a href=\"https://doi.org/10.1109/DEXA.2005.171\">10.1109/DEXA.2005.171</a>","bibtex":"@inproceedings{Ziegler_Müller_Schäfer_Loeser_2005, place={Copenhagen, Denmark }, title={Secure Profile Management in Smart Home Networks}, DOI={<a href=\"https://doi.org/10.1109/DEXA.2005.171\">10.1109/DEXA.2005.171</a>}, booktitle={Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)}, publisher={IEEE}, author={Ziegler, Max and Müller, Wolfgang and Schäfer, Robbie and Loeser, Chris}, year={2005} }","mla":"Ziegler, Max, et al. “Secure Profile Management in Smart Home Networks.” <i>Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)</i>, IEEE, 2005, doi:<a href=\"https://doi.org/10.1109/DEXA.2005.171\">10.1109/DEXA.2005.171</a>."},"abstract":[{"text":"Currently, middleware for smart home networks with embedded and mobile devices are in the focus of several investigations. In this paper, we propose a middleware for secure management of device and user profiles by integrating a profile database with a generic authentication scheme for an X.509 enabled ticket management in the context of the OSGi framework. After the introduction of the individual system components and their interaction, we also discuss potential system attacks.","lang":"eng"}]},{"doi":"10.1109/DATE.2004.1269214","user_id":"5786","_id":"39061","language":[{"iso":"eng"}],"date_updated":"2023-01-24T08:53:31Z","year":"2004","title":"Formal Refinement and Model Checking of An Echo Cancellation Unit","status":"public","conference":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition"},"author":[{"last_name":"Krupp","first_name":"Alexander","full_name":"Krupp, Alexander"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"first_name":"Ian","last_name":"Oliver","full_name":"Oliver, Ian"}],"publication_identifier":{"isbn":["0-7695-2085-5"]},"keyword":["Echo cancellers","Logic","Unified modeling language","Automata","Data structures","Boolean functions","Electronic design automation and methodology","Prototypes","Specification languages","Constraint theory"],"type":"conference","department":[{"_id":"672"}],"place":"Paris","date_created":"2023-01-24T08:53:26Z","abstract":[{"lang":"eng","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."}],"publication":"Proceedings of DATE’04 Designers' Forum","citation":{"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>","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>.","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>.","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>","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>."}},{"language":[{"iso":"eng"}],"_id":"39421","publisher":"IEEE","user_id":"5786","doi":"10.1109/DATE.2001.915002","publication_identifier":{"isbn":["0-7695-0993-2"]},"author":[{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"full_name":"Ruf, Jürgen","first_name":"Jürgen","last_name":"Ruf"},{"full_name":"Hoffmann, D. W.","first_name":"D. W.","last_name":"Hoffmann"},{"full_name":"Gerlach, Joachim","last_name":"Gerlach","first_name":"Joachim"},{"full_name":"Kropf, Thomas","first_name":"Thomas","last_name":"Kropf"},{"last_name":"Rosenstiehl","first_name":"W.","full_name":"Rosenstiehl, W."}],"conference":{"name":" Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001"},"status":"public","year":"2001","title":"The Simulation Semantics of SystemC","date_updated":"2023-01-24T10:39:38Z","date_created":"2023-01-24T10:39:33Z","place":"Munich, Germany ","department":[{"_id":"672"}],"type":"conference","keyword":["Yarn","Formal verification","Kernel","Hardware design languages","Electronic design automation and methodology","Algebra","Computational modeling","Logic functions","Computer languages","Clocks"],"citation":{"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>","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>.","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.","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>."},"publication":"Proceedings of the Design, Automation, and Test in Europe (DATE’01)","abstract":[{"lang":"eng","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."}]},{"abstract":[{"text":"The authors present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor animator and interpreter are introduced. Their interactions are being investigated emphasizing the interpreter-animator interaction and defining an interface supporting different levels of automation. The interpreter performs the executions on a logical level and triggers the animator. The interactive animation provides a very high degree of liveness since it is based on the tight integration of the animator and editor. The proposed architecture permits the distributed implementation of a system for real-time animation. Their concepts are validated by the implementation of a debugging environment for the complete visual programming language Pictorial Janus.","lang":"eng"}],"publication":" Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","citation":{"chicago":"Dücker, M., Georg Lehrenfeld, Wolfgang Müller, and C. Tahedl. “A Generic System for Interactive Real--Time Animation.” In <i> Proceedings International Conference and Workshop on Engineering of Computer-Based Systems</i>. Monterey, CA, USA , 1997. <a href=\"https://doi.org/10.1109/ECBS.1997.581876\">https://doi.org/10.1109/ECBS.1997.581876</a>.","short":"M. Dücker, G. Lehrenfeld, W. Müller, C. Tahedl, in:  Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, Monterey, CA, USA , 1997.","ieee":"M. Dücker, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Generic System for Interactive Real--Time Animation,” Monterey, CA, USA , 1997, doi: <a href=\"https://doi.org/10.1109/ECBS.1997.581876\">10.1109/ECBS.1997.581876</a>.","apa":"Dücker, M., Lehrenfeld, G., Müller, W., &#38; Tahedl, C. (1997). A Generic System for Interactive Real--Time Animation. <i> Proceedings International Conference and Workshop on Engineering of Computer-Based Systems</i>. <a href=\"https://doi.org/10.1109/ECBS.1997.581876\">https://doi.org/10.1109/ECBS.1997.581876</a>","bibtex":"@inproceedings{Dücker_Lehrenfeld_Müller_Tahedl_1997, place={Monterey, CA, USA }, title={A Generic System for Interactive Real--Time Animation}, DOI={<a href=\"https://doi.org/10.1109/ECBS.1997.581876\">10.1109/ECBS.1997.581876</a>}, booktitle={ Proceedings International Conference and Workshop on Engineering of Computer-Based Systems}, author={Dücker, M. and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}, year={1997} }","ama":"Dücker M, Lehrenfeld G, Müller W, Tahedl C. A Generic System for Interactive Real--Time Animation. In: <i> Proceedings International Conference and Workshop on Engineering of Computer-Based Systems</i>. ; 1997. doi:<a href=\"https://doi.org/10.1109/ECBS.1997.581876\">10.1109/ECBS.1997.581876</a>","mla":"Dücker, M., et al. “A Generic System for Interactive Real--Time Animation.” <i> Proceedings International Conference and Workshop on Engineering of Computer-Based Systems</i>, 1997, doi:<a href=\"https://doi.org/10.1109/ECBS.1997.581876\">10.1109/ECBS.1997.581876</a>."},"keyword":["Real time systems","Animation","Debugging","Automation","Computer languages","Timing","Environmental management","Programming environments","Visualization","Multimedia systems"],"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-24T11:46:23Z","place":"Monterey, CA, USA ","date_updated":"2023-01-24T11:46:28Z","title":"A Generic System for Interactive Real--Time Animation","status":"public","year":"1997","publication_identifier":{"isbn":["0-8186-7889-5"]},"author":[{"first_name":"M.","last_name":"Dücker","full_name":"Dücker, M."},{"full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld","first_name":"Georg"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"C.","last_name":"Tahedl","full_name":"Tahedl, C."}],"conference":{"location":"Monterey, CA, USA "},"user_id":"5786","doi":"10.1109/ECBS.1997.581876","language":[{"iso":"eng"}],"_id":"39502"}]