Wolfgang Müller Vis

Universität Paderborn

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:

Wolfgang Müller
Wolfgang Müller - PH Weingarten / Fraunhofer IGD Darmstadt
Wolfgang Müller - Universität Bamberg, Medieninformatik

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* 2009

48 EE Rainer Dömer, Andreas Gerstlauer, Wolfgang Müller: Introduction to hardware-dependent software design hardware-dependent software for multi- and many-core embedded systems. ASP-DAC 2009: 290-292

2008

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

2006

46 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

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

44 EE Jürgen Großmann, Wolfgang Müller: A Formal Behavioral Semantics for TestML. ISoLA 2006: 441-448

2005

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

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

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

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

2004

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

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

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

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

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

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

33 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

32 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

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

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

2003

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

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

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

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

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

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

23 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

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

21 EE Rainer Dömer, Andreas Gerstlauer, Wolfgang Müller: The Formal Execution Semantics of SpecC. ISSS 2002: 150-155

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

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

2001

18 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

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

16 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

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

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

1999

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

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

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

1998

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

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

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

1997

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

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

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

1996

4 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

3 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

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

1994

1 EE Wolfgang Müller, Egon Börger, Uwe Glässer: The semantics of behavioral VHDL '93 descriptions. EURO-DAC 1994: 500-505

*	2009
48	EE	Rainer Dömer, Andreas Gerstlauer, Wolfgang Müller: Introduction to hardware-dependent software design hardware-dependent software for multi- and many-core embedded systems. ASP-DAC 2009: 290-292
	2008
47	EE	Henning Zabel, Wolfgang Müller: An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. DIPES 2008: 181-190
	2006
46	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
45	EE	Alexander Krupp, Wolfgang Müller: Classification trees for random tests and functional coverage. DATE 2006: 1031-1032
44	EE	Jürgen Großmann, Wolfgang Müller: A Formal Behavioral Semantics for TestML. ISoLA 2006: 441-448
	2005
43	EE	Tim Schattkowsky, Wolfgang Müller, Achim Rettberg: A Model-Based Approach for Executable Specifications on Reconfigurable Hardware. DATE 2005: 692-697
42	EE	Max Ziegler, Wolfgang Müller, Robbie Schaefer, Chris Loeser: Secure Profile Management in Smart Home Networks. DEXA Workshops 2005: 209-213
41		Alexander Krupp, Wolfgang Müller: Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente. GI Jahrestagung (2) 2005: 191-195
40	EE	Tim Schattkowsky, Wolfgang Müller: Transformation of UML State Machines for Direct Execution. VL/HCC 2005: 117-124
	2004
39	EE	Tim Schattkowsky, Christoph Loeser, Wolfgang Müller: Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. AINA (1) 2004: 611-617
38	EE	Alexander Krupp, Wolfgang Müller, Ian Oliver: Formal Refinement and Model Checking of an Echo Cancellation Unit. DATE 2004: 102-107
37	EE	Tim Schattkowsky, Wolfgang Müller: Model-Based Specification and Execution of Embedded Real-Time Systems. DATE 2004: 1392-1393
36	EE	Tim Schattkowsky, Wolfgang Müller: Model-Based Design of Embedded Systems. ISORC 2004: 121-128
35	EE	Stephan Flake, Wolfgang Müller: Past- and Future-Oriented Time-Bounded Temporal Properties with OCL. SEFM 2004: 154-163
34		Wolfgang Müller, Volker Paelke: A Formal Model of a Framework for Simulation-Based Animation. SimVis 2004: 165-178
33		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
32	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
31	EE	Stephan Flake, Wolfgang Müller: An ASM Definition of the Dynamic OCL 2.0 Semantics. UML 2004: 226-240
30	EE	Stephan Flake, Wolfgang Müller: Formal Semantics of OCL Messages. Electr. Notes Theor. Comput. Sci. 102: 77-97 (2004)
	2003
29	EE	Wolfgang Müller, Tim Schattkowsky, Heinz-Josef Eikerling, Jan Wegner: Dynamic Tool Integration in Heterogeneous Computer Networks. DATE 2003: 10946-10953
28	EE	Alexander Krupp, Wolfgang Müller: Combining Formal Refinement and Model Checking for Real-Time Systems Verification. FDL 2003: 515-525
27	EE	Chris Loeser, Wolfgang Müller, Frank Berger, Heinz-Josef Eikerling: Peer-to-Peer Networks for Virtual Home Environments. HICSS 2003: 282
26		Tomasz Kostienko, Wolfgang Müller, Adam Pawlak, Tim Schattkowsky: An advanced infrastructure for collaborative engineering in electronic design automation. ISPE CE 2003: 703-710
25		Stephan Flake, Wolfgang Müller: Semantics of State-Oriented Expressions in the Object Constraint Language. SEKE 2003: 142-149
24		Stephan Flake, Wolfgang Müller: Expressing Property Specification Patterns with OCL. Software Engineering Research and Practice 2003: 595-603
23	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
22	EE	Stephan Flake, Wolfgang Müller: Specification of Real-Time Properties for UML Models. HICSS 2002: 277
21	EE	Rainer Dömer, Andreas Gerstlauer, Wolfgang Müller: The Formal Execution Semantics of SpecC. ISSS 2002: 150-155
20	EE	Stephan Flake, Wolfgang Müller: An OCL Extension for Real-Time Constraints. Object Modeling with the OCL 2002: 150-171
19	EE	Stephan Flake, Wolfgang Müller: A UML Profile for Real-Time Constraints with the OCL. UML 2002: 179-195
	2001
18	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
17	EE	Wolfgang Müller, Arne Meyer, Henning Zabel: A Language for the Rapid Prototyping of Mobile Evolving Agents. HICSS 2001
16	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
15		Arnulf Braatz, Stephan Flake, Wolfgang Müller, Engelbert Westkämper: Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung. SimVis 2000: 319-332
14	EE	Wolfgang Müller, Arne Meyer, Henning Zabel: A Visual Framework for the Scripting of Parallel Agents. VL 2000: 77-78
	1999
13	EE	Marita Dücker, Wolfgang Müller, Jessica Rubart: Innovative Concepts for Configuring Shared Workspaces through Visual Programming. HICSS 1999
12	EE	Christian Geiger, Georg Lehrenfeld, Wolfgang Müller: Visual Specification, Modelling, and Illustration of Complex Systems. HICSS 1999
11		Christian Geiger, Georg Lehrenfeld, Wolfgang Müller: Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation. SimVis 1999: 139-152
	1998
10		Christian Geiger, Wolfgang Müller: Visuelle Spezifikation, Modellierung und Animation im Systementwurf. SimVis 1998: 206-220
9		Christian Geiger, Wolfgang Müller, Waldemar Rosenbach: SAM - An Animated 3D Programming Language. VL 1998: 228-235
8		Marita Dücker, Wolfgang Müller, Jessica Rubart: VIPspace - A Visual Programmable Shared Workspace. VL 1998: 94-95
	1997
7	EE	Marita Dücker, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl: A generic system for interactive real-time animation. ECBS 1997: 263-270
6		Marita Dücker, Christian Geiger, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl: A Visual Language for Qualitative Data. VL 1997: 272-273
5		Marita Dücker, Christian Geiger, Ralf Hunstock, Georg Lehrenfeld, Wolfgang Müller: Visual-Textual Prototyping of 4D Scenes. VL 1997: 332-339
	1996
4		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
3		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
2	EE	Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl: Transforming SDL Diagrams into a Complete Visual Representation. VL 1995: 148-155
	1994
1	EE	Wolfgang Müller, Egon Börger, Uwe Glässer: The semantics of behavioral VHDL '93 descriptions. EURO-DAC 1994: 500-505

Coauthor Index

1 Jochen Bauch [33]

2 Frank Berger [27]

3 Egon Börger [1]

4 Arnulf Braatz [15]

5 Mirko Conrad [46]

6 Rainer Dömer [21] [48]

7 Marita Dücker [5] [6] [7] [8] [13]

8 Heinz-Josef Eikerling [27] [29]

9 Ines Fey [46]

10 Stephan Flake [15] [16] [19] [20] [22] [23] [24] [25] [30] [31] [32] [35]

11 Jürgen Gausemeier [33]

12 Christian Geiger [3] [5] [6] [9] [10] [11] [12] [16]

13 Joachim Gerlach [18]

14 Andreas Gerstlauer [21] [48]

15 Uwe Glässer [1]

16 Peer Griebel [4]

17 Jürgen Großmann (Juergen Grossmann) [44] [46]

18 Dirk W. Hoffmann [18]

19 Ralf Hunstock [3] [5]

20 Tomasz Kostienko [26]

21 Thomas Kropf [18]

22 Alexander Krupp [28] [38] [41] [45] [46]

23 Georg Lehrenfeld [2] [3] [4] [5] [6] [7] [11] [12]

24 Chris Loeser (Christoph Loeser) [27] [39] [42]

25 Arne Meyer [14] [17]

26 Ian Oliver [38]

27 Volker Paelke [16] [33] [34]

28 Ulrich Pape [32]

29 Adam Pawlak [26]

30 J. Quintanilla [3]

31 Rafael Radkowski [33]

32 Achim Rettberg [43]

33 Waldemar Rosenbach [9] [16]

34 Wolfgang Rosenstiel [18]

35 Jessica Rubart [8] [13]

36 Jürgen Ruf [16] [18] [32]

37 Robbie Schaefer [42]

38 Tim Schattkowsky [26] [29] [36] [37] [39] [40] [43]

39 Qing Shen [33]

40 Christoph Tahedl [2] [3] [4] [6] [7]

41 Holger Uhr [4]

42 A. Weber [3]

43 Jan Wegner [29]

44 Engelbert Westkämper [15]

45 Christian Wewetzer [46]

46 Henning Zabel [14] [17] [47]

47 Max Ziegler [42]

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