Sebastian S. Bauer

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Venues

Sci. Comput. Program.

Math. Struct. Comput. Sci.

CoRR

CSR

Ludwig Maximilians University Munich (PHD)

Education History

Ludwig Maximilians University Munich

PHD

Publications

Sebastian S. Bauer, Rolf Hennicker, Axel Legay
A meta-theory for component interfaces with contracts on ports. Sci. Comput. Program. 91 (2014)
Sebastian S. Bauer, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
A modal specification theory for components with data. Sci. Comput. Program. 83 (2014)
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
Weighted modal transition systems. Formal Methods Syst. Des. 42 (2) (2013)
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)
Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane
General Quantitative Specification Theories with Modalities. CSR (2012)
Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Axel Legay, Jirí Srba
Extending modal transition systems with structured labels. Math. Struct. Comput. Sci. 22 (4) (2012)
Sebastian S. Bauer, Rolf Hennicker, Axel Legay
Component Interfaces with Contracts on Ports. FACS (2012)
Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jirí Srba, Axel Legay
A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. TASE (2012)
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
Weighted Modal Transition Systems CoRR (2012)
Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
A Modal Specification Theory for Components with Data. FACS (2011)
Sebastian S. Bauer, Philip Mayer, Axel Legay
MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. ATVA (2011)
Andreas Schroeder, Sebastian S. Bauer, Martin Wirsing
A contract-based approach to adaptivity. J. Log. Algebraic Methods Program. 80 (3-5) (2011)
Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing
Interface theories for concurrency and data. Theor. Comput. Sci. 412 (28) (2011)
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
Quantitative Refinement for Weighted Modal Transition Systems. MFCS (2011)
Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing
Building a Modal Interface Theory for Concurrency and Data. WADT (2010)
Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker
On Weak Modal Compatibility, Refinement, and the MIO Workbench. TACAS (2010)
Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch
Behaviour Protocols for Interacting Stateful Components. Electron. Notes Theor. Comput. Sci. 263 (2010)
Philip Mayer, Andreas Schroeder, Sebastian S. Bauer
A Strict-Observational Interface Theory for Analysing Service Orchestrations. Electron. Notes Theor. Comput. Sci. 264 (1) (2010)
Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit
A Modal Interface Theory with Data Constraints. SBMF (2010)
Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch
Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems FIT (2010)
Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder
Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude RTRTS (2010)
Sebastian S. Bauer, Rolf Hennicker
Views on Behaviour Protocols and Their Semantic Foundation. CALCO (2009)
Benjamin Morandi, Sebastian S. Bauer, Bertrand Meyer
SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model. LASER Summer School (2008)

Sebastian S. Bauer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sebastian S. Bauer