Ivan Kurtev

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