The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wolfgang Müller 0003: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  49. Introduction to hardware-dependent software design hardware-dependent software for multi- and many-core embedded systems. [Citation Graph (, )][DBLP]


  50. Increased accuracy through noise injection in abstract RTOS simulation. [Citation Graph (, )][DBLP]


  51. A UML frontend for IP-XACT-based IP management. [Citation Graph (, )][DBLP]


  52. A systematic approach to the test of combined HW/SW systems. [Citation Graph (, )][DBLP]


  53. Timing modeling and analysis for AUTOSAR-based software development - a case study. [Citation Graph (, )][DBLP]


  54. RTOS-aware refinement for TLM2.0-based HW/SW designs. [Citation Graph (, )][DBLP]


  55. Assertion-based verification of RTOS properties. [Citation Graph (, )][DBLP]


  56. Closing the gap between UML-based modeling, simulation and synthesis of combined HW/SW systems. [Citation Graph (, )][DBLP]


  57. The semantics of behavioral VHDL '93 descriptions. [Citation Graph (, )][DBLP]


  58. An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. [Citation Graph (, )][DBLP]


  59. A Formal Behavioral Semantics for TestML. [Citation Graph (, )][DBLP]


  60. Middleware for Secure Home Access and Control. [Citation Graph (, )][DBLP]


  61. TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. [Citation Graph (, )][DBLP]


  62. Systematic Model-in-the-Loop Test of Embedded Control Systems. [Citation Graph (, )][DBLP]


  63. Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study. [Citation Graph (, )][DBLP]


  64. Using smart cards for secure and device independent user interfaces. [Citation Graph (, )][DBLP]


  65. Combining Formal Refinement and Model Checking for Real-Time Systems Verification. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002