Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
264 Publications
2010 | Conference Paper | LibreCat-ID: 37042
Mischkalla F, Müller W, He D. A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis. In: Proceedings of the M-BED Workshop. ; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
Bol A, Müller W, Krupp A. Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. In: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). ; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
Müller W, He D, Mischkalla F, et al. The SATURN Approach to SysML-based HW/SW Codesign. In: Proceedings of the IEEE Computer Society Annual Symposium on VLSI. Lecture Notes in Electrical Engineering. ; 2010. doi:10.1007/978-94-007-1488-5_9
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37048
Müller W, Bol A, Krupp A, Lundkvist O. Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_9
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37049
Xie T, Letombe F, Müller W. Mutation-Analysis Directed Constrained Random Verification. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37051
Xie T, Defo GB, Müller W. An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs. In: ; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37057
Defo GB, Müller W, Kuznik C. Verification of a CAN Bus Model in SystemC with Functional Coverage. In: Proceedings of SIES 2010. IEEE; 2010. doi:10.1109/SIES.2010.5551379
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37056
Klobedanz K, Defo GB, Müller W, Kerstan T. Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. In: Proceedings of SIES 2010. ; 2010. doi:10.1109/SIES.2010.5551384
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller W, da S. Oliveira MF, Zabel H, Becker M. Verification of Real-Time Properties for Hardware-Dependant Software. In: Proceedings of HLDVT2010. IEEE; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37060
Oliveira MFS, do Nascimento FAM, Müller W. Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration. In: Proceedings of MoMPES 2010. ; 2010.
LibreCat
2010 | Book (Editor) | LibreCat-ID: 53582
Gerard S, Müller W, Rioux L, Selic B, eds. Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design.; 2010.
LibreCat
2009 | Book Chapter | LibreCat-ID: 33813
Zabel H, Müller W, Gerstlauer A. Accurate RTOS Modelling and Analysis with SystemC. In: Ecker W, Müller W, Dömer R, eds. Hardware Dependent Software - Principles and Practice. Springer Verlag; 2009:233-260. doi:10.1007/978-1-4020-9436-1_9
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 33814
Ecker W, Müller W, Dömer R. Hardware-dependent Software - Introduction and Overview. In: Ecker W, Müller W, Dömer R, eds. Hardware Dependent Software - Principles and Practice. Springer Verlag; 2009:1-14. doi:10.1007/978-1-4020-9436-1_1
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky T, Xie T, Müller W. A UML Frontend for IP-XACT-based IP Management. In: Proceedings of DATE’09. IEEE; 2009. doi:10.1109/DATE.2009.5090664
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
Zabel H, Müller W. Increased Accuracy through Noise Injection in Abstract RTOS Simulation. In: Proceedings of DATE’09. ; 2009. doi:10.1109/DATE.2009.5090925
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37063
Klobedanz K, Kuznik C, Elfeky A, Müller W. Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study. In: Proceedings of IESS09. Springer Verlag; 2009. doi:10.1007/978-3-642-04284-3_20
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37064
Becker M, Zabel H, Müller W. Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. In: ; 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37061
Krupp A, Müller W. Systematic Model-in-the-Loop Test of Embedded Control Systems. In: Proceedings of IESS09. ; 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37068
Doemer R, Gerstlauer A, Müller W. Hardware-dependent Software for Multi- and Many-Core Embedded Systems. In: Proceedings of ASP-DAC’09. ; 2009.
LibreCat
2009 | Book (Editor) | LibreCat-ID: 40119
Ecker W, Müller W, Dömer R, eds. Hardware-Dependent Software. Springer Netherlands; 2009. doi:10.1007/978-1-4020-9436-1
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 34563
Vanderperren Y, Müller W, Dahaene W. UML for Electronic Systems Design – A Comprehensive Overview. Design Automation for Embedded Systems. 2008;12:261-292. doi:10.1007/s10617-008-9028-9
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 34564
Schäfer R, Müller W. Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. Journal on Multimodal User Interfaces. 2008;2(1):25-41. doi:10.1007/s12193-008-0003-3
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 33815
Großmann J, Fey I, Krupp A, Conrad M, Wewetzer C, Müller W. TestML – A Test Exchange Language for Model-based Testing of Embedded Software. In: Broy M, Krüger IH, Meisinger M, eds. ASWSD 2006: Model-Driven Development of Reliable Automotive Services. Springer Verlag; 2008:98-117. doi:10.1007/978-3-540-70930-5_7
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37075
Zabel H, Müller W. An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. Kleinjohann L, Kleinjohann B, eds. 2008;271. doi:10.1007/978-0-387-09661-2_18
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37072
Zabel H, Müller W. Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. In: Scholl Ch, Disch S, eds. Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System. Shaker Verlag; 2008.
LibreCat
2008 | Book (Editor) | LibreCat-ID: 53583
Müller W, Wolfe J, eds. Proceedings of the 5th International DAC Workshop of UML for SoC Design.; 2008.
LibreCat
2008 | Book (Editor) | LibreCat-ID: 53594
Wolfe J, Müller W, eds. Proceedings of the 4th DAC Workshop on UML for SOC Design .; 2008.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37076
Zabel H, Müller W. Simulation mit abstrakten RTOS Modellen in SystemC. 2007;6(4).
LibreCat
2007 | Conference Paper | LibreCat-ID: 37083
Krupp A, Müller W. Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage. In: Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007). ; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37080
Großmann J, Fey I, Conrad M, Wewetzer Ch, Müller W. TestML - A Test Exchange Language for Model-based Testing of Embedded Software. In: Proceedings of the Automotive Software Workshop ’06. ; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37079
Müller W. On the Use and Misuse of UML- Application of Diagrams in Engineering. In: Proceedings of the UML for SoC Design Workshop at DAC’07. ; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37085
Schäfer R, Müller W, Marin-López A, Díaz-Sánchez D. Using Smart Cards for Secure and Device Independent User Interfaces. In: Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007). ; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38106
Marin A, Müller W, Schäfer R, Almenarez F, Diaz D, Ziegler M. Middleware for Secure Home Access and Control. In: Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007). IEEE; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38100
Schäfer R, Müller W, Marin-López A, Díaz-Sánchez D. Device Independent User Interfaces for Smart Cards. In: Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007). ; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38104
Schäfer R, Müller W, Deimann R, Kleinjohann B. A Low-Cost Positioning System for Location-Aware Applications in Smart Homes. In: Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007. ; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38102
Schäfer R, Müller W. Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal. In: Proceedings of IWUMUI’2007 at HCI’2007. ; 2007.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38533
Müller W, Vanderperren Y. UML and Model-Driven Development for SoC Design. In: Proceedings of CODES/ISSS. ; 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38537
Schäfer R, Müller W, Groppe J. Profile Processing and Evolution for Smart Environments. In: Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06). ; 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38538
Müller W, Zabel H. Towards a Unified Behavioural Modelling Language. In: Proceedings of the UML-SoC Workshop at DAC 2006. ; 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38536
Müller W. UML - The Emerging Hardware Description Language? In: Proc. of FDL’06. ; 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38540
Lavagno L, Müller W. UML: A Next Generation Language for SoC Design. In: ; 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38543
Schäfer R, Bleul S, Müller W. Dialog Modelling for Multiple Devices and Multiple Interaction Modalities. In: Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006). ; 2006. doi:10.1007/978-3-540-70816-2_4
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38784
Krupp A, Müller W. Classification Trees for Functional Coverage and Random Test Generation. In: Proceedings of the Design Automation & Test in Europe Conference. IEEE; 2006. doi:10.1109/DATE.2006.243902
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 39028
Schäfer R, Ziegler M, Müller W. Securing Personal Data in Smart Home Environments. In: Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006). ; 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38107
Großmann J, Müller W. A Formal Behavioral Semantics for TestML. In: Proc. of ISOLA 06. ; 2006. doi:10.1109/ISoLA.2006.37
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38109
Müller W, Rosti A, Bocchio S, Riccobene E. UML for ESL Design - Basic Principles, Tools, and Applications. In: Proc. of ICCAD’06. ; 2006.
LibreCat
2005 | Book Chapter | LibreCat-ID: 33822
Schattkowsky T, Müller W, Rettberg A. Model Based Specification for Platform Independent Hardware Execution. In: Martin G, Müller W, eds. UML for SoC Design. Kluwer; 2005:63-88.
LibreCat
2005 | Book Chapter | LibreCat-ID: 33824
Martin G, Müller W. When Worlds Collide: Can UML help SoC Design? In: Martin G, Müller W, eds. UML for SoC Design. Kluwer; 2005:1-15.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable Specification on Reconfigurable Hardware. In: Proceedings of DATE’05. IEEE; 2005. doi:10.1109/DATE.2005.20
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky T, Müller W. A UML Virtual Machine for Embedded Systems. In: Proceedings of ISNG 05. ; 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky T, Müller W. Transformation of UML State Machines for Direct Execution. In: Proceedings of VL/HCC 05. ; 2005. doi:10.1109/VLHCC.2005.64
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39036
Krupp A, Müller W. Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme. Published online 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39038
Krupp A, Müller W. Modelchecking von Klassifikationsbaum-Testsequenzen. Published online 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39039
Zabel H, Müller W. Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation. Published online 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39041
Bleul S, Schäfer R, Müller W. A Dialog Model for Multi Device Interfaces with Different Modalities. In: Proceedings of the HCI International 2005. ; 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39050
Ziegler M, Müller W, Schäfer R, Loeser C. Secure Profile Management in Smart Home Networks. In: Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). IEEE; 2005. doi:10.1109/DEXA.2005.171
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39052
Groppe J, Müller W. Profile Management technology for Smart Customization in Private Home Applications. In: Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). IEEE; 2005. doi:10.1109/DEXA.2005.156
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
Flake S, Müller W, Pape U, Ruf J. Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel J, et al., eds. Integration of Software Specification Techniques for Applications in Engineering. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag; 2004:206-226. doi:10.1007/978-3-540-27863-4_13
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
Schattkowsky T, Müller W, Pawlak A. Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In: Fischer L, ed. Workflow Handbook 2004. Workflow Management Coalition (WfMC); 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
Krupp A, Müller W. Refinement of Finite State Machines with Complementary Model Checking. In: Mermet J, ed. UML-B System Specification for Proven Electronic Design. Kluwer; 2004:155-168.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
Krupp A, Müller W, Oliver I. Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: Grimm Ch, ed. Best of FDL’03. Kluwer; 2004:301-314.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp A, Müller W, Oliver I. The Echo Cancellation Unit Case Study. In: Mermet J, ed. UML-B System Specification for Proven Electronic Design. Kluwer; 2004:227-240.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
Müller W, Schäfer R, Bleul S. Interactive Multimodal User Interfaces for Mobile Devices. In: Proceedings of HICCS-37. ; 2004. doi:10.1109/HICSS.2004.1265674
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi M, Ecker W, Kruse T, Müller W. The Formal Simulation Semantics of SystemVerilog. In: Proceedings of FDL’04. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39060
Schattkowsky T, Müller W. Model-Based Specification and Execution of Embedded Real-Time Systems. In: Proceedings of DATE’04. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo Cancellation Unit. In: Proceedings of DATE’04 Designers’ Forum. ; 2004. doi:10.1109/DATE.2004.1269214
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39063
Müller W, Paelke V. A Formal Model of a Framework for Simulation-Based Animation. In: Proceedings of the Simulation and Visualisation 2004. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky T, Loeser C, Müller W. Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. In: Proceedings of AINA2004. IEEE; 2004. doi:10.1109/AINA.2004.1283977
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake S, Müller W. Past- and Future-Oriented Time-Bound Temporal Properties with OCL. In: Proceedings of SEFM´04. IEEE; 2004. doi:10.1109/SEFM.2004.1347516
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39065
Gausemeier J, Müller W, Bauch J, Radkowski W, Shen T, Paelke V. Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality. In: Proceedings of the Simulation and Visualisation 2004. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39068
Schattkowsky T, Müller W. Model-Based Design of Embedded Systems. In: Proceedings of ISORC’04. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39078
Gausemeier J, Müller W, Paelke V, Bauch J, Shen Q, Radkowski R. Virtual Prototyping Of Self-Optimizing Mechatronic Systems. In: Proceedings of the Design 2004. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39075
Loeser C, Schäfer R, Müller W, Borowski M. RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control. In: Proceedings of SCI’04. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39082
Bleul S, Müller W, Schäfer R. Multimodal Dialog Description for Mobile Devices. In: Proceedings of AVI 2004. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39350
Schäfer R, Bleul S, Müller W. A Novel Dialog Model for the Design of Multimodal User Interfaces. In: Proceedings of EHCI-DSVIS 2005. Lecture Notes in Computer Science . ; 2004.
LibreCat
2004 | Book (Editor) | LibreCat-ID: 53585
Müller W, Martin G, eds. Proceedings of the 1st International DAC Workshop of UML for SoC Design.; 2004.
LibreCat
2004 | Patent | LibreCat-ID: 53589
Dangberg A, Müller W. Control method for disposing graphical elements. Published online 2004.
LibreCat
2003 | Book Chapter | LibreCat-ID: 34446
Müller W, Ruf J, Rosenstiel W. An ASM Based SystemC Simulation Semantics. In: Müller W, Ruf J, Rosenstiel W, eds. SystemC - Methodologies and Applications. Kluwer; 2003:97-126. doi:10.1007/0-306-48735-7_4
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake S, Müller W. Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Journal on Software and System Modeling (SoSyM). 2003;2(3):164-186. doi:10.1007/s10270-003-0026-x
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 39357
Kostienko T, Müller W, Pawlak A, Schattkowsky T. An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation. In: Proceedings of CE 2003. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39355
Loeser C, Müller W, Berger F, Eikerling H-J. Peer-to-Peer for Virtual Home Environments. In: Proceedings of HICCS-36. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39354
Eikerling H-J, Müller W, Schattkowski T, Wegner J. Tool Integration and Management in Heterogeneous Computer Networks. In: Proceedings of DATE’03. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39365
Schäfer R, Müller W. Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks. In: Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39364
Flake S, Müller W. Expressing Property Specification Patterns with OCL. In: Proceedings of SERP’03. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39366
Schattkowsky T, Müller W. Distributed Engineering Environment for the Design of Electronic Systems. In: Proceedings of CCE’03. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
Flake S, Müller W. Semantics of State-Oriented Expressions in the Object Constraint Language. In: Proceedings of SEKE 2003. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39367
Wang J, Müller W. SmartCard for Secure Collaborative Engineering. In: Proceedings of CCE’03. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
Krupp A, Müller W. Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten. Published online 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39368
Krupp A, Müller W. Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: Proceedings of FDL’03. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
Flake S, Müller W. Formal Semantics of OCL Messages. In: Proceedings of the Workshop OCL 2.0 at UML 2003. ; 2003.
LibreCat
2002 | Book Chapter | LibreCat-ID: 34447
Flake S, Müller W. An OCL Extension for Real-Time Constraints. In: Clark T, Warmer J, eds. Advances in Object Modelling with the OCL. Springer-Verlag; 2002:150-171. doi:10.1007/3-540-45669-4_8
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 34576
Eikerling HJ, Müller W, Wegener J. Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken. it+ti. Published online 2002:128-136.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39371
Schäfer R, Dangberg A, Müller W. RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents. In: Proceedings of the VHE Workshop. ; 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39370
Loeser C, Altenbernd P, Ditze M, Müller W. Distributed Video-on-Demand Services on Peer to Peer Basis. In: Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002). ; 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39378
Schäfer R, Müller W, Dangberg A. Fuzzy Rules for the Transcoding of HTML Files. In: Proceedings of the HICSS-35. ; 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39398
Flake S, Müller W. A UML Profile for Real-Time Constraints with the OCL. In: Proceedings of the UML 2002 - The Unified Modeling Language. Springer-Verlag; 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39393
Dangelmeier W, Darnedde C, Flake S, Müller W, Pape U. Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen. Published online 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39382
Müller W, Dömer R, Gerstlauer A. The Formal Execution Semantics of SpecC. In: Proceedings of the ISSS02. ; 2002. doi:10.1145/581199.581234
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39387
Plomp J, Schäfer R, Müller W. Comparing Transcoding Tools for Use with a Generic User Interface Format. In: Proceedings of the Extreme Markup Languages 2002. ; 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39403
Flake S, Müller W. Specification of Real-Time Properties for UML Models. In: Proceedings of HICSS-35. ; 2002. doi:10.1109/HICSS.2002.994469
LibreCat
| DOI