Workshop on Critical Systems Development with UML

Dresden, German, 30th September, 2002 (Conference Home)

Invited talk

• S. Merz: From Diagrams to Semantics -- and back, p. 1, (BibTeX entry).

Safety

• W. Längst, A. Lapp, K. Knorr, H.-P. Schneider, J. Schirmer, D. Kraft, W. Kiencke: CARTRONIC-UML Models: Basis for Partially Automated Risk Analysis in Early Development Phases, p. 3-18, (BibTeX entry).

Formal Design Methods

• I. H. Krüger: Towards Precise Service Specification with UML and UML-RT, p. 19-34, (BibTeX entry).
• K. Diethers, Ursula Goltz, Michaela Huhn: Model Checking UML Statecharts with Time, p. 35-52, (BibTeX entry).
• Paul Ziemann, Martin Gogolla: An Extension of OCL with Temporal Logic, p. 53-62, (BibTeX entry).

Security

• Manuel Koch, Francesco Parisi-Presicce: Access Control Policy Specification in OCL, p. 63-78, (BibTeX entry).
• S.-H. Houmb, F. den Braber, M. Soldal Lund, K. Stolen: Towards a UML profile for Model-Based Risk Assessment, p. 79-92, (BibTeX entry).
• E. Fernandez-Medina, A. Martinez, C. Medina, M. Piattini: UML for the Design of Secure Databases: Integrating Security Levels, User Roles, and Constraints in the Database Design Process., p. 93-106, (BibTeX entry).

Security (II), Formal Design Methods (II)

• Geri Georg, Robert B. France, I. Ray: An Aspect-Based Approach to Modeling Security Concerns, p. 107-120, (BibTeX entry).
• D. N. Jansen: Probabilistic UML Statecharts for Specification and Verification a Case Study, p. 121-132, (BibTeX entry).
• A. Wasowski, P. Sestoft: Compile-time Scope Resolution for Statecharts Transitions, p. 133-146, (BibTeX entry).

Short papers (posters)

• K.T. Hansen, I. Gullesen: Utilizing UML and patterns for safety critical systems, p. 147-154, (BibTeX entry).
• R. Marcano, N. Levy: Transformation rules of OCL Constraints into B Formal Expressions, p. 155-162, (BibTeX entry).
• A. Pataricza: From the General Ressource Model to a General Fault Modeling Paradigm ?, p. 163-170, (BibTeX entry).
• L. Petre: Control Systems Development: A Case Study, p. 171-180, (BibTeX entry).
• E. Song, Robert B. France, D. Kim, S. Ghosh: Using Roles for Pattern-Based Model Refactoring, p. 181-188, (BibTeX entry).

[Home | Search Author | Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.