( en | de | ru )

 

Disambiguation of "Marussy, Kristóf"

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.

Kristóf Nyíri

Kristóf Gosztonyi

Kristof Seidl

Ariane Kristof

Kristof Dascher

 

Other publications of authors with the same name

Requirement-Driven Generation of Distributed Ledger Architectures., , , , and . MODELS, page 268-279. ACM, (2024)Consistent Scene Graph Generation by Constraint Optimization., , , , and . ASE, page 25:1-25:13. ACM, (2022)PROCESS: Projection-Based Classification of Electroencephalograph Signals., , and . ICAISC, volume 9120 of Lecture Notes in Computer Science, page 91-100. Springer, (2015)Constructing Dependability Analysis Models of Reconfigurable Production Systems., and . CASE, page 1158-1163. IEEE, (2018)ViewModel Tool and Benchmark Results for "Incremental View Model Synchronization Using Partial Models"., , and . (July 2018)Automated generation of consistent models using qualitative abstractions and exploration strategies., , , , and . Softw. Syst. Model., 21 (5): 1763-1787 (2022)Getting the Priorities Right: Saturation for Prioritised Petri Nets., , , and . Petri Nets, volume 10258 of Lecture Notes in Computer Science, page 223-242. Springer, (2017)System architecture synthesis for performability by logic solvers., , , and . MoDELS, page 43-54. ACM, (2022)Artifacts for Äutomated Generation of Consistent Models with Structural and Attribute Constraints"., , , , and . (July 2020)Automated Generation of Consistent Graph Models With Multiplicity Reasoning., , and . IEEE Trans. Software Eng., 48 (5): 1610-1629 (2022)