Wolfgang Müller

Universität Paderborn

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:

Wolfgang Müller
Wolfgang Müller - Universität Bamberg, Medieninformatik

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008

44 EE Henning Zabel, Wolfgang Müller: An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. DIPES 2008: 181-190

2006

43 EE Juergen Grossmann, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, Wolfgang Müller: TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. ASWSD 2006: 98-117

42 EE Alexander Krupp, Wolfgang Müller: Classification trees for random tests and functional coverage. DATE 2006: 1031-1032

2005

41 EE Tim Schattkowsky, Wolfgang Müller, Achim Rettberg: A Model-Based Approach for Executable Specifications on Reconfigurable Hardware. DATE 2005: 692-697

40 EE Max Ziegler, Wolfgang Müller, Robbie Schaefer, Chris Loeser: Secure Profile Management in Smart Home Networks. DEXA Workshops 2005: 209-213

39 Alexander Krupp, Wolfgang Müller: Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente. GI Jahrestagung (2) 2005: 191-195

38 EE Tim Schattkowsky, Wolfgang Müller: Transformation of UML State Machines for Direct Execution. VL/HCC 2005: 117-124

2004

37 EE Tim Schattkowsky, Christoph Loeser, Wolfgang Müller: Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. AINA (1) 2004: 611-617

36 EE Alexander Krupp, Wolfgang Müller, Ian Oliver: Formal Refinement and Model Checking of an Echo Cancellation Unit. DATE 2004: 102-107

35 EE Tim Schattkowsky, Wolfgang Müller: Model-Based Specification and Execution of Embedded Real-Time Systems. DATE 2004: 1392-1393

34 EE Tim Schattkowsky, Wolfgang Müller: Model-Based Design of Embedded Systems. ISORC 2004: 121-128

33 EE Stephan Flake, Wolfgang Müller: Past- and Future-Oriented Time-Bounded Temporal Properties with OCL. SEFM 2004: 154-163

32 Wolfgang Müller, Volker Paelke: A Formal Model of a Framework for Simulation-Based Animation. SimVis 2004: 165-178

31 Jürgen Gausemeier, Jochen Bauch, Rafael Radkowski, Qing Shen, Wolfgang Müller, Volker Paelke: Lösungselement-basiertes Virtual Prototyping von selbstoptimierenden mechatronischen Systemen. SimVis 2004: 275-286

30 EE Stephan Flake, Wolfgang Müller, Ulrich Pape, Jürgen Ruf: Specification and Formal Verification of Temporal Properties of Production Automation Systems. SoftSpez Final Report 2004: 206-226

29 EE Stephan Flake, Wolfgang Müller: An ASM Definition of the Dynamic OCL 2.0 Semantics. UML 2004: 226-240

28 EE Stephan Flake, Wolfgang Müller: Formal Semantics of OCL Messages. Electr. Notes Theor. Comput. Sci. 102: 77-97 (2004)

2003

27 EE Wolfgang Müller, Tim Schattkowsky, Heinz-Josef Eikerling, Jan Wegner: Dynamic Tool Integration in Heterogeneous Computer Networks. DATE 2003: 10946-10953

26 EE Alexander Krupp, Wolfgang Müller: Combining Formal Refinement and Model Checking for Real-Time Systems Verification. FDL 2003: 515-525

25 EE Chris Loeser, Wolfgang Müller, Frank Berger, Heinz-Josef Eikerling: Peer-to-Peer Networks for Virtual Home Environments. HICSS 2003: 282

24 Tomasz Kostienko, Wolfgang Müller, Adam Pawlak, Tim Schattkowsky: An advanced infrastructure for collaborative engineering in electronic design automation. ISPE CE 2003: 703-710

23 Stephan Flake, Wolfgang Müller: Semantics of State-Oriented Expressions in the Object Constraint Language. SEKE 2003: 142-149

22 Stephan Flake, Wolfgang Müller: Expressing Property Specification Patterns with OCL. Software Engineering Research and Practice 2003: 595-603

21 EE Stephan Flake, Wolfgang Müller: Formal semantics of static and temporal state-oriented OCL constraints. Software and System Modeling 2(3): 164-186 (2003)

2002

20 EE Stephan Flake, Wolfgang Müller: Specification of Real-Time Properties for UML Models. HICSS 2002: 277

19 EE Stephan Flake, Wolfgang Müller: An OCL Extension for Real-Time Constraints. Object Modeling with the OCL 2002: 150-171

18 EE Stephan Flake, Wolfgang Müller: A UML Profile for Real-Time Constraints with the OCL. UML 2002: 179-195

2001

17 EE Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller: The simulation semantics of systemC. DATE 2001: 64-70

