Concepedia

Bernd Krieg-Brückner

BK

17

Publications

744

Citations

13

H-Index

1978

Active since

Affiliations

University of Bremen(Current)

German Research Centre for Artificial Intelligence

University of California, Berkeley

Technical University of Munich

Bernd Krieg-Brückner is an author at University of Bremen specializing in engineering, program analysis, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringSoftware DesignSemanticsAutomated ReasoningSystems Engineering

Publications per year

1978–2017

17

Publications

17

CASL: the Common Algebraic Specification Language

Egidio Astesiano, Michel Bidoit, Bernd Krieg-Brückner et al. · Theoretical Computer Science · 2002 · 188 citations

Specification Language, Formal Specification, Engineering +8

The “Intelligent Container”—A Cognitive Sensor Network for Transport Management

Walter Lang, Reiner Jedermann, Damian Mrugala et al. · IEEE Sensors Journal · 2010 · 121 citations

Navigating a smart wheelchair with a brain-computer interface interpreting steady-state visual evoked potentials

Christian Mandel, Thorsten Lüth, Tim Laue et al. · 2009 · 104 citations

Disabled People, Motor Control, Rehabilitation Robotics +23

Towards a wide spectrum language to support program specification and program development

Friedrich L. Bauer, Manfred Broy, Rupert Gnatz et al. · ACM SIGPLAN Notices · 1978 · 51 citations

Software Maintenance, Engineering, Software Engineering +21

Mobility Assistance in the Bremen Ambient Assisted Living Lab

Bernd Krieg-Brückner, Thomas Röfer, Hui Shi et al. · GeroPsych · 2010 · 39 citations

Engineering, Mobility Assistance, Various Mobility Assistants +18

Rows per page

1–5 of 17