( 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

Consistent Scene Graph Generation by Constraint Optimization., , , , and . ASE, page 25:1-25:13. ACM, (2022)Requirement-Driven Generation of Distributed Ledger Architectures., , , , and . MODELS, page 268-279. ACM, (2024)Constructing Dependability Analysis Models of Reconfigurable Production Systems., and . CASE, page 1158-1163. IEEE, (2018)PROCESS: Projection-Based Classification of Electroencephalograph Signals., , and . ICAISC, volume 9120 of Lecture Notes in Computer Science, page 91-100. Springer, (2015)ViewModel Tool and Benchmark Results for "Incremental View Model Synchronization Using Partial Models"., , and . (July 2018)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)Artifacts for Äutomated Generation of Consistent Models with Structural and Attribute Constraints"., , , , and . (July 2020)System architecture synthesis for performability by logic solvers., , , and . MoDELS, page 43-54. ACM, (2022)Simulation-based Safety Assessment of High-level Reliability Models., , , and . MARS@ETAPS, volume 316 of EPTCS, page 240-260. (2020)Automated Generation of Consistent Graph Models With Multiplicity Reasoning., , and . IEEE Trans. Software Eng., 48 (5): 1610-1629 (2022)