Ivan Kurtev

According to our database1, Ivan Kurtev authored at least 38 papers between 1999 and 2017.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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.
Journal of Systems and Software, 2014

Change impact analysis for requirements: A metamodeling approach.
Information & Software Technology, 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.
Software and System Modeling, 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.
Software and System Modeling, 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...