75 citations · 248 across the 11 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.SE2022★ 5 cited
Formal Semantics of the CDL Language
Thorsten Berger, Steven She
We reverse-engineer a formal semantics of the Component Definition Language (CDL), which is part of the highly configurable, embedded operating system eCos. This work provides the…
cs.SE2022★ 13 cited
Formal Semantics of the Kconfig Language
Steven She, Thorsten Berger
The Kconfig language defines a set of symbols that are assigned a value in a configuration. We describe the semantics of the Kconfig language according to the behavior exhibited in…
cs.RO2022★ 74 cited
Behavior Trees and State Machines in Robotics Applications
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen +2
Autonomous robots combine skills to form increasingly complex behaviors, called missions. While skills are often programmed at a relatively low abstraction level, their coordinatio…