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

TOTAL DOCUMENTS

59

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By IEEE

9781467369084

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Identification of Simulink model antipattern instances using model clone detection

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

10.1109/models.2015.7338258 ◽

2015 ◽

Author(s):

Matthew Stephan ◽

James R. Cordy

Keyword(s):

Clone Detection ◽

Simulink Model ◽

Model Clone Detection

Download Full-text

A model-based framework for probabilistic simulation of legal policies

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

10.1109/models.2015.7338237 ◽

2015 ◽

Author(s):

Ghanem Soltana ◽

Nicolas Sannier ◽

Mehrdad Sabetzadeh ◽

Lionel C. Briand

Keyword(s):

Model Based ◽

Probabilistic Simulation ◽

Download Full-text

Textual diagram layout language and visualization algorithm

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

10.1109/models.2015.7338250 ◽

2015 ◽

Author(s):

Balazs Gregorics ◽

Tibor Gregorics ◽

Gabor Ferenc Kovacs ◽

Andras Dobreff ◽

Gergely Devai

Download Full-text

Pattern-based debugging of declarative models

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

10.1109/models.2015.7338263 ◽

2015 ◽

Author(s):

Vajih Montaghami ◽

Derek Rayside

Download Full-text

MODELS 2015 organization

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

10.1109/models.2015.7338225 ◽

2015 ◽

Download Full-text

Identifying duplicate functionality in textual use cases by aligning semantic actions (SoSyM abstract)

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

10.1109/models.2015.7338276 ◽

2015 ◽

Author(s):

Alejandro Rago ◽

Claudia Marcos ◽

J. Andres Diaz-Pace

Keyword(s):

Download Full-text

Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard

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

10.1109/models.2015.7338271 ◽

2015 ◽

Author(s):

Shaukat Ali ◽

Tao Yue

Keyword(s):

Software Testing

Download Full-text

Stream my models: Reactive peer-to-peer distributed [email protected]

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

10.1109/models.2015.7338238 ◽

2015 ◽

Author(s):

Thomas Hartmann ◽

Assaad Moawad ◽

Francois Fouquet ◽

Gregory Nain ◽

Jacques Klein ◽

...

Keyword(s):

Peer To Peer ◽

Distributed Models

Download Full-text

Incremental symbolic execution of evolving state machines

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

10.1109/models.2015.7338231 ◽

2015 ◽

Author(s):

Amal Khalil ◽

Juergen Dingel

Keyword(s):

Symbolic Execution ◽

Download Full-text

Covers

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

10.1109/models.2015.7338221 ◽

2015 ◽

Download Full-text