Research Output 2008 2018

Filter
Paper
2016

Future-based Static Analysis of Message Passing Programs

Orchard, D. (ed.), Oortwijn, W. H. M., Yoshida, N. (ed.), Blom, S. & Huisman, M. Apr 2016 p. 65-72 8 p.

Research output: Scientific - peer-reviewPaper

Message passing
Emergency services
Air traffic control
Model checking
Algebra

Static Verification of Message Passing Programs

Oortwijn, W. H. M., Blom, S. & Huisman, M. Mar 2016 2 p.

Research output: ScientificPaper

Message passing
Positive ions
Application programming interfaces (API)
Algebra
Industrial applications
2015

Verification of Loop Parallelisations

Blom, S., Darabi, S. & Huisman, M. 24 Mar 2015 p. IPA-4 2 p.

Research output: ScientificPaper

2013

Correct and efficient accelerator programming (Dagstuhl Seminar 13142)

Cohen, A., Donaldson, A. F., Huisman, M. & Katoen, J. P. 2013 p. 17-33

Research output: ScientificPaper

Technical presentations
Particle accelerators
Computer science
2009

Compositional dependability modeling using arcade

Stoelinga, M. I. A. & Huisman, M. (ed.) Aug 2009 p. 1-2 2 p.

Research output: ScientificPaper

Semantics
Markov processes
Communication systems
Computer systems