2015 ACM/IEEE 18th 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

9781467369084

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 6

Author(s):

Ghanem Soltana ◽

Nicolas Sannier ◽

Mehrdad Sabetzadeh ◽

Lionel C. Briand

Keyword(s):

Model Based ◽

Probabilistic Simulation ◽

Legal Policies

Download Full-text

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 ◽

Cited By ~ 6

Author(s):

Matthew Stephan ◽

James R. Cordy

Keyword(s):

Clone Detection ◽

Simulink Model ◽

Model Clone Detection

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 12

Author(s):

Thomas Hartmann ◽

Assaad Moawad ◽

Francois Fouquet ◽

Gregory Nain ◽

Jacques Klein ◽

...

Keyword(s):

Peer To Peer ◽

Distributed Models

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 ◽

Cited By ~ 4

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 ◽

Cited By ~ 2

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):

Use Cases

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 ◽

Cited By ~ 2

Author(s):

Amal Khalil ◽

Juergen Dingel

Keyword(s):

Symbolic Execution ◽

State Machines

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

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A model-based framework for probabilistic simulation of legal policies

Identification of Simulink model antipattern instances using model clone detection

Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard

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

Textual diagram layout language and visualization algorithm

Pattern-based debugging of declarative models

MODELS 2015 organization

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

Incremental symbolic execution of evolving state machines

Covers

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