No photo of Wytse Hendrikus Marinus Oortwijn

Wytse Hendrikus Marinus Oortwijn

20152017
If you made any changes in Pure these will be visible here soon.

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.

  • 2 Similar Profiles
Binary decision diagrams Engineering & Materials Science
trucks Physics & Astronomy
Algebra Engineering & Materials Science
diagrams Physics & Astronomy
Data storage equipment Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Specifications Engineering & Materials Science
Flow control 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: Chapter in Book/Report/Conference proceedingConference contribution

Algebra
Specifications
Flow control
Data storage equipment

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, p. 21-30 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Binary decision diagrams
Data storage equipment
Network performance
Parallel algorithms
2 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: Chapter in Book/Report/Conference proceedingConference contribution

Computer programming languages
Data storage equipment

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: Contribution to conferencePaper

File

Static Verification of Message Passing Programs

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

Research output: Contribution to conferencePaper

File