Björn Böttcher

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 1

Top Topics

Solving Constraint Satisfaction Problems

Technical Systems

Semantically Equivalent

Top Venues

Publications

Alexander Diedrich, Björn Böttcher, Oliver Niggemann
Exposing Design Mistakes During Requirements Engineering by Solving Constraint Satisfaction Problems to Obtain Minimum Correction Subsets. ICAART (2) (2016)
Björn Böttcher, Natalia Moriz, Oliver Niggemann
From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach. ECAI (2014)
Natalia Moriz, Björn Böttcher, Oliver Niggemann, Josef Lackhove
Assisted design for automation systems - From formal requirements to final designs. ETFA (2014)
Björn Böttcher, Johann Badinger, Natalia Moriz, Oliver Niggemann
Design of industrial automation systems - Formal requirements in the engineering process. ETFA (2013)
Jens Otto, Björn Böttcher, Oliver Niggemann
Plug-and-Produce: Semantic Module Profile. MBEES (2013)
Jianhai Bao, Björn Böttcher, Xuerong Mao, Chenggui Yuan
Convergence rate of numerical solutions to SFDEs with jumps. J. Comput. Appl. Math. 236 (2) (2011)