Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 4 Similar Profiles
Message passing Engineering & Materials Science
Algebra Engineering & Materials Science
Parallel algorithms Engineering & Materials Science
Supercomputers Engineering & Materials Science
Program processors Engineering & Materials Science
Throughput Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Positive ions Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2015 2017

  • 4 Conference contribution
  • 2 Paper

An Abstraction Technique for Describing Concurrent Program Behaviour

Oortwijn, W., Blom, S., Gurov, D., Huisman, M. & Zaharieva, M. 2017 Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers. Paskevich, A. & Wies, T. (eds.). Springer, p. 191-209 19 p. (Lecture Notes in Computer Science; vol. 10712)

Research output: Scientific - peer-reviewConference contribution

Flow control

Distributed Binary Decision Diagrams for Symbolic Reachability

Oortwijn, W., Dijk, T. V. & Pol, J. V. D. Jul 2017 SPIN 2017 Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery (ACM), p. 21-30 10 p.

Research output: Scientific - peer-reviewConference contribution

Binary decision diagrams
Network performance
Parallel algorithms
1 Citations

The VerCors Tool Set: Verification of Parallel and Concurrent Software

Blom, S., Darabi, S., Huisman, M. & Oortwijn, W. 2017 Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 102-110 9 p. (Lecture Notes in Computer Science; vol. 10510)

Research output: Scientific - peer-reviewConference contribution

Computer programming languages

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

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)
Industrial applications