Sebastian S. Bauer

According to our database, Sebastian S. Bauer authored at least 22 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

A meta-theory for component interfaces with contracts on ports.

Sebastian S. Bauer, Rolf Hennicker, Axel Legay

Sci. Comput. Program., 2014

2013

Weighted modal transition systems.

Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane

Formal Methods Syst. Des., 2013

2012

Modal specification theories for component-based design.

Sebastian S. Bauer

PhD thesis, 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

A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata.

Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jirí Srba, Axel Legay

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 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

Proceedings of the Fundamental Approaches to Software Engineering, 2012

Component Interfaces with Contracts on Ports.

Sebastian S. Bauer, Rolf Hennicker, Axel Legay

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

General Quantitative Specification Theories with Modalities.

Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane

Proceedings of the Computer Science - Theory and Applications, 2012

2011

Interface theories for concurrency and data.

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing

Theor. Comput. Sci., 2011

A contract-based approach to adaptivity.

Andreas Schroeder, Sebastian S. Bauer, Martin Wirsing

J. Log. Algebraic Methods Program., 2011

Quantitative Refinement for Weighted Modal Transition Systems.

Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces.

Sebastian S. Bauer, Philip Mayer, Axel Legay

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

A Strict-Observational Interface Theory for Analysing Service Orchestrations.

Philip Mayer, Andreas Schroeder, Sebastian S. Bauer

Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2010

Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems

Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch

Proceedings of the Proceedings Foundations for Interface Technologies, 2010

Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude

Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder

Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

Building a Modal Interface Theory for Concurrency and Data.

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

On Weak Modal Compatibility, Refinement, and the MIO Workbench.

Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

A Modal Interface Theory with Data Constraints.

Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit

Proceedings of the Formal Methods: Foundations and Applications, 2010

2009

Behaviour Protocols for Interacting Stateful Components.

Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

Views on Behaviour Protocols and Their Semantic Foundation.

Sebastian S. Bauer, Rolf Hennicker

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model.

Benjamin Morandi, Sebastian S. Bauer, Bertrand Meyer

Proceedings of the Advanced Lectures on Software Engineering, 2008