Ivan Kurtev

Orcid: 0009-0003-3783-405X

According to our database1, Ivan Kurtev authored at least 45 papers between 1999 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Model based component development and analysis with ComMA.
Sci. Comput. Program., 2024

Adaptable Runtime Monitoring for Intermittent Systems.
Proceedings of the Nineteenth European Conference on Computer Systems, 2024

2022
Runtime Verification of Compound Components with ComMA.
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021
Reverse engineering models of software interfaces.
Comput. Sci. Inf. Syst., 2021

Testing Code Generators: a Case Study on Applying USE, EFinder and Tracts in Practice.
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.
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.
Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, 2018

2017
Integrating Interface Modeling and Analysis in an Industrial Setting.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Language Architecture: An Architecture Language for Model-Driven Engineering.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Runtime Monitoring Based on Interface Specifications.
Proceedings of the ModelEd, TestEd, TrustEd, 2017

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

A rule-based approach for evolution of AADL models based on changes in functional requirements.
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.
J. Syst. Softw., 2014

Change impact analysis for requirements: A metamodeling approach.
Inf. Softw. Technol., 2014

Experimental evaluation of a tool for change impact prediction in requirements models: Design, results, and lessons learned.
Proceedings of the IEEE 4th International Model-Driven Requirements Engineering Workshop, 2014

2013
A metamodeling approach for reasoning on multiple requirements models.
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.
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.
Softw. Syst. Model., 2011

Performance in Model Transformations: Experiments with ATL and QVT.
Proceedings of the Theory and Practice of Model Transformations, 2011

Action semantics for defining dynamic semantics of modeling languages.
Proceedings of the Third Workshop on Behavioural Modelling, 2011

2010
Application of reflection in a model transformation language.
Softw. Syst. Model., 2010

Tool support for generation and validation of traces between requirements and architecture.
Proceedings of the 6th ECMFA Traceability Workshop, 2010

2009
Ontological Metamodeling with Explicit Instantiation.
Proceedings of the Software Language Engineering, Second International Conference, 2009

2008
ATL: A model transformation tool.
Sci. Comput. Program., 2008

Elsevier special issue on foundations and applications of model driven architecture.
Sci. Comput. Program., 2008

Application of Reflection in Model Transformation Languages.
Proceedings of the Theory and Practice of Model Transformations, 2008

A Metamodeling Approach for Reasoning about Requirements.
Proceedings of the Model Driven Architecture, 2008

2007
Rule-based modularization in model transformation languages illustrated with ATL.
Sci. Comput. Program., 2007

On the interoperability of model-to-model transformation languages.
Sci. Comput. Program., 2007

Separation of concerns in translational semantics for DSLs in model engineering.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

State of the Art of QVT: A Model Transformation Language Standard.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
Evaluation of rule-based modularization in model transformation languages illustrated with ATL.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

On the architectural alignment of ATL and QVT.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Model-based DSL frameworks.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

ATL: a QVT-like transformation language.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Model Transformations? Transformation Models!
Proceedings of the Model Driven Engineering Languages and Systems, 2006

TCS: a DSL for the specification of textual concrete syntaxes in model engineering.
Proceedings of the Generative Programming and Component Engineering, 2006

A Canonical Scheme for Model Composition.
Proceedings of the Model Driven Architecture, 2006

2005
Adaptability of model transformations.
PhD thesis, 2005

Building adaptable and reusable XML applications with model transformations.
Proceedings of the 14th international conference on World Wide Web, 2005

Transforming Models with ATL.
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

2004
MISTRAL: A Language for Model Transformations in the MOF Meta-modeling Architecture.
Proceedings of the Model Driven Architecture, 2004

2003
UML to XML-Schema Transformation: a Case Study in Managing Alternative Model Transformations in MDA.
Proceedings of the Forum on specification and Design Languages, 2003

Model driven architecture based XML processing.
Proceedings of the 2003 ACM Symposium on Document Engineering, 2003

1999
SMILE Maker: A Web-Based Tool for Problem Solving.
Proceedings of WebNet 99, 1999


  Loading...