by Theelen, B.D., Voeten, J.P.M., Kramer, R.D.J.
Published in Computer networks (Amsterdam, Netherlands : 1999) (05.04.2003)

by Theelen, B.D., Verschueren, A.C., Reyes Suárez, V.V., Stevens, M.P.J., Nuñez, A.
Published in Journal of systems architecture (01.12.2003)

by Ghamarian, A.H., Geilen, M.C.W., Stuijk, S., Basten, T., Moonen, A.J.M., Bekooij, M.J.G., Theelen, B.D., Mousavi, M.R.
Published in Proceedings (2006)

by Jiansheng Xing, Theelen, B D, Langerak, R, van de Pol, J, Tretmans, Jan, Voeten, J P M
Published in 2010 10th International Conference on Application of Concurrency to System Design (01.06.2010)

by THEELEN, B. D, VERSCHUEREN, A. C, REYES SUAREZ, V. V, STEVENS, M. P. J, NUNEZ, A
Published in Journal of systems architecture (2003)

by Theelen, B.D.
Published in Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) (01.09.2007)

by Theelen, B.D.
Published in 2008 Fifth International Conference on Quantitative Evaluation of Systems (01.09.2008)

by Theelen, B.D., Geilen, M.C.W., Basten, T., Voeten, J.P.M., Gheorghita, S.V., Stuijk, S.
Published in Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings (01.01.2006)

by Theelen, B. D., Florescu, O., Geilen, M. C. W., Huang, J., van der Putten, P. H. A., Voeten, J. P. M.
Published in 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) (30.05.2007)

by Ghamarian, A.H., Stuijk, S., Basten, T., Geilen, M.C.W., Theelen, B.D.
Published in 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007) (01.08.2007)

by Ghamarian, A.H., Geilen, M.C.W., Basten, T., Theelen, B.D., Mousavi, M.R., Stuijk, S.
Published in 2006 Formal Methods in Computer Aided Design (01.11.2006)

by Theelen, B.D., Verschueren, A.C.
Published in Proceedings Euromicro Symposium on Digital System Design. Architectures, Methods and Tools (2002)