Ivan Kurtev

According to our database, Ivan Kurtev authored at least 44 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Adaptable Runtime Monitoring for Intermittent Systems.

Eren Yildiz, Khakim Akhunov, Lorenzo Antonio Riva, Arda Goknil, Ivan Kurtev, Kasim Sinan Yildirim

Proceedings of the Nineteenth European Conference on Computer Systems, 2024

2022

Runtime Verification of Compound Components with ComMA.

Ivan Kurtev, Jozef Hooman

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Reverse engineering models of software interfaces.

Debjyoti Bera, Mathijs Schuts, Jozef Hooman, Ivan Kurtev

Comput. Sci. Inf. Syst., 2021

Testing Code Generators: a Case Study on Applying USE, EFinder and Tracts in Practice.

Zijun Chen, Wilbert Alberts, Ivan Kurtev

Proceedings of the STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, 2021

2018

AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning.

Ferhat Erata, Arda Goknil, Ivan Kurtev, Bedir Tekinerdogan

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach.

Mathijs Schuts, Jozef Hooman, Ivan Kurtev, Dirk-Jan Swagerman

Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, 2018

2017

Integrating Interface Modeling and Analysis in an Industrial Setting.

Ivan Kurtev, Mathijs Schuts, Jozef Hooman, Dirk-Jan Swagerman

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Language Architecture: An Architecture Language for Model-Driven Engineering.

Niels Brouwers, Marc Hamilton, Ivan Kurtev, Yaping Luo

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Runtime Monitoring Based on Interface Specifications.

Ivan Kurtev, Jozef Hooman, Mathijs Schuts

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

A Rule-Based Change Impact Analysis Approach in Software Architecture for Requirements Changes.

Arda Goknil, Ivan Kurtev, Klaas van den Berg

CoRR, 2016

A rule-based approach for evolution of AADL models based on changes in functional requirements.

Arda Goknil, Ivan Kurtev, Klaas van den Berg

Proceedings of the Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28, 2016

2014

Generation and validation of traces between requirements and architecture based on formal trace semantics.

Arda Goknil, Ivan Kurtev, Klaas van den Berg

J. Syst. Softw., 2014

Change impact analysis for requirements: A metamodeling approach.

Arda Goknil, Ivan Kurtev, Klaas van den Berg, Wietze Spijkerman

Inf. Softw. Technol., 2014

Experimental evaluation of a tool for change impact prediction in requirements models: Design, results, and lessons learned.

Arda Goknil, Roderick van Domburg, Ivan Kurtev, Klaas van den Berg, Fons Wijnhoven

Proceedings of the IEEE 4th International Model-Driven Requirements Engineering Workshop, 2014

2013

A metamodeling approach for reasoning on multiple requirements models.

Arda Goknil, Ivan Kurtev, Jean-Vivien Millo

Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

2012

Change impact analysis of indirect goal relations: Comparison of NFR and TROPOS approaches based on industrial case study.

Abelneh Y. Teka, Nelly Condori-Fernández, Ivan Kurtev, Dick A. C. Quartel, Wilco Engelsman

Proceedings of the Second IEEE International Workshop on Model-Driven Requirements Engineering, 2012

2011

Semantics of trace relations in requirements models for consistency checking and inferencing.

Arda Goknil, Ivan Kurtev, Klaas van den Berg, Jan-Willem Veldhuis

Softw. Syst. Model., 2011

Performance in Model Transformations: Experiments with ATL and QVT.

Marcel van Amstel, Steven Bosems, Ivan Kurtev, Luís Ferreira Pires

Proceedings of the Theory and Practice of Model Transformations, 2011

Action semantics for defining dynamic semantics of modeling languages.

Gijs Stuurman, Ivan Kurtev

Proceedings of the Third Workshop on Behavioural Modelling, 2011

2010

Application of reflection in a model transformation language.

Ivan Kurtev

Softw. Syst. Model., 2010

Tool support for generation and validation of traces between requirements and architecture.

Arda Goknil, Ivan Kurtev, Klaas van den Berg

Proceedings of the 6th ECMFA Traceability Workshop, 2010

2009

Ontological Metamodeling with Explicit Instantiation.

Alfons Laarman, Ivan Kurtev

Proceedings of the Software Language Engineering, Second International Conference, 2009

2008

ATL: A model transformation tool.

Frédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev

Sci. Comput. Program., 2008

Elsevier special issue on foundations and applications of model driven architecture.

Mehmet Aksit, Ivan Kurtev

Sci. Comput. Program., 2008

Application of Reflection in Model Transformation Languages.

Ivan Kurtev

Proceedings of the Theory and Practice of Model Transformations, 2008

A Metamodeling Approach for Reasoning about Requirements.

Arda Goknil, Ivan Kurtev, Klaas van den Berg

Proceedings of the Model Driven Architecture, 2008

2007

Rule-based modularization in model transformation languages illustrated with ATL.

Ivan Kurtev, Klaas van den Berg, Frédéric Jouault

Sci. Comput. Program., 2007

On the interoperability of model-to-model transformation languages.

Frédéric Jouault, Ivan Kurtev

Sci. Comput. Program., 2007

Separation of concerns in translational semantics for DSLs in model engineering.

Thomas Cleenewerck, Ivan Kurtev

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

State of the Art of QVT: A Model Transformation Language Standard.

Ivan Kurtev

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

Evaluation of rule-based modularization in model transformation languages illustrated with ATL.

Ivan Kurtev, Klaas van den Berg, Frédéric Jouault

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

On the architectural alignment of ATL and QVT.

Frédéric Jouault, Ivan Kurtev

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Model-based DSL frameworks.

Ivan Kurtev, Jean Bézivin, Frédéric Jouault, Patrick Valduriez

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

ATL: a QVT-like transformation language.

Frédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev, Patrick Valduriez

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Model Transformations? Transformation Models!

Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow

Proceedings of the Model Driven Engineering Languages and Systems, 2006

TCS: a DSL for the specification of textual concrete syntaxes in model engineering.

Frédéric Jouault, Jean Bézivin, Ivan Kurtev

Proceedings of the Generative Programming and Component Engineering, 2006

A Canonical Scheme for Model Composition.

Jean Bézivin, Salim Bouzitouna, Marcos Didonet Del Fabro, Marie-Pierre Gervais, Frédéric Jouault, Dimitrios S. Kolovos, Ivan Kurtev, Richard F. Paige

Proceedings of the Model Driven Architecture, 2006

2005

Adaptability of model transformations.

Ivan Kurtev

PhD thesis, 2005

Building adaptable and reusable XML applications with model transformations.

Ivan Kurtev, Klaas van den Berg

Proceedings of the 14th international conference on World Wide Web, 2005

Transforming Models with ATL.

Frédéric Jouault, Ivan Kurtev

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

2004

MISTRAL: A Language for Model Transformations in the MOF Meta-modeling Architecture.

Ivan Kurtev, Klaas van den Berg

Proceedings of the Model Driven Architecture, 2004

2003

UML to XML-Schema Transformation: a Case Study in Managing Alternative Model Transformations in MDA.

Ivan Kurtev, Klaas van den Berg, Mehmet Aksit

Proceedings of the Forum on specification and Design Languages, 2003

Model driven architecture based XML processing.

Ivan Kurtev, Klaas van den Berg

Proceedings of the 2003 ACM Symposium on Document Engineering, 2003

1999

SMILE Maker: A Web-Based Tool for Problem Solving.

Svetoslav Stoyanov, Lora Aroyo, Piet Kommers, Ivan Kurtev

Proceedings of WebNet 99, 1999