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
-
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 AccessFile37 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 AccessFile21 Downloads (Pure) -
RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications
Wesselink, B., de Vos, K., Kurtev, I., Reniers, M. & Torta, E., 2 Jun 2023, 2023 IEEE International Conference on Robotics and Automation (ICRA). Institute of Electrical and Electronics Engineers, p. 9090-9096 7 p. 10161436Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile11 Downloads (Pure) -
Runtime Verification of Compound Components with ComMA
Kurtev, I. (Corresponding author) & Hooman, J., 7 Sept 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Springer, p. 382-402 21 p. (Lecture Notes in Computer Science; vol. 13560 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
1 Citation (Scopus)