Performance modelling of a network processor using POOSL by Theelen, B.D., Voeten, J.P.M., Kramer, R.D.J.

Get full text

A scenario-aware data flow model for combined long-run average and worst-case performance analysis by Theelen, B.D., Geilen, M.C.W., Basten, T., Voeten, J.P.M., Gheorghita, S.V., Stuijk, S.

Request full text

Software synthesis for system level design using process execution trees by van Bokhoven, L.J., Voeten, J.P.M., Geilen, M.C.W.

Request full text

Behavior-preserving transformations for design-for-test by Voeten, J.P.M., Vranken, H.P.E.

Request full text

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language by Theelen, B. D., Florescu, O., Geilen, M. C. W., Huang, J., van der Putten, P. H. A., Voeten, J. P. M.

Request full text

System level models for real-time communication by van der Putten, P.H.A., Voeten, J.P.M., Geilen, M.C.W., Stevens, M.P.J.

Request full text

Behaviour-preserving transformations in SHE: a formal approach to architecture design by Voeten, J.P.M., van der Putten, P.H.A., Stevens, M.P.J.

Request full text

System level modelling for hardware/software systems by Voeten, J.P.M., van der Putten, P.H.A., Geilen, M.C.W., Stevens, M.P.J.

Request full text

On the fundamental design gap in terabit per second packet switching by Verhappen, M., van der Putten, P.H.A., Voeten, J.P.M.

Request full text

Object-oriented modelling and specification using SHE by Geilen, M.C.W., Voeten, J.P.M., van der Putten, P.H.A., van Bokhoven, L.J., Stevens, M.P.J.

Get full text

Systematic development of industrial control systems using software/hardware engineering by Voeten, J.P.M., van der Putten, P.H.A., Stevens, M.P.J.

Request full text

System level design methodology by van der Putten, P.H.A., Voeten, J.P.M., Geilen, M.C.W., Stevens, M.P.J.

Request full text