Björn Böttcher

According to our database, Björn Böttcher authored at least 6 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Exposing Design Mistakes During Requirements Engineering by Solving Constraint Satisfaction Problems to Obtain Minimum Correction Subsets.

Alexander Diedrich, Björn Böttcher, Oliver Niggemann

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

2014

Assisted design for automation systems - From formal requirements to final designs.

Natalia Moriz, Björn Böttcher, Oliver Niggemann, Josef Lackhove

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach.

Björn Böttcher, Natalia Moriz, Oliver Niggemann

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Plug-and-Produce: Semantic Module Profile.

Jens Otto, Björn Böttcher, Oliver Niggemann

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, 2013

Design of industrial automation systems - Formal requirements in the engineering process.

Björn Böttcher, Johann Badinger, Natalia Moriz, Oliver Niggemann

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2011

Convergence rate of numerical solutions to SFDEs with jumps.

Jianhai Bao, Björn Böttcher, Xuerong Mao, Chenggui Yuan

J. Comput. Appl. Math., 2011