Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
Publikationen
Ergebnisse pro Seite:  10


Damm, Werner; Ihlemann, Carsten; Sofronie-Stokkermans, Viorica

PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata

Mathematics in Computer Science. Bd. 5. H. 4. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2011 S. 469 - 497


Roylance, Rebecca; Endesfelder, David; Gorman, Patricia et al.

Relationship of extreme chromosomal instability with superior long-term survival in a retrospective analysis of ER-negative primary breast cancer

Cancer epidemiology biomarkers & prevention. Bd. 20. H. 10. Philadelphia, PA: AACR 2011 S. 2183 - 2194


Bauer, Andreas; Jürjens, Jan; Yu, Yijun

Run-Time Security Traceability for Evolving Systems

The Computer Journal. Bd. 54. H. 1. Oxford: Oxford University Press 2011 S. 58 - 87


Jürjens, Jan

Schattenseiten - Interview zum Thema Cloud-Sicherheit

Media Biz : Medien- und Veranstaltungsbranche und unabhängiges Fachmagazin für Medien, Kultur & Technik. Wien: MEDIA BIZ 2011


Jürjens, Jan

Security and Compliance in Clouds

IT-Compliance 2011. Berlin (Germany). 2011 S. 1 - 25



Hirsch, Martin; Jürjens, Jan; Küster, Jan-Christoph

Security and Compliance in Clouds: Pattern-Based Compliance and Security Requirements Engineering

2011 S. 1 - 20


Nhlabatsi, Armstrong; Bandara, Arosha; Hayashi, Shinpei et al.

Security Patterns: Comparing Modeling Approaches

Haralambos Mouratidis (Hrsg). Software Engineering for Secure Systems: Industrial and Research Perspectives. Hershey, PA: Information Science Reference 2011 S. 75 - 111