Using relational and behavioural semantics in the verification of object models

Towards Development of Secure Systems Using UMLsec

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering

Activity Graphs and Processes

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods

An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation

IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods

Components as coalgebras: the refinement dimension

Theoretical Computer Science - Algebraic methodology and software technology

Checking the validity of scenarios in UML models

FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems