Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
327 Publications
2005 | Conference Paper | LibreCat-ID: 39038
Krupp, Alexander, and Wolfgang Müller. “Modelchecking von Klassifikationsbaum-Testsequenzen.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Munich, Germany, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39039
Zabel, Henning, and Wolfgang Müller. “Analyse von Synchronen Kommunikationsnetzwerken Durch Laufzeiteffiziente Formale Verifikation.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Munich, Germany, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39041
Bleul, Steffen, Robbie Schäfer, and Wolfgang Müller. “A Dialog Model for Multi Device Interfaces with Different Modalities.” In Proceedings of the HCI International 2005. Las Vegas, NV, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39050
Ziegler, Max, Wolfgang Müller, Robbie Schäfer, and Chris Loeser. “Secure Profile Management in Smart Home Networks.” In Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). Copenhagen, Denmark : IEEE, 2005. https://doi.org/10.1109/DEXA.2005.171.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39052
Groppe, Jinghua, and Wolfgang Müller. “Profile Management Technology for Smart Customization in Private Home Applications.” In Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). Copenhagen, Denmark : IEEE, 2005. https://doi.org/10.1109/DEXA.2005.156.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” In Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004. https://doi.org/10.1007/978-3-540-27863-4_13.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
Schattkowsky, Tim, Wolfgang Müller, and Adam Pawlak. “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.” In Workflow Handbook 2004, edited by Layna Fischer. Lighthouse Point, FL, USA: Workflow Management Coalition (WfMC), 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” In UML-B System Specification for Proven Electronic Design, edited by J. Mermet, 155–68. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” In Best of FDL’03, edited by Ch. Grimm, 301–14. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “The Echo Cancellation Unit Case Study.” In UML-B System Specification for Proven Electronic Design, edited by J. Mermet, 227–40. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
Müller, Wolfgang, Robbie Schäfer, and Steffen Bleul. “Interactive Multimodal User Interfaces for Mobile Devices.” In Proceedings of HICCS-37. Waikoloa, HI, USA, 2004. https://doi.org/10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, Martin, Wolfgang Ecker, Thilo Kruse, and Wolfgang Müller. “The Formal Simulation Semantics of SystemVerilog.” In Proceedings of FDL’04. Lille, France, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39060
Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” In Proceedings of DATE’04. Paris, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” In Proceedings of DATE’04 Designers’ Forum. Paris, 2004. https://doi.org/10.1109/DATE.2004.1269214.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39063
Müller, Wolfgang, and Volker Paelke. “A Formal Model of a Framework for Simulation-Based Animation.” In Proceedings of the Simulation and Visualisation 2004. Magdeburg, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky, Tim, Chris Loeser, and Wolfgang Müller. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.” In Proceedings of AINA2004. Fukuoka, Japan : IEEE, 2004. https://doi.org/10.1109/AINA.2004.1283977.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” In Proceedings of SEFM´04. Beijing, China: IEEE, 2004. https://doi.org/10.1109/SEFM.2004.1347516.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39065
Gausemeier, Jürgen, Wolfgang Müller, Jürgen Bauch, W. Radkowski, T. Shen, and Volker Paelke. “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality.” In Proceedings of the Simulation and Visualisation 2004. Magdeburg, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39068
Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.” In Proceedings of ISORC’04. WIen, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39078
Gausemeier, Jürgen, Wolfgang Müller, Volker Paelke, Jürgen Bauch, Q. Shen, and R. Radkowski. “Virtual Prototyping Of Self-Optimizing Mechatronic Systems.” In Proceedings of the Design 2004. Dubrovnik, 2004.
LibreCat