Concepedia

Christian Brenner

CB

4

Publications

148

Citations

4

H-Index

2005

Active since

Affiliations

Paderborn University(Current)

Politecnico di Milano

Leibniz University Hannover

Christian Brenner is an author at Paderborn University specializing in systems engineering, software design, and computer science.

Top concepts

EngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering

Publications per year

2005–2024

4

Publications

4

A new LC/APCI-MS method for the determination of cholesterol oxidation products in food

Klaus Raith, Christian Brenner, Hany Farwanah et al. · Journal of Chromatography A · 2005 · 80 citations

Food Chemistry, Cholesterol Oxidation Products, Lipid Analysis +9

Incrementally synthesizing controllers from scenario-based product line specifications

Joel Greenyer, Christian Brenner, Maxime Cordy et al. · 2013 · 27 citations

Engineering, Verification, Software Engineering +22

The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions

Joel Greenyer, Christian Brenner, Valerio Panzica La Manna · Technische Universität Berlin – Universitätsbibliothek · 2024 · 22 citations · Full text

Engineering, Object-oriented Modeling, Software Engineering +24

Formalizing correctness criteria of dynamic updates derived from specification changes

Valerio Panzica La Manna, Joel Greenyer, Carlo Ghezzi et al. · 2013 · 19 citations

Software Maintenance, Engineering, Verification +22

Rows per page

1–4 of 4