246 citations
- Ludwig-Maximilians-Universität MünchenDE23 papers
- Bayerische Staatssammlung für Paläontologie und GeologieDE1 paper
- Bielefeld UniversityDE1 paper
- Center for NanoScienceDE1 paper
- Centre de Recherche en Mathématiques de la DécisionFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Centro Ricerche Enrico FermiIT1 paper
- European Organization for Nuclear ResearchCH1 paper
- Harvard UniversityUS1 paper
- Istituto Nazionale di Fisica Nucleare, Sezione di BolognaIT1 paper
- Istituto Nazionale di Fisica Nucleare, Sezione di TriesteIT1 paper
- Kentucky Department of EducationUS1 paper
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…