Concepedia

Kristóf Marussy

KM

5

Publications

88

Citations

5

H-Index

2018

Active since

Affiliations

McGill University(Current)

Budapest University of Technology and Economics

Kristóf Marussy is an author at McGill University specializing in formal methods, automated reasoning, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringAutomationData ScienceVerificationData Modeling

Publications per year

2018–2020

5

Publications

5

Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles

István Majzik, Oszkár Semeráth, Csaba Hajdu et al. · 2019 · 39 citations

Engineering, Verification, Safety Science +23

Automated generation of consistent models with structural and attribute constraints

Oszkár Semeráth, Aren A. Babikian, Anqi Li et al. · 2020 · 14 citations

Software Tool Validation, Engineering, Verification +28

Incremental View Model Synchronization Using Partial Models

Kristóf Marussy, Oszkár Semeráth, Dániel Varró · 2018 · 12 citations

Automated Generation of Consistent Graph Models With Multiplicity Reasoning

Kristóf Marussy, Oszkár Semeráth, Dániel Varró · IEEE Transactions on Software Engineering · 2020 · 12 citations · Full text

Engineering, Scope Requirements, Network Analysis +21

A Specification Language for Consistent Model Generation based on Partial Models.

Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian et al. · The Journal of Object Technology · 2020 · 11 citations · Full text

Rows per page

1–5 of 5