( en | de | ru )

 

Disambiguation of "Semeráth, Oszkár"

Author of the publication

copydeleteadd this publication to your clipboard
Automated generation of consistent models with structural and attribute constraints.

, , , , and . MoDELS, page 187-199. ACM, (2020)

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.

Oszkar Jozsef Keray

 

Other publications of authors with the same name

Change Propagation of View Models by Logic Synthesis using SAT solvers., , , and . Bx@ETAPS, volume 1571 of CEUR Workshop Proceedings, page 40-44. CEUR-WS.org, (2016)Incremental backward change propagation of view models by logic solvers., , , and . MoDELS, page 306-316. ACM, (2016)Iterative and Incremental Model Generation by Logic Solvers., , and . FASE, volume 9633 of Lecture Notes in Computer Science, page 87-103. Springer, (2016)ViewModel Tool and Benchmark Results for "Incremental View Model Synchronization Using Partial Models"., , and . (July 2018)Iterative Generation of Diverse Models for Testing Specifications of DSL Tools., and . FASE, volume 10802 of Lecture Notes in Computer Science, page 227-245. Springer, (2018)Consistent Scene Graph Generation by Constraint Optimization., , , , and . ASE, page 25:1-25:13. ACM, (2022)Viatra solver: a framework for the automated generation of consistent domain-specific models., , , and . ICSE (Companion Volume), page 43-46. IEEE / ACM, (2019)Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition., , , , and . CoRR, (2024)Requirement-Driven Generation of Distributed Ledger Architectures., , , , and . MODELS, page 268-279. ACM, (2024)Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models., , , and . Graph Transformation, Specifications, and Nets, volume 10800 of Lecture Notes in Computer Science, page 285-312. Springer, (2018)