Kristóf Marussy

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 21

Top Topics

Constraint Optimization

Industrial Applications

Reliability Analysis

Top Venues

Softw. Syst. Model.

Publications

Dániel Szekeres, Kristóf Marussy, István Majzik
A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation. CoRR (2024)
Boqi Chen, Kristóf Marussy, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró
Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation. CoRR (2024)
Kristóf Marussy, Attila Ficsor, Oszkár Semeráth, Dániel Varró
Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models. ICSE Companion (2024)
Aren A. Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy, Dániel Varró
Automated generation of consistent models using qualitative abstractions and exploration strategies. Softw. Syst. Model. 21 (5) (2022)
Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik
System architecture synthesis for performability by logic solvers. MoDELS (2022)
Boqi Chen, Kristóf Marussy, Sebastian Pilarski, Oszkár Semeráth, Dániel Varró
Consistent Scene Graph Generation by Constraint Optimization. ASE (2022)
Kristóf Marussy, Oszkár Semeráth, Dániel Varró
Automated Generation of Consistent Graph Models With Multiplicity Reasoning. IEEE Trans. Software Eng. 48 (5) (2022)
Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró
Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation. ACM Trans. Embed. Comput. Syst. 20 (6) (2021)
Dániel Szekeres, Kristóf Marussy, István Majzik
Tensor-based reliability analysis of complex static fault trees. EDCC (2021)
Oszkár Semeráth, Aren A. Babikian, Boqi Chen, Chuning Li, Kristóf Marussy, Gábor Szárnyas, Dániel Varró
Automated generation of consistent, diverse and structurally realistic graph models. Softw. Syst. Model. 20 (5) (2021)
Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró
Worst-Case Execution Time Calculation for Query-Based Monitors by Witness Generation. CoRR (2021)
Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró
Automated generation of consistent models with structural and attribute constraints. MoDELS (2020)
Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, Dániel Varró
A Specification Language for Consistent Model Generation based on Partial Models. J. Object Technol. 19 (3) (2020)
Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös
Simulation-based Safety Assessment of High-level Reliability Models. MARS@ETAPS (2020)
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ó
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. MoDELS (2019)
Kristóf Marussy, István Majzik
Constructing Dependability Analysis Models of Reconfigurable Production Systems. CASE (2018)
András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik
Industrial applications of the PetriDotNet modelling and analysis tool. Sci. Comput. Program. 157 (2018)
Kristóf Marussy, Oszkár Semeráth, Dániel Varró
Incremental View Model Synchronization Using Partial Models. MoDELS (2018)
Kristóf Marussy, Vince Molnár, András Vörös, István Majzik
Getting the Priorities Right: Saturation for Prioritised Petri Nets. Petri Nets (2017)
Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, István Majzik, Miklós Telek
Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models. Petri Nets (2016)
Krisztian Buza, Júlia Koller, Kristóf Marussy
PROCESS: Projection-Based Classification of Electroencephalograph Signals. ICAISC (2015)
Kristóf Marussy, Krisztian Buza
SUCCESS: A New Approach for Semi-supervised Classification of Time-Series. ICAISC (1) (2013)