default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIvan Kurtev
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2005
[b1]Ivan Kurtev:
Adaptability of model transformations. University of Twente, Enschede, Netherlands, 2005
Journal Articles
- 2024
- [j10]Ivan Kurtev
, Jozef Hooman, Mathijs Schuts, Daan van der Munnik:
Model based component development and analysis with ComMA. Sci. Comput. Program. 233: 103067 (2024) - 2021
- [j9]Debjyoti Bera, Mathijs Schuts, Jozef Hooman, Ivan Kurtev:
Reverse engineering models of software interfaces. Comput. Sci. Inf. Syst. 18(3): 657-686 (2021) - 2014
- [j8]Arda Goknil, Ivan Kurtev, Klaas van den Berg, Wietze Spijkerman:
Change impact analysis for requirements: A metamodeling approach. Inf. Softw. Technol. 56(8): 950-972 (2014) - [j7]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: 112-137 (2014) - 2011
- [j6]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): 31-54 (2011) - 2010
- [j5]Ivan Kurtev:
Application of reflection in a model transformation language. Softw. Syst. Model. 9(3): 311-333 (2010) - 2008
- [j4]Frédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev:
ATL: A model transformation tool. Sci. Comput. Program. 72(1-2): 31-39 (2008) - [j3]Mehmet Aksit, Ivan Kurtev:
Elsevier special issue on foundations and applications of model driven architecture. Sci. Comput. Program. 73(1): 1-2 (2008) - 2007
- [j2]Frédéric Jouault, Ivan Kurtev:
On the interoperability of model-to-model transformation languages. Sci. Comput. Program. 68(3): 114-137 (2007) - [j1]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): 138-154 (2007)
Conference and Workshop Papers
- 2024
- [c33]Eren Yildiz, Khakim Akhunov, Lorenzo Antonio Riva, Arda Goknil, Ivan Kurtev, Kasim Sinan Yildirim:
Adaptable Runtime Monitoring for Intermittent Systems. EuroSys 2024: 1175-1191 - 2022
- [c32]Ivan Kurtev, Jozef Hooman:
Runtime Verification of Compound Components with ComMA. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 382-402 - 2021
- [c31]Zijun Chen, Wilbert Alberts, Ivan Kurtev:
Testing Code Generators: a Case Study on Applying USE, EFinder and Tracts in Practice. STAF Workshops 2021: 169-177 - 2018
- [c30]Mathijs Schuts, Jozef Hooman, Ivan Kurtev, Dirk-Jan Swagerman:
Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach. FedCSIS 2018: 867-876 - [c29]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: 920-923 - 2017
- [c28]Ivan Kurtev, Jozef Hooman, Mathijs Schuts:
Runtime Monitoring Based on Interface Specifications. ModelEd, TestEd, TrustEd 2017: 335-356 - [c27]Niels Brouwers, Marc Hamilton, Ivan Kurtev, Yaping Luo:
Language Architecture: An Architecture Language for Model-Driven Engineering. MODELSWARD 2017: 147-156 - [c26]Ivan Kurtev, Mathijs Schuts, Jozef Hooman, Dirk-Jan Swagerman:
Integrating Interface Modeling and Analysis in an Industrial Setting. MODELSWARD 2017: 345-352 - 2016
- [c25]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: 10 - 2014
- [c24]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: 57-66 - 2013
- [c23]Arda Goknil, Ivan Kurtev, Jean-Vivien Millo:
A metamodeling approach for reasoning on multiple requirements models. EDOC 2013: 159-166 - 2012
- [c22]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: 58-67 - 2011
- [c21]Gijs Stuurman, Ivan Kurtev:
Action semantics for defining dynamic semantics of modeling languages. BM-FA 2011: 64-71 - [c20]Marcel van Amstel, Steven Bosems, Ivan Kurtev, Luís Ferreira Pires:
Performance in Model Transformations: Experiments with ATL and QVT. ICMT@TOOLS 2011: 198-212 - 2010
- [c19]Arda Goknil, Ivan Kurtev, Klaas van den Berg:
Tool support for generation and validation of traces between requirements and architecture. ECMFA-TW 2010: 39-46 - 2009
- [c18]Alfons Laarman, Ivan Kurtev:
Ontological Metamodeling with Explicit Instantiation. SLE 2009: 174-183 - 2008
- [c17]Arda Goknil, Ivan Kurtev, Klaas van den Berg:
A Metamodeling Approach for Reasoning about Requirements. ECMDA-FA 2008: 310-325 - [c16]Ivan Kurtev:
Application of Reflection in Model Transformation Languages. ICMT@TOOLS 2008: 199-213 - 2007
- [c15]Ivan Kurtev:
State of the Art of QVT: A Model Transformation Language Standard. AGTIVE 2007: 377-393 - [c14]Thomas Cleenewerck, Ivan Kurtev:
Separation of concerns in translational semantics for DSLs in model engineering. SAC 2007: 985-992 - 2006
- [c13]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: 346-360 - [c12]Frédéric Jouault, Jean Bézivin, Ivan Kurtev:
TCS: a DSL for the specification of textual concrete syntaxes in model engineering. GPCE 2006: 249-254 - [c11]Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow:
Model Transformations? Transformation Models! MoDELS 2006: 440-453 - [c10]Ivan Kurtev, Jean Bézivin, Frédéric Jouault, Patrick Valduriez:
Model-based DSL frameworks. OOPSLA Companion 2006: 602-616 - [c9]Frédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev, Patrick Valduriez:
ATL: a QVT-like transformation language. OOPSLA Companion 2006: 719-720 - [c8]Frédéric Jouault, Ivan Kurtev:
On the architectural alignment of ATL and QVT. SAC 2006: 1188-1195 - [c7]Ivan Kurtev, Klaas van den Berg, Frédéric Jouault:
Evaluation of rule-based modularization in model transformation languages illustrated with ATL. SAC 2006: 1202-1209 - 2005
- [c6]Frédéric Jouault, Ivan Kurtev:
Transforming Models with ATL. MoDELS (Satellite Events) 2005: 128-138 - [c5]Ivan Kurtev, Klaas van den Berg:
Building adaptable and reusable XML applications with model transformations. WWW 2005: 160-169 - 2004
- [c4]Ivan Kurtev, Klaas van den Berg:
MISTRAL: A Language for Model Transformations in the MOF Meta-modeling Architecture. MDAFA 2004: 139-158 - 2003
- [c3]Ivan Kurtev, Klaas van den Berg:
Model driven architecture based XML processing. ACM Symposium on Document Engineering 2003: 246-248 - [c2]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: 297-309 - 1999
- [c1]Svetoslav Stoyanov, Lora Aroyo, Piet Kommers, Ivan Kurtev:
SMILE Maker: A Web-Based Tool for Problem Solving. WebNet 1999: 1006-1011
Editorship
- 2011
- [e1]Ivan Kurtev, Massimo Tisi, Dennis Wagelaar:
Proceedings of the 3rd International Workshop on Model Transformation with ATL, MtATL@TOOLS 2011, Zürich, Switzerland, July 1st, 2011. CEUR Workshop Proceedings 742, CEUR-WS.org 2011 [contents]
Informal and Other Publications
- 2024
- [i2]Ferhat Erata, Arda Goknil, Ivan Kurtev, Bedir Tekinerdogan:
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning. CoRR abs/2403.02652 (2024) - 2016
- [i1]Arda Goknil, Ivan Kurtev, Klaas van den Berg:
A Rule-Based Change Impact Analysis Approach in Software Architecture for Requirements Changes. CoRR abs/1608.02757 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
