No photo of C. Verstoep

C. Verstoep

drs.

1989 …2016
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where C. Verstoep is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 3 Similar Profiles
Model checking Engineering & Materials Science
Parallel programming Engineering & Materials Science
Middleware Engineering & Materials Science
Model Checking Mathematics
Interfaces (computer) Engineering & Materials Science
algebra Physics & Astronomy
Computer systems Engineering & Materials Science
Network protocols Engineering & Materials Science

Research Output 1989 2016

  • 18 Conference contribution
  • 8 Article

Two architectures for parallel processing for huge amounts of text

Kattenberg, M., Beloki, Z., Soroa, A., Artola, X., Fokkens, A. S., Huijgen, P. E. M. & Verstoep, K., 2016, Proceedings of the 10th edition of the Language Resources and Evaluation Conference (LREC2016). Paris: European Language Resources Association (ELRA)

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Bonsai: Cutting models down to size

Vijzelaar, S. J. J., Verstoep, K., Bal, H. E. & Fokkink, W. J., 2015, Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, Revised Selected Papers. Virbitskaite, I., Voronkov, A. & Virbitskaite, I. (eds.). Springer - Verlag, p. 361-375 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8974).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Model checking
Model Checking
Concurrent
Model
Concretes

Scaling VM Deployment in an Open Source Cloud Stack

Razavi, K., Costache, S. V., Gardiman, A., Verstoep, K. & Kielmann, T., 2015, Workshop on Scientific Cloud Computing (ScienceCloud) 2015. ACM

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Property Specification Made Easy: Harnessing the Power of Model Checking in UML designs

Remenska, D., Bal, H. E., Templon, J. A., Verstoep, K. & Willemse, T., 2014, 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems

Remenska, D., Bal, H. E., Templon, J. A., Verstoep, K., Willemse, T., Homburg, P. C. & Casajus, A., 2013, 5th NASA Formal Methods Symposium (NFM) 2013.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Activities 2000 2000

  • 1 Lecture / Presentation

Reducing Data and Control Transfer Overhead through Network-Interface Support.

R.A.F. Bhoedjang (Speaker), K. Verstoep (Speaker), T. Ruhl (Speaker), H.E. Bal (Speaker)
2000

Activity: Lecture / PresentationAcademic