Concepedia

Mattias Ulbrich

MU

6

Publications

205

Citations

6

H-Index

2013

Active since

Affiliations

Karlsruhe Institute of Technology(Current)

Technical University of Munich

Institute of Automation

Mattias Ulbrich is an author at Karlsruhe Institute of Technology specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationVerificationSoftware TestingAutomated ReasoningSoftware Verification

Publications per year

2013–2017

6

Publications

6

Automating regression verification

Dennis Felsing, Sarah Grebing, Vladimir Klebanov et al. · 2014 · 118 citations

Program Checking, Engineering, Verification +19

Selected challenges of software evolution for automated production systems

Birgit Vogel‐Heuser, Stefan Feldmann, Jens Folmer et al. · 2015 · 33 citations

Software Maintenance, Engineering, Industrial Engineering +19

Relational Program Reasoning Using Compiler IR

Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich · Journal of Automated Reasoning · 2017 · 20 citations

Engineering, Automated Reasoning, Program Analysis +7

Implementation-level verification of algorithms with KeY

Daniel Bruns, Wojciech Mostowski, Mattias Ulbrich · International Journal on Software Tools for Technology Transfer · 2013 · 14 citations · Full text

Engineering, Automated Reasoning, Mechanical Verification +9

Proving equivalence between control software variants for Programmable Logic Controllers

Sebastian Ulewicz, Birgit Vogel‐Heuser, Mattias Ulbrich et al. · 2015 · 10 citations

Rows per page

1–5 of 6