9 citations · 13 across the 4 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2011★ 9 cited
Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems
Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch
Interface specifications play an important role in component-based software development. An interface theory is a formal framework supporting composition, refinement and compatibil…
cs.SE2010★ 4 cited
Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude
Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder
Pervasive user-centric applications are systems which are meant to sense the presence, mood, and intentions of users in order to optimize user comfort and performance. Building suc…