Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Jürjens, Jan
Formal Development of Critical Systems with UML: Methods and Tools: A Half-day tutorialFM 2003 -- 12th International Formal Methods Europe Symposium. Pisa, Italy. 2003
Jürjens, Jan
Half-day tutorial - Developing Critical Information Systems with UML: Concepts and Tool-support, ; , ; , (Hrsg). 2nd International Conference on Information System Technology and its Applications (ISTA 2003). Kharkiv: GI 2003 (LNI)
Jürjens, Jan
IT-Security and Risk-Analysis for Business ProcessesInfotage. Starnberger See. 2003
Jürjens, Jan
IT-Sicherheits- und Risikoanalyse von Geschäftsprozessen - TutorialInfotage. Starnberger See. 2003
Breu, Ruth; Burger, Klaus; Hafner, Michael et al.
Key Issues of a Formally Based Process Model for Security EngineeringSixteenth International Conference Software & Systems Engineering & their Applications. Paris. 2003 S. 1 - 15
Görgen, Daniel; Frey, Hannes; Lehnert, Johannes K. et al.
Marketplaces as Communication Patterns in Mobile Ad-Hoc NetworksKlaus Irmscher; Klaus-Peter Fähnrich (Hrsg). Kommunikation in Verteilten Systemen KiVS 2003: 13. ITG/GI-Fachtagung; Leipzig, 25.–28. Februar 2003. Berlin: Springer 2003 S. 183 - 194
Jürjens, Jan
Methoden der Entwicklung sicherer Systeme - Half-day tutorialGI Teiltagung Sicherheit- Schutz und Zuverlässigkeit. Frankfurt. 2003
Kuhn, Thomas A.; Jürjens, Jan
Mobile Web-based Applications with UML: Concepts and Tools: A Half-day tutorialInternational Conference WWW/Internet 2003. 2003
Baumgartner, Peter; Furbach, Ulrich; Thomas, Bernd
Model Based Deduction for Knowledge RepresentationBertram Fronhöfer; Steffen Hölldobler (Hrsg). 17. Workshop Logische Programmierung: Technische Universität Dresden, 11. - 13. Dezember 2002. Dresden: Technische Universität Dresden Fakultät Informatik 2003 S. 156 - 166
Jürjens, Jan
Model-based Security with UMLsec - Invited talkUML Forum Tokyo. 2003