SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model. - Benjamin Morandi; Sebastian S. Bauer; Bertrand Meyer 001 (LASER Summer School, 2008)

Views on Behaviour Protocols and Their Semantic Foundation. - Sebastian S. Bauer; Rolf Hennicker (CALCO, 2009)

Behaviour Protocols for Interacting Stateful Components. - Sebastian S. Bauer; Rolf Hennicker; Stephan Janisch (FACS@FMWeek, 2009)

A Modal Interface Theory with Data Constraints. - Sebastian S. Bauer; Rolf Hennicker; Michel Bidoit (SBMF, 2010)

On Weak Modal Compatibility, Refinement, and the MIO Workbench. - Sebastian S. Bauer; Philip Mayer; Andreas Schroeder 001; Rolf Hennicker (TACAS, 2010)

Building a Modal Interface Theory for Concurrency and Data. - Sebastian S. Bauer; Rolf Hennicker; Martin Wirsing (WADT, 2010)

Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude - Martin Wirsing; Sebastian S. Bauer; Andreas Schroeder 001 (RTRTS, 2010)

Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems - Sebastian S. Bauer; Rolf Hennicker; Stephan Janisch (FIT, 2010)

A Strict-Observational Interface Theory for Analysing Service Orchestrations. - Philip Mayer; Andreas Schroeder 001; Sebastian S. Bauer (FESCA@ETAPS, 2010)

MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. - Sebastian S. Bauer; Philip Mayer; Axel Legay (ATVA, 2011)

Quantitative Refinement for Weighted Modal Transition Systems. - Sebastian S. Bauer; Uli Fahrenberg; Line Juhl; Kim G. Larsen; Axel Legay; Claus R. Thrane (MFCS, 2011)

A contract-based approach to adaptivity. - Andreas Schroeder 001; Sebastian S. Bauer; Martin Wirsing (J. Log. Algebraic Methods Program., 2011)

Interface theories for concurrency and data. - Sebastian S. Bauer; Rolf Hennicker; Martin Wirsing (Theor. Comput. Sci., 2011)

General Quantitative Specification Theories with Modalities. - Sebastian S. Bauer; Uli Fahrenberg; Axel Legay; Claus R. Thrane (CSR, 2012)

Component Interfaces with Contracts on Ports. - Sebastian S. Bauer; Rolf Hennicker; Axel Legay (FACS, 2012)

Moving from Specifications to Contracts in Component-Based Design. - Sebastian S. Bauer; Alexandre David; Rolf Hennicker; Kim Guldstrand Larsen; Axel Legay; Ulrik Nyman; Andrzej Wasowski (FASE, 2012)

A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. - Sebastian S. Bauer; Line Juhl; Kim G. Larsen; Jirí Srba; Axel Legay (TASE, 2012)

Extending modal transition systems with structured labels. - Sebastian S. Bauer; Line Juhl; Kim G. Larsen; Axel Legay; Jirí Srba (Math. Struct. Comput. Sci., 2012)

Modal specification theories for component-based design. - Sebastian S. Bauer (2012)

Weighted modal transition systems. - Sebastian S. Bauer; Uli Fahrenberg; Line Juhl; Kim G. Larsen; Axel Legay; Claus R. Thrane (Formal Methods Syst. Des., 2013)

A meta-theory for component interfaces with contracts on ports. - Sebastian S. Bauer; Rolf Hennicker; Axel Legay (Sci. Comput. Program., 2014)

A modal specification theory for components with data. - Sebastian S. Bauer; Kim G. Larsen; Axel Legay; Ulrik Nyman; Andrzej Wasowski (Sci. Comput. Program., 2014)