Journal Articles

1. Sebastian S. Bauer, Rolf Hennicker, and Martin Wirsing. Interface theories for concurrency and data, 2011. To appear in: Theoretical Computer Science.
2. Andreas Schroeder, Sebastian S. Bauer, and Martin Wirsing. A contract-based approach to adaptivity. Journal of Logic and Algebraic Programming, 80(3-5):180 - 193, 2011. Formal Languages and Analysis of Contract-Oriented Software.

Conference/Workshop Proceedings

1. Sebastian S. Bauer, Kim G. Larsen, Axel Legay, Ulrik Nyman, and Andrzej Wasowski. A Modal Specification Theory for Components with Data. FACS 2011, to appear. Best paper award.
   
2. Sebastian S. Bauer, Philip Mayer, and Axel Legay. MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces, 2011. Accepted at ATVA 2011.
3. Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, and Claus Thrane. Quantitative refinement for weighted modal transition systems, 2011. Accepted at MFCS 2011.
4. Sebastian S. Bauer, Rolf Hennicker, and Martin Wirsing. Building a modal interface theory for concurrency and data, 2011. To appear in: Proceedings of WADT 2010, Lecture Notes in Computer Science, Springer.
   
5. Sebastian S. Bauer, Rolf Hennicker, and Stephan Janisch. Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems. In Proceedings Foundations for Interface Technologies (FIT), volume 46 of Electronic Proceedings in Theoretical Computer Science, pages 1-8, 2010.
6. Rolf Hennicker, Sebastian S. Bauer, Stephan Janisch, and Matthias Ludwig. A Generic Framework for Multi-Disciplinary Environmental Modelling. In David A. Swayne, Wanhong Yang, Alexey A. Voinov, Andrea Rizzoli, and Tatiana Filatova, editors, Proceedings of the iEMSs Fifth Biennial Meeting: International Congress on Environmental Modelling and Software (iEMSs 2010), Ottawa, Canada, July 2010. International Environmental Modelling and Software Society.
7. Martin Wirsing, Sebastian S. Bauer, and Andreas Schroeder. Modeling and analyzing adaptive user-centric systems in Real-Time Maude. In Peter Csaba Ölveczky, editor, Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems (RTRTS), volume 36 of EPTCS, pages 1-25, 2010.
8. Sebastian S. Bauer, Rolf Hennicker, and Michel Bidoit. A modal interface theory with data constraints. In Jim Davies, Leila Silva, and Adenilso da Silva Simão, editors, Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, volume 6527 of Lecture Notes in Computer Science, pages 80-95. Springer, 2011.
9. Philip Mayer, Andreas Schroeder, and Sebastian S. Bauer. A Strict-Observational Interface Theory for Analysing Service Orchestrations. Electronic Notes in Theoretical Computer Science (ENTCS), 264(1):125-139, 2010.
10. Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, and Rolf Hennicker. On weak modal compatibility, refinement, and the MIO Workbench. In Javier Esparza and Rupak Majumdar, editors, Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, Proceedings (TACAS 2010), volume 6015 of Lecture Notes in Computer Science, pages 175-189. Springer, 2010.
11. Sebastian S. Bauer, Rolf Hennicker, and Stephan Janisch. Behaviour protocols for interacting stateful components. Electr. Notes Theor. Comput. Sci., 263:47-66, 2010.
12. Martin Wirsing, Moritz Hammer, Andreas Schroeder, and Sebastian Bauer. A contract-based approach to adaptability in user-centric pervasive applications. In Gordon J. Pace and Gerardo Schneider, editors, FLACOS'09, Workshop Proceedings. Third Workshop on Formal Languages and Contract-Oriented Software, Toledo (Spain), September 24-25, 2009, Research Report No. 385, pages 53-60. University of Oslo, Dept. of Informatics, 2009.
13. Sebastian S. Bauer and Rolf Hennicker. Views on behaviour protocols and their semantic foundation. In Proc. 3rd Conf. on Algebra and Coalgebra in Computer Science (CALCO'09), volume 5728 of Lecture Notes in Computer Science, pages 367-382. Springer, 2009.
14. Benjamin Morandi, Sebastian S. Bauer, and Bertrand Meyer. Scoop - a contract-based concurrent object-oriented programming model. In Peter Müller, editor, Advanced Lectures on Software Engineering, LASER Summer School 2007/2008, volume 6029 of Lecture Notes in Computer Science, pages 41-90. Springer, 2010.

Others

1. Principles of Integrative Environmental Simulations
   by Rolf Hennicker, Sebastian S. Bauer, Stephan Janisch and Matthias Ludwig
   Presented at ECSS2009.
2. Architektur und Simulationsraum des integrativen Umweltsimulationssystems DANUBIA
   by Matthias Ludwig, Sebastian Bauer, Stephan Janisch and Rolf Hennicker
   Poster, presented at FOSSGIS2009.

Thesis

1. Predicative Extensions of First-Order Logic
   by Sebastian Bauer
   Diploma Thesis, LMU Munich, Dept. of Mathematics, 2008.