Projecten per jaar
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Ivan Kurtev actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 1 Soortgelijke profielen
Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar
Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
Projecten
- 1 Actief
-
INTERSECT
Weffers, H. (Project Manager), Kempinski, S. (Projectmedewerker), Meratnia, N. (Projectmedewerker), Özçelebi, T. (Projectmedewerker), van den Brand, M. G. J. (Projectmedewerker), Kurtev, I. (Projectmedewerker), Hatefi, Z. (Projectmedewerker), Bibi, I. (Projectmedewerker), Luyk, M. (Project communicatie medewerker), Leite, C. (Projectmedewerker), Gankhuyag, G. (Projectmedewerker), Allodi, L. (Projectmedewerker), Bekkers, R. N. A. (Projectmedewerker), Etalle, S. (Projectmedewerker), Sciancalepore, S. (Projectmedewerker), Özçelebi, T. (Projectmedewerker) & den Hartog, J. I. (Projectmedewerker)
1/09/20 → …
Project: Onderzoek 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, blz. 1175-1191 17 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand30 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., 2024Onderzoeksoutput: Andere bijdrage › Overige bijdrage › Academic
-
Model based component development and analysis with ComMA
Kurtev, I. (Corresponding author), Hooman, J., Schuts, M. & van der Munnik, D., mrt. 2024, In: Science of Computer Programming. 233, 14 blz., 103067.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand16 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, blz. 9090-9096 7 blz. 10161436Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand11 Downloads (Pure) -
Runtime Verification of Compound Components with ComMA
Kurtev, I. (Corresponderende auteur) & Hooman, J., 7 sep. 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, blz. 382-402 21 blz. (Lecture Notes in Computer Science; vol. 13560 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review
1 Citaat (Scopus)