Miriam Balaban

1983 …2023

Research activity per year

Filter
Conference contribution

Search results

  • 2023

    Clabject Typing in MLM - the Double Life of a Clabject: A Position Paper

    Balaban, M., Kifer, M. & Maraee, A., 1 Jan 2023, Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023. Institute of Electrical and Electronics Engineers, p. 635-638 4 p. (Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2022

    Mediation-based MLM in FOModeLer

    Balaban, M., Khitron, I., Maraee, A. & Kifer, M., 23 Oct 2022, Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings. Association for Computing Machinery, Inc, p. 444-452 9 p. (Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • 2018

    Formal executable theory of multilevel modeling

    Balaban, M., Khitron, I., Kifer, M. & Maraee, A., 1 Jan 2018, Advanced Information Systems Engineering - 30th International Conference, CAiSE 2018, Proceedings. Krogstie, J. & Reijers, H. A. (eds.). Springer Verlag, p. 391-406 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10816 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • Software engineering lab- A n essential component of a software engineering curriculum

    Balaban, M. & Sturm, A., 27 May 2018, Proceedings 2018 ACM/IEEE 40th International Conference on Software Engineering: Software Engineering Education and Training, ICSE-SEET 2018. Institute of Electrical and Electronics Engineers, p. 21-30 10 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    9 Scopus citations
  • 2016

    Multilevel Modeling and Reasoning with FOML

    Balaban, M., Khitron, I. & Kifer, M., 18 Jul 2016, Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016. Institute of Electrical and Electronics Engineers, p. 61-70 10 p. 7515411. (Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • 2013

    Simplification and correctness of UML class diagrams - Focusing on multiplicity and aggregation/composition constraints

    Balaban, M. & Maraee, A., 7 Nov 2013, Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Proceedings. p. 454-470 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8107 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    9 Scopus citations
  • 2012

    Inter-association constraints in UML2: Comparative analysis, usage recommendations, and modeling guidelines

    Maraee, A. & Balaban, M., 24 Oct 2012, Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Proceedings. p. 302-318 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7590 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • Workshop on OCL and textual modeling: OCL 2012

    Balaban, M., Cabot, J., Gogolla, M. & Wilke, C., 1 Dec 2012, Proceedings of the 12th Workshop on OCL and Textual Modelling, OCL 2012 - Being Part of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012. p. 5-6 2 p. (Proceedings of the 12th Workshop on OCL and Textual Modelling, OCL 2012 - Being Part of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2011

    Logic-based model-level software development with F-OML

    Balaban, M. & Kifer, M., 19 Oct 2011, Model Driven Engineering Languages and Systems - 14th International Conference, MODELS 2011, Proceedings. p. 517-532 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6981 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    9 Scopus citations
  • On the interaction of inter-relationship constraints

    Maraee, A. & Balaban, M., 1 Dec 2011, Proc. of the 8th Int. Workshop, MoDeVVa 2011: Model-Driven Engineering, Verification and Validation - Co-located with the 14th Int. Conf. on Model Driven Engineering Languages and Systems, MoDELS. 3. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • 2009

    Efficient recognition of finite satisfiability in UML class diagrams: Strengthening by propagation of disjoint constraints

    Maraee, A. & Balaban, M., 25 Sep 2009, International Conference on Model-Based Systems Engineering, MBSE 2009. 5031714. (International Conference on Model-Based Systems Engineering, MBSE 2009).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    10 Scopus citations
  • Finite satisfiability of class diagrams: Practical occurrence and scalability of the finitesat algorithm

    Makarenkov, V., Jelnov, P., Maraee, A. & Balaban, M., 1 Dec 2009, Proceedings of the 6th International Workshop - MoDeVVa - Model-Driven Engineering, Verification and Validation. 1. (ACM International Conference Proceeding Series; vol. 413).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • 2008

    Towards Automatic Integration of the Business-Data Layers in Enterprise-Systems

    Balaban, M. & Limonad, L., 1 Dec 2008, 17th International Conference on Software Engineering and Data Engineering, SEDE 2008. p. 97-102 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2007

    Efficient reasoning about finite satisfiability of UML class diagrams with constrained generalization sets

    Maraee, A. & Balaban, M., 1 Jan 2007, Model Driven Architecture - Foundations and Applications: Third European Conference, ECMDA-FA 2007, Proceedings. Springer Verlag, p. 17-31 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4530 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    30 Scopus citations
  • 2006

    Consistency of UML class diagrams with hierarchy constraints

    Balaban, M. & Maraee, A., 1 Jan 2006, Next Generation Information Technologies and Systems - 6th International Conference, NGITS 2006, Proceedings. Springer Verlag, p. 71-82 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4032 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • Towards automatic integration of persistency requirements in enterprise-systems - The persistent-to-persistent patterns

    Balaban, M. & Limonad, L., 1 Jan 2006, Next Generation Information Technologies and Systems - 6th International Conference, NGITS 2006, Proceedings. Springer Verlag, p. 59-70 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4032 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2003

    Towards effect preservation of updates with loops

    Jurk, S. & Balaban, M., 1 Jan 2003, Integrity and Internal Control in Information Systems V - IFIP TC11/WG11.5 5th Working Conference on Integrity and Internal Control in Information Systems, IICIS 2002. Springer New York LLC, p. 59-75 17 p. (IFIP Advances in Information and Communication Technology; vol. 124).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • 2002

    Answering cooperative recursive queries in web federated databases

    Balaban, M., Berezansky, N. & Gudes, E., 1 Jan 2002, Next Generation Information Technologies and Systems - 5th International Workshop, NGITS 2002, Proceedings. Halevy, A. & Gal, A. (eds.). Springer Verlag, p. 14-28 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2382).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Effect preservation as a means for achieving update consistency

    Balaban, M. & Jurk, S., 1 Jan 2002, Flexible Query Answering Systems - 5th International Conference, FQAS 2002, Proceedings. Andreasen, T., Christiansen, H., Motro, A. & Larsen, H. L. (eds.). Springer Verlag, p. 28-43 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2522 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • Structure and interpretation of music concepts: Music from a computational perspective

    Balaban, M., 1 Jan 2002, Music and Artificial Intelligence - 2nd International Conference, ICMAI 2002, Proceedings. Anagnostopoulou, C., Ferrand, M. & Smaill, A. (eds.). Springer Verlag, p. 1-3 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2445).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2001

    Hierarchical evolution of entityrelationship diagrams—a bottom-up approach

    Danoch, R., Shoval, P. & Balaban, M., 2001, Proceedings of the Sixth CaiSE/IFIP8. 1 International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD’01).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Improving integrity constraint enforcement by extended rules and dependency graphs

    Jurk, S. & Balaban, M., 1 Jan 2001, Database and Expert Systems Applications - 12th International Conference, DEXA 2001, Proceedings. Mayr, H. C., Lazansky, J., Quirchmayr, G. & Vogel, P. (eds.). Springer Verlag, p. 501-516 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2113).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • 1999

    Resolving the “weak status” of weak entity types in entity relationship schemas

    Balaban, M. & Shoval, P., 1 Jan 1999, Conceptual Modeling – ER 1999 - 18th International Conference on Conceptual Modeling, Proceedings. Akoka, J., Bouzeghoub, M., Metais, E. & Comyn-Wattiau, I. (eds.). Springer Verlag, p. 369-383 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1728).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • 1998

    Enhancing the ER model with structure methods

    Balaban, M. & Shoval Stangel, P., 1998, Proc. of the Third CAISE/IFIP8.1 Int’l Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD’98). Siau, K. (ed.). p. 1-13

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    File
    40 Downloads (Pure)
  • 1996

    Automatic jazz accompaniment computation:An open advice-based approach

    Balaban, M. & Irish, S., 1 Jan 1996, Proceedings of the 7th Israeli Conference on Computer Systems and Software Engineering, ICCSSE 1996. Institute of Electrical and Electronics Engineers, p. 67-76 10 p. 554850. (Proceedings of the 7th Israeli Conference on Computer Systems and Software Engineering, ICCSSE 1996).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Scopus citations