Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
Yu, Yijun; Jürjens, Jan; Mylopoulos, John
Traceability for the Maintenance of Secure SoftwareFuqing Yang; Scott Tilley; Hong Mei; Kenny Wong (Hrsg). Proceedings of the 2008 IEEE International Conference on Software Maintenance ICSM 2008: September 28 - October 4, 2008 Beijing, China. Los Alamitos, CA: IEEE Computer Society 2008 S. 297 - 306
Jürjens, Jan
Using Interface Specifications for Verifying Crypto- protocol ImplementationsFoundations of Interface Technologies 2008 (FIT‘08 @ ETAPS 2008). 2008
Houmb, Siv Hilde; Georg, Geri; Jürjens, Jan et al.
An Integrated Security Verification and Security Solution Design Trade-off Analysis ApproachHaralambos Mouratidis;Paolo Giorgini (Hrsg). Integrating Security and Software Engineering: Advances and Future Visions. Hershey, PA: IGI Global 2007 S. 190 - 219
Jürjens, Jan
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie ProjectSeventh International Workshop on Automated Verification of Critical Systems (AVOCS 2007). Oxford. 2007
Jürjens, Jan
Compliance-driven Secure Software Quality ManagementSoftware & Systems Quality Conference (SQC-UK 2007). London, 2./3. Oct. 2007
Georg, Geri; Houmb, Siv Hilde; France, Robert B. et al.
Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop ReportThomas Kühne (Hrsg). Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers. Berlin: Springer 2007 S. 27 - 31
Jürjens, Jan
Developing Secure Embedded Systems: Pitfalls and How to Avoid ThemJohn Knight; Gregg Rothermel; Wolfgang Emmerich (Hrsg). Proceeding of the 29th International Conference on Software Engineering ICSE 2007 Companion Volume: 20-26 May 2007; Minneapolis, Minnesota. Los Alamitos, CA: IEEE Computer Society 2007 S. 182 - 183
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 AssuranceThird International Workshop on Software Engineering for Secure Systems (SESS 2007 @ ICSE 2007). Minneapolis (MN) (USA). 2007
Jürjens, Jan
Model-based Security-Engineering (Invited Lecture)2007