Research Output per year
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.
- 3 Similar Profiles
Model checking
Engineering & Materials Science
Communication
Engineering & Materials Science
Parallel programming
Engineering & Materials Science
Middleware
Engineering & Materials Science
Model Checking
Mathematics
Interfaces (computer)
Engineering & Materials Science
Managers
Engineering & Materials Science
Computer systems
Engineering & Materials Science
Research Output 1989 2016
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 proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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. ACMResearch output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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 / Presentation › Academic