Ivan Kurtev

Onderzoeksoutput

Onderzoeksoutput per jaar 1999 2006 2007 2008 2024

• 22 Paper
• 11 Conferentiebijdrage
• 9 Tijdschriftartikel
• 1 Hoofdstuk
• 3 Meer
  • 1 Editorial
  • 1 Overige bijdrage
  • 1 Dissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)

Onderzoeksoutput per jaar

Onderzoeksoutput per jaar

Zoekresultaten

• 2022

  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

  • runtime verification 100%
  • Close Collaboration 50%
  • State Machine 50%
  • Time Constraint 50%
  • Data Constraint 50%
  1 Citaat (Scopus)