Sebastian S. Bauer

	2012
14		Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: Moving from Specifications to Contracts in Component-Based Design. FASE 2012: 43-58
	2011
13		Sebastian S. Bauer, Philip Mayer, Axel Legay: MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. ATVA 2011: 418-421
12		Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane: Quantitative Refinement for Weighted Modal Transition Systems. MFCS 2011: 60-71
11		Andreas Schroeder, Sebastian S. Bauer, Martin Wirsing: A contract-based approach to adaptivity. J. Log. Algebr. Program. 80(3-5): 180-193 (2011)
10		Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing: Interface theories for concurrency and data. Theor. Comput. Sci. 412(28): 3101-3121 (2011)
	2010
9		Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch: Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems FIT 2010: 1-8
8		Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder: Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude RTRTS 2010: 1-25
7		Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit: A Modal Interface Theory with Data Constraints. SBMF 2010: 80-95
6		Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker: On Weak Modal Compatibility, Refinement, and the MIO Workbench. TACAS 2010: 175-189
5		Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing: Building a Modal Interface Theory for Concurrency and Data. WADT 2010: 1-12
4		Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch: Behaviour Protocols for Interacting Stateful Components. Electr. Notes Theor. Comput. Sci. 263: 47-66 (2010)
3		Philip Mayer, Andreas Schroeder, Sebastian S. Bauer: A Strict-Observational Interface Theory for Analysing Service Orchestrations. Electr. Notes Theor. Comput. Sci. 264(1): 125-139 (2010)
	2009
2		Sebastian S. Bauer, Rolf Hennicker: Views on Behaviour Protocols and Their Semantic Foundation. CALCO 2009: 367-382
	2008
1		Benjamin Morandi, Sebastian S. Bauer, Bertrand Meyer: SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model. LASER Summer School 2008: 41-90

Coauthor Index

1	Michel Bidoit	[7]
2	Alexandre David	[14]
3	Ulrich Fahrenberg (Uli Fahrenberg)	[12]
4	Rolf Hennicker	[2] [4] [5] [6] [7] [9] [10] [14]
5	Stephan Janisch	[4] [9]
6	Line Juhl	[12]
7	Kim Guldstrand Larsen (Kim G. Larsen)	[12] [14]
8	Axel Legay	[12] [13] [14]
9	Philip Mayer	[3] [6] [13]
10	Bertrand Meyer	[1]
11	Benjamin Morandi	[1]
12	Ulrik Nyman (Ulrik Larsen)	[14]
13	Andreas Schroeder	[3] [6] [8] [11]
14	Claus R. Thrane	[12]
15	Andrzej Wasowski	[14]
16	Martin Wirsing	[5] [8] [10] [11]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page