Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Jürjens, Jan
Model-based Security Testing Supporting Evolution14th Software & Systems Quality Conferences (SQC’09). Congress Center Düsseldorf (Germany). 2009 S. 1 - 34
Fernández-Medina, Eduardo; Jürjens, Jan; Trujillo, Juan et al.
Model-Driven Development for secure information systemsInformation and Software Technology. Bd. 51. H. 5. Amsterdam: Elsevier 2009 S. 809 - 814
Kschischo, Maik
Modelling of ion homeostasis in the yeast Saccharomyces Cerevisiae2009
Hopfgartner, Frank; Jose, Joemon M.
On User Modelling for Personalised News Video RecommendationGeert-Jan Houben;Gord McCalla;Fabio Pianesi;Massimo Zancanaro (Hrsg). User Modeling, Adaptation, and Personalization: 17th International Conference, UMAP 2009, formerly UM and AH, Trento, Italy, June 22-26, 2009, Proceedings. Berlin: Springer 2009 S. 403 - 408
Washizaki, Hironori; Yoshioka, Nobukazu; Fernandez, Eduardo B. et al.
Overview of the 3rd international workshop on software patterns and quality (SPAQu'09)Shail Arora;Gary T. Leavens (Hrsg). Proceeding and Companion of the 24th ACM Conference on Object-Oriented Programming Systems Languages and Applications OOPSLA 2009: October 25. - 29., 2009; Orlando, FL. New York, NY: ACM Association for Computing Machinery 2009 S. 713 - 714
Washizaki, Hironori; Yoshioka, Nobukazu; Fernández, Eduardo B. et al.
Overview of the 3rd international workshop on software patterns and quality (SPAQu’09)Shail Arora; Bernd Bruegge; Gary Leavens; Yvonne Coady; Simon Peyton-Jones (Hrsg). Proceeding of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications OOPSLA 2009: Orlando, Florida, USA; October 25 - 29, 2009. New York, NY: ACM Association for Computing Machinery 2009 S. 713 - 714
Frey, Hannes; Rührup, Stefan
Paving the Way Towards Reactive Planar Spanner Construction in Wireless NetworksKlaus David; Kurt Geihs (Hrsg). Kommunikation in Verteilten Systemen KiVS 2009:16. Fachtagung; Kassel, 2.–6. März 2009 - Eine Veranstaltung der Gesellschaft für Informatik (GI) unter Beteiligung der Informationstechnischen Gesellschaft (ITG/VDE) Ausgerichtet von der Universität Kassel. Berlin: Springer 2009 S. 17 - 28
Woodside, Murray; Petriu, Dorina C.; Petriu, Dorin Bogdan et al.
Performance analysis of security aspects by weaving scenarios extracted from UML modelsJournal of Systems and Software. Bd. 82. H. 1. Amsterdam: Elsevier 2009 S. 56 - 74
Peltier, Nicolas; Sofronie-Stokkermans, Viorica
Preface.FTP. 2009
Peltier, Nicolas; Sofronie-Stokkermans, Viorica
Proceedings of the 7th International Workshop on First-Order Theorem Proving FTP'09Aachen: CEUR/RWTH 2009