A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis
F. Mischkalla, W. Müller, D. He, in: Proceedings of the M-BED Workshop, Dresden, 2010.
LibreCat: /record/37042

Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen
A. Bol, W. Müller, A. Krupp, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), Dresden, 2010.
LibreCat: /record/37043

The SATURN Approach to SysML-based HW/SW Codesign
W. Müller, D. He, F. Mischkalla, A. Wegele, A. Larkham, P. Whiston, P. Penil, E. Villar, N. Mitas, D. Kritharidis, F. Azcarate, M. Carballeda, in: Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010.
LibreCat: /record/37050
DOI: 10.1007/978-94-007-1488-5_9

Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems
W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat: /record/37048
DOI: 10.1007/978-3-642-15234-4_9

Mutation-Analysis Directed Constrained Random Verification
T. Xie, F. Letombe, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat: /record/37049

An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs
T. Xie, G.B. Defo, W. Müller, in: Paris, 2010.
LibreCat: /record/37051

Verification of a CAN Bus Model in SystemC with Functional Coverage
G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE,  Trento, Italy, 2010.
LibreCat: /record/37057
DOI: 10.1109/SIES.2010.5551379

Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks
K. Klobedanz, G.B. Defo, W. Müller, T. Kerstan, in: Proceedings of SIES 2010, Trento, Italien, 2010.
LibreCat: /record/37056
DOI: 10.1109/SIES.2010.5551384

Verification of Real-Time Properties for Hardware-Dependant Software
W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLD, IEEE, 2010.
LibreCat: /record/37053

Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration
M.F.S. Oliveira, F.A.M. do Nascimento, W. Müller, in: Proceedings of MoMPES 2010, Antwerp, Belgium, 2010.
LibreCat: /record/37060

Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design
S. Gerard, W. Müller, L. Rioux, B. Selic, eds., Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design, Dresden, Germany, 2010.
LibreCat: /record/53582

Accurate RTOS Modelling and Analysis with SystemC
H. Zabel, W. Müller, A. Gerstlauer, in: W. Ecker, W. Müller, R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice, Springer Verlag, Dordrecht, 2009, pp. 233–260.
LibreCat: /record/33813
DOI: 10.1007/978-1-4020-9436-1_9

Hardware-dependent Software - Introduction and Overview
W. Ecker, W. Müller, R. Dömer, in: W. Ecker, W. Müller, R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice, Springer Verlag, Dordrecht, 2009, pp. 1–14.
LibreCat: /record/33814
DOI: 10.1007/978-1-4020-9436-1_1

A UML Frontend for IP-XACT-based IP Management
T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice, France, 2009.
LibreCat: /record/37067
DOI: 10.1109/DATE.2009.5090664

Increased Accuracy through Noise Injection in Abstract RTOS Simulation
H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.
LibreCat: /record/37066
DOI: 10.1109/DATE.2009.5090925

Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study
K. Klobedanz, C. Kuznik, A. Elfeky, W. Müller, in: Proceedings of IES, Springer Verlag, 2009.
LibreCat: /record/37063
DOI: 10.1007/978-3-642-04284-3_20

Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme
M. Becker, H. Zabel, W. Müller, in: 2009.
LibreCat: /record/37064

Systematic Model-in-the-Loop Test of Embedded Control Systems
A. Krupp, W. Müller, in: Proceedings of IES, Friedrichshafen, 2009.
LibreCat: /record/37061

Hardware-dependent Software for Multi- and Many-Core Embedded Systems
R. Doemer, A. Gerstlauer, W. Müller, in: Proceedings of ASP-DAC’09, Yokohama, Japan, 2009.
LibreCat: /record/37068

Hardware-dependent Software
W. Ecker, W. Müller, R. Dömer, eds., Hardware-Dependent Software, Springer Netherlands, Dordrecht, 2009.
LibreCat: /record/40119
DOI: 10.1007/978-1-4020-9436-1

UML for Electronic Systems Design – A Comprehensive Overview
Y. Vanderperren, W. Müller, W. Dahaene, Design Automation for Embedded Systems 12 (2008) 261–292.
LibreCat: /record/34563
DOI: 10.1007/s10617-008-9028-9

Assessment of a Multimodal Interaction and Rendering System against Established Design Principles
R. Schäfer, W. Müller, Journal on Multimodal User Interfaces 2 (2008) 25–41.
LibreCat: /record/34564
DOI: 10.1007/s12193-008-0003-3

