HybridUML

Articles

The initial proposal of the Hybrid UML profile: HybridUML Profile for UML 2.0 by Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, and Jan Peleska.

Executable HybridUML and its Application to Train Control Systems by Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, and Jan Peleska.

Integrated Specification, Validation and Verification with HybridUML and OCL applied to the BART Case Study by Stefan Bisanz, Paul Ziemann, and Arne Lindow.

Presentations

Hybrid UML and its Application to Specification and Test of Train Control Systems. Part 2
presented at the "6. Kolloquium des DFG-SPP 1064 Software-Spezifikationen" in Stuttgart, Germany, 20.11.2003

HYBRIS - Efficient Analysis of Hybrid Systems
presented at the "Abschlusskolloquium (7. Kolloquium) des DFG-SPP 1064 Software-Spezifikationen" in Stuttgart, Germany, 28.09.2004

Integrated Specification, Validation and Verification with HybridUML and OCL applied to the BART Case Study (alternatively: gzipped version) presented at "FORMS/FORMAT 2004. Formal Methods for Automation and Safety in Railway and Automotive Systems", 5. Symposium, in Braunschweig, Germany, 03.12.2004

Author: alien

AG BS

Last updated: November 2, 2022