Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Grünbauer, Johannes; Jürjens, Jan; Kuhn, Thomas A. et al.
Sicherheit in serviceorientierten ArchitekturenDie Computer-Zeitung. Stuttgart: Konradin 2004 S. keine Angaben
Kögler, Marco; Obst, Oliver
Simulation League: The Next GenerationLecture notes in computer science. Bd. 3020. Berlin: Springer 2004 S. 458 - 469
Jürjens, Jan
Software Architectures for Safe and Secure Systems: A Half-day tutorial4th IEEE/IFIP Conference on Software Architecture (WICSA 2004). Oslo, Norway: Institute of Electrical and Electronics Engineers 2004
Deubler, Martin; Grünbauer, Johannes; Jürjens, Jan et al.
Sound development of secure service-based systemsMarco Aiello; Mikio Aoyama; Francisco Curbera; Mike P. Papazoglou (Hrsg). Proceedings of the Second International Conference on Service Oriented Computing ICSOC 2004: November 15-19, 2004; New York City, NY, USA. New York, NY: ACM Association for Computing Machinery 2004 S. 115 - 124
Jürjens, Jan
Standards and Processes for Modelbased Engineering of Safety- and Security-Critical Systems23rd International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2004). Potsdam (Germany): Springer Verlag 2004 (Lecture Notes in Computer Science)
Sturm, Peter; Frey, Hannes; Gšrgen, Daniel et al.
Supporting Smart Applications in Multihop Ad-Hoc Networks: The GecGo MiddlewareMircea Gh. Negoita; Robert J. Howlett; Lakhmi C. Jain (Hrsg). Knowledge-Based Intelligent Information and Engineering Systems: 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004, Proceedings, Part I. Berlin: Springer 2004 S. 718 - 726
Rychlewski, Leszek; Kschischo, Maik; Dong, Liying et al.
Target Specificity Analysis of the Abl Kinase using Peptide Microarray DataJournal of molecular biology. Bd. 336. H. 2. Amsterdam: Elsevier 2004 S. 307 - 311
Jürjens, Jan
Tools for Critical Systems Development with UMLASE 2004. Linz. 2004
Jürjens, Jan
Towards Automated Computationally Faithful Verification of CryptoprotocolsDIMACS Security Protocols Workshop. Rutgers University. 2004
Ebert, Jürgen
5. Workshop Software Reengineering (WSR 2003)Bonn: Ges. für Informatik 2003 59 S. (Softwaretechnik-Trends ; 23.2003,2)