Concepedia

Christoph Brandt

CB

5

Publications

77

Citations

5

H-Index

2007

Active since

Affiliations

University of Luxembourg(Current)

Technische Universität Berlin

Christoph Brandt is an author at University of Luxembourg specializing in formal verification, software engineering, and business.

Top concepts

BusinessManagementEngineeringVerificationFormal MethodsFormal VerificationSystems EngineeringSoftware EngineeringDesignE-business

Publications per year

2007–2024

5

Publications

5

Graph Transformations for the Resource Description Framework

Benjamin Braatz, Christoph Brandt · Technische Universität Berlin – Universitätsbibliothek · 2024 · 24 citations · Full text

Evaluation of a business continuity plan using process algebra and modal logic

Wolfgang Boehmer, Christoph Brandt, Jan Friso Groote · 2009 · 18 citations

Engineering, Business Processes, Business Continuity Planning +25

Conformance Analysis of Organizational Models

Christoph Brandt, Frank Hermann · International Journal of Information System Modeling and Design · 2013 · 13 citations

Engineering, Verification, Enterprise Modeling +27

An Approach Using Formally Well-founded Domain Languages for Secure Coarse-grained IT System Modelling in a Real-world Banking Scenario

Christoph Brandt, Thomas Engel, Benjamin Braatz et al. · Journal of the Association for Information Systems · 2007 · 12 citations · Full text

Modeling and reconfiguration of critical business processes for the purpose of a Business Continuity Management respecting security, risk and compliance requirements at Credit Suisse using algebraic graph transformation

Christoph Brandt, Frank Hermann, Thomas Engel · 2009 · 10 citations

Rows per page

1–5 of 5