Kristóf Marussy

28 papers A* 1A 5B 3Misc 2Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Certifying robustness of graph convolutional networks for node perturbation with polyhedra abstract interpretation.
Data Min. Knowl. Discov.
Boqi Chen, Kristóf Marussy, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró
2026 B conf
Unified Timing-Aware Program Verification.
FASE
Dóra Cziborová, Mihály Dobos-Kovács, Kristóf Marussy, András Vörös
2024 — conf
A Lazy Abstraction Algorithm for Markov Decision Processes - Theory and Initial Evaluation.
ASMTA
Dániel Szekeres, Kristóf Marussy, István Majzik
2024 J jnl
A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation.
CoRR
Dániel Szekeres, Kristóf Marussy, István Majzik
2024 J jnl
Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation.
CoRR
Boqi Chen, Kristóf Marussy, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró
2024 — conf
From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics.
MoDELS (Companion)
Ármin Zavada, Kristóf Marussy, Vince Molnár
2024 — conf
Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models.
ICSE Companion
Kristóf Marussy, Attila Ficsor, Oszkár Semeráth, Dániel Varró
2024 A conf
Requirement-Driven Generation of Distributed Ledger Architectures.
MODELS
Noor Al-Gburi, András Földvári, Kristóf Marussy, Oszkár Semeráth, Imre Kocsis
2022 J jnl
Automated Generation of Consistent Graph Models With Multiplicity Reasoning.
IEEE Trans. Software Eng.
Kristóf Marussy, Oszkár Semeráth, Dániel Varró
2022 J jnl
Automated generation of consistent models using qualitative abstractions and exploration strategies.
Softw. Syst. Model.
Aren A. Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy, Dániel Varró
2022 A* conf
Consistent Scene Graph Generation by Constraint Optimization.
ASE
Boqi Chen, Kristóf Marussy, Sebastian Pilarski, Oszkár Semeráth, Dániel Varró
2022 A conf
System architecture synthesis for performability by logic solvers.
MoDELS
Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik
2021 J jnl
Automated generation of consistent, diverse and structurally realistic graph models.
Softw. Syst. Model.
Oszkár Semeráth, Aren A. Babikian, Boqi Chen, Chuning Li, Kristóf Marussy, Gábor Szárnyas, Dániel Varró
2021 Misc conf
Tensor-based reliability analysis of complex static fault trees.
EDCC
Dániel Szekeres, Kristóf Marussy, István Majzik
2021 J jnl
Worst-Case Execution Time Calculation for Query-Based Monitors by Witness Generation.
CoRR
Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró
2021 J jnl
Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation.
ACM Trans. Embed. Comput. Syst.
Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró
2020 J jnl
A Specification Language for Consistent Model Generation based on Partial Models.
J. Object Technol.
Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, Dániel Varró
2020 A conf
Automated generation of consistent models with structural and attribute constraints.
MoDELS
Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró
2020 — conf
Simulation-based Safety Assessment of High-level Reliability Models.
MARS
Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös
2019 A conf
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles.
MoDELS
István Majzik, Oszkár Semeráth, Csaba Hajdu, Kristóf Marussy, Zoltán Szatmári, Zoltán Micskei, András Vörös, Aren A. Babikian, Dániel Varró
2018 — conf
Constructing Dependability Analysis Models of Reconfigurable Production Systems.
CASE
Kristóf Marussy, István Majzik
2018 A conf
Incremental View Model Synchronization Using Partial Models.
MoDELS
Kristóf Marussy, Oszkár Semeráth, Dániel Varró
2018 J jnl
Industrial applications of the PetriDotNet modelling and analysis tool.
Sci. Comput. Program.
András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik
2017 B conf
Getting the Priorities Right: Saturation for Prioritised Petri Nets.
Petri Nets
Kristóf Marussy, Vince Molnár, András Vörös, István Majzik
2016 B conf
Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models.
Petri Nets
Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, István Majzik, Miklós Telek
2015 — ch.
Hubness-Aware Classification, Instance Selection and Feature Construction: Survey and Extensions to Time-Series.
Feature Selection for Data and Pattern Recognition
Nenad Tomasev, Krisztián Búza, Kristóf Marussy, Piroska B. Kis
2015 Misc conf
PROCESS: Projection-Based Classification of Electroencephalograph Signals.
ICAISC
Krisztián Búza, Júlia Koller, Kristóf Marussy
2013 — conf
SUCCESS: A New Approach for Semi-supervised Classification of Time-Series.
ICAISC (1)
Kristóf Marussy, Krisztián Búza