Igal Khitron

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 8

Top Topics

Mathematical Foundations

Modeling Language

Resource Bounded

Top Venues

MoDELS (Workshops)

J. Object Technol.

Publications

Mira Balaban, Igal Khitron, Azzam Maraee
Accidental complexity in multilevel modeling revisited. Softw. Syst. Model. 21 (2) (2022)
Mira Balaban, Igal Khitron, Azzam Maraee, Michael Kifer
Mediation-based MLM in FOModeLer. MoDELS (Companion) (2022)
Mira Balaban, Igal Khitron, Michael Kifer
Logic-based Software Modeling with FOML. J. Object Technol. 19 (3) (2020)
Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee
Multilevel modeling: what's in a level? A position paper. MoDELS (Workshops) (2018)
Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee
Formal Executable Theory of Multilevel Modeling. CAiSE (2018)
Mira Balaban, Igal Khitron, Azzam Maraee
Context-aware factors in rearchitecting two-level models into multilevel models. MoDELS (Workshops) (2018)
Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. OCL@MoDELS (2016)
Mira Balaban, Igal Khitron, Michael Kifer
Multilevel Modeling and Reasoning with FOML. SwSTE (2016)