Sebastian S. Bauer

发表

A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata

Kim G. Larsen, Axel Legay, Jirí Srba, 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.

Modal specification theories for component-based design

Sebastian S. Bauer, 2012 .

A meta-theory for component interfaces with contracts on ports

Axel Legay, Rolf Hennicker, Sebastian S. Bauer, 2014, Sci. Comput. Program..

Behaviour Protocols for Interacting Stateful Components

Rolf Hennicker, Sebastian S. Bauer, Stephan Janisch, 2010, Electron. Notes Theor. Comput. Sci..

A modal specification theory for components with data

Kim G. Larsen, Axel Legay, Andrzej Wasowski, 2011, Sci. Comput. Program..

A modal specification theory for components with data

Kim G. Larsen, Axel Legay, Andrzej Wasowski, 2014, Sci. Comput. Program..

Quantitative Refinement for Weighted Modal Transition Systems

Kim G. Larsen, Axel Legay, Ulrich Fahrenberg, 2011, MFCS.

A Modal Interface Theory with Data Constraints

Michel Bidoit, Rolf Hennicker, Sebastian S. Bauer, 2010, SBMF.

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

Axel Legay, Philip Mayer, Sebastian S. Bauer, 2011, ATVA.

Building a Modal Interface Theory for Concurrency and Data

Martin Wirsing, Rolf Hennicker, Sebastian S. Bauer, 2010, WADT.

Weighted modal transition systems

Kim G. Larsen, Axel Legay, Ulrich Fahrenberg, 2012, Formal Methods Syst. Des..

Views on Behaviour Protocols and Their Semantic Foundation

Rolf Hennicker, Sebastian S. Bauer, 2009, CALCO.

Interface theories for concurrency and data

Martin Wirsing, Rolf Hennicker, Sebastian S. Bauer, 2011, Theor. Comput. Sci..

Computer Science – Theory and Applications

Axel Legay, Sebastian S. Bauer, Uli Fahrenberg, 2012, Lecture Notes in Computer Science.

General Quantitative Specification Theories with Modalities

Axel Legay, Ulrich Fahrenberg, Sebastian S. Bauer, 2012, CSR.

On Weak Modal Compatibility, Refinement, and the MIO Workbench

Rolf Hennicker, Philip Mayer, Andreas Schroeder, 2010, TACAS.

Moving from Specifications to Contracts in Component-Based Design

Kim G. Larsen, Axel Legay, Andrzej Wasowski, 2012, FASE.

Proceedings Fourth Workshop on Foundations of Interface Technologies: Preface

Jean-Baptiste Raclet, Sebastian S. Bauer, 2012 .

Component Interfaces with Contracts on Ports

Axel Legay, Rolf Hennicker, Sebastian S. Bauer, 2012, FACS.

A contract-based approach to adaptivity

Martin Wirsing, Andreas Schroeder, Sebastian S. Bauer, 2011, J. Log. Algebraic Methods Program..

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

Bertrand Meyer, Sebastian S. Bauer, Benjamin Morandi, 2008, LASER Summer School.

Extending modal transition systems with structured labels

Kim G. Larsen, Axel Legay, Jirí Srba, 2012, Mathematical Structures in Computer Science.

A Strict-Observational Interface Theory for Analysing Service Orchestrations

Philip Mayer, Andreas Schroeder, Sebastian S. Bauer, 2010, Electron. Notes Theor. Comput. Sci..

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

Martin Wirsing, Andreas Schroeder, Sebastian S. Bauer, 2010, RTRTS.

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

Rolf Hennicker, Sebastian S. Bauer, Stephan Janisch, 2010, FIT.

Moving from Specifications to Contracts in Component-Based Design

Axel Legay, Andrzej Wasowski, Sebastian Bauer, 2012, FASE.

Weighted modal transition systems

Sebastian S. Bauer, K. Larsen, Axel Legay, 2012, Formal Methods in System Design.

Gene-Category Analysis.

Sebastian S. Bauer, Sebastian Bauer, 2017, Methods in molecular biology.

An Overview of R

Sebastian S. Bauer, 2011 .

A Generic Framework for Multi-Disciplinary Environmental Modelling

Rolf Hennicker, Sebastian S. Bauer, Stephan Janisch, 2010 .

A Generic Framework for Multi-Disciplinary Environmental Modelling

Sebastian S. Bauer, R. Hennicker, Matthias Ludwig, 2010 .