Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
Bürger, Jens; Jürjens, Jan; Ruhroth, Thomas et al.
Model-based Security Engineering: Managed Co-Evolution of Security Knowledge and Software ModelsAlessandro Aldini; Javier Lopez; Fabio Martinelli (Hrsg). Foundations of Security Analysis and Design VII: FOSAD 2012/2013 Tutorial Lectures. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 34 - 53
Lochau, Malte; Peldszus, Sven; Kowal, Matthias et al.
Model-Based TestingMarco Bernardo; Ferruccio Damiani; Reiner Hähnle; Einar Broch Johnsen; Ina Schaefer (Hrsg). Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 310 - 342
Jürjens, Jan
Security Certification in the Presence of Evolution: Models vs. Code (Keynote)International Workshop on Safety and Formal Methods (SaFoMe@SEFM 2014). 2014
Blanco, Carlos; Rosado, David G.; Sanchez, Luís Enrique et al.
Security in information systems: Advances and new challengesComputer Standards & Interfaces. Bd. 36. H. 4. Amsterdam: Elsevier 2014 S. 687 - 688
Rosado, David G.; Blanco, Carlos; Mellado, Daniel et al.
Security in Information Systems: Proceedings of the 11th International Workshop on Security in Information Systems WOSIS 2014; in conjunction with ICEIS 2014; Lisbon, Portugal; April 27-27, 2014Setúbal: SciTePress 2014
Wenzel, Sven; Poggenpohl, Daniel; Jürjens, Jan et al.
Specifying model changes with UMLchange to support security verification of potential evolutionComputer Standards & Interfaces. Bd. 36. H. 4. Amsterdam: Elsevier 2014 S. 776 - 791
Jürjens, Jan; Schneider, Kurt
The SecReq Approach: From Security Requirements to Secure Design while Managing Software EvolutionWilhelm Hasselbring; Nils Christian Ehmke (Hrsg). Software Engineering 2014: Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014 in Kiel, Deutschland. Bonn: Gesellschaft für Informatik 2014 S. 89 - 90
Ruhroth, Thomas; Gärtner, Stefan; Bürger, Jens et al.
Towards Adaptation and Evolution of Domain-specific Knowledge for Maintaining Secure SystemsAndreas Jedlitschka; Pasi Kuvaja; Marco Kuhrmann; Tomi Männistö; Jürgen Münch; Mikko Raatikainen (Hrsg). Product-Focused Software Process Improvement: 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014. Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 239 - 253
Humberg, Thorsten; Wessel, Christian; Poggenpohl, Daniel et al.
Using Ontologies to Analyze Compliance Requirements of Cloud-Based ProcessesMarkus Helfert; Frédéric Desprez; Donald Ferguson; Frank Leymann (Hrsg). Cloud Computing and Services Science: Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 36 - 51
Ruhroth, Thomas; Gärtner, Stefan; Bürger, Jens et al.
Versioning and Evolution Requirements for Model-Based System DevelopmentSoftwaretechnik-Trends. Bd. 34. H. 2. Bonn: Gesellschaft für Informatik 2014 S. 20 - 24