16 EE Wolfgang Müller, Arne Meyer, Henning Zabel: A Language for the Rapid Prototyping of Mobile Evolving Agents. HICSS 2001

15 EE Stephan Flake, Christian Geiger, Wolfgang Müller, Volker Paelke, Waldemar Rosenbach, Jürgen Ruf: Customer-Oriented Systems Design through Virtual Prototypes. WETICE 2001: 263-268

2000

14 Arnulf Braatz, Stephan Flake, Wolfgang Müller, Engelbert Westkämper: Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung. SimVis 2000: 319-332

13 EE Wolfgang Müller, Arne Meyer, Henning Zabel: A Visual Framework for the Scripting of Parallel Agents. VL 2000: 77-78

1999

12 EE Marita Dücker, Wolfgang Müller, Jessica Rubart: Innovative Concepts for Configuring Shared Workspaces through Visual Programming. HICSS 1999

11 EE Christian Geiger, Georg Lehrenfeld, Wolfgang Müller: Visual Specification, Modelling, and Illustration of Complex Systems. HICSS 1999

10 Christian Geiger, Georg Lehrenfeld, Wolfgang Müller: Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation. SimVis 1999: 139-152

1998

9 Christian Geiger, Wolfgang Müller: Visuelle Spezifikation, Modellierung und Animation im Systementwurf. SimVis 1998: 206-220

8 Christian Geiger, Wolfgang Müller, Waldemar Rosenbach: SAM - An Animated 3D Programming Language. VL 1998: 228-235

7 Marita Dücker, Wolfgang Müller, Jessica Rubart: VIPspace - A Visual Programmable Shared Workspace. VL 1998: 94-95

1997

6 EE Marita Dücker, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl: A generic system for interactive real-time animation. ECBS 1997: 263-270

5 Marita Dücker, Christian Geiger, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl: A Visual Language for Qualitative Data. VL 1997: 272-273

4 Marita Dücker, Christian Geiger, Ralf Hunstock, Georg Lehrenfeld, Wolfgang Müller: Visual-Textual Prototyping of 4D Scenes. VL 1997: 332-339

1996

3 Peer Griebel, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl, Holger Uhr: Integrating a Constraint Solver into a Real-Time Animation Environment. VL 1996: 12-19

2 Christian Geiger, Ralf Hunstock, Georg Lehrenfeld, Wolfgang Müller, J. Quintanilla, Christoph Tahedl, A. Weber: Visual Modeling and 3D-Representation with a Complete Visual Programming Language - A Case Study in Manufacturing. VL 1996: 304-305

1995

1 EE Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl: Transforming SDL Diagrams into a Complete Visual Representation. VL 1995: 148-155

2008
44	EE	Henning Zabel, Wolfgang Müller: An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. DIPES 2008: 181-190
2006
43	EE	Juergen Grossmann, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, Wolfgang Müller: TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. ASWSD 2006: 98-117
42	EE	Alexander Krupp, Wolfgang Müller: Classification trees for random tests and functional coverage. DATE 2006: 1031-1032
2005
41	EE	Tim Schattkowsky, Wolfgang Müller, Achim Rettberg: A Model-Based Approach for Executable Specifications on Reconfigurable Hardware. DATE 2005: 692-697
40	EE	Max Ziegler, Wolfgang Müller, Robbie Schaefer, Chris Loeser: Secure Profile Management in Smart Home Networks. DEXA Workshops 2005: 209-213
39		Alexander Krupp, Wolfgang Müller: Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente. GI Jahrestagung (2) 2005: 191-195
38	EE	Tim Schattkowsky, Wolfgang Müller: Transformation of UML State Machines for Direct Execution. VL/HCC 2005: 117-124
2004
37	EE	Tim Schattkowsky, Christoph Loeser, Wolfgang Müller: Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. AINA (1) 2004: 611-617
36	EE	Alexander Krupp, Wolfgang Müller, Ian Oliver: Formal Refinement and Model Checking of an Echo Cancellation Unit. DATE 2004: 102-107
35	EE	Tim Schattkowsky, Wolfgang Müller: Model-Based Specification and Execution of Embedded Real-Time Systems. DATE 2004: 1392-1393
34	EE	Tim Schattkowsky, Wolfgang Müller: Model-Based Design of Embedded Systems. ISORC 2004: 121-128
33	EE	Stephan Flake, Wolfgang Müller: Past- and Future-Oriented Time-Bounded Temporal Properties with OCL. SEFM 2004: 154-163
32		Wolfgang Müller, Volker Paelke: A Formal Model of a Framework for Simulation-Based Animation. SimVis 2004: 165-178
31		Jürgen Gausemeier, Jochen Bauch, Rafael Radkowski, Qing Shen, Wolfgang Müller, Volker Paelke: Lösungselement-basiertes Virtual Prototyping von selbstoptimierenden mechatronischen Systemen. SimVis 2004: 275-286
30	EE	Stephan Flake, Wolfgang Müller, Ulrich Pape, Jürgen Ruf: Specification and Formal Verification of Temporal Properties of Production Automation Systems. SoftSpez Final Report 2004: 206-226
29	EE	Stephan Flake, Wolfgang Müller: An ASM Definition of the Dynamic OCL 2.0 Semantics. UML 2004: 226-240
28	EE	Stephan Flake, Wolfgang Müller: Formal Semantics of OCL Messages. Electr. Notes Theor. Comput. Sci. 102: 77-97 (2004)
2003
27	EE	Wolfgang Müller, Tim Schattkowsky, Heinz-Josef Eikerling, Jan Wegner: Dynamic Tool Integration in Heterogeneous Computer Networks. DATE 2003: 10946-10953
26	EE	Alexander Krupp, Wolfgang Müller: Combining Formal Refinement and Model Checking for Real-Time Systems Verification. FDL 2003: 515-525
25	EE	Chris Loeser, Wolfgang Müller, Frank Berger, Heinz-Josef Eikerling: Peer-to-Peer Networks for Virtual Home Environments. HICSS 2003: 282
24		Tomasz Kostienko, Wolfgang Müller, Adam Pawlak, Tim Schattkowsky: An advanced infrastructure for collaborative engineering in electronic design automation. ISPE CE 2003: 703-710
23		Stephan Flake, Wolfgang Müller: Semantics of State-Oriented Expressions in the Object Constraint Language. SEKE 2003: 142-149
22		Stephan Flake, Wolfgang Müller: Expressing Property Specification Patterns with OCL. Software Engineering Research and Practice 2003: 595-603
21	EE	Stephan Flake, Wolfgang Müller: Formal semantics of static and temporal state-oriented OCL constraints. Software and System Modeling 2(3): 164-186 (2003)
2002
20	EE	Stephan Flake, Wolfgang Müller: Specification of Real-Time Properties for UML Models. HICSS 2002: 277
19	EE	Stephan Flake, Wolfgang Müller: An OCL Extension for Real-Time Constraints. Object Modeling with the OCL 2002: 150-171
18	EE	Stephan Flake, Wolfgang Müller: A UML Profile for Real-Time Constraints with the OCL. UML 2002: 179-195
2001
17	EE	Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller: The simulation semantics of systemC. DATE 2001: 64-70
16	EE	Wolfgang Müller, Arne Meyer, Henning Zabel: A Language for the Rapid Prototyping of Mobile Evolving Agents. HICSS 2001
15	EE	Stephan Flake, Christian Geiger, Wolfgang Müller, Volker Paelke, Waldemar Rosenbach, Jürgen Ruf: Customer-Oriented Systems Design through Virtual Prototypes. WETICE 2001: 263-268
2000
14		Arnulf Braatz, Stephan Flake, Wolfgang Müller, Engelbert Westkämper: Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung. SimVis 2000: 319-332
13	EE	Wolfgang Müller, Arne Meyer, Henning Zabel: A Visual Framework for the Scripting of Parallel Agents. VL 2000: 77-78
1999
12	EE	Marita Dücker, Wolfgang Müller, Jessica Rubart: Innovative Concepts for Configuring Shared Workspaces through Visual Programming. HICSS 1999
11	EE	Christian Geiger, Georg Lehrenfeld, Wolfgang Müller: Visual Specification, Modelling, and Illustration of Complex Systems. HICSS 1999
10		Christian Geiger, Georg Lehrenfeld, Wolfgang Müller: Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation. SimVis 1999: 139-152
1998
9		Christian Geiger, Wolfgang Müller: Visuelle Spezifikation, Modellierung und Animation im Systementwurf. SimVis 1998: 206-220
8		Christian Geiger, Wolfgang Müller, Waldemar Rosenbach: SAM - An Animated 3D Programming Language. VL 1998: 228-235
7		Marita Dücker, Wolfgang Müller, Jessica Rubart: VIPspace - A Visual Programmable Shared Workspace. VL 1998: 94-95
1997
6	EE	Marita Dücker, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl: A generic system for interactive real-time animation. ECBS 1997: 263-270
5		Marita Dücker, Christian Geiger, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl: A Visual Language for Qualitative Data. VL 1997: 272-273
4		Marita Dücker, Christian Geiger, Ralf Hunstock, Georg Lehrenfeld, Wolfgang Müller: Visual-Textual Prototyping of 4D Scenes. VL 1997: 332-339
1996
3		Peer Griebel, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl, Holger Uhr: Integrating a Constraint Solver into a Real-Time Animation Environment. VL 1996: 12-19
2		Christian Geiger, Ralf Hunstock, Georg Lehrenfeld, Wolfgang Müller, J. Quintanilla, Christoph Tahedl, A. Weber: Visual Modeling and 3D-Representation with a Complete Visual Programming Language - A Case Study in Manufacturing. VL 1996: 304-305
1995
1	EE	Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl: Transforming SDL Diagrams into a Complete Visual Representation. VL 1995: 148-155

Coauthor Index

1 Jochen Bauch [31]

2 Frank Berger [25]

3 Arnulf Braatz [14]

4 Mirko Conrad [43]

5 Marita Dücker [4] [5] [6] [7] [12]

6 Heinz-Josef Eikerling [25] [27]

7 Ines Fey [43]

8 Stephan Flake [14] [15] [18] [19] [20] [21] [22] [23] [28] [29] [30] [33]

9 Jürgen Gausemeier [31]

10 Christian Geiger [2] [4] [5] [8] [9] [10] [11] [15]

11 Joachim Gerlach [17]

12 Peer Griebel [3]

13 Juergen Grossmann [43]

14 Dirk W. Hoffmann [17]

15 Ralf Hunstock [2] [4]

16 Tomasz Kostienko [24]

17 Thomas Kropf [17]

18 Alexander Krupp [26] [36] [39] [42] [43]

19 Georg Lehrenfeld [1] [2] [3] [4] [5] [6] [10] [11]

20 Chris Loeser (Christoph Loeser) [25] [37] [40]

21 Arne Meyer [13] [16]

22 Ian Oliver [36]

23 Volker Paelke [15] [31] [32]

24 Ulrich Pape [30]

25 Adam Pawlak [24]

26 J. Quintanilla [2]

27 Rafael Radkowski [31]

28 Achim Rettberg [41]

29 Waldemar Rosenbach [8] [15]

30 Wolfgang Rosenstiel [17]

31 Jessica Rubart [7] [12]

32 Jürgen Ruf [15] [17] [30]

33 Robbie Schaefer [40]

34 Tim Schattkowsky [24] [27] [34] [35] [37] [38] [41]

35 Qing Shen [31]

36 Christoph Tahedl [1] [2] [3] [5] [6]

37 Holger Uhr [3]

38 A. Weber [2]

39 Jan Wegner [27]

40 Engelbert Westkämper [14]

41 Christian Wewetzer [43]

42 Henning Zabel [13] [16] [44]

43 Max Ziegler [40]

1	Jochen Bauch	[31]
2	Frank Berger	[25]
3	Arnulf Braatz	[14]
4	Mirko Conrad	[43]
5	Marita Dücker	[4] [5] [6] [7] [12]
6	Heinz-Josef Eikerling	[25] [27]
7	Ines Fey	[43]
8	Stephan Flake	[14] [15] [18] [19] [20] [21] [22] [23] [28] [29] [30] [33]
9	Jürgen Gausemeier	[31]
10	Christian Geiger	[2] [4] [5] [8] [9] [10] [11] [15]
11	Joachim Gerlach	[17]
12	Peer Griebel	[3]
13	Juergen Grossmann	[43]
14	Dirk W. Hoffmann	[17]
15	Ralf Hunstock	[2] [4]
16	Tomasz Kostienko	[24]
17	Thomas Kropf	[17]
18	Alexander Krupp	[26] [36] [39] [42] [43]
19	Georg Lehrenfeld	[1] [2] [3] [4] [5] [6] [10] [11]
20	Chris Loeser (Christoph Loeser)	[25] [37] [40]
21	Arne Meyer	[13] [16]
22	Ian Oliver	[36]
23	Volker Paelke	[15] [31] [32]
24	Ulrich Pape	[30]
25	Adam Pawlak	[24]
26	J. Quintanilla	[2]
27	Rafael Radkowski	[31]
28	Achim Rettberg	[41]
29	Waldemar Rosenbach	[8] [15]
30	Wolfgang Rosenstiel	[17]
31	Jessica Rubart	[7] [12]
32	Jürgen Ruf	[15] [17] [30]
33	Robbie Schaefer	[40]
34	Tim Schattkowsky	[24] [27] [34] [35] [37] [38] [41]
35	Qing Shen	[31]
36	Christoph Tahedl	[1] [2] [3] [5] [6]
37	Holger Uhr	[3]
38	A. Weber	[2]
39	Jan Wegner	[27]
40	Engelbert Westkämper	[14]
41	Christian Wewetzer	[43]
42	Henning Zabel	[13] [16] [44]
43	Max Ziegler	[40]