Fachbereich Informatik Institute for Software Technology
Institute für Software Technology

Research Group
Software Engineering



Diese Seite in Deutsch



University of Koblenz-Landau

Institute for Computer Science

Universitaetsstrasse 1
D-56070 Koblenz

Important Infos


You will find an overview of our teaching here (german).

Main Content

Research Group:
Software Engineering for Critical Systems
(Prof. Dr. Jan Jürjens)

Our main research topic, is model-based development of critical software. In particular we are focussing on technologies such as e.g. cloud computing, in which "best practices" for secure software development do not yet exist. These are in particular:

  • Methods and Tools for Modelling and Verification of Security Properties (see Ten Year Most Influential Paper at UML 2002):
    • Modelling Languages (UMLsec) and Verification (CARiSMA) of Security Properties in UML
    • Extension of Domain-Specific Languages (e.g. BPMN) for Modelling Security Properties (CARiSMA)
    • Secure Software Engineering subject to Evolution (SecureChange, EU-FET)
    • Environment-Driven Knowledge Evolution (SecVolution, DFG-SPP 1593 "Design for Future")
  • Security for Business Processes (APEX, Fraunhofer-Attract)
  • Security in Cloud-Computing Environments (SecureClouds (BMBF) and ClouDAT (IKT.NRW))
  • Modelling and Analysis of Economical Aspects of Security Measures (SECONOMICS, EU)
  • Visual Privacy Management in User Centric Open Environments (Vision, EU)
Current information about teaching of the working group can be found at the UniCMS of University of Koblenz-Landau.


  • Koblenz Informatics among research leaders in Germany according to CHE University Ranking 2015/16 and 2016/17
  • ESA funds new project "TReqs" on Requirements Engineering for Space Systems (2016-2019)
  • DFG funds new project: "Beyond One-Shot Security: Requirements-driven Run-time Security Adaptation to Reduce Code Patching (SecVolution @ Run-Time)" (follow-on project to the project SecVolution within the DFG Priority Program 1593 "Design for Future - Managed Software Evolution"; 2016-2019)
  • Industrial Data Space launched !
  • New EU project: Visual Privacy Management in User Centric Open Environments (Vision, 2015-2017) !