TestML – A Test Exchange Language for Model-based Testing of Embedded Software
J. Großmann, I. Fey, A. Krupp, M. Conrad, C. Wewetzer, W. Müller, in: M. Broy, I.H. Krüger, M. Meisinger (Eds.), ASWSD 2006: Model-Driven Development of Reliable Automotive Services, Springer Verlag, Berlin, Heidelberg, 2008, pp. 98–117.
LibreCat: /record/33815
DOI: 10.1007/978-3-540-70930-5_7

An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration
H. Zabel, W. Müller, 271 (2008).
LibreCat: /record/37075
DOI: 10.1007/978-0-387-09661-2_18

Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC
H. Zabel, W. Müller, in: Ch. Scholl, S. Disch (Eds.), Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System, Shaker Verlag, Aachen, 2008.
LibreCat: /record/37072

Proceedings of the 5th International DAC Workshop of UML for SoC Design
W. Müller, J. Wolfe, eds., Proceedings of the 5th International DAC Workshop of UML for SoC Design, Anaheim, CA, USA, 2008.
LibreCat: /record/53583

Proceedings of the 4th DAC Workshop on UML for SOC Design 
J. Wolfe, W. Müller, eds., Proceedings of the 4th DAC Workshop on UML for SOC Design , Anaheim CA, USA, 2008.
LibreCat: /record/53594

Simulation mit abstrakten RTOS Modellen in SystemC
H. Zabel, W. Müller, 6 (2007).
LibreCat: /record/37076

Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage
A. Krupp, W. Müller, in: Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007), Prague, Czech Republic, 2007.
LibreCat: /record/37083

TestML - A Test Exchange Language for Model-based Testing of Embedded Software
J. Großmann, I. Fey, M. Conrad, Ch. Wewetzer, W. Müller, in: Proceedings of the Automotive Software Workshop ’06, 2007.
LibreCat: /record/37080

On the Use and Misuse of UML- Application of Diagrams in Engineering
W. Müller, in: Proceedings of the UML for SoC Design Workshop at DAC’07, San Diego, USA, 2007.
LibreCat: /record/37079

Using Smart Cards for Secure and Device Independent User Interfaces
R. Schäfer, W. Müller, A. Marin-López, D. Díaz-Sánchez, in: Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007), Singapore, 2007.
LibreCat: /record/37085

Middleware for Secure Home Access and Control
A. Marin, W. Müller, R. Schäfer, F. Almenarez, D. Diaz, M. Ziegler, in: Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007), IEEE, White Plains, New York, USA, 2007.
LibreCat: /record/38106

Device Independent User Interfaces for Smart Cards
R. Schäfer, W. Müller, A. Marin-López, D. Díaz-Sánchez, in: Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileH), Singapore, 2007.
LibreCat: /record/38100

A Low-Cost Positioning System for Location-Aware Applications in Smart Homes
R. Schäfer, W. Müller, R. Deimann, B. Kleinjohann, in: Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007, San Jose, USA, 2007.
LibreCat: /record/38104

Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal
R. Schäfer, W. Müller, in: Proceedings of IWUMUI’2007 at HCI’2007, Lancaster, United Kingdom, 2007.
LibreCat: /record/38102

UML and Model-Driven Development for SoC Design
W. Müller, Y. Vanderperren, in: Proceedings of CODES/ISSS, Seoul, Korea, 2006.
LibreCat: /record/38533

Profile Processing and Evolution for Smart Environments
R. Schäfer, W. Müller, J. Groppe, in: Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06), Wuhan, China, 2006.
LibreCat: /record/38537

Towards a Unified Behavioural Modelling Language
W. Müller, H. Zabel, in: Proceedings of the UML-SoC Workshop at DAC 2006, San Francisco, USA, 2006.
LibreCat: /record/38538

UML - The Emerging Hardware Description Language?
W. Müller, in: Proc. of FDL’06, Darmstadt, 2006.
LibreCat: /record/38536

UML: A Next Generation Language for SoC Design
L. Lavagno, W. Müller, in: 2006.
LibreCat: /record/38540

Dialog Modelling for Multiple Devices and Multiple Interaction Modalities
R. Schäfer, S. Bleul, W. Müller, in: Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006), Hasselt, Belgium, 2006.
LibreCat: /record/38543
DOI: 10.1007/978-3-540-70816-2_4

Classification Trees for Functional Coverage and Random Test Generation
A. Krupp, W. Müller, in: Proceedings of the Design Automation &; Test in Europe Conference, IEEE, Munich, Germany, 2006.
LibreCat: /record/38784
DOI: 10.1109/DATE.2006.243902

Securing Personal Data in Smart Home Environments
R. Schäfer, M. Ziegler, W. Müller, in: Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006), Montreal, Canada, 2006.
LibreCat: /record/39028

A Formal Behavioral Semantics for TestML
J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.
LibreCat: /record/38107
DOI: 10.1109/ISoLA.2006.37

