2009 |
|
|
A.Krupp, W.Mueller Systematic Model-in-the-Loop Test of Embedded Control Systems, IESS09, Friedrichshafen September 2009.
|
|
|
K. Klobedanz, Chr. Kuznik, A. Elfeky, W. Mueller.
Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.
IESS09, Friedrichshafen September 2009..
|
|
|
M.Becker, H.Zabel, W.Mueller, U.Kiffmeier.
Integration abstrakter RTOS-Simulation in den Entwurf
eingebetteter automobiler E/E-Systeme.
In: Proceedings of MBMV'09, Berlin, Germany, March 2009.
|
|
|
H. Zabel, W. Mueller.
Increased Accuracy through Noise Injection in Abstract RTOS Simulation.
In: Proceedings of the DATE'09,
Nice, France, April 2009.
|
|
|
T. Schattkowsky, T. Xie, W. Mueller.
A UML Frontend for IP-XACT-based IP Management.
In: Proceedings of the DATE'09,
Nice, France, April 2009.
|
|
|
R. Doemer, A. Gerstlauer, W. Mueller.
Hardware-dependent Software for Multi- and Many-Core Embedded Systems.
In: Proceedings of the ASP-DAC'09,
Yokohama, Japan, January 2009.
|
|
W. Ecker, W. Mueller, R. Doemer (eds.)
"Hardware Dependent Software - Principles and Practice",
Springer Verlag, Dordrecht, January 2009.
|
|
|
H. Zabel, W. Mueller, A. Gerstlauer.
Accurate RTOS Modelling and Analysis with SystemC.
In: W. Ecker, W. Mueller, R. Doemer (eds.)
"Hardware Dependent Software - Principles and Practice",
Springer Verlag, Dordrecht, January 2009.
|
|
|
W.Ecker, W. Mueller, R. Doemer.
Hardware-dependent Software - Introduction and Overview.
In: W. Ecker, W. Mueller, R. Doemer (eds.)
"Hardware Dependent Software - Principles and Practice",
Springer Verlag, Dordrecht, January 2009.
|
| |
2008 |
|
|
Y. Vanderperren, W.Mueller, W. Dahaene.
UML for Electronic Systems Design – A Comprehensive Overview.
Journal on Design Automation for Embedded Systems, Springer Verlag, August 2008.
|
|
|
H. Zabel, W. Mueller.
Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC.
In: Ch. Scholl, S. Disch (eds.).
"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und System",
Shaker Verlag Aachen, March 2008.
|
|
|
H. Zabel, W. Mueller.
An Efficient Time Annotation Technique in Abstract RTOS Simulations for
Multiprocessor Task Migration.
In L. Kleinjohann, B. Keinjohann (eds.)
"IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008)",
Springer Verlag, Dordrecht, September 2008.
|
|
|
Robbie Schaefer, Wolfgang Mueller.
Assessment of a Multimodal Interaction and Rendering System against Established Design Principles.
Journal on Multimodal User Interfaces, Springer Verlag, June 2008.
|
|
|
Juergen Grossmann, Ines Fey, Alexander Krupp,
Mirko Conrad, Christian Wewetzer, Wolfgang Mueller.
TestML – A Test Exchange Language for Model-based Testing of Embedded Software.
ASWSD06, Editors: Broy, Krüger, Meiniger. LNCS 4922, Springer Verlag, 2008.
|
|
|
W. Mueller, J.Wolfe. Proceedings of the 5th International DAC Workshop of UML for SoC Design,
Anaheim, CA, June 2008.
|
| |
2007 |
|
|
|
H.Zabel, W.Mueller. Simulation mit abstrakten RTOS Modellen in SystemC. C-LAB Report Vol.6 No. 4, Paderborn, Dezember 2007.
|
|
|
Mueller, W.:
On the Use and Misuse of UML- Application of Diagrams in Engineering.
(Keynote Presentation)
UML for SoC Design Workshop at DAC'07, San Diego, USA, June 2007.
|
|
|
Grossmann, J.; Fey, I.; Conrad, M.; Krupp, A.; Wewetzer,
Ch.; Mueller, W.: TestML - A Test Exchange Language for
Model-based Testing of Embedded Software. In: Proceedings of Automotive
Software Workshop '06, October 2007.
|
|
|
Krupp, A.; Müller, W.: Systematic Testbench Specification for
Constrained Randomized Test and Functional Coverage. In: 21st EUROPEAN
CONFERENCE ON MODELLING AND SIMULATION ECMS 2007, Prague, Czech Republic
2007
|
|
|
R. Schaefer, W. Mueller.
Evaluation of a Multimodal System Based on Dialogue Models and Transformations.
Journal on Multimodal User Interfaces, Springer Verlag, December 2007.
|
|
|
R. Schaefer, W. Mueller, A. Marín, D. Díaz.
Using Smart Cards for Secure and Device Independent User Interfaces.
International Conference on Mobile Technology, Applications and Systems (Mobility 2007), Singapore, 10-12 September 2007
|
|
|
R. Schaefer, W. Mueller, A. Marín, D. Díaz.
Device Independent User Interfaces for Smart Cards
9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI 2007), Singapore, 9-12 September 2007
|
|
|
R. Schaefer, W. Mueller.
Evaluation of a Multimodal System Based on Dialogue Models and Transformations
International Workshop on Usability of User Interfaces: From Monomodal to Multimodal – IWUMUI’2007 at HCI'2007, Lancaster, United Kingdom, 3 September 2007
|
|
|
R. Schaefer, W. Mueller, R. Deimann.
A Low-Cost Positioning System for Location-Aware Applications in Smart Homes.
Workshop on Mobile Spatial Interaction at CHI 2007, San Jose, USA, 2007
|
|
|
A. Marín, W. Mueller, R. Schaefer, M. Ziegler, F. Almenárez, D. Díaz.
Middleware for Secure Home Access and Control.
Proc. of IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007) at the 5th Conference on Pervasive Computing and Communications (PerCom 2007), New York, USA, March 2007
|
| |
2006 |
|
|
|
J. Grossmann, W. Mueller. A Formal Behavioral Semantics for TestML. Proc. of ISOLA 06, Paphos, Cyprus, November 2006.
|
|
|
W. Mueller, A. Rosti, S. Bocchio, E. Riccobene, P. Scandurra, W. Dehaene, Y. Vanderperren. UML for ESL Design - Basic Principles, Tools, and Applications. Embedded Tutorial. Proc. of ICCAD'06, San Jose, November 2006.
|
|
|
W. Mueller, Y.Vanderperren, W. Dehaene. Tutorial: UML and Model-Driven Development for SoC Design. CODES/ISSS Workshop, Seoul, Korea, October 2006.
|
|
|
W. Mueller. UML - The Emerging Hadrware Description Language? In Proc. of FDL'06, Darmstadt, Germany, September 2006.
|
|
|
Robbie Schaefer, Wolfgang Mueller, Jinghua Groppe. Profile Processing and Evolution for Smart Environments. 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06), Wuhan, China, September 3-6, 2006
|
|
|
W. Mueller, H. Zabel. Towards a Unified Behavioural Modelling Language. UML-SoC Workshop der DAC 2006, San Francisco, USA, 2006.
|
|
|
L. Lavagno, W. Mueller.
UML: A Next Generation Language for SoC Design.
Electronic Design,
Article ID #12552 ,
May 8 2006.
|
|
|
Robbie Schaefer, Steffen Bleul, Wolfgang Mueller "Dialog Modelling for Multiple Devices and Multiple Interaction Modalities" 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA'2006), Hasselt, Belgium, October 23-24, 2006.
|
|
|
Krupp, W. Mueller. Classification Trees for Functional Coverage and Random Test Generation. DATE 2006, Munich, March 2006.
|
|
|
W. Mueller, Y.Vanderperren, W. Dehaene. UML and Model-Driven Development for SoC Design.
Tutorial. DATE 2006, Munich, March 2006.
|
|
|
R.Schaefer, M. Ziegler, W. Müller. Securing Personal Data in Smart Home Environments.
Workshop on Privacy Enhanced Personalization CHI 2006, Montreal, Canada, 2006.
|
| |
2005 |
|
|
|
W. Mueller, L.Lavagno. Proceedings of the 2nd International DAC Workshop of UML for SoC Design,
Anaheim, CA, June 2005.
|
|
G. Martin, W. Mueller (eds.). UML for SoC Design. Springer Verlag, Berlin, 2005.
|
|
|
T. Schattkowsky, W. Mueller, A. Rettberg. Model Based Specification for Platform Independent Hardware Execution
In G. Martin, W. Mueller (eds.): UML for SoC Design. Kluwer, 2005.
|
|
|
G. Martin, W. Mueller. When Worlds Collide: Can UML help SoC Design?
In G. Martin, W. Mueller (eds.): UML for SoC Design. Kluwer, 2005.
|
|
|
L. Lavagno, W. Mueller. Viewpoint - Is there a Future for UML in SoC Design? Chip Design. June 2005.
|
|
|
T. Schattkowsky, W. Mueller, A. Rettberg. A Model-Based Approach for Executable Specification on Reconfigurable Hardware. In Proceedings of DATE05, Munich, IEEE CS Press, Los Alamitos, USA, 2005.
|
|
|
T. Schattkowsky, W. Mueller. A UML Virtual Machine for Embedded Systems.
ISNG 05, Las Vegas, NV, USA, April 2005.
|
|
|
T. Schattkowsky, W. Mueller. Transformation of UML StateMachines for Direct Execution.
VL/HCC 05, Dallas, TX, USA, September 2005.
|
|
|
A. Krupp, W. Mueller. Testmuster fuer nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode fuer eingebettete Systeme.
Im Tagungsband: Automotive Software Engeneering.
Bonn, September 2005.
|
|
|
A. Krupp, W. Mueller. Modelchecking von Klassifikationsbaum-Testsequenzen.
Im Tagungsband: Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen, Muenchen, April 2005.
|
|
|
H. Zabel, W. Mueller. Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation.
Im Tagungsband: Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen, Muenchen, April 2005.
|
|
|
Robbie Schaefer, Wolfgang Mueller, Steffen Bleul
A Dialog Model for Multi Device Interfaces with Different Modalities.
Accepted for HCI International 2005, Las Vegas, USA.
|
|
|
Max Ziegler, Wolfgang Mueller, Robbie Schaefer, Chris Loeser
Secure Profile Management in Smart Home Networks
1st International Workshop on Secure and Ubiquitous Networks (SUN-2005), Copenhagen, Denmark, August 2005
|
|
|
Jinhua Groppe, Wolfgang Mueller.
Profile Management technology for Smart Customization in Provate Home Applications.
1st International Workshop on Secure and Ubiquitous Networks (SUN-2005), Copenhagen, Denmark, August 2005
|
| |
2004 |
|
|
|
W. Mueller, G.Martin. Proceedings of the 1st International DAC Workshop of UML for SoC Design,
San Diego, CA, June 2004.
|
|
|
W. Mueller, R. Schaefer, S. Bleul. Interactive Multimodal User Interfaces for Mobile Devices, In Proceedings of HICCS-37, Waikoloa, HI, USA, IEEE CS Press, Los Alamitos, USA 2004.
|
|
|
W. Müller, M. Zambaldi, W. Ecker, Th. Kruse, Thomas. The Formal Simulation Semantics of SystemVerilog. In:
Proceedings of the FDL. Lille, France, 15 - 17 September 2004.
|
|
|
T. Schattkowsky, W. Mueller. Model-Based Specification and Execution of Embedded Real-Time Systems. In Proceedings of DATE04, Paris, IEEE CS Press, Los Alamitos, USA, 2004.
|
|
|
A. Krupp, W. Mueller, I. Oliver. Formal Refinement and Model Checking of An Echo Cancellation Unit. In Proceedings of DATE04 Designers' Forum, Paris, IEEE CS Press, Los Alamitos, USA, 2004.
|
|
|
W. Mueller, V. Paelke. A Formal Model of a Framework for Simulation-Based Animation. In Proceedings of Simulation and Visualisation 2004, Magdeburg, SCS-EHP, Erlangen, 2004.
|
|
|
J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, V. Paelke. Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality. In Proceedings of Simulation and Visualisation 2004, Magdeburg, SCS-EPH, Erlangen, 2004.
|
|
|
T. Schattkowsky, W. Mueller. Model-Based Design of Embedded Systems. In Proceedings of ISORC04, Wien, IEEE CS Press, Los Alamitos, USA, 2004.
|
|
|
S. Flake, W. Mueller. Past- and Future-Oriented Time-Bound Tempral Properties with OCL. SEFM´04, Beijing, China, 2004.
|
|
|
T. Schattkowsky, Ch. Loeser, W. Mueller. Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. In Proceedings of AINA2004, Yokohama, Japan, IEEE CS, 2004.
|
|
|
T. Schattkowsky, C. Loeser, W. Mueller, Peer-to-Peer-based Web Services for Collaborative Engineering Environments In Proceedings of ICN'04, Guadeloupe, France, IEEE CS Press, Los Alamitos, USA, 2004.
|
|
|
Ch. Loeser, R.Schaefer, W.Mueller, M. Bororwski "RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control", SCI, Orlando, USA, June 2004.
|
|
|
J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, V. Paelke. Virtual Prototyping Of Self-Optimizing Mechatronic Systems. In: Marjanovic, Dorian (Hrsg.): Proceedings of the Design 2004 - 8th International Design Conference Bd. 1. Dubrovnik, 18 - 21 Mai 2004.
|
|
|
S. Bleul, W.Mueller, R. Schaefer "Multimodal Dialog Description for Mobile Devices", AVI 2004, Gallipoli, Italy
|
|
|
S. Bleul, R. Schaefer, W.Mueller "A Novel Dialog Model for the Design of Multimodal User Interfaces", EHCI-DSVIS 2005, Tremsbüttel, Hamburg, 2004.
|
|
|
S. Flake, W. Mueller. An ASM Definition of the Dynamic OCL 2.0 Semantics. In: UML 2004, Lisbon, Portugal, Springer Verlag, Oktober 2004.
|
|
S. Flake, W. Mueller. U.Pape, J. Ruf. Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: H. Ehrig, W.Damm, J.Desel, M.Grosse-Rhode, W.Reif, E.Schnieder, E.Westkaemper (eds.) Integration of Sofware Techniques for Applications in Engineering, Vol 3147 of Lecture Notes in Computer Science, Springer, 2004.
|
|
T. Schattkowsky, W. Mueller, A. Pawlak.
Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.
In L. Fischer (ed.) Workflow Handbook 2004, WfMC, Lighthouse Point, FL, USA, 2004.
|
|
A. Krupp, W. Mueller, I. Oliver. Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In Ch. Grimm (ed.) Best of FDL'03, Kluwer, Dordrecht, 2004.
|
|
A. Krupp, W. Mueller, I. Oliver. Refinement of Finite State Machines with Complementary Model Checking. In J. Mermet (ed.) UML-B System Specification for Proven Electronic Design. Kluwer, Dordrecht, 2004.
|
|
|
A. Krupp, W. Mueller, I. Oliver. The Echo Cancellation Unit Case Study. In J. Mermet (ed.) UML-B System Specification for Proven Electronic Design. Kluwer, Dordrecht, 2004.
|
|
|
N. Voros, W. Mueller, C. Snook. Introduction to Formal Methods: How They Apply to Embedded Systems. In J. Mermet (ed.) UML-B System Specification for Proven Electronic Design. Kluwer, Dordrecht, 2004.
|
| |
2003
|
|
|
|
H.J. Eikerling, W. Mueller, T. Schattkowsky, J. Wegner.
Tool Integration and Management in Heterogeneous Computer Networks.
DATE 03, March 3-7, Munich, 2003.
|
|
|
C. Loeser, W. Mueller, F. Berger, H-J Eikerling.
Peer-to-Peer for Virtual Home Environments, HICCS-36, Hawaii, USA, Jan 2003.
|
|
|
T. Kostienko, W. Mueller, A. Pawlak, T. Schattkowsky. An Advanced Infrastructure for Collaborative Engineering
in Electronic design Automation. CE 2003, Madeira, Portugal, July 2003.
|
|
|
W. Mueller, J.Ruf, W.Rosenstiel. An ASM Based SystemC Simulation Semantics. In W. Mueller, W. Rosenstiel, J. Ruf (eds.). SystemC - Methodologies and Applications. Kluwer, Dordrecht, June 2003.
|
|
W. Mueller, W. Rosenstiel, J. Ruf (eds.). SystemC - Methodologies and Applications. Kluwer, Dordrecht, June 2003.
|
|
|
A. Krupp, W. Mueller. Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.
In Proceedings of "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen",
Bremen, March 2003, Shaker Verlag 2003.
|
|
|
S. Flake, W. Mueller. Semantics of State-Oriented Expressions in the Object Constraint Language. SEKE 2003, San Francisco,
June 2003.
|
|
|
S. Flake, W. Mueller. Expressing Property Specification Patterns with OCL. SERP'03, Las Vegas, June 2003.
|
|
|
R. Schaefer, W. Mueller. Adaptive profiles for Multi-Modal Interaction in Intellignet Frameworks.
Joint Workshop IJCAI Workshop on Artificial Intelligence,
Information Access, and Mobile Computing,
Acapulco, Mexico, August 2003.
|
|
|
T. Schattkowsky, W. Mueller.
Distributed Engineering Environment for the Design of Electronic Systems.
CCE'03, April 15-16, 2003, Poznan Poland.
|
|
|
W. Mueller, J. Wang.
SmartCard for Secure Collaborative Engineering.
CCE'03, April 15-16, 2003, Poznan Poland.
|
|
|
A. Krupp, W. Mueller. Combining Formal Refinement and Model Checking
for Analysis of Realtime Systems. FDL'03, Frankfurt, Germany, Sept. 24-26 2003.
|
|
|
S. Flake, W. Mueller. Formal Semantics of Static and Temporal State-Oriented OCL Constraints.
In Journal on Software and System Modeling (SoSyM), Volume 2, Number 3, Springer-Verlag, Heidelberg, Germany, 2003.
|
| - |
S. Flake, W. Mueller. Formal Semantics of OCL Messages. In Workshop OCL 2.0 - Industry
standard or scientific playground? at UML 2003, San Francisco, USA, 2003.
|
| |
2002
|
|
|
|
C. Loeser, P. Altenbernd, M. Ditze, W. Müller
Distributed Video-on-Demand Services on Peer to Peer Basis.
Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002),
June 2002.
|
|
U. Bueker, H.J. Eikerling, W. Mueller (eds.). Proceedings of the VHE Workshop, Paderborn, Germany, Shaker Verlag, March 2002.
|
|
|
R. Schaefer, A Dangberg, W. Mueller. RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents. ITEA VHE Workshop, Paderborn, Germany, Feb 2002.
|
|
|
R. Schaefer, A Dangberg, W. Mueller. Fuzzy Rules for the Transcoding of HTML Files. HICSS 35, Hawaii, USA, Jan 2002.
|
|
|
H.J. Eikerling, W. Mueller, J. Wegner. Werkzeugintegration
und -verwaltung in heterogenen Computernetzwerken,
it+ti 3/2002 , Oldenbourg, 2002.
|
|
|
|
W. Mueller, R. Doemer, A. Gerstlauer. The Formal Execution Semantics of SpecC.
ISSS02, Oct 2-4, Nagoya, Japan.
|
|
|
J. Plomp, R. Schaefer, W. Mueller, Heli Yli-Nikkola. Comparing Transcoding Tools for Use with a Generic User Interface Format. Extreme Markup Languages 2002, Montreal, Canada, August 4-9, 2002.
|
|
|
W. Dangelmaier, C. Darnedde, S. Flake, W. Müller, U. Pape: Graphische
Spezifikation und Echtzeitverifikation von
Produktionsautomatisierungssystemen. Proceedings 4. Paderborner
Frühlingstagung 2002, ALB-HNI-Verlagsschriftenreihe, Paderborn, April 2002.
|
|
|
S. Flake, W. Mueller. A UML Profile for Real-Time Constraints with the OCL,
UML 2002 - The Unified Modeling Language, Dresden, Germany. LNCS 2460, Springer-Verlag, Heidelberg, Germany, September 2002.
|
|
-
|
S. Flake and W. Mueller. An OCL Extension for Real-Time Constraints. In: T. Clark and J. Warmer (eds.),
Object Modeling with the OCL, pp. 150-171, LNCS 2263, Springer-Verlag, Heidelberg, February 2002.
|
|
-
|
S. Flake, W. Mueller. Temporale Erweiterungen der OCL - Überblick und Aussichten. In 2. Workshop
"Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen", Halle(Saale), Germany, April 2002. (in German)
|
|
|
S. Flake, W. Mueller. Specification of Real-Time Properties for UML Models. HICSS 35, Hawaii, USA, Jan 2002.
|
| |
2001
|
|
|
|
W. Mueller, R. Doemer, A. Gerstlauer. The Formal Execution Semantics of SpecC.
Technical Report TR-ICS-01-59, University California, Irvine, USA, Dec 2001.
|
|
|
S. Flake, W. Mueller. Spezifikation von Echtzeiteigenschaften mit OCL fuer eine MFERT-basierte Fallstudie.
Workshop Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen, Berlin, October 2001.
|
|
|
S. Flake, W. Mueller. An OCL Extension for Real-Time Constraints. In
T. Clark and J. Warmer (eds.) 'Advances in Object Modelling with the OCL'.
Springer Verlag, December 2001.
|
|
|
M. Bauer, H.J.Eikerling, W. Mueller, A.Pawlak, K.Siekierska,
D.Soderberg, X.Warzee.
Advanced Infrastructure for PAN-European Collaborative Engineering.
The e-Business and e-Work Conference and Exhibition, Venice, Italy,
17-19 October 2001.
|
|
|
S. Flake, Ch. Geiger, V. Paelke, W. Rosenbach, J. Ruf. Customer-Oriented Systems Design through Virtual Prototyps.
In Proceedings of IEEE KMN 2001, Boston, USA, June 2001.
|
|
|
W. Mueller, J.Ruf, D. Hofmann, J. Gerlach, Th. Kropf, W.Rosenstiel. The Simulation semantics
of SystemC. In Proceedings of Design, Automation, and Test in
Europe (DATE 2001), Munich, Germany, March 2001.
|
|
|
A.Dangberg, W. Mueller. Generation of
Interactive Visual Interfaces for Resource Management.
ISI 2001, Dubai, March 2001.
|
|
|
S. Flake, W. Mueller, U. Pape, J. Ruf. Real-Time Model Checking for the Analysis
of flexible Manufacturing Systems
ISI 2001, Dubai, March 2001.
|
|
|
G. Lehrenfeld, W. Mueller, R. Tellmann. Security Concepts for Agent-Based Systems.
SCASE 01, Enschede, Netherlands, March 2001.
|
|
|
W. Mueller, A. Meyer, H. Zabel. A Language for the Rapid Prototyping of Mobile Evolving
Agents.
Proceedings of the Hawai'i International Conference On System Sciences,
January 3-6, 2001, Maui, USA.
|
| |
2000
|
|
|
|
S. Flake, W. Mueller, U. Pape, J. Ruf. Modellprüfung für den Entwurf von
Fertigungssteuerungssystemen. (in German) Mobis 2000, Siegen, October 2000.
|
|
|
W. Mueller, A. Meyer, H. Zabel. "A Visual Framework for the Scripting of Parallel Agents".
IEEE Symposium on Visual Languages, Seattle, Washington, USA,
September 10-14, 2000.
|
|
|
P.C.P. Bhatt, W.Mueller. "A Methodology for the Protocol-Centered Design of Agent-Based Systems".
IECON 2000, Nagoya, Japan, October 22 - 28, 2000.
|
|
|
P.C.P. Bhatt, W.Mueller. "Morphic Nets: Model Based Design Diagrams".
UKPEW 2000, Durham, UK, July 25-26 2000.
|
|
|
A. Braatz, S. Flake, W. Mueller, E. Westkämper. "Prototyping einer Fahrzeugsteuerung
in einer virtuellen 3D-Umgebung",
Simulation und Visualisierung 2000, Magdeburg, Germany, März 2000.
|
|
|
S. Flake, W. Mueller, J. Ruf. "Structured English
for Model Checking Specification", Methoden und Beschreibungssprachen zur
Modellierung und Verifikation von Schaltungen und Systemen 28.2. - 1.3.
2000 in Frankfurt, VDE Verlag, Berlin, Feb. 2000.
|
|
|
S. Flake, W. Mueller, J. Ruf. "An Advanced Visual Capture for Model Checking
Specifications". AVI 2000, Palermo, Italy, May 2000.
|
|
|
S. Flake, W. Mueller, J. Ruf. "Mapping of Structured English Sentences to CCTL
Formulae". Technical Report, C-LAB Report 04/2000, Januar 2000.
|
| |
1999
|
|
|
|
M. Dücker, S. Flake, C. Geiger, W. Mueller, V. Paelke, C. Reimann, W.
Rosenbach, D. Zimmermann, S. Zelder. "Wissenbasierte Konzepte
und visuelle interaktive Systeme". KI99 Proceedings Workshop "Intelligente Virtuelle
Umgebungen",
23rd German Annual Symposium on Artificial Intelligence, Bonn,
September 1999.
|
|
|
A. Dangberg, W. Mueller.
"Generation of Interactive Visual Environments for Direct Manipulation of Database Content",
IEEE Symposium on Visual Languages, Tokyo, Japan, September 1999.
|
|
|
S. Flake, Ch. Geiger, G. Lehrenfeld, W. Mueller, V. Paelke.
"Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control",
NAFIPS'99, 18th International Conference of the North American Fuzzy Information
Processing Society, New York, NY, June 10-12, 1999.
|
|
|
W. Mueller, F. Ullmann.
"Scalable System for 3D Audio Raytracing",
IEEE International Conference on Multimedia
Computing and Systems, Florence, Italy, June 7-11, 1999. |
|
|
Ch. Geiger, G. Lehrenfeld, W. Mueller.
"Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation",
Simulation und Visualisierung 99, Magdeburg, Germany, 1999. |
|
|
Ch. Geiger, G. Lehrenfeld, W. Mueller.
"Visual Specification, Modeling, and Illustrations of Complex Systems".
HICSS-32, Jan 5-9, Maui, Hawaii, 1999. |
|
|
M. Duecker, W. Mueller, J. Rubart.
"Innovative Concepts for Configurating Shared Workspaces through Visual Programming".
HICSS-32, Jan 5-9, Maui, Hawaii, 1999. |
| |
1998
|
|
|
|
Ch. Geiger, W. Mueller.
"Visuelle Spezifikation, Modellierung und
Animation im Systementwurf",
Simulation und Visualisierung 98, Magdeburg, Germany, 1998. |
|
|
Wolfgang Müller and Franz Josef Rammig. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, volume 36 of HNI-Verlagsschriftenreihe. Heinz
Nixdorf Institut, Universität Paderborn, 1998. Praktische Informatik, ISBN 3-931466- 35-3.
|
|
|
W. Mueller, J. Sturm. "Visuelle Spezifikations- und
Modellierungstechniken", in it+ti Themenheft Spezifikation, Oldenbourg,
Muenchen, 3/98, 1998. |
|
|
C. Geiger, W. Mueller, W. Rosenbach.
"SAM - An Animated 3D Programming Language",
IEEE Symposium on Visual Languages, Halifax, Canada, September 1998. |
|
|
M. Duecker, W. Mueller and J. Rubart.
"VIPspace - A Visually Programmable Shared Workspace",
IEEE Symposium on Visual Languages, Halifax, Canada, September 1998. |
|
|
Christian Geiger, G. Lehrenfeld, and W. Mueller.
"Authoring Comminicating Agents in Virtual Environments",
Annual Conference for the Computer Human Interaction,
Adelaide, Australia, Dec 1998. |
| |
1997
|
|
|
|
M. Duecker,
G.Lehrenfeld, W. Mueller, C. Tahedl.
"A Generic System for Interactive Real--Time Animation".
In Proceedings of IEEE International Conference on Engineering of Computer-Based Systems
(ECBS'97), March 24-28, Monterey, CA, 1997. |
|
|
M. Duecker,
C. Geiger, R. Hunstock,
G.Lehrenfeld, W. Mueller.
"Visual-Textual Prototyping of 4D Scenes".
IEEE Symposium on Visual Languages, Capri, Italy, September 1997. |
|
|
M. Duecker,
Christian Geiger
G.Lehrenfeld, W. Mueller, C. Tahedl.
"A Visual Programming Language for Qualitative Data".
IEEE Symposium on Visual Languages, Capri, Italy, September 1997. |
| |
1996
|
|
|
|
H. Aisch, M. Joosten, W.Mueller, F.Buijs,
"Interaktiver Produktdatenaustausch mit
EDIFACT", Proceedings of the CAD'96, March 7-8, Kaiserslautern, Springer,
Berlin, 1996.
Click
here for an additional English abstract. |
|
|
M. Duecker,
G.Lehrenfeld,
W. Mueller, C. Tahedl,
"Specification and Analysis of Concurrent Systems in a Complete Visual
Environment", In the proceedings of the 10th
European Simulation Multiconference (ESM'96), June 2-6, Budapest, Hungary,
SCS Int., San Diego, USA, 1996. |
|
|
P. Griebel,
G.Lehrenfeld,
W.Mueller, C.Tahedl, H.Uhr,
"Integrating a Constraint Solver into a Real-Time Animation Environment",
In Proceedings of the 1996 IEEE Symposium on Visual Languages, Sept. 3-6,
Boulder, CO, 1996. |
|
|
Ch. Geiger,
R. Hunstock,
G.Lehrenfeld,
W.Mueller, J. Quintanilla, C.Tahedl, A. Weber,
"Visual Modeling and 3D-Representation with a Complete Visual
Programming Language --- A Case Study in Manufacturing".
In Proceedings of the 1996 IEEE Symposium on Visual Languages, Sept. 3-6,
Boulder, CO, 1996. |
|
|
W. Mueller,
"Executable Graphics for VHDL-Based Systems Design", Doctorial Thesis
(in English),
Paderborn University, Paderborn, November 1996. |
| |
1995
|
|
|
|
W.Mueller, W.Felser, F.Buijs. "Guide to EXPRESS-P", in Proceedings of the
4th EXPRESS User's Group. Greenville, South Carolina, 13-14 October, US Pro,
New York, 1995. |
|
|
G. Lehrenfeld, W. Mueller, N. Wiechers,
"Conformance Tests of Very Large STEP Files", in Proceedings of the 4th
EXPRESS User's Group. Greenville, South Carolina, 13-14 October, US Pro,
New York, 1995. |
|
|
E.Boerger,
U.Glaesser, W.Mueller. "A Formal Definition of an Abstract
VHDL'93 Simulator by EA-Machines", in Semantics of VHDL, C. Delgado Kloos
and Peter T. Breuer (eds.), Kluwer Academic Publishers, Dordrecht, 1995. |
|
|
R.Zhao, H.J.Kaufmann, T.Kern, W.Mueller, "Pen-based Interfaces for
Engineering Environments", 6th Human-Computer Interaction International,
Tokyo, July 9-14, Elsevier, Amsterdam, 1995. |
|
|
W.Mueller,
G.Lehrenfeld, C.Tahedl, "Complete Visual Specification and
Animations of Protocols", In Proceedings of the CHDL'95,
August 30 - September 1, Tokyo, Japan, 1995. |
|
|
G.Lehrenfeld, W.Mueller, C.Tahedl, "Transforming SDL Diagrams Into a
Complete Visual Representation", In Proceedings of the IEEE Symposium on
Visual Languages '95,
September 5-8, Darmstadt, Germany, 1995. |
|
|
R.Zhao, W.Mueller, H.J.Kaufmann, Th.Kern, F.Buijs, "An Editor for the
Rapid Prototyping of EXPRESS-G Models", in Proceedings of the 5th
EXPRESS User's Group, Grenoble, October, 21-22, 1995. |
|
|
Wolfgang Mueller,
Georg Lehrenfeld, Norbert Wiechers. "Validation of EXPRESS Models",
CENELEC Technical Report R117-003:1995, 1995. |
|
|
S. Bublitz, F.Buijs, B.Burkert, W.Mueller, "The SDAI Interface to EXPRESS
Models", ESIP/UPAD/001.1, Cadlab, Paderborn, March 1995. |
|
|
W.Mueller, W.Felser, F.Buijs. "The Process Modelling Language EXPRESS-P",
ESIP/UPAD/002.1, Cadlab, Paderborn, March 1995. |
|
|
W.Mueller,
"Amendment to ESIP/UPAD/002.1", Cadlab, Paderborn, May 12, 1995. |
|
|
M.Balzer, J.Broeking, T.Kretzberg, S. Bublitz, F.Buijs, B.Burkert, W.Mueller,
"Extensions of the SDAI-PI to describe operations on a conceptual level",
ESIP Deliverable 506, ESIP/UPAD/003.1, Cadlab, Paderborn, January 1996.
|
|
|
W.Mueller, W.Felser, F.Buijs. "The Process Modeling Language EXPRESS-P",
ISO TC184/SC4/WG5, N230, Cadlab, Paderborn, March 1995. |
| -
|
W.Mueller,
"Amendment to N230", Cadlab, Paderborn, May 12, 1995. |
| |
1994
|
|
|
|
G.Lehrenfeld, W.Mueller, N.Wiechers, "Ein paralleles Framework fuer die
Validierung von STEP-Produktdaten", in Proceedings of the CAD94, Paderborn,
17.-18. Maerz, Carl Hanser Verlag, Muenchen, 1994.
Cadlab Report 19/93 |
|
|
W.Felser, W.Mueller, "EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur
Prozessmodellierung", in Proceedings of the CAD94, Paderborn, 17.-18.
Maerz, Carl Hanser Verlag, Muenchen, 1994, pp.659-680. |
|
|
H.J. Eikerling, W. Mueller, "FADE: A Layout Facility for Graph-Based
Diagrams", Proceedings of the 17th Annual Computer Science Conference,
Christchurch, New Zealand, January 19-21, 1994., pp. 331-342. |
|
|
D. Nyhuis, W. Mueller, K. Groening, F. Buijs,
"IMPLEMENTING SIMULTANEOUS DESIGN: A CASE STUDY", in Proceedings of the 2nd
International Conference on Concurrent Engineering \& Electronic Design
Automation (CEEDA94), PoDTe, UK, April 7-8, 1994. |
|
|
G. Lehrenfeld, W. Mueller, N. Wiechers,
"Parallel Validation of STEP Files", in Proceedings of the 2nd International
Conference on Concurrent Engineering \& Electronic Design Automation
(CEEDA94), Poole, UK, April 7-8, 1994. |
|
|
G.Lehrenfeld and W. Müller.
Defining the relational grammar of PJ - a case study.
Cadlab Technical Report cr-07-94, Paderborn, Germany, 1994. |
|
|
G.Lehrenfeld, W.Mueller. "Computational Model of a Logical Visual
Programming Language", Workshop Logik in der Informatik, Jahrestreffen
der Fachgruppe 0.1.6, May 25-27 1994, Paderborn. |
|
|
W.Mueller,
G.Lehrenfeld, N.Wiechers, "Parallel Validation of STEP Files",
in $PC^2$ User Report, Technical Report $PC^2$/TR-009-94, Paderborn
University, June 1994. |
|
|
F. Buijs,
G. Lehrenfeld, W. Müller, and F.-J. Stewing.
The Role of STEP in Faciliating Engineering Efforts.
Cadlab Technical Report cr-15-94, Paderborn, Germany, 1994. |
|
|
W.Felser, W.Mueller. "EXPRESS-P - EXTENDING EXPRESS FOR PROCESS MODELING
AND MONITORING", in Proceedings of the 1994 ASME Computers in Engineering
Conference, Minneapolis, MI, September 11-14, 1994, pp.145-154. |
|
|
E.Boerger,
U.Glaesser, W.Mueller. "The Semantics of Behavioral VHDL'93
Descriptions", in the Proceedings of the EURO-DAC'94/EURO-VHDL'94,
Grenoble, September 19-23, IEEE Press, Los Alamitos, CA, 1994. |
|
|
W.Mueller,
G.Lehrenfeld, N.Wiechers, "Implementierung eines parallelen
Validierungswerkzeugs fuer STEP-Produktdaten unter PVM", in Proceedings
of TAT'94, September 26-27, Aachen, IOS Press, Amsterdam, 1994.
Cadlab Report 27/94 |
| |
1993
|
|
|
|
W.Mueller, B.Kleinjohann. "TIGHT INTEGRATION AND SYNCHRONIZATION OF
DISTRIBUTED GRAPHICAL APPLICATIONS", in Seventh Annual Database Symposium,
ASME, San Diego, CA, August 8-11, 1993. |
|
|
W.Mueller,
G.Lehrenfeld, N.Wiechers, "Parallel Validation of STEP Files",
in Proceedings of the 3nd EXPRESS User's Group Conference, Berlin,
October 2-3, 1993. |
|
|
W. Mueller, "Approaching the Denotational Semantics of Behavioral VHDL
Descriptions", Proc. of the 1st Asian Pacific Conference on Hardware
Description Languages, Standards and Applications, Brisbane, Australia,
December 6-9, 1993. |
|
|
ECIP2/PU/017-1. Wolfgang Mueller, Cadlab,
Georg Lehrenfeld, Paderborn University:
Validation of EXPRESS Models
(Preliminary Report),
Deliverable R:C1.6.2.51.B - Row 16,
Paderborn, 30/6/93. |
| |
1992
|
|
|
|
W.Mueller, B.Kleinjohann. "The EXPRESS Information Modeling Workbench -
A New Approach to Graphical Design Environments", in Proceedings of the
2nd EXPRESS User's Group Conference, Dallas TX, October, 1992. |
|
|
ECIP2/PU/013-2. W.Mueller, Cadlab,
G.Lehrenfeld, Paderborn University:
Translation of EXPRESS to a logical
Programming Language,
Deliverable R:C.1.6.2.39.A,
Paderborn, 24/8/92. |
| |
1991
|
|
|
|
G.Lehrenfeld, W.Mueller. "Validation of EXPRESS Models Using Prolog"
in Proceedings of the 1st EXPRESS User's Group Conference, Houston TX, October,
1991. |
|
|
W.Mueller. "Contract-Oriented System Design and Specification".
Workshop on Practical Computer Based Systems Engineering - its Scope and
Methods, Grassau Germany, November, 1991. |
|
|
ECIP2/PU/009-1. W.Mueller, Cadlab:
Graphical Representation of the VIF
Hierarchical IDL Definition,
Internal Report I.1.3.1,
Paderborn, 15/2/91. |
|
|
ECIP2/PU/010-1. W.Mueller, Cadlab,
G.Scholz, Hagen University:
Comparison of Concepts of the existing
ECIP notation with EXPRESS,
Deliverable ECIP2/C-HU/D.1.1.1-1,
Paderborn, 28/2/91. |
| |
1990
|
|
|
|
ECIP2/PU/003-2. Wolfgang Mueller, Cadlab:
Semantic Base for High-Level Behaviour
Internal Report 90/I.2.5-1,
Paderborn, 13/3/90. |
|
|
ECIP2/PU/008-5 Wolfgang Mueller, Cadlab:
Data Flow in High-Level Design and
and Specification,
Deliverable ECIP/CADLAB/90/I.2.1.2-1,
Paderborn, 31/12/90 |
| |
1989
|
|
|
W.Mueller,
F.J.Rammig. "ODICE: Object-Oriented Hardware Description in CAD
Environment", in Proc. of the Ninth IFIP Symposium on CHDLs and their
Application, Washington DC, June 19-21, 1989.
|