Michael Mendler
Business Informatics and Computer Science
University of Bamberg
Germany
Biography
Michael Mendler is Professor from Department of Business Informatics and Computer Science, University of Bamberg. Mendler is profound in Fundamentals of Computer Science
Research Interest
Synchronisation mechanisms, transition between synchrony and asynchrony, Abstraction and refinement for data-flow and control-flow programming, Semantics of synchronous programming and model-based design languages (Esterel, Lustre, Statecharts), Determinism and causality in concurrent systems, Interface specifications for compositional modelling, capturing also intensional, non-functional, properties specifically regarding causality and timing.
Publications
-
A. Malik, P. Roop, S. Andalam, M. Trew and M. Mendler: Modular compilation of hybrid systems for emulation and large scale simulation. In Proc. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES 2017), Seoul, South Korea, October 2017. To appear in ACM Transactions on Embedded Systems.
-
J. Aguado, M. Mendler, J. J. Wang, B. Bodin and P. Roop: Compositional Timing-Aware Semantics for Synchronous Programming. In Proc. Forum on Specification & Design Languages (FDL 2017), Verona, Italy, September 2017.
-
J. Aguado, M. Mendler, M. Pouzet, P. Roop and R. von Hanxleden: Clock-Synchronised Shared Objects for Deterministic Concurrency.(1.3 MB)Technical Report, Faculty of Information Systems and Applied Computer Sciences, Bamberg University, No. 102, July 2017.
