ask others

Sebastian S. Bauer

> Home > Persons

Person information

affiliation: Ludwig Maximilian University of Munich, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2014
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BauerLLNW14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BauerLLNW14
Sebastian S. Bauer, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
A modal specification theory for components with data. Sci. Comput. Program. 83: 106-128 (2014)
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BauerHL14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BauerHL14
Sebastian S. Bauer, Rolf Hennicker, Axel Legay:
A meta-theory for component interfaces with contracts on ports. Sci. Comput. Program. 91: 70-89 (2014)
2013
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/BauerFJLLT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/BauerFJLLT13
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
[b1]
- view
- export record
  dblp key:
  - phd/dnb/Bauer12a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/phd/dnb/Bauer12a
Sebastian S. Bauer:
Modal specification theories for component-based design. Ludwig Maximilians University Munich 2012, pp. 1-248
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/BauerJLLS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/BauerJLLS12
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/BauerFLT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/BauerFLT12
Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane:
General Quantitative Specification Theories with Modalities. CSR 2012: 18-30
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/BauerHL12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/BauerHL12
Sebastian S. Bauer, Rolf Hennicker, Axel Legay:
Component Interfaces with Contracts on Ports. FACS 2012: 19-35
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fase/BauerDHLLNW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fase/BauerDHLLNW12
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/BauerJLSL12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/BauerJLSL12
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]
- view
- export record
  dblp key:
  - journals/corr/abs-1207-3485
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1207-3485
Sebastian S. Bauer, Jean-Baptiste Raclet:
Proceedings Fourth Workshop on Foundations of Interface Technologies, FIT 2012, Tallinn, Estonia, 25th March 2012. EPTCS 87, 2012 [contents]
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1210-5659
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1210-5659
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/SchroederBW11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jlp/SchroederBW11
Andreas Schroeder, Sebastian S. Bauer, Martin Wirsing:
A contract-based approach to adaptivity. J. Log. Algebr. Program. 80(3-5): 180-193 (2011)
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BauerHW11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/BauerHW11
Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing:
Interface theories for concurrency and data. Theor. Comput. Sci. 412(28): 3101-3121 (2011)
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/BauerML11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/atva/BauerML11
Sebastian S. Bauer, Philip Mayer, Axel Legay:
MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. ATVA 2011: 418-421
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/BauerLLNW11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/BauerLLNW11
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/BauerFJLLT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/BauerFJLLT11
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BauerHJ10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/BauerHJ10
Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch:
Behaviour Protocols for Interacting Stateful Components. Electr. Notes Theor. Comput. Sci. 263: 47-66 (2010)
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/MayerSB10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/MayerSB10
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/BauerHB10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/BauerHB10
Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit:
A Modal Interface Theory with Data Constraints. SBMF 2010: 80-95
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/BauerMSH10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/BauerMSH10
Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker:
On Weak Modal Compatibility, Refinement, and the MIO Workbench. TACAS 2010: 175-189
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wadt/BauerHW10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wadt/BauerHW10
Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing:
Building a Modal Interface Theory for Concurrency and Data. WADT 2010: 1-12
[c4]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1009-4259
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1009-4259
Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder:
Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude. RTRTS 2010: 1-25
[c3]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1101-4731
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4731
Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch:
Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems. FIT 2010: 1-8

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/BauerH09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/BauerH09
Sebastian S. Bauer, Rolf Hennicker:
Views on Behaviour Protocols and Their Semantic Foundation. CALCO 2009: 367-382
2008
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/laser/MorandiBM08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/laser/MorandiBM08
Benjamin Morandi, Sebastian S. Bauer, Bertrand Meyer:
SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model. LASER Summer School 2008: 41-90

Coauthor Index

see FAQ

maintained by

, founded at