Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Sebastian S. Bauer
2010 – today
- 2013
[j6]Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane: Weighted modal transition systems. Formal Methods in System Design 42(2): 193-220 (2013)- 2012
- [j5]Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Axel Legay, Jirí Srba: Extending modal transition systems with structured labels. Mathematical Structures in Computer Science 22(4): 581-617 (2012)
- [c14]Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane: General Quantitative Specification Theories with Modalities. CSR 2012: 18-30
- [c13]Sebastian S. Bauer, Rolf Hennicker, Axel Legay: Component Interfaces with Contracts on Ports. FACS 2012: 19-35
- [c12]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
- [c11]Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jirí Srba, Axel Legay: A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. TASE 2012: 77-84
- [e1]Sebastian S. Bauer, Jean-Baptiste Raclet (Eds.): Proceedings Fourth Workshop on Foundations of Interface Technologies. EPTCS 87, 2012
- [i1]Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane: Weighted Modal Transition Systems. CoRR abs/1210.5659 (2012)
- 2011
- [j4]Andreas Schroeder, Sebastian S. Bauer, Martin Wirsing: A contract-based approach to adaptivity. J. Log. Algebr. Program. 80(3-5): 180-193 (2011)
- [j3]Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing: Interface theories for concurrency and data. Theor. Comput. Sci. 412(28): 3101-3121 (2011)
- [c10]Sebastian S. Bauer, Philip Mayer, Axel Legay: MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. ATVA 2011: 418-421
- [c9]Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: A Modal Specification Theory for Components with Data. FACS 2011: 61-78
- [c8]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
- 2010
- [j2]Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch: Behaviour Protocols for Interacting Stateful Components. Electr. Notes Theor. Comput. Sci. 263: 47-66 (2010)
- [j1]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)
- [c7]Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit: A Modal Interface Theory with Data Constraints. SBMF 2010: 80-95
- [c6]Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker: On Weak Modal Compatibility, Refinement, and the MIO Workbench. TACAS 2010: 175-189
- [c5]Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing: Building a Modal Interface Theory for Concurrency and Data. WADT 2010: 1-12
- [c4]Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder: Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude. RTRTS 2010: 1-25
- [c3]Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch: Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems. FIT 2010: 1-8
2000 – 2009
- 2009
- [c2]Sebastian S. Bauer, Rolf Hennicker: Views on Behaviour Protocols and Their Semantic Foundation. CALCO 2009: 367-382
- 2008
- [c1]Benjamin Morandi, Sebastian S. Bauer, Bertrand Meyer: SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model. LASER Summer School 2008: 41-90
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:00 CEST by the dblp team