Full name: Christian Krause
Formal name: Dr. C. Krause
Function: Scientific Staff Member
Email: C.Koehler@cwi.nl
Room: ONBEKE
Research groups:
(SEN3) Foundations of software engineering
Formal name: Dr. C. Krause
Function: Scientific Staff Member
Email: C.Koehler@cwi.nl
Room: ONBEKE
Research groups:
(SEN3) Foundations of software engineering
Career
| 2012 - 2013 | Onderzoeker SEN3 - Foundations of Software Engineering |
| 2006 - 2010 | PhD student SEN3 - Foundations of Software Engineering |
Recent Publications
| Y.-J. Moon, A. Silva, C. Krause, F. Arbab. A compositional model to reason about end-to-end QoS in stochastic Reo connectors. Science of Computer Programming, 2012. |
| N. Kokash, C. Krause, E.P. de Vink. Reo + mCRL2: A Framework for Model-Checking Dataflow in Service Compositions. Formal Aspects of Computing 24, 187–216, 2012. |
| C. Krause, Z. Maraikar, A. Lazovik, F. Arbab. Modeling dynamic reconfigurations in Reo using high-level replacement systems. Science of Computer Programming 76, 23–36, 2011. |
| S.-S.T.Q. Jongmans, C. Krause, F. Arbab. Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. Coordination Models and Languages, Lecture Notes in Computer Science 6721, Reykjavik, Iceland, 31–48, 2011. |
| N. Kokash, C. Krause, E.P. de Vink. Reo + mCRL2: A Framework for Model-checking Dataflow in Service Compositions. Formal Aspects of Computing, 1–30, 2011. |
