9 citations · 13 across the 4 of their papers we have counts for
4 papers
Weighted Modal Transition Systems
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl +3
Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention. Current specification t…
Proceedings Fourth Workshop on Foundations of Interface Technologies
Sebastian Bauer, Jean-Baptiste Raclet
This volume contains the proceedings of the 4th workshop on Foundations of Interface Technologies (FIT 2012) which was collocated with ETAPS 2012 in Tallinn, Estonia, and took plac…
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…
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…