Sebastian S. Bauer

25 papers A 1B 4Misc 4Journal 7Unranked 8

Year	Rank	Type	Title / Venue / Authors
2014	J	`jnl`	A meta-theory for component interfaces with contracts on ports. Sci. Comput. Program. Sebastian S. Bauer, Rolf Hennicker, Axel Legay
2014	J	`jnl`	A modal specification theory for components with data. Sci. Comput. Program. Sebastian S. Bauer, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2013	J	`jnl`	Weighted modal transition systems. Formal Methods Syst. Des. Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
2012	Misc	`conf`	A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. TASE Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jirí Srba, Axel Legay
2012	—	`conf`	Component Interfaces with Contracts on Ports. FACS Sebastian S. Bauer, Rolf Hennicker, Axel Legay
2012	J	`jnl`	Extending modal transition systems with structured labels. Math. Struct. Comput. Sci. Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Axel Legay, Jirí Srba
2012	Misc	`conf`	General Quantitative Specification Theories with Modalities. CSR Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane
2012	—	`—`	Modal specification theories for component-based design. Sebastian S. Bauer
2012	B	`conf`	Moving from Specifications to Contracts in Component-Based Design. FASE Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2012	Misc	`ed.`	Proceedings Fourth Workshop on Foundations of Interface Technologies, FIT 2012, Tallinn, Estonia, 25th March 2012. FIT Sebastian S. Bauer, Jean-Baptiste Raclet
2012	J	`jnl`	Weighted Modal Transition Systems CoRR Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
2011	—	`conf`	A Modal Specification Theory for Components with Data. FACS Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2011	J	`jnl`	A contract-based approach to adaptivity. J. Log. Algebraic Methods Program. Andreas Schroeder, Sebastian S. Bauer, Martin Wirsing
2011	J	`jnl`	Interface theories for concurrency and data. Theor. Comput. Sci. Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing
2011	B	`conf`	MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. ATVA Sebastian S. Bauer, Philip Mayer, Axel Legay
2011	B	`conf`	Quantitative Refinement for Weighted Modal Transition Systems. MFCS Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
2010	—	`conf`	A Modal Interface Theory with Data Constraints. SBMF Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit
2010	—	`conf`	A Strict-Observational Interface Theory for Analysing Service Orchestrations. FESCA@ETAPS Philip Mayer, Andreas Schroeder, Sebastian S. Bauer
2010	—	`conf`	Building a Modal Interface Theory for Concurrency and Data. WADT Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing
2010	Misc	`conf`	Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems FIT Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch
2010	—	`conf`	Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude RTRTS Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder
2010	A	`conf`	On Weak Modal Compatibility, Refinement, and the MIO Workbench. TACAS Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker
2009	—	`conf`	Behaviour Protocols for Interacting Stateful Components. FACS@FMWeek Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch
2009	B	`conf`	Views on Behaviour Protocols and Their Semantic Foundation. CALCO Sebastian S. Bauer, Rolf Hennicker
2008	—	`conf`	SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model. LASER Summer School Benjamin Morandi, Sebastian S. Bauer, Bertrand Meyer