Concepedia

Sebastian Buchwald

SB

Statistics

Publications

6

Citations

194

H-Index

6

Active since

2010

Affiliations

Karlsruhe Institute of Technology(Current)

King's College London

University of Latvia

University of York

University of Koblenz and Landau

Sebastian Buchwald is an author at Karlsruhe Institute of Technology specializing in engineering, software analysis, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationComputer EngineeringCompilersParallel Programming

Publications per year

2010–2018

6

Publications

6

GrGen.NET

Edgar Jakumeit, Sebastian Buchwald, Moritz Kroll · International Journal on Software Tools for Technology Transfer · 2010 · 57 citations

Graph and model transformation tools for model migration

Louis M. Rose, Markus Herrmannsdoerfer, Steffen Mazanek et al. · Software & Systems Modeling · 2012 · 50 citations

Engineering, Data Science, Model Transformation Tools +8

A survey and comparison of transformation tools based on the transformation tool contest

Edgar Jakumeit, Sebastian Buchwald, Dennis Wagelaar et al. · Science of Computer Programming · 2013 · 47 citations · Full text

Synthesizing an instruction selection rule library from semantic specifications

Sebastian Buchwald, Andreas Fried, Sebastian Hack · 2018 · 17 citations

Engineering, Machine Code, Software Engineering +17

Verified construction of static single assignment form

Sebastian Buchwald, Denis Lohner, Sebastian Ullrich · 2016 · 13 citations

Mathematical Programming, Verified Construction, Engineering +22

1–5 of 6