Author of the publication

Modeling and Reasoning with Multirelations, and their encoding in Alloy.

, , , and . OCL@MoDELS, volume 1756 of CEUR Workshop Proceedings, page 73-88. CEUR-WS.org, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems., , , , and . Softw. Syst. Model., 18 (1): 739-767 (2019)Model-versioning-in-the-large: Algebraic foundations and the tile notation., , and . CVSM@ICSE, page 7-12. IEEE Computer Society, (2009)Clafer: unifying class and feature modeling., , , , and . Softw. Syst. Model., 15 (3): 811-845 (2016)FeaturePlugin, , and . OOPSLA 2004: 19th annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications : conference proceedings : October 24-28, 2004 : Vancouver Convention & Exhibition Centre, Vancouver, British Columbia, Canada, volume v. 39, no. 10 (Oct. 2004) of ACM SIGPLAN notices, page 67–72. New York and NY, Association for Computing Machinery, (2004)Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them., , , , and . Softw. Syst. Model., 18 (3): 2213-2239 (2019)Genetic Algorithm for Planning and Scheduling Problem - StarCraft II Build Order case study., , and . FedCSIS, volume 35 of Annals of Computer Science and Information Systems, page 131-140. (2023)Population-less Genetic Algorithm? Investigation of Non-dominated Tournament Genetic Algorithm (NTGA2) for multi-objective optimization., and . FedCSIS (Communication Papers), volume 37 of Annals of Computer Science and Information Systems, page 21-28. (2023)Flexible Product Line Engineering with a Virtual Platform, , , , , , , , and . 36th International Conference on Software Engineering, New Ideas and Emerging Results Track (ICSE/NIER), (2014)GaMeDE2 - improved Gap-based Memetic Differential Evolution applied to multi-modal optimisation., , and . FedCSIS, volume 30 of Annals of Computer Science and Information Systems, page 291-300. (2022)Round-trip engineering using framework-specific modeling languages.. OOPSLA Companion, page 927-928. ACM, (2007)