Mira Balaban

Publication Activity (10 Years)

Years Active: 1983-2023
Publications (10 Years): 11

Top Topics

Analogical Reasoning

Top Venues

Softw. Syst. Model.

MoDELS (Workshops)

MoDELS (Companion)

Publications

Mira Balaban, Michael Kifer, Azzam Maraee
Clabject Typing in MLM - the Double Life of a Clabject: A Position Paper. MoDELS (Companion) (2023)
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, Azzam Maraee
Removing redundant multiplicity constraints in UML class models. Softw. Syst. Model. 18 (4) (2019)
Mira Balaban, Arnon Sturm
Software engineering lab: an essential component of a software engineering curriculum. ICSE (SEET) (2018)
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)
Mira Balaban, Azzam Maraee, Arnon Sturm, Pavel Jelnov
A pattern-based approach for improving model quality. Softw. Syst. Model. 14 (4) (2015)
Azzam Maraee, Mira Balaban
Removing Redundancies and Deducing Equivalences in UML Class Diagrams. MoDELS (2014)
Mira Balaban
Symbolic Representation of Models Improves Model Understanding and Tendency to Use Models. EduSymp@MoDELS (2014)
Mira Balaban, Azzam Maraee
Simplification and Correctness of UML Class Diagrams - Focusing on Multiplicity and Aggregation/Composition Constraints. MoDELS (2013)
Mira Balaban, Azzam Maraee
Finite satisfiability of UML class diagrams with constrained class hierarchy. ACM Trans. Softw. Eng. Methodol. 22 (3) (2013)
Azzam Maraee, Mira Balaban
Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines. MoDELS (2012)
Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke
Workshop on OCL and textual modeling: OCL 2012. OCL@MoDELS (2012)
Mira Balaban, Michael Kifer
Logic-Based Model-Level Software Development with F-OML. MoDELS (2011)
Azzam Maraee, Mira Balaban
On the interaction of inter-relationship constraints. MoDeVVa@MoDELS (2011)
Azzam Maraee, Mira Balaban, Arnon Sturm, Adiel Ashrov
Model Correctness Patterns as an Educational Instrument. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 52 (2011)
Mira Balaban, Azzam Maraee, Arnon Sturm
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach. Int. J. Inf. Syst. Model. Des. 1 (4) (2010)
Mira Balaban, Michael Kifer
An Overview of F-OML: An F-Logic Based Object Modeling Language. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36 (2010)
Victor Makarenkov, Pavel Jelnov, Azzam Maraee, Mira Balaban
algorithm. MoDeVVa@MoDELS (2009)
Mira Balaban, Lior Limonad
Towards automatic integration of the business-data layers in enterprise-systems. J. Comput. Methods Sci. Eng. 9 (4-6) (2009)
Mira Balaban, Azzam Maraee
A UML-Based Method for Deciding Finite Satisfiability in Description Logics. Description Logics (2008)
Mira Balaban, Steffen Jurk
Effect Preservation in Transaction Processing in Rule Triggering Systems. Acta Cybern. 18 (4) (2008)
Mira Balaban, L. Liimonad
Towards Automatic Integration of the Business-Data Layers in Enterprise-Systems. SEDE (2008)
Michael Elhadad, Mira Balaban, Arnon Sturm
Effective Business Process Outsourcing: The Prosero Approach. Int. J. Interoperability Bus. Inf. Syst. 6 (2007)
Azzam Maraee, Mira Balaban
Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets. ECMDA-FA (2007)
Mira Balaban, Azzam Maraee
Consistency of UML Class Diagrams with Hierarchy Constraints. NGITS (2006)
Mira Balaban, Lior Limonad
Towards Automatic Integration of Persistency Requirements in Enterprise-Systems - The Persistent-to-Persistent Patterns. NGITS (2006)
Peretz Shoval, Revital Danoch, Mira Balaban
Hierarchical entity-relationship diagrams: the model, method of creation and experimental evaluation. Requir. Eng. 9 (4) (2004)
Mira Balaban, David Boaz, Yuval Shahar
Analysis of Temporal Abstraction in Medical Databases. KRDB (2003)
Steffen Jurk, Mira Balaban
Towards Effect Preservation of Updates with Loops. IICIS (2002)
Mira Balaban, Steffen Jurk
Effect Preservation as a Means for Achieving Update Consistency. FQAS (2002)
Mira Balaban, Peretz Shoval
MEERAn EER model enhanced with structure methods. Inf. Syst. 27 (4) (2002)
Peretz Shoval, Revital Danoch, Mira Balaban
Hierarchical ER Diagrams (HERD) - The Method and Experimental Evaluation. ER (Workshops) (2002)
Mira Balaban
Structure and Interpretation of Music Concepts: Music from a Computational Perspective. ICMAI (2002)
Mira Balaban, Nikolai Berezansky, Ehud Gudes
Answering Cooperative Recursive Queries in Web Federated Databases. NGITS (2002)
Mira Balaban, Steffen Jurk
Intentions of Operations - Characterization and Preservation. ER (Workshops) (2002)
Mira Balaban, Eli Barzilay, Michael Elhadad
Abstraction as a means for end-user computing in creative applications. IEEE Trans. Syst. Man Cybern. Part A 32 (6) (2002)
Steffen Jurk, Mira Balaban
Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs. DEXA (2001)
Mira Balaban, Adi Eyal
DFL - a dialog based integration of concept and rule reasoners. Data Knowl. Eng. 38 (3) (2001)
Mira Balaban, Peretz Shoval
Enhancing the ER Model with Integrity Methods Information Management Systems. J. Database Manag. 10 (4) (1999)
Mira Balaban, Tzachi Rosen
STCSP - Structured Temporal Constraint satisfaction Problems. Ann. Math. Artif. Intell. 25 (1-2) (1999)
Mira Balaban, Peretz Shoval
Resolving the "Weak Status" of Weak Entity Types in Entity-Relationships Schemas. ER (1999)
Mira Balaban, Dan Braha
Temporal reasoning in process planning. Artif. Intell. Eng. Des. Anal. Manuf. 13 (2) (1999)
Mira Balaban, Adi Eyal
DFL - A Dialog Based Integration of Concept and Rule Reasoners. Description Logics (1999)
Mira Balaban
Interleaving Time and Structure. Comput. Artif. Intell. 17 (1) (1998)
Mira Balaban, Solomon Eyal Shimony
Structured Plans with Sharing and Replication. Comput. Artif. Intell. 17 (4) (1998)
Mira Balaban, Adi Eyal
DFL - A Hybrid Integration of Descriptions and Rules, Using F-Logic as an Underlying Semantics. NGITS (1997)
Mira Balaban, Adi Eyal
Experiments with the DFL Hybrid System. Description Logics (1997)
Mira Balaban, Adi Eyal
DFL - A Hybrid Integration of Descriptions and Rules, using F-Logic as Underlying Semantics. KRDB (1996)
Mira Balaban, Stanislav Irish
Automatic Jazz Accompaniment Computation: An Open Advice-Based Approach. ICMC (1996)
Mira Balaban, Yoram Kornatzky
A Data Model for Processes Based on Relative Time. J. Intell. Inf. Syst. 7 (1) (1996)
Mira Balaban
The F-logic Approach for Description Languages. Ann. Math. Artif. Intell. 15 (1) (1995)
Mira Balaban
F-Logic as a Basis for a General Description Logic. Description Logics (1992)
Mira Balaban, Neil V. Murray
The Logic of Time Structures: Temporal and Nonmonotonic Features. IJCAI (1989)
Mira Balaban, Stefan Strack
LOGSTER - A Relational, Object-Oriented System for Knowledge Representation. ISMIS (1988)
Mira Balaban
A Music-Workstation Based on Multiple Hierarchical Views of Music. ICMC (1988)
Mira Balaban
The TTS Language for Music Description. Int. J. Man Mach. Stud. 28 (5) (1988)
Mira Balaban, Neil V. Murray
A First Order Calculus for Temporal Knowledge. ISMIS (1987)
Mira Balaban
Foundations for Artificial Intelligence Research of Western Tonal Music. ICMC (1985)
Mira Balaban
Towards a Computer Research of Tonal Music. ICMC (1983)