[{"publication":"Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair","type":"conference","status":"public","abstract":[{"lang":"eng","text":"This article discusses the application of Pictorial Janus (PJ) for the rapid development and analysis of protocols by animation and complete visualization. In order to make PJ applicable in the context of hardware description we first extend PJ by timing facilities (Timed PJ) and introduce an approach for integrating VHDL models into this visual framework preserving the simulation semantics of VHDL. We finally give the example of the specification and animation of a non interlocked protocol."}],"department":[{"_id":"672"}],"user_id":"5786","_id":"39538","language":[{"iso":"eng"}],"keyword":["Animation","Protocols","Timing","Computer languages","Electronic mail","Context modeling","Visualization","Control systems","Flow graphs","Trademarks"],"publication_identifier":{"isbn":["4-930813-67-0"]},"citation":{"chicago":"Müller, Wolfgang, Georg Lehrenfeld, and C. Tahedl. “Complete Visual Specification and Animations of Protocols.” In <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. Chiba, Japan , 1995. <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">https://doi.org/10.1109/ASPDAC.1995.486383</a>.","ieee":"W. Müller, G. Lehrenfeld, and C. Tahedl, “Complete Visual Specification and Animations of Protocols,” 1995, doi: <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>.","ama":"Müller W, Lehrenfeld G, Tahedl C. Complete Visual Specification and Animations of Protocols. In: <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. ; 1995. doi:<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>","apa":"Müller, W., Lehrenfeld, G., &#38; Tahedl, C. (1995). Complete Visual Specification and Animations of Protocols. <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">https://doi.org/10.1109/ASPDAC.1995.486383</a>","bibtex":"@inproceedings{Müller_Lehrenfeld_Tahedl_1995, place={Chiba, Japan }, title={Complete Visual Specification and Animations of Protocols}, DOI={<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>}, booktitle={Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair}, author={Müller, Wolfgang and Lehrenfeld, Georg and Tahedl, C.}, year={1995} }","short":"W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, Chiba, Japan , 1995.","mla":"Müller, Wolfgang, et al. “Complete Visual Specification and Animations of Protocols.” <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>, 1995, doi:<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>."},"year":"1995","place":"Chiba, Japan ","date_created":"2023-01-24T12:05:55Z","author":[{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"},{"last_name":"Lehrenfeld","full_name":"Lehrenfeld, Georg","first_name":"Georg"},{"first_name":"C.","full_name":"Tahedl, C.","last_name":"Tahedl"}],"date_updated":"2023-01-24T12:05:59Z","doi":"10.1109/ASPDAC.1995.486383","title":"Complete Visual Specification and Animations of Protocols"},{"_id":"39543","department":[{"_id":"672"}],"user_id":"5786","language":[{"iso":"eng"}],"publication":"Proceedings of the 5th EXPRESS User's Group","type":"conference","status":"public","date_updated":"2023-01-24T12:09:19Z","author":[{"full_name":"Zhao, R.","last_name":"Zhao","first_name":"R."},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"Kaufmann, H. J.","last_name":"Kaufmann","first_name":"H. J."},{"last_name":"Kern","full_name":"Kern, Th.","first_name":"Th."},{"first_name":"F.","full_name":"Buijs, F.","last_name":"Buijs"}],"date_created":"2023-01-24T12:09:13Z","title":"An Editor for the Rapid Prototyping of EXPRESS-G Models","place":"Grenoble","year":"1995","citation":{"bibtex":"@inproceedings{Zhao_Müller_Kaufmann_Kern_Buijs_1995, place={Grenoble}, title={An Editor for the Rapid Prototyping of EXPRESS-G Models}, booktitle={Proceedings of the 5th EXPRESS User’s Group}, author={Zhao, R. and Müller, Wolfgang and Kaufmann, H. J. and Kern, Th. and Buijs, F.}, year={1995} }","mla":"Zhao, R., et al. “An Editor for the Rapid Prototyping of EXPRESS-G Models.” <i>Proceedings of the 5th EXPRESS User’s Group</i>, 1995.","short":"R. Zhao, W. Müller, H.J. Kaufmann, Th. Kern, F. Buijs, in: Proceedings of the 5th EXPRESS User’s Group, Grenoble, 1995.","apa":"Zhao, R., Müller, W., Kaufmann, H. J., Kern, Th., &#38; Buijs, F. (1995). An Editor for the Rapid Prototyping of EXPRESS-G Models. <i>Proceedings of the 5th EXPRESS User’s Group</i>.","ama":"Zhao R, Müller W, Kaufmann HJ, Kern Th, Buijs F. An Editor for the Rapid Prototyping of EXPRESS-G Models. In: <i>Proceedings of the 5th EXPRESS User’s Group</i>. ; 1995.","ieee":"R. Zhao, W. Müller, H. J. Kaufmann, Th. Kern, and F. Buijs, “An Editor for the Rapid Prototyping of EXPRESS-G Models,” 1995.","chicago":"Zhao, R., Wolfgang Müller, H. J. Kaufmann, Th. Kern, and F. Buijs. “An Editor for the Rapid Prototyping of EXPRESS-G Models.” In <i>Proceedings of the 5th EXPRESS User’s Group</i>. Grenoble, 1995."}},{"year":"1995","place":"Paderborn, Germany","citation":{"ama":"Müller W, Felser W, Wiechers N. The Process Modeling Language EXPRESS-P. Published online 1995.","chicago":"Müller, Wolfgang, W. Felser, and N. Wiechers. “The Process Modeling Language EXPRESS-P.” ISO TC184/SC4/WG5, N230, Cadlab. Paderborn, Germany, 1995.","ieee":"W. Müller, W. Felser, and N. Wiechers, “The Process Modeling Language EXPRESS-P.” Paderborn, Germany, 1995.","apa":"Müller, W., Felser, W., &#38; Wiechers, N. (1995). <i>The Process Modeling Language EXPRESS-P</i>.","mla":"Müller, Wolfgang, et al. <i>The Process Modeling Language EXPRESS-P</i>. 1995.","bibtex":"@article{Müller_Felser_Wiechers_1995, place={Paderborn, Germany}, series={ISO TC184/SC4/WG5, N230, Cadlab}, title={The Process Modeling Language EXPRESS-P}, author={Müller, Wolfgang and Felser, W. and Wiechers, N.}, year={1995}, collection={ISO TC184/SC4/WG5, N230, Cadlab} }","short":"W. Müller, W. Felser, N. Wiechers, (1995)."},"date_updated":"2023-01-24T12:12:05Z","date_created":"2023-01-24T12:12:01Z","author":[{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"},{"first_name":"W.","full_name":"Felser, W.","last_name":"Felser"},{"first_name":"N.","full_name":"Wiechers, N.","last_name":"Wiechers"}],"title":"The Process Modeling Language EXPRESS-P","type":"conference","status":"public","_id":"39550","department":[{"_id":"672"}],"user_id":"5786","series_title":"ISO TC184/SC4/WG5, N230, Cadlab","language":[{"iso":"eng"}]},{"citation":{"mla":"Felser, W., and Wolfgang Müller. <i>EXPRESS-P - Eine Erweiterung von ISO 10303-11 Zur Prozessmodellierung</i>. 1994.","bibtex":"@article{Felser_Müller_1994, place={Paderborn, Germany}, series={CAD94}, title={EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung}, author={Felser, W. and Müller, Wolfgang}, year={1994}, collection={CAD94} }","short":"W. Felser, W. Müller, (1994).","apa":"Felser, W., &#38; Müller, W. (1994). <i>EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung</i>.","ama":"Felser W, Müller W. EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung. Published online 1994.","chicago":"Felser, W., and Wolfgang Müller. “EXPRESS-P - Eine Erweiterung von ISO 10303-11 Zur Prozessmodellierung.” CAD94. Paderborn, Germany, 1994.","ieee":"W. Felser and W. Müller, “EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung.” Paderborn, Germany, 1994."},"place":"Paderborn, Germany","year":"1994","title":"EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung","author":[{"full_name":"Felser, W.","last_name":"Felser","first_name":"W."},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_created":"2023-01-24T12:14:51Z","date_updated":"2023-01-24T12:14:56Z","status":"public","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"series_title":"CAD94","user_id":"5786","_id":"39557"},{"type":"conference","publication":"Proceedings of the 17th Annual Computer Science Conference","status":"public","abstract":[{"text":"In this paper we present a novel approach to the layout problem of dimensional graph based dia grams We introduce a framework for e ciently solving constrained layout problems encompassing geometrical and graph based algorithms especially dedicated to the generation of diagrams These concepts as well as the aesthetics for the read ability of diagrams are presented by introducing FADE FADE is a user parametrizable frame work for the generation of EXPRESS G diagrams Our present implementation is discussed consider ing extensions to other classes of graphs and layout problems Additionally competitive approaches in this domain and their limitations are critically reviewed.","lang":"eng"}],"user_id":"5786","department":[{"_id":"672"}],"_id":"39560","language":[{"iso":"eng"}],"citation":{"apa":"Eikerling, J., &#38; Müller, W. (1994). FADE: A Layout Facility for Graph-Based Diagrams. <i>Proceedings of the 17th Annual Computer Science Conference</i>, 331–342.","bibtex":"@inproceedings{Eikerling_Müller_1994, place={Christchurch, New Zealand}, title={FADE: A Layout Facility for Graph-Based Diagrams}, booktitle={Proceedings of the 17th Annual Computer Science Conference}, author={Eikerling, Josef and Müller, Wolfgang}, year={1994}, pages={331–342} }","mla":"Eikerling, Josef, and Wolfgang Müller. “FADE: A Layout Facility for Graph-Based Diagrams.” <i>Proceedings of the 17th Annual Computer Science Conference</i>, 1994, pp. 331–42.","short":"J. Eikerling, W. Müller, in: Proceedings of the 17th Annual Computer Science Conference, Christchurch, New Zealand, 1994, pp. 331–342.","chicago":"Eikerling, Josef, and Wolfgang Müller. “FADE: A Layout Facility for Graph-Based Diagrams.” In <i>Proceedings of the 17th Annual Computer Science Conference</i>, 331–42. Christchurch, New Zealand, 1994.","ieee":"J. Eikerling and W. Müller, “FADE: A Layout Facility for Graph-Based Diagrams,” in <i>Proceedings of the 17th Annual Computer Science Conference</i>, 1994, pp. 331–342.","ama":"Eikerling J, Müller W. FADE: A Layout Facility for Graph-Based Diagrams. In: <i>Proceedings of the 17th Annual Computer Science Conference</i>. ; 1994:331-342."},"page":"331-342","year":"1994","place":"Christchurch, New Zealand","author":[{"first_name":"Josef","full_name":"Eikerling, Josef","last_name":"Eikerling"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"date_created":"2023-01-24T12:16:20Z","date_updated":"2023-01-24T12:17:02Z","title":"FADE: A Layout Facility for Graph-Based Diagrams"},{"type":"conference","publication":"Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94)","status":"public","user_id":"5786","department":[{"_id":"672"}],"_id":"39565","language":[{"iso":"eng"}],"citation":{"ama":"Hyhuis D, Müller W. Implementing Simultaneous Design: A Case Study. In: <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>. ; 1994.","chicago":"Hyhuis, D., and Wolfgang Müller. “Implementing Simultaneous Design: A Case Study.” In <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>. PoDTe, UK, 1994.","ieee":"D. Hyhuis and W. Müller, “Implementing Simultaneous Design: A Case Study,” 1994.","apa":"Hyhuis, D., &#38; Müller, W. (1994). Implementing Simultaneous Design: A Case Study. <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>.","mla":"Hyhuis, D., and Wolfgang Müller. “Implementing Simultaneous Design: A Case Study.” <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>, 1994.","short":"D. Hyhuis, W. Müller, in: Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94), PoDTe, UK, 1994.","bibtex":"@inproceedings{Hyhuis_Müller_1994, place={PoDTe, UK}, title={Implementing Simultaneous Design: A Case Study}, booktitle={Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)}, author={Hyhuis, D. and Müller, Wolfgang}, year={1994} }"},"year":"1994","place":"PoDTe, UK","author":[{"full_name":"Hyhuis, D.","last_name":"Hyhuis","first_name":"D."},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_created":"2023-01-24T12:18:00Z","date_updated":"2023-01-24T12:18:05Z","title":"Implementing Simultaneous Design: A Case Study"},{"status":"public","type":"conference","language":[{"iso":"eng"}],"_id":"39577","user_id":"5786","series_title":"TAT'94","department":[{"_id":"672"}],"year":"1994","place":"Aachen","citation":{"apa":"Müller, W., Lehrenfeld, G., &#38; Wiechers, N. (1994). <i>Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM</i>.","bibtex":"@article{Müller_Lehrenfeld_Wiechers_1994, place={Aachen}, series={TAT’94}, title={Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM}, author={Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}, year={1994}, collection={TAT’94} }","short":"W. Müller, G. Lehrenfeld, N. Wiechers, (1994).","mla":"Müller, Wolfgang, et al. <i>Implementierung Eines Parallelen Validierungswerkzeugs Für STEP-Produktdaten Unter PVM</i>. 1994.","ieee":"W. Müller, G. Lehrenfeld, and N. Wiechers, “Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM.” Aachen, 1994.","chicago":"Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Implementierung Eines Parallelen Validierungswerkzeugs Für STEP-Produktdaten Unter PVM.” TAT’94. Aachen, 1994.","ama":"Müller W, Lehrenfeld G, Wiechers N. Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM. Published online 1994."},"title":"Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM","date_updated":"2023-01-24T12:24:43Z","date_created":"2023-01-24T12:24:39Z","author":[{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"},{"last_name":"Lehrenfeld","full_name":"Lehrenfeld, Georg","first_name":"Georg"},{"last_name":"Wiechers","full_name":"Wiechers, N.","first_name":"N."}]},{"language":[{"iso":"eng"}],"_id":"39575","user_id":"5786","department":[{"_id":"672"}],"status":"public","type":"conference","publication":"Proceedings of EURO-DAC'94/EURO-VHDL'94","title":"The Semantics of Behavioral VHDL'93 Descriptions","date_updated":"2023-01-24T12:23:19Z","date_created":"2023-01-24T12:23:14Z","author":[{"full_name":"Börger, Egon","last_name":"Börger","first_name":"Egon"},{"first_name":"Uwe","full_name":"Glässer, Uwe","last_name":"Glässer"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"year":"1994","place":"Grenoble, France","citation":{"ama":"Börger E, Glässer U, Müller W. The Semantics of Behavioral VHDL’93 Descriptions. In: <i>Proceedings of EURO-DAC’94/EURO-VHDL’94</i>. ; 1994.","ieee":"E. Börger, U. Glässer, and W. Müller, “The Semantics of Behavioral VHDL’93 Descriptions,” 1994.","chicago":"Börger, Egon, Uwe Glässer, and Wolfgang Müller. “The Semantics of Behavioral VHDL’93 Descriptions.” In <i>Proceedings of EURO-DAC’94/EURO-VHDL’94</i>. Grenoble, France, 1994.","apa":"Börger, E., Glässer, U., &#38; Müller, W. (1994). The Semantics of Behavioral VHDL’93 Descriptions. <i>Proceedings of EURO-DAC’94/EURO-VHDL’94</i>.","short":"E. Börger, U. Glässer, W. Müller, in: Proceedings of EURO-DAC’94/EURO-VHDL’94, Grenoble, France, 1994.","bibtex":"@inproceedings{Börger_Glässer_Müller_1994, place={Grenoble, France}, title={The Semantics of Behavioral VHDL’93 Descriptions}, booktitle={Proceedings of EURO-DAC’94/EURO-VHDL’94}, author={Börger, Egon and Glässer, Uwe and Müller, Wolfgang}, year={1994} }","mla":"Börger, Egon, et al. “The Semantics of Behavioral VHDL’93 Descriptions.” <i>Proceedings of EURO-DAC’94/EURO-VHDL’94</i>, 1994."}},{"type":"conference","status":"public","department":[{"_id":"672"}],"series_title":"Tagungsband: CAD94","user_id":"5786","_id":"39554","language":[{"iso":"eng"}],"citation":{"apa":"Lehrenfeld, G., Müller, W., &#38; Wiechers, N. (1994). <i>Ein paralleles Framework fuer die Validierung von STEP-Produktdaten</i>.","short":"G. Lehrenfeld, W. Müller, N. Wiechers, (1994).","bibtex":"@article{Lehrenfeld_Müller_Wiechers_1994, series={Tagungsband: CAD94}, title={Ein paralleles Framework fuer die Validierung von STEP-Produktdaten}, author={Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}, year={1994}, collection={Tagungsband: CAD94} }","mla":"Lehrenfeld, Georg, et al. <i>Ein Paralleles Framework Fuer Die Validierung von STEP-Produktdaten</i>. 1994.","ama":"Lehrenfeld G, Müller W, Wiechers N. Ein paralleles Framework fuer die Validierung von STEP-Produktdaten. Published online 1994.","ieee":"G. Lehrenfeld, W. Müller, and N. Wiechers, “Ein paralleles Framework fuer die Validierung von STEP-Produktdaten.” 1994.","chicago":"Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Ein Paralleles Framework Fuer Die Validierung von STEP-Produktdaten.” Tagungsband: CAD94, 1994."},"year":"1994","author":[{"first_name":"Georg","full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"},{"first_name":"N.","last_name":"Wiechers","full_name":"Wiechers, N."}],"date_created":"2023-01-24T12:13:38Z","date_updated":"2023-01-24T12:13:43Z","title":"Ein paralleles Framework fuer die Validierung von STEP-Produktdaten"},{"user_id":"5786","department":[{"_id":"672"}],"_id":"39566","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94)","status":"public","date_created":"2023-01-24T12:19:27Z","author":[{"first_name":"Georg","full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"first_name":"N.","last_name":"Wiechers","full_name":"Wiechers, N."}],"date_updated":"2023-01-24T12:19:31Z","title":"Parallel Validation of STEP Files","citation":{"short":"G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94), Poole, UK, 1994.","mla":"Lehrenfeld, Georg, et al. “Parallel Validation of STEP Files.” <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>, 1994.","bibtex":"@inproceedings{Lehrenfeld_Müller_Wiechers_1994, place={Poole, UK}, title={Parallel Validation of STEP Files}, booktitle={Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)}, author={Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}, year={1994} }","apa":"Lehrenfeld, G., Müller, W., &#38; Wiechers, N. (1994). Parallel Validation of STEP Files. <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>.","ama":"Lehrenfeld G, Müller W, Wiechers N. Parallel Validation of STEP Files. In: <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>. ; 1994.","chicago":"Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Parallel Validation of STEP Files.” In <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>. Poole, UK, 1994.","ieee":"G. Lehrenfeld, W. Müller, and N. Wiechers, “Parallel Validation of STEP Files,” 1994."},"place":"Poole, UK","year":"1994"},{"citation":{"ama":"Lehrenfeld G, Müller W. Computational Model of a Logical Visual Programming Language. Published online 1994.","ieee":"G. Lehrenfeld and W. Müller, “Computational Model of a Logical Visual Programming Language.” Paderborn, Germany, 1994.","chicago":"Lehrenfeld, Georg, and Wolfgang Müller. “Computational Model of a Logical Visual Programming Language.” Workshop Logik in Der Informatik, Jahrestreffen Der Fachgruppe 0.1.6. Paderborn, Germany, 1994.","apa":"Lehrenfeld, G., &#38; Müller, W. (1994). <i>Computational Model of a Logical Visual Programming Language</i>.","short":"G. Lehrenfeld, W. Müller, (1994).","mla":"Lehrenfeld, Georg, and Wolfgang Müller. <i>Computational Model of a Logical Visual Programming Language</i>. 1994.","bibtex":"@article{Lehrenfeld_Müller_1994, place={Paderborn, Germany}, series={Workshop Logik in der Informatik, Jahrestreffen der Fachgruppe 0.1.6}, title={Computational Model of a Logical Visual Programming Language}, author={Lehrenfeld, Georg and Müller, Wolfgang}, year={1994}, collection={Workshop Logik in der Informatik, Jahrestreffen der Fachgruppe 0.1.6} }"},"year":"1994","place":"Paderborn, Germany","author":[{"first_name":"Georg","full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_created":"2023-01-24T12:20:28Z","date_updated":"2023-01-24T12:20:33Z","title":"Computational Model of a Logical Visual Programming Language","type":"conference","status":"public","department":[{"_id":"672"}],"user_id":"5786","series_title":"Workshop Logik in der Informatik, Jahrestreffen der Fachgruppe 0.1.6","_id":"39569","language":[{"iso":"eng"}]},{"title":"EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring","date_created":"2023-01-24T12:21:48Z","author":[{"full_name":"Felser, Winfried","last_name":"Felser","first_name":"Winfried"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"date_updated":"2023-01-24T12:21:52Z","page":"145-154","citation":{"ama":"Felser W, Müller W. EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. In: <i>Proceedings of the 1994 ASME Computers in Engineering Conference</i>. ; 1994:145-154.","chicago":"Felser, Winfried, and Wolfgang Müller. “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring.” In <i>Proceedings of the 1994 ASME Computers in Engineering Conference</i>, 145–54. Minneapolis, MI, 1994.","ieee":"W. Felser and W. Müller, “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring,” in <i>Proceedings of the 1994 ASME Computers in Engineering Conference</i>, 1994, pp. 145–154.","short":"W. Felser, W. Müller, in: Proceedings of the 1994 ASME Computers in Engineering Conference, Minneapolis, MI, 1994, pp. 145–154.","mla":"Felser, Winfried, and Wolfgang Müller. “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring.” <i>Proceedings of the 1994 ASME Computers in Engineering Conference</i>, 1994, pp. 145–54.","bibtex":"@inproceedings{Felser_Müller_1994, place={Minneapolis, MI}, title={EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring}, booktitle={Proceedings of the 1994 ASME Computers in Engineering Conference}, author={Felser, Winfried and Müller, Wolfgang}, year={1994}, pages={145–154} }","apa":"Felser, W., &#38; Müller, W. (1994). EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. <i>Proceedings of the 1994 ASME Computers in Engineering Conference</i>, 145–154."},"year":"1994","place":"Minneapolis, MI","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"5786","_id":"39572","status":"public","abstract":[{"text":"The upcoming ISO standard EXPRESS has been de- #ned as a data speci#cation language for the use within STEP. EXPRESS supports the modeling of static structural relationships and consistency constraints whereas the applicability of EXPRESS for the modeling of behavior is very limited. Thus, at present there is an ongoing discussion by which means EXPRESS should be extended with.","lang":"eng"}],"publication":"Proceedings of the 1994 ASME Computers in Engineering Conference","type":"conference"},{"language":[{"iso":"eng"}],"_id":"39578","department":[{"_id":"672"}],"user_id":"5786","status":"public","publication":"Proceedings of the Seventh Annual Database Symposium","type":"conference","title":"Tight Integration and Synchronization of Distributed Graphical Applications","date_updated":"2023-01-24T12:26:01Z","date_created":"2023-01-24T12:25:54Z","author":[{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"},{"last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd","first_name":"Bernd"}],"place":"San Diego, USA","year":"1993","citation":{"mla":"Müller, Wolfgang, and Bernd Kleinjohann. “Tight Integration and Synchronization of Distributed Graphical Applications.” <i>Proceedings of the Seventh Annual Database Symposium</i>, 1993.","bibtex":"@inproceedings{Müller_Kleinjohann_1993, place={San Diego, USA}, title={Tight Integration and Synchronization of Distributed Graphical Applications}, booktitle={Proceedings of the Seventh Annual Database Symposium}, author={Müller, Wolfgang and Kleinjohann, Bernd}, year={1993} }","short":"W. Müller, B. Kleinjohann, in: Proceedings of the Seventh Annual Database Symposium, San Diego, USA, 1993.","apa":"Müller, W., &#38; Kleinjohann, B. (1993). Tight Integration and Synchronization of Distributed Graphical Applications. <i>Proceedings of the Seventh Annual Database Symposium</i>.","ama":"Müller W, Kleinjohann B. Tight Integration and Synchronization of Distributed Graphical Applications. In: <i>Proceedings of the Seventh Annual Database Symposium</i>. ; 1993.","chicago":"Müller, Wolfgang, and Bernd Kleinjohann. “Tight Integration and Synchronization of Distributed Graphical Applications.” In <i>Proceedings of the Seventh Annual Database Symposium</i>. San Diego, USA, 1993.","ieee":"W. Müller and B. Kleinjohann, “Tight Integration and Synchronization of Distributed Graphical Applications,” 1993."}},{"status":"public","type":"conference","publication":"Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications","language":[{"iso":"eng"}],"user_id":"5786","department":[{"_id":"672"}],"_id":"39580","citation":{"ieee":"W. Müller, “Approaching the Denotational Semantics of Behavioral VHDL Descriptions,” 1993.","chicago":"Müller, Wolfgang. “Approaching the Denotational Semantics of Behavioral VHDL Descriptions.” In <i>Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications</i>. Brisbane, Australia, 1993.","ama":"Müller W. Approaching the Denotational Semantics of Behavioral VHDL Descriptions. In: <i>Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications</i>. ; 1993.","mla":"Müller, Wolfgang. “Approaching the Denotational Semantics of Behavioral VHDL Descriptions.” <i>Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications</i>, 1993.","short":"W. Müller, in: Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications, Brisbane, Australia, 1993.","bibtex":"@inproceedings{Müller_1993, place={Brisbane, Australia}, title={Approaching the Denotational Semantics of Behavioral VHDL Descriptions}, booktitle={Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications}, author={Müller, Wolfgang}, year={1993} }","apa":"Müller, W. (1993). Approaching the Denotational Semantics of Behavioral VHDL Descriptions. <i>Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications</i>."},"year":"1993","place":"Brisbane, Australia","title":"Approaching the Denotational Semantics of Behavioral VHDL Descriptions","author":[{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"date_created":"2023-01-24T12:28:08Z","date_updated":"2023-01-24T12:28:12Z"},{"title":"Parallel Validation of STEP Files","date_created":"2023-01-24T12:27:16Z","author":[{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld","first_name":"Georg"},{"full_name":"Wiechers, N.","last_name":"Wiechers","first_name":"N."}],"date_updated":"2023-01-24T12:27:20Z","citation":{"bibtex":"@inproceedings{Müller_Lehrenfeld_Wiechers_1993, place={Berlin}, title={Parallel Validation of STEP Files}, booktitle={Proceedings of the 3nd EXPRESS User’s Group Conference}, author={Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}, year={1993} }","short":"W. Müller, G. Lehrenfeld, N. Wiechers, in: Proceedings of the 3nd EXPRESS User’s Group Conference, Berlin, 1993.","mla":"Müller, Wolfgang, et al. “Parallel Validation of STEP Files.” <i>Proceedings of the 3nd EXPRESS User’s Group Conference</i>, 1993.","apa":"Müller, W., Lehrenfeld, G., &#38; Wiechers, N. (1993). Parallel Validation of STEP Files. <i>Proceedings of the 3nd EXPRESS User’s Group Conference</i>.","ama":"Müller W, Lehrenfeld G, Wiechers N. Parallel Validation of STEP Files. In: <i>Proceedings of the 3nd EXPRESS User’s Group Conference</i>. ; 1993.","ieee":"W. Müller, G. Lehrenfeld, and N. Wiechers, “Parallel Validation of STEP Files,” 1993.","chicago":"Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Parallel Validation of STEP Files.” In <i>Proceedings of the 3nd EXPRESS User’s Group Conference</i>. Berlin, 1993."},"place":"Berlin","year":"1993","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"5786","_id":"39579","status":"public","publication":"Proceedings of the 3nd EXPRESS User's Group Conference","type":"conference"},{"status":"public","type":"conference","publication":"Proceedings of the 2nd EXPRESS User's Group Conference","language":[{"iso":"eng"}],"user_id":"5786","department":[{"_id":"672"}],"_id":"39582","citation":{"apa":"Müller, W., &#38; Kleinjohann, B. (1992). The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments. <i>Proceedings of the 2nd EXPRESS User’s Group Conference</i>.","bibtex":"@inproceedings{Müller_Kleinjohann_1992, place={Dallas TX}, title={The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments}, booktitle={Proceedings of the 2nd EXPRESS User’s Group Conference}, author={Müller, Wolfgang and Kleinjohann, Bernd}, year={1992} }","short":"W. Müller, B. Kleinjohann, in: Proceedings of the 2nd EXPRESS User’s Group Conference, Dallas TX, 1992.","mla":"Müller, Wolfgang, and Bernd Kleinjohann. “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments.” <i>Proceedings of the 2nd EXPRESS User’s Group Conference</i>, 1992.","ama":"Müller W, Kleinjohann B. The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments. In: <i>Proceedings of the 2nd EXPRESS User’s Group Conference</i>. ; 1992.","chicago":"Müller, Wolfgang, and Bernd Kleinjohann. “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments.” In <i>Proceedings of the 2nd EXPRESS User’s Group Conference</i>. Dallas TX, 1992.","ieee":"W. Müller and B. Kleinjohann, “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments,” 1992."},"year":"1992","place":"Dallas TX","title":"The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments","author":[{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann","first_name":"Bernd"}],"date_created":"2023-01-24T12:29:15Z","date_updated":"2023-01-24T12:29:20Z"},{"language":[{"iso":"eng"}],"title":"Contract-Oriented System Design and Specification","date_created":"2023-01-24T12:31:16Z","author":[{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"user_id":"5786","department":[{"_id":"672"}],"date_updated":"2023-01-24T12:31:20Z","_id":"39584","citation":{"ama":"Müller W. Contract-Oriented System Design and Specification. In: <i>Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods</i>. ; 1991.","ieee":"W. Müller, “Contract-Oriented System Design and Specification,” 1991.","chicago":"Müller, Wolfgang. “Contract-Oriented System Design and Specification.” In <i>Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods</i>. Grassau Germany, 1991.","apa":"Müller, W. (1991). Contract-Oriented System Design and Specification. <i>Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods</i>.","short":"W. Müller, in: Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods, Grassau Germany, 1991.","bibtex":"@inproceedings{Müller_1991, place={Grassau Germany}, title={Contract-Oriented System Design and Specification}, booktitle={Proceedings of the Workshop on Practical Computer Based Systems Engineering - its Scope and Methods}, author={Müller, Wolfgang}, year={1991} }","mla":"Müller, Wolfgang. “Contract-Oriented System Design and Specification.” <i>Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods</i>, 1991."},"status":"public","year":"1991","place":"Grassau Germany","type":"conference","publication":"Proceedings of the Workshop on Practical Computer Based Systems Engineering - its Scope and Methods"},{"citation":{"short":"G. Lehrenfeld, W. Müller, in: Proceedings of the 1st EXPRESS User’s Group Conference, Houston TX, USA, 1991.","mla":"Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” <i>Proceedings of the 1st EXPRESS User’s Group Conference</i>, 1991.","bibtex":"@inproceedings{Lehrenfeld_Müller_1991, place={Houston TX, USA}, title={Validation of EXPRESS Models Using Prolog}, booktitle={Proceedings of the 1st EXPRESS User’s Group Conference}, author={Lehrenfeld, Georg and Müller, Wolfgang}, year={1991} }","apa":"Lehrenfeld, G., &#38; Müller, W. (1991). Validation of EXPRESS Models Using Prolog. <i>Proceedings of the 1st EXPRESS User’s Group Conference</i>.","ama":"Lehrenfeld G, Müller W. Validation of EXPRESS Models Using Prolog. In: <i>Proceedings of the 1st EXPRESS User’s Group Conference</i>. ; 1991.","ieee":"G. Lehrenfeld and W. Müller, “Validation of EXPRESS Models Using Prolog,” 1991.","chicago":"Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” In <i>Proceedings of the 1st EXPRESS User’s Group Conference</i>. Houston TX, USA, 1991."},"year":"1991","place":"Houston TX, USA","date_created":"2023-01-24T12:30:24Z","author":[{"first_name":"Georg","last_name":"Lehrenfeld","full_name":"Lehrenfeld, Georg"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"date_updated":"2023-01-24T12:30:29Z","title":"Validation of EXPRESS Models Using Prolog","publication":"Proceedings of the 1st EXPRESS User's Group Conference","type":"conference","status":"public","department":[{"_id":"672"}],"user_id":"5786","_id":"39583","language":[{"iso":"eng"}]},{"citation":{"chicago":"Rammig, Franz Josef, and Wolfgang Müller. “ODICE: Object-Oriented Hardware Description in CAD Environment.” In <i>Proc. of the Ninth IFIP Symposium on CHDLs and Their Application</i>. Washington DC, 1989.","ieee":"F. J. Rammig and W. Müller, “ODICE: Object-Oriented Hardware Description in CAD Environment,” 1989.","ama":"Rammig FJ, Müller W. ODICE: Object-Oriented Hardware Description in CAD Environment. In: <i>Proc. of the Ninth IFIP Symposium on CHDLs and Their Application</i>. ; 1989.","apa":"Rammig, F. J., &#38; Müller, W. (1989). ODICE: Object-Oriented Hardware Description in CAD Environment. <i>Proc. of the Ninth IFIP Symposium on CHDLs and Their Application</i>.","bibtex":"@inproceedings{Rammig_Müller_1989, place={Washington DC}, title={ODICE: Object-Oriented Hardware Description in CAD Environment}, booktitle={Proc. of the Ninth IFIP Symposium on CHDLs and their Application}, author={Rammig, Franz Josef and Müller, Wolfgang}, year={1989} }","mla":"Rammig, Franz Josef, and Wolfgang Müller. “ODICE: Object-Oriented Hardware Description in CAD Environment.” <i>Proc. of the Ninth IFIP Symposium on CHDLs and Their Application</i>, 1989.","short":"F.J. Rammig, W. Müller, in: Proc. of the Ninth IFIP Symposium on CHDLs and Their Application, Washington DC, 1989."},"year":"1989","place":"Washington DC","author":[{"full_name":"Rammig, Franz Josef","last_name":"Rammig","first_name":"Franz Josef"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"date_created":"2023-01-24T12:33:02Z","date_updated":"2023-01-24T12:33:06Z","title":"ODICE: Object-Oriented Hardware Description in CAD Environment","type":"conference","publication":"Proc. of the Ninth IFIP Symposium on CHDLs and their Application","status":"public","user_id":"5786","department":[{"_id":"672"}],"_id":"39585","language":[{"iso":"eng"}]}]