Papers


UML-based Design of Synchronization Aspects

  • A Structured Approach to Develop Concurrent Programs in UML, in Proc. of the Third International Conference on the Unified Modeling Langauge (UML2000), Lecture Notes in Computer Science 1939, pp 451-465.

  • A Pattern-Based Approach to Develop Concurrent Programs in UML --- Part 1, Masaaki Mizuno, February 2001, KSU Technical Report 2001-02. (Send mail to masaaki@cis.ksu.edu for a copy of this paper).

  • A Pattern-Based Approach to Develop Concurrent Programs in UML --- Part 2, Masaaki Mizuno, March 2001, KSU Technical Report 2001-03. (Send mail to masaaki@cis.ksu.edu for a copy of this paper).

Synthesis of Synchronization

Model-checking Concurrent Java Software

For checking synchronization specifications and code generated using the SyncGen tool, the following paper is most appropriate.

For checking concurrent Java software in general, see some recent papers below from the Bandera group or see more papers on the Bandera project web-site

Applications to Controller-Area-Network (CAN)