UML for ESL Design - Basic Principles, Tools, and Applications
W. Müller, A. Rosti, S. Bocchio, E. Riccobene, in: Proc. of ICCAD’06, San Jose, USA, 2006.
LibreCat: /record/38109

Model Based Specification for Platform Independent Hardware Execution
T. Schattkowsky, W. Müller, A. Rettberg, in: G. Martin, W. Müller (Eds.), UML for SoC Design, Kluwer, 2005, pp. 63–88.
LibreCat: /record/33822

When Worlds Collide: Can UML help SoC Design?
G. Martin, W. Müller, in: G. Martin, W. Müller (Eds.), UML for SoC Design, Kluwer, 2005, pp. 1–15.
LibreCat: /record/33824

A Model-Based Approach for Executable Specification on Reconfigurable Hardware
T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE, Munich, Germany , 2005.
LibreCat: /record/39029
DOI: 10.1109/DATE.2005.20

A UML Virtual Machine for Embedded Systems
T. Schattkowsky, W. Müller, in: Proceedings of ISNG 05, Las Vegas, NV, 2005.
LibreCat: /record/39030

Transformation of UML State Machines for Direct Execution
T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA, 2005.
LibreCat: /record/39032
DOI: 10.1109/VLHCC.2005.64

Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme
A. Krupp, W. Müller, (2005).
LibreCat: /record/39036

Modelchecking von Klassifikationsbaum-Testsequenzen
A. Krupp, W. Müller, (2005).
LibreCat: /record/39038

Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation
H. Zabel, W. Müller, (2005).
LibreCat: /record/39039

A Dialog Model for Multi Device Interfaces with Different Modalities
S. Bleul, R. Schäfer, W. Müller, in: Proceedings of the HCI International 2005, Las Vegas, NV, 2005.
LibreCat: /record/39041

Secure Profile Management in Smart Home Networks
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.
LibreCat: /record/39050
DOI: 10.1109/DEXA.2005.171

Profile Management technology for Smart Customization in Private Home Applications
J. Groppe, W. Müller, in: Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005), IEEE, Copenhagen, Denmark , 2005.
LibreCat: /record/39052
DOI: 10.1109/DEXA.2005.156

Specification and Formal Verification of Temporal Properties of Production Automation Systems
S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.
LibreCat: /record/33825
DOI: 10.1007/978-3-540-27863-4_13

Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering
T. Schattkowsky, W. Müller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition (WfMC), Lighthouse Point, FL, USA, 2004.
LibreCat: /record/33827

Refinement of Finite State Machines with Complementary Model Checking
A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.
LibreCat: /record/33830

Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314.
LibreCat: /record/33829

The Echo Cancellation Unit Case Study
A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.
LibreCat: /record/33832

Interactive Multimodal User Interfaces for Mobile Devices
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
LibreCat: /record/39053
DOI: 10.1109/HICSS.2004.1265674

The Formal Simulation Semantics of SystemVerilog
M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.
LibreCat: /record/39055

Model-Based Specification and Execution of Embedded Real-Time Systems
T. Schattkowsky, W. Müller, in: Proceedings of DATE’04, Paris, 2004.
LibreCat: /record/39060

Formal Refinement and Model Checking of An Echo Cancellation Unit
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
LibreCat: /record/39061
DOI: 10.1109/DATE.2004.1269214

A Formal Model of a Framework for Simulation-Based Animation
W. Müller, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
LibreCat: /record/39063

Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AIN04, IEEE, Fukuoka, Japan , 2004.
LibreCat: /record/39071
DOI: 10.1109/AINA.2004.1283977

Past- and Future-Oriented Time-Bound Temporal Properties with OCL
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
LibreCat: /record/39069
DOI: 10.1109/SEFM.2004.1347516

Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality
J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
LibreCat: /record/39065

Model-Based Design of Embedded Systems
T. Schattkowsky, W. Müller, in: Proceedings of ISORC’04, WIen, 2004.
LibreCat: /record/39068

Virtual Prototyping Of Self-Optimizing Mechatronic Systems
J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, R. Radkowski, in: Proceedings of the Design 2004, Dubrovnik, 2004.
LibreCat: /record/39078

RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control
C. Loeser, R. Schäfer, W. Müller, M. Borowski, in: Proceedings of SCI’04, Orlando, USA, 2004.
LibreCat: /record/39075

Multimodal Dialog Description for Mobile Devices
S. Bleul, W. Müller, R. Schäfer, in: Proceedings of AVI 2004, Gallipoli, Italy, 2004.
LibreCat: /record/39082

A Novel Dialog Model for the Design of Multimodal User Interfaces
R. Schäfer, S. Bleul, W. Müller, in: Proceedings of EHCI-DSVIS 2005, Tremsbüttel, Hamburg, 2004.
LibreCat: /record/39350

Proceedings of the 1st International DAC Workshop of UML for SoC Design
W. Müller, G. Martin, eds., Proceedings of the 1st International DAC Workshop of UML for SoC Design, San Diego CA, USA, 2004.
LibreCat: /record/53585

Control method for disposing graphical elements
A. Dangberg, W. Müller, (2004).
LibreCat: /record/53589

An ASM Based SystemC Simulation Semantics
W. Müller, J. Ruf, W. Rosenstiel, in: W. Müller, J. Ruf, W. Rosenstiel (Eds.), SystemC - Methodologies and Applications, Kluwer, Dordrecht, 2003, pp. 97–126.
LibreCat: /record/34446
DOI: 10.1007/0-306-48735-7_4

Formal Semantics of Static and Temporal State-Oriented OCL Constraints
S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003) 164–186.
LibreCat: /record/34565
DOI: 10.1007/s10270-003-0026-x

An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation
T. Kostienko, W. Müller, A. Pawlak, T. Schattkowsky, in: Proceedings of CE 2003, Madeira, Portugal, 2003.
LibreCat: /record/39357

Peer-to-Peer for Virtual Home Environments
C. Loeser, W. Müller, F. Berger, H.-J. Eikerling, in: Proceedings of HICCS-36, Hawaii, USA, 2003.
LibreCat: /record/39355

Tool Integration and Management in Heterogeneous Computer Networks
H.-J. Eikerling, W. Müller, T. Schattkowski, J. Wegner, in: Proceedings of DATE’03, Munich, Germany, 2003.
LibreCat: /record/39354

Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks
R. Schäfer, W. Müller, in: Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing, Acapulco, Mexico, 2003.
LibreCat: /record/39365

Expressing Property Specification Patterns with OCL
S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.
LibreCat: /record/39364

Distributed Engineering Environment for the Design of Electronic Systems
T. Schattkowsky, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.
LibreCat: /record/39366

Semantics of State-Oriented Expressions in the Object Constraint Language
S. Flake, W. Müller, in: Proceedings of SEKE 2003, San Francisco, 2003.
LibreCat: /record/39363

SmartCard for Secure Collaborative Engineering
J. Wang, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.
LibreCat: /record/39367

Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten
A. Krupp, W. Müller, (2003).
LibreCat: /record/39360

Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
A. Krupp, W. Müller, in: Proceedings of FDL’03, Frankfurt, Germany, 2003.
LibreCat: /record/39368

Formal Semantics of OCL Messages
S. Flake, W. Müller, in: Proceedings of the Workshop OCL 2.0 at UML 2003, San Francisco, USA, 2003.
LibreCat: /record/39369

An OCL Extension for Real-Time Constraints
S. Flake, W. Müller, in: T. Clark, J. Warmer (Eds.), Advances in Object Modelling with the OCL, Springer-Verlag, Berlin, Heidelberg, 2002, pp. 150–171.
LibreCat: /record/34447
DOI: 10.1007/3-540-45669-4_8

Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken
H.J. Eikerling, W. Müller, J. Wegener, It+ti (2002) 128–136.
LibreCat: /record/34576

RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents
R. Schäfer, A. Dangberg, W. Müller, in: Proceedings of the VHE Workshop, Paderborn, Germany, 2002.
LibreCat: /record/39371

Distributed Video-on-Demand Services on Peer to Peer Basis
C. Loeser, P. Altenbernd, M. Ditze, W. Müller, in: Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), 2002.
LibreCat: /record/39370

Fuzzy Rules for the Transcoding of HTML Files
R. Schäfer, W. Müller, A. Dangberg, in: Proceedings of the HICSS-35, Hawaii, USA, 2002.
LibreCat: /record/39378

A UML Profile for Real-Time Constraints with the OCL
S. Flake, W. Müller, in: Proceedings of the UML 2002 - The Unified Modeling Language, Springer-Verlag, Dresden, Germany, 2002.
LibreCat: /record/39398

Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen
W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, U. Pape, (2002).
LibreCat: /record/39393

The Formal Execution Semantics of SpecC
W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISS, Nagoya, Japan, 2002.
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

Comparing Transcoding Tools for Use with a Generic User Interface Format
J. Plomp, R. Schäfer, W. Müller, in: Proceedings of the Extreme Markup Languages 2002, Montreal, Canada, 2002.
LibreCat: /record/39387

Specification of Real-Time Properties for UML Models
S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469