Projects per year
Fingerprint
Dive into the research topics where Ivan Kurtev is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Active
-
INTERSECT
Weffers, H. (Project Manager), Kempinski, S. (Project member), Meratnia, N. (Project member), Özçelebi, T. (Project member), van den Brand, M. G. J. (Project member), Kurtev, I. (Project member), Hatefi, Z. (Project member), Bibi, I. (Project member), Luyk, M. (Project communication officer), Leite, C. (Project member), Gankhuyag, G. (Project member), Allodi, L. (Project member), Bekkers, R. N. A. (Project member), Etalle, S. (Project member), Sciancalepore, S. (Project member), Özçelebi, T. (Project member) & den Hartog, J. I. (Project member)
1/09/20 → …
Project: Research direct
-
CommaSuite: Monitoring and Testing of OpenAPI and AsyncAPI Software Interfaces
Kurtev, I., van der Munnik, D. & Schuts, M. T. W., 2025, In: Journal of Open Source Software. 10, 114, 5 p., 9069.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile15 Downloads (Pure) -
Online Model-Based Testing by Reusing Multiple Design Models in an Industrial Setting
Schuts, M., Hooman, J., Kurtev, I., Tlili, I. & Oerlemans, E., May 2025, In: Journal of Object Technology. 24, 2, 14 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile1 Link opens in a new tab Citation (Scopus)14 Downloads (Pure) -
Adaptable Runtime Monitoring for Intermittent Systems
Yildiz, E., Akhunov, K., Riva, L. A., Goknil, A., Kurtev, I. & Yildirim, K. S., 22 Apr 2024, EuroSys '24: Proceedings of the Nineteenth European Conference on Computer Systems. New York: Association for Computing Machinery, Inc., p. 1175-1191 17 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile7 Link opens in a new tab Citations (Scopus)289 Downloads (Pure) -
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Erata, F., Goknil, A., Kurtev, I. & Tekinerdogan, B., 2024Research output: Other contribution › Academic
-
Model based component development and analysis with ComMA
Kurtev, I. (Corresponding author), Hooman, J., Schuts, M. & van der Munnik, D., Mar 2024, In: Science of Computer Programming. 233, 14 p., 103067.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile4 Link opens in a new tab Citations (Scopus)95 Downloads (Pure)
Datasets
-
CommaSuite: Monitoring and Testing of OpenAPI and AsyncAPI Software Interfaces
Kurtev, I. (Creator), van der Munnik, D. (Creator) & Schuts, M. (Creator), Zenodo, 6 Oct 2025
Dataset: Software