Jan Jürjens
: Software
Publications and Talks
Hot off the Press
Representative Work
Book, invited Papers
Journals / Book Chapters
Int. Conferences
Ind. Conf./Worksh.
Issues / Proceedings
Software
Tutorials
Software
UML Analysis tools
Rubacon: Automated Support for Model-based Compliance Engineering (cf our
ICSE 2008
paper).
Source-code
.
Movie
on usage. Further demo in
avi
and
mov
format.
Tools for Model-based Security Analysis and Security Traceability
CARiSMA: CompliAnce/Risk/Security-Model-Analyzer