Igal Khitron

According to our database, Igal Khitron authored at least 8 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Accidental complexity in multilevel modeling revisited.

Mira Balaban, Igal Khitron, Azzam Maraee

Softw. Syst. Model., 2022

Mediation-based MLM in FOModeLer.

Mira Balaban, Igal Khitron, Azzam Maraee, Michael Kifer

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2020

Logic-based Software Modeling with FOML.

Mira Balaban, Igal Khitron, Michael Kifer

J. Object Technol., 2020

2018

Context-aware factors in rearchitecting two-level models into multilevel models.

Mira Balaban, Igal Khitron, Azzam Maraee

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Multilevel modeling: what's in a level? A position paper.

Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Formal Executable Theory of Multilevel Modeling.

Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee

Proceedings of the Advanced Information Systems Engineering, 2018

2016

Multilevel Modeling and Reasoning with FOML.

Mira Balaban, Igal Khitron, Michael Kifer

Proceedings of the 2016 IEEE International Conference on Software Science, 2016

A Comparison of Textual Modeling Languages: OCL, Alloy, FOML.

Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer

Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016