Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Best, Bastian; Jürjens, Jan; Nuseibeh, Bashar
Model-based Security Engineering of Distributed Information Systems using UMLsecJohn Knight; Wolfgang Emmerich; Gregg Rothermel (Hrsg). Proceedings of the 29th International Conference on Software Engineering ICSE 2007: May 20. - 26. 2007; Minneapolis, Minnesota. Los Alamitos, CA: IEEE Computer Society 2007 S. 581 - 590
Jürjens, Jan
Model-based Security Engineering: Run-time Assurance: Invited Talk2007
Jürjens, Jan
Model-based Security-Engineering (Invited Lecture)2007
Jürjens, Jan
Modellbasierte Entwicklung Sicherheitskritischer Systeme (Keynote)Software Engineering 2007. 2007
Sofronie-Stokkermans, Viorica
On unification for bounded distributive latticesACM Transactions on Computational Logic. Bd. 8. H. 2. New York, NY: ACM Association for Computing Machinery 2007 S. 12
Woodside, Murray; Petriu, Dorina; Israr, Tauseef et al.
Performance Analysis of Security Aspects in UML ModelsShikharesh Majumdar; Vittorio Cortellessa; Sebastian Uchitel; Daniel Yankelevich (Hrsg). Proceedings of the 6th International Workshop on Software and Performance WOSP 2007: Buenes Aires, Argentina; February 5 - 8, 2007. New York, NY: ACM Association for Computing Machinery 2007 S. 91 - 102
Hasenbrink, Guido; Kolácná, Lucie; Ludwig, Jost et al.
Ring test assessment of the mKir2.1 growth based assay in Saccharomyces cerevisiae using parametric models and model-free fitsApplied Microbiology and Biotechnology. Bd. 73. H. 5. Berlin: Springer 2007 S. 1212 - 1221
Jürjens, Jan
Security Information Networks: A Two-day tutorial - With Enkryptix Security Consulting, Mumbai and New Delhi IndiaTwo-day tutorial, each in Mumbai and New Delhi. 2007
Hopfgartner, Frank; Urban, Jana; Villa, Robert et al.
Simulated Testing of an Adaptive Multimedia Information Retrieval SystemJenny Benois-Pineau (Hrsg). Proceedings of the Fifth International Workshop on Content-Based Multimedia Indexing CBMI 2007; Bordeaux, France; June 25 - 27, 2007. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2007 S. 328 - 335
Ratiu, Daniel; Jürjens, Jan
The Reality of LibrariesRené Krikhaar; Chris Verhoef; Giuseppe Antonia Di Lucca (Hrsg). Proceedings of the 11th European Conference on Software Maintenance and Reengineering CSMR 2007: Software Evolution in Complex Software Intensive Systems; 21-23 March 2007; Amsterdam, the Netherlands. Los Alamitos, CA: IEEE Computer Society 2007 S. 307 - 318