Research Output 1972 2019

Filter
Poster
2016

GPUexplore : GPU explicit-state model checking

Wijs, A. J., 28 Sep 2016

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

Taming the herd : statistical analysis of large sets of models

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

Research output: Contribution to conferencePosterAcademic

Open Access
File
2014

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

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

2013

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

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

2012

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

2005

IQPS : Improving the quality of protocol standards (Poster)

Romijn, J. M. T., 2005

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