6 citations · 7 across the 2 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2019
Spectra: A Specification Language for Reactive Systems
Shahar Maoz, Jan Oliver Ringert
Spectra is a new specification language for reactive systems, specifically tailored for the context of reactive synthesis. The meaning of Spectra is defined by a translation to a k…
cs.SE2015★ 1 cited
Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems
Jan Oliver Ringert, Alexander Roth, Bernhard Rumpe +1
Engineering software for robotics applications requires multidomain and application-specific solutions. Model-driven engineering and modeling language integration provide means for…