2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781538634929

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Empirical Study on the Maturity of the Eclipse Modeling Ecosystem

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) ◽

10.1109/models.2017.19 ◽

2017 ◽

Cited By ~ 1

Author(s):

Javier Luis Canovas Izquierdo ◽

Valerio Cosentino ◽

Jordi Cabot

Keyword(s):

Empirical Study

Download Full-text

Author index

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) ◽

10.1109/models.2017.46 ◽

2017 ◽

Download Full-text

From Secure Business Process Modeling to Design-Level Security Verification

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) ◽

10.1109/models.2017.10 ◽

2017 ◽

Cited By ~ 5

Author(s):

Qusai Ramadan ◽

Mattia Salnitriy ◽

Daniel Struber ◽

Jan Jurjens ◽

Paolo Giorgini

Keyword(s):

Business Process ◽

Process Modeling ◽

Business Process Modeling ◽

Secure Business Process ◽

Security Verification

Download Full-text

Synthesis and Exploration of Multi-level, Multi-perspective Architectures of Automotive Embedded Systems (SoSYM Abstract)

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) ◽

10.1109/models.2017.38 ◽

2017 ◽

Cited By ~ 4

Author(s):

Jordan A. Ross ◽

Alexandr Murashkin ◽

Jia Hui Liang ◽

Michal Antkiewicz ◽

Krzysztof Czarnecki

Keyword(s):

Embedded Systems ◽

Multi Level

Download Full-text

Language Design with Intent

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) ◽

10.1109/models.2017.16 ◽

2017 ◽

Cited By ~ 1

Author(s):

Vadim Zaytsev

Keyword(s):

Language Design

Download Full-text

Ontology-Based Pattern for System Engineering

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) ◽

10.1109/models.2017.4 ◽

2017 ◽

Cited By ~ 4

Author(s):

Dominique Ernadote

Keyword(s):

System Engineering

Download Full-text

[Title page iii]

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) ◽

10.1109/models.2017.40 ◽

2017 ◽

Keyword(s):

Title Page

Download Full-text

[Title page i]

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) ◽

10.1109/models.2017.39 ◽

2017 ◽

Keyword(s):

Title Page

Download Full-text

Why is My Component and Connector Views Specification Unsatisfiable?

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) ◽

10.1109/models.2017.26 ◽

2017 ◽

Author(s):

Shahar Maoz ◽

Nitzan Pomerantz ◽

Jan Oliver Ringert ◽

Rafi Shalom

Download Full-text

Bidirectional Transformations in the Large

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) ◽

10.1109/models.2017.8 ◽

2017 ◽

Cited By ~ 13

Author(s):

Perdita Stevens

Download Full-text

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

An Empirical Study on the Maturity of the Eclipse Modeling Ecosystem

Author index

From Secure Business Process Modeling to Design-Level Security Verification

Synthesis and Exploration of Multi-level, Multi-perspective Architectures of Automotive Embedded Systems (SoSYM Abstract)

Language Design with Intent

Ontology-Based Pattern for System Engineering

[Title page iii]

[Title page i]

Why is My Component and Connector Views Specification Unsatisfiable?

Bidirectional Transformations in the Large

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)
Latest Publications