Ivan Kurtev

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 13

Top Venues

CoRR

MODELSWARD

Comput. Sci. Inf. Syst.

ESEC/SIGSOFT FSE

University of Twente, Enschede, Netherlands (PHD)

Education History

University of Twente, Enschede, Netherlands

PHD

Publications

Ivan Kurtev, Jozef Hooman, Mathijs Schuts, Daan van der Munnik
Model based component development and analysis with ComMA. Sci. Comput. Program. 233 (2024)
Eren Yildiz, Khakim Akhunov, Lorenzo Antonio Riva, Arda Goknil, Ivan Kurtev, Kasim Sinan Yildirim
Adaptable Runtime Monitoring for Intermittent Systems. EuroSys (2024)
Ferhat Erata, Arda Goknil, Ivan Kurtev, Bedir Tekinerdogan
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning. CoRR (2024)
Ivan Kurtev, Jozef Hooman
Runtime Verification of Compound Components with ComMA. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Debjyoti Bera, Mathijs Schuts, Jozef Hooman, Ivan Kurtev
Reverse engineering models of software interfaces. Comput. Sci. Inf. Syst. 18 (3) (2021)
Zijun Chen, Wilbert Alberts, Ivan Kurtev
Testing Code Generators: a Case Study on Applying USE, EFinder and Tracts in Practice. STAF Workshops (2021)
Ferhat Erata, Arda Goknil, Ivan Kurtev, Bedir Tekinerdogan
AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning. ESEC/SIGSOFT FSE (2018)
Mathijs Schuts, Jozef Hooman, Ivan Kurtev, Dirk-Jan Swagerman
Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach. FedCSIS (2018)
Ivan Kurtev, Jozef Hooman, Mathijs Schuts
Runtime Monitoring Based on Interface Specifications. ModelEd, TestEd, TrustEd (2017)
Niels Brouwers, Marc Hamilton, Ivan Kurtev, Yaping Luo
Language Architecture: An Architecture Language for Model-Driven Engineering. MODELSWARD (2017)
Ivan Kurtev, Mathijs Schuts, Jozef Hooman, Dirk-Jan Swagerman
Integrating Interface Modeling and Analysis in an Industrial Setting. MODELSWARD (2017)
Arda Goknil, Ivan Kurtev, Klaas van den Berg
A Rule-Based Change Impact Analysis Approach in Software Architecture for Requirements Changes. CoRR (2016)
Arda Goknil, Ivan Kurtev, Klaas van den Berg
A rule-based approach for evolution of AADL models based on changes in functional requirements. ECSA Workshops (2016)
Arda Goknil, Roderick van Domburg, Ivan Kurtev, Klaas van den Berg, Fons Wijnhoven
Experimental evaluation of a tool for change impact prediction in requirements models: Design, results, and lessons learned. MoDRE (2014)
Arda Goknil, Ivan Kurtev, Klaas van den Berg
Generation and validation of traces between requirements and architecture based on formal trace semantics. J. Syst. Softw. 88 (2014)
Arda Goknil, Ivan Kurtev, Klaas van den Berg, Wietze Spijkerman
Change impact analysis for requirements: A metamodeling approach. Inf. Softw. Technol. 56 (8) (2014)
Arda Goknil, Ivan Kurtev, Jean-Vivien Millo
A metamodeling approach for reasoning on multiple requirements models. EDOC (2013)
Abelneh Y. Teka, Nelly Condori-Fernández, Ivan Kurtev, Dick A. C. Quartel, Wilco Engelsman
Change impact analysis of indirect goal relations: Comparison of NFR and TROPOS approaches based on industrial case study. MoDRE (2012)
Arda Goknil, Ivan Kurtev, Klaas van den Berg, Jan-Willem Veldhuis
Semantics of trace relations in requirements models for consistency checking and inferencing. Softw. Syst. Model. 10 (1) (2011)
Marcel van Amstel, Steven Bosems, Ivan Kurtev, Luís Ferreira Pires
Performance in Model Transformations: Experiments with ATL and QVT. ICMT@TOOLS (2011)
Gijs Stuurman, Ivan Kurtev
Action semantics for defining dynamic semantics of modeling languages. BM-FA (2011)
Arda Goknil, Ivan Kurtev, Klaas van den Berg
Tool support for generation and validation of traces between requirements and architecture. ECMFA-TW (2010)
Ivan Kurtev
Application of reflection in a model transformation language. Softw. Syst. Model. 9 (3) (2010)
Alfons Laarman, Ivan Kurtev
Ontological Metamodeling with Explicit Instantiation. SLE (2009)
Arda Goknil, Ivan Kurtev, Klaas van den Berg
A Metamodeling Approach for Reasoning about Requirements. ECMDA-FA (2008)
Frédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev
ATL: A model transformation tool. Sci. Comput. Program. 72 (1-2) (2008)
Ivan Kurtev
Application of Reflection in Model Transformation Languages. ICMT@TOOLS (2008)
Mehmet Aksit, Ivan Kurtev
Elsevier special issue on foundations and applications of model driven architecture. Sci. Comput. Program. 73 (1) (2008)
Thomas Cleenewerck, Ivan Kurtev
Separation of concerns in translational semantics for DSLs in model engineering. SAC (2007)
Ivan Kurtev, Klaas van den Berg, Frédéric Jouault
Rule-based modularization in model transformation languages illustrated with ATL. Sci. Comput. Program. 68 (3) (2007)
Ivan Kurtev
State of the Art of QVT: A Model Transformation Language Standard. AGTIVE (2007)
Frédéric Jouault, Ivan Kurtev
On the interoperability of model-to-model transformation languages. Sci. Comput. Program. 68 (3) (2007)
Jean Bézivin, Salim Bouzitouna, Marcos Didonet Del Fabro, Marie-Pierre Gervais, Frédéric Jouault, Dimitrios S. Kolovos, Ivan Kurtev, Richard F. Paige
A Canonical Scheme for Model Composition. ECMDA-FA (2006)
Frédéric Jouault, Jean Bézivin, Ivan Kurtev
TCS: a DSL for the specification of textual concrete syntaxes in model engineering. GPCE (2006)
Frédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev, Patrick Valduriez
ATL: a QVT-like transformation language. OOPSLA Companion (2006)
Ivan Kurtev, Klaas van den Berg, Frédéric Jouault
Evaluation of rule-based modularization in model transformation languages illustrated with ATL. SAC (2006)
Ivan Kurtev, Jean Bézivin, Frédéric Jouault, Patrick Valduriez
Model-based DSL frameworks. OOPSLA Companion (2006)
Frédéric Jouault, Ivan Kurtev
On the architectural alignment of ATL and QVT. SAC (2006)
Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow
Model Transformations? Transformation Models! MoDELS (2006)
Ivan Kurtev, Klaas van den Berg
Building adaptable and reusable XML applications with model transformations. WWW (2005)
Frédéric Jouault, Ivan Kurtev
Transforming Models with ATL. MoDELS (Satellite Events) (2005)
Ivan Kurtev, Klaas van den Berg
MISTRAL: A Language for Model Transformations in the MOF Meta-modeling Architecture. MDAFA (2004)
Ivan Kurtev, Klaas van den Berg
Model driven architecture based XML processing. ACM Symposium on Document Engineering (2003)
Ivan Kurtev, Klaas van den Berg, Mehmet Aksit
UML to XML-Schema Transformation: a Case Study in Managing Alternative Model Transformations in MDA. FDL (2003)
Svetoslav Stoyanov, Lora Aroyo, Piet Kommers, Ivan Kurtev
SMILE Maker: A Web-Based Tool for Problem Solving. WebNet (1999)

Ivan Kurtev.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ivan Kurtev