Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Jürjens, Jan
Automated Security Hardening for Evolving UML ModelsRichard N. Taylor; Harald Gall; Nenad Medvidović (Hrsg). Proceedings of the 33rd International Conference on Software Engineering ICSE 2011: May 21–28, 2011; Waikiki, Honolulu, Hawaii. New York, NY: ACM Association for Computing Machinery 2011 S. 986 - 988
Jürjens, Jan
CARiSMA (Compliance/Risk/Security Model Analyzer)2011
Lee, Alvin J. X.; Endesfelder, David; Rowan, Andrew J. et al.
Chromosomal instability confers intrinsic multidrug resistanceCancer Research. Bd. 71. H. 5. Philadelphia, PA: AACR 2011 S. 1858 - 1870
Bartolomei, Thiago; Derakhshanmanesh, Mahdi; Fuhr, Andreas et al.
Combining Multiple Dimensions of Knowledge in API MigrationAndreas Fuhr;Wilhelm Hasselbring;Volker Riediger;Magiel Bruntink;Kostas Kontogiannis (Hrsg). Joint Proceedings of the First International Workshop on Model-Driven Software Migration MDSM 2011 and the Fifth International Workshop on Software Quality and Maintainability SQM 2011 - Workshops at the 15th European Conference on Software Maintenance and Reengineering CSMR 2011: Oldenburg, Germany, March 1, 2011. Aachen: CEUR/RWTH 2011 S. 21 - 24
Schmidt, Holger; Jürjens, Jan
Connecting Security Requirements Analysis and Secure Design Using Patterns and UMLsecHaralambos Mouratidis; Colette Rolland (Hrsg). Advanced Information Systems Engineering: 23rd International Conference, CAiSE 2011: London, UK, June 20-24, 2011; Proceedings. Berlin: Springer 2011 S. 367 - 382
Frey, Hannes; Hollick, Matthias; Loch, Adrian
Curve-based Planar Graph Routing in Multihop Wireless NetworksJaime Lloret; Ivan Stojmenovic; Dajin Wang (Hrsg). Proceedings oft the 8th IEEE International Conference on Mobile Ad-Hoc and Sensor Systems: IEEE MASS 2011; 17-22 October 2011; Valencia, Spain. Los Alamitos, CA: IEEE Computer Society 2011 S. 149 - 151
Damm, Werner; Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
Decidability and Complexity for the Verification of Safety Properties of Reasonable Linear Hybrid AutomataEmilio Frazzoli; Radu Grosu (Hrsg). Proceedings of the 2011 ACM/SIGBED: Hybrid Systems: Computation and Control HSCC 2001; April 12–14, 2011; Chicago, Illinois, USA. New York, NY: ACM Association for Computing Machinery 2011 S. 73 - 82
Hopfgartner, Frank; Jose, Joemon M.
Development of a test collection for studying long-term user modellingMyra Spiliopoulou;Andreas Nürnberger;Rene Schult (Hrsg). Report of the symposium "Lernen, Wissen, Adaptivität 2011" of the GI special interest groups KDML, IR and WM, LWA 2011, Magdeburg, 28.-30.September 2011. Magdeburg: Otto-Von-Guericke-Universität Magdeburg 2011 S. 1 - 8
Kaiser, Robert; Zöbel, Dieter
Echtzeitfähigkeit virtueller MaschinenWolfgang A. Halang; Peter Holleczek (Hrsg). Eingebettete Systeme: Echtzeit 2010; Boppart; 18. und 19. November, 2010. Berlin: Springer 2011 S. 41 - 50
Vallet, David; Hopfgartner, Frank; Jose, Joemon M. et al.
Effects of Usage-Based Feedback on Video Retrieval: A Simulation-Based StudyACM Transactions on Information Systems. Bd. 29. H. 2. New York, NY: ACM Association for Computing Machinery 2011 S. 11