Jürjens, Jan; Weber, Tjark

Pierpaolo Degano; Luca Viganò (Hrsg). Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers. Berlin: Springer 2009 S. 155 - 172

Li, Xu; Frey, Hannes; Santoro, Nicola et al.

Wie Zhao; Lionel M. Ni (Hrsg). Proceedings of the IEEE 6th International Conference on Mobile Adhoc and Sensor Systems MASS 2009: 12-15 October 2009; Macau (S.A.R.), China. Piscataway, NJ: IEEE Computer Society 2009 S. 466 - 475

Jürjens, Jan

12th European Joint Conferences on Theory and Practice of Software (ETAPS 2009). 2009

Schwarz, Christian; Weyand, Christian; Zöbel, Dieter

Rüdiger Dillmann; Jürgen Beyerer; Christoph Stiller; J. Marius Zöllner; Tobias Gindele (Hrsg). Autonome Mobile Systeme 2009: 21. Fachgespräch Karlsruhe, 3. - 4. Dezember 2009. Berlin: Springer 2009 S. 97 - 104

Favre, Jean-Marie; Gasevic, Dragan; Lämmel, Ralf et al.

IEEE Transactions on Software Engineering. Bd. 35. H. 6. New York, NY: IEEE Institute of Electrical and Electronics Engineers 2009 S. 737 - 741

Ludwig, Jost; Shabala, Lana; Mpangara, Anja et al.

The FEBS Journal. Bd. 276. H. Supplement s1. Oxford: Wiley-Blackwell 2009 242

Sofronie-Stokkermans, Viorica

Renate A. Schmidt (Hrsg). Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. Berlin: Springer 2009 S. 67 - 83

Li, Xu; Frey, Hannes; Santoro, Nicola et al.

Hamid Akhavan (Hrsg). Proceedings of the IEEE International Confernece on Communications ICC; 14.-18. June 2009, Dresden, Germany. Piscataway, NJ: IEEE Computer Society 2009 S. 1 - 5

Jürjens, Jan

Serenity Day: Establishing IT Security as a full engineering discipline. Brussels. 2009

Jürjens, Jan

14th Software & Systems Quality Conferences (SQC’09). Congress Center Düsseldorf (Germany). 2009 S. 1 - 34