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.
332 Publications
2005 | Book Chapter | LibreCat-ID: 33824
Martin, Grant, and Wolfgang Müller. “When Worlds Collide: Can UML Help SoC Design?” UML for SoC Design, edited by Grant Martin and Wolfgang Müller, Kluwer, 2005, pp. 1–15.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” Proceedings of DATE’05, IEEE, 2005, doi:10.1109/DATE.2005.20.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” Proceedings of ISNG 05, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” Proceedings of VL/HCC 05, 2005, doi:10.1109/VLHCC.2005.64.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39036
Krupp, Alexander, and Wolfgang Müller. Testmuster Für Nichtkontinuierliche Reglerelemente in Der Klassifikationsbaummethode Für Eingebettete Systeme. 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39038
Krupp, Alexander, and Wolfgang Müller. Modelchecking von Klassifikationsbaum-Testsequenzen. 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39039
Zabel, Henning, and Wolfgang Müller. Analyse von Synchronen Kommunikationsnetzwerken Durch Laufzeiteffiziente Formale Verifikation. 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39041
Bleul, Steffen, et al. “A Dialog Model for Multi Device Interfaces with Different Modalities.” Proceedings of the HCI International 2005, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39050
Ziegler, Max, et al. “Secure Profile Management in Smart Home Networks.” Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005), IEEE, 2005, doi: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.” Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005), IEEE, 2005, doi:10.1109/DEXA.2005.156.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig et al., vol. 3147, Springer-Verlag, 2004, pp. 206–26, doi:10.1007/978-3-540-27863-4_13.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
Schattkowsky, Tim, et al. “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.” Workflow Handbook 2004, edited by Layna Fischer, 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.” UML-B System Specification for Proven Electronic Design, edited by J. Mermet, Kluwer, 2004, pp. 155–68.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
Krupp, Alexander, et al. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” Best of FDL’03, edited by Ch. Grimm, Kluwer, 2004, pp. 301–14.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp, Alexander, et al. “The Echo Cancellation Unit Case Study.” UML-B System Specification for Proven Electronic Design, edited by J. Mermet, Kluwer, 2004, pp. 227–40.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
Müller, Wolfgang, et al. “Interactive Multimodal User Interfaces for Mobile Devices.” Proceedings of HICCS-37, 2004, doi:10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, Martin, et al. “The Formal Simulation Semantics of SystemVerilog.” Proceedings of FDL’04, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39060
Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” Proceedings of DATE’04, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” Proceedings of DATE’04 Designers’ Forum, 2004, doi: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.” Proceedings of the Simulation and Visualisation 2004, 2004.
LibreCat