No photo of Wytse Hendrikus Marinus Oortwijn

Wytse Hendrikus Marinus Oortwijn

20152018
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.

  • 6 Similar Profiles
Binary decision diagrams Engineering & Materials Science
Algebra Engineering & Materials Science
Message passing Engineering & Materials Science
Static analysis Engineering & Materials Science
trucks Physics & Astronomy
diagrams Physics & Astronomy
Data storage equipment Engineering & Materials Science
Computer programming languages Engineering & Materials Science

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

Research Output 2015 2018

  • 5 Conference contribution
  • 2 Paper

An Exercise in Verifying Sequential Programs with VerCors

Joosten, S. J. C., Oortwijn, W., Safari, M. & Huisman, M. 16 Jul 2018 6 p.

Research output: Contribution to conferencePaper

Open Access
File
File editors
Data structures

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
2 Citations

Distributed Binary Decision Diagrams for Symbolic Reachability

Oortwijn, W., van Dijk, T. & van de Pol, J. 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
3 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
1 Citations

Future-based Static Analysis of Message Passing Programs

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

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

Open Access
File
Message passing
Static analysis
Emergency services
Network protocols
Air traffic control

Prizes

Best Paper Award SPIN 2017

Wytse Hendrikus Marinus Oortwijn (Recipient), Tom van Dijk (Recipient) & Jan Cornelis van de Pol (Recipient), 14 Jul 2017

Prize: Honorary award

trucks
diagrams