Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Jürjens, Jan
Developing Security-Critical Distributed Systems with UML: Methods and Tools: A Half-day tutorial6th International Conference on Formal Methods for Open Object-based Distributed Systems. Paris (France): IFIP 2003
Jürjens, Jan; Houmb, Siv Hilde
Development of Safety-Critical Systems and Model- Based Risk Analysis with UMLRogério de Lemos; Taisy Silva Weber; João Batista CamargoJr. (Hrsg). Dependable Computing: First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings. Berlin: Springer 2003 S. 364 - 365
Jürjens, Jan; Buda, Lidiya
Entwurfsprinzipien und Entwurfsmuster für sichere Systeme2003
Frey, Hannes; Görgen, Daniel; Lehnert, Johannes K. et al.
Erfahrungsbericht zur praktischen Umsetzung eines Auktionssystems fuer grossflaechige mobile multi-hop Ad-hoc-NetzwerkeJürgen Kleinöder (Hrsg). Frühjahrstreffen GI Fachgruppe Betriebssysteme BS: 3. und 4. April 2003 in Erlangen. Erlangen: Universität Erlangen, Informatik 4 2003 S. 1 - 7
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