( en | de | ru )

 

Disambiguierung von "Semeráth, Oszkár"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated generation of consistent models with structural and attribute constraints.

, , , , und . MoDELS, Seite 187-199. ACM, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Oszkar Jozsef Keray

 

Weitere Publikationen von Autoren mit dem selben Namen

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