Wolfgang Müller Home Page Coauthor index DBLP Vis pubzone.org

Universität Paderborn

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:

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

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

Coauthor Index

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

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Fri Nov 20 16:48:08 2009 by Michael Ley (ley@uni-trier.de)