Sebastian S. Bauer

Available identifiers

Publication	Date of Publication	Type
Weighted modal transition systems	2014-06-30	Paper
General quantitative specification theories with modalities	2012-09-10	Paper
Extending modal transition systems with structured labels	2012-09-06	Paper
Building a Modal Interface Theory for Concurrency and Data	2012-06-08	Paper
Views on behaviour protocols and their semantic foundation	2012-06-01	Paper
Quantitative refinement for weighted modal transition systems	2011-08-17	Paper
Interface theories for concurrency and data	2011-07-07	Paper
A contract-based approach to adaptivity	2011-06-07	Paper
A modal interface theory with data constraints	2011-05-12	Paper
On weak modal compatibility, refinement, and the MIO workbench	2010-04-27	Paper

This page was built for person: Sebastian S. Bauer