Research Output

Filter
Poster

CARM 2G : model based design, analysis and initialization of Twinscan servo controllers

Schiffelers, R. R. H., Huët, van, C., Gidalov, N., Alberts, W., Voeten, J. P. M., Theelen, B. D., Ven, J. & Tabingh Suermondt, W., 2012.

Research output: Contribution to conferencePosterAcademic

GPUexplore : GPU explicit-state model checking

Wijs, A. J., 28 Sep 2016.

Research output: Contribution to conferencePosterAcademic

High-performance heterogeneous architectures for CARM2G

Frijns, R. M. W., Bontekoe, M., Gemei, K. J. A., Gidalov, N., Huët, van, C., Schiffelers, R. R. H. & Voeten, J. P. M., 2013.

Research output: Contribution to conferencePosterAcademic

Humans in software engineering : the more things you do, the more things you can do!

Vasilescu, B. N., Serebrenik, A. & Brand, van den, M. G. J., 2013.

Research output: Contribution to conferencePosterAcademic

Open Access
File
44 Downloads (Pure)

IQPS : Improving the quality of protocol standards (Poster)

Romijn, J. M. T., 2005.

Research output: Contribution to conferencePosterAcademic

Metamodel-independent modularisation of models with MetaMod

Sutii, A. M., Verhoeff, T. & van den Brand, M. G. J., 12 Sep 2016. 3 p.

Research output: Contribution to conferencePosterAcademic

Open Access

Multi-core communication-aware scheduler for CARM 2G

Adyanthaya, S., Schiffelers, R. R. H., Theunissen, R., Huët, van, C., Geilen, M. C. W., Frijns, R. M. W. & Voeten, J. P. M., 2014.

Research output: Contribution to conferencePosterAcademic

SMT-based analysis of a Boolean model of inflammation

Riel, van, N. A. W., Zantema, H., Bosnacki, D. & Hilbers, P. A. J., 2013.

Research output: Contribution to conferencePosterAcademic

SPecTEC : Specification tools for embedded software components (Poster)

Kuiper, R., Baeten, J. C. M. & Luit, E. J., 2005.

Research output: Contribution to conferencePosterAcademic

Taming the herd : statistical analysis of large sets of models

Babur, Ö., 2016, p. 24-26.

Research output: Contribution to conferencePosterAcademic

Open Access
File
15 Downloads (Pure)

Towards 120 kHz stages using CARM 2G

Voeten, J. P. M., Frijns, R. M. W., Bontekoe, M., Gidalov, N., Schiffelers, R. R. H. & Huët, van, C., 2014.

Research output: Contribution to conferencePosterAcademic