Full name: Jos Baeten
Formal name: Prof.dr. J.C.M. Baeten
Function: General Director
Email: Jos.Baeten@cwi.nl
Telephone +31(0)20 592 4040
Room: L110
Homepage: http://www.cwi.nl/jos-baeten
Department: CWI Management
Formal name: Prof.dr. J.C.M. Baeten
Function: General Director
Email: Jos.Baeten@cwi.nl
Telephone +31(0)20 592 4040
Room: L110
Homepage: http://www.cwi.nl/jos-baeten
Department: CWI Management
Career
| 2013 - | Algemeen directeur DIR - Directie |
| 2011 - 2012 | General Director DIR - Directie |
| 2006 - 2011 | Advisor SEN3 - Foundations of Software Engineering |
Recent Publications
| J. Markovski, P.R. D'Argenio, J.C.M. Baeten, E.P. de Vink. Reconciling real and stochastic time: the need for probabilistic refinement. Formal Aspects of Computing 24, 497–518, 2012. |
| J. Markovski, D.A. van Beek, J.C.M. Baeten. Partially-supervised plants: embedding control requirements in plant components. Proceedings of International Conference on Integrated Formal Methods 2012, Lecture Notes in Computer Science 7321, 253–267, 2012. |
| J.C.M. Baeten, B. Luttik, P.J.A. van Tilburg. Turing meets Milner. Proceedings of International Conference on Concurrency Theory 2012, Lecture Notes in Computer Science 7454, 1–21, 2012. |
| J.C.M. Baeten, B. Luttik, P.J.A. van Tilburg. When Turing meets Milner. ERCIM News 91, 11–12, 2012. |
| R. Stamps, J.M. van de Mortel-Fronczak, J.C.M. Baeten, L. Somers. Model-Based Design of Paper Handling in Printers. European Simulation and Modelling Conference, European Multidisciplinary Society for Modelling and Simulation Technology, 293–300, 2012. |
