Kristóf Marussy

According to our database, Kristóf Marussy authored at least 29 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation.

Boqi Chen, Kristóf Marussy, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró

CoRR, 2024

From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics.

Ármin Zavada, Kristóf Marussy, Vince Molnár

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Requirement-Driven Generation of Distributed Ledger Architectures.

Noor Al-Gburi, András Földvári, Kristóf Marussy, Oszkár Semeráth, Imre Kocsis

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models.

Kristóf Marussy, Attila Ficsor, Oszkár Semeráth, Dániel Varró

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

A Lazy Abstraction Algorithm for Markov Decision Processes - Theory and Initial Evaluation.

Dániel Szekeres, Kristóf Marussy, István Majzik

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2024

2022

Artifacts for "System Architecture Synthesis for Performability by Logic Solvers".

Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik

Dataset, July, 2022

Artifacts for "System Architecture Synthesis for Performability by Logic Solvers".

Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik

Dataset, July, 2022

Automated Generation of Consistent Graph Models With Multiplicity Reasoning.

Kristóf Marussy, Oszkár Semeráth, Dániel Varró

IEEE Trans. Software Eng., 2022

Automated generation of consistent models using qualitative abstractions and exploration strategies.

Aren A. Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy, Dániel Varró

Softw. Syst. Model., 2022

System architecture synthesis for performability by logic solvers.

Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Consistent Scene Graph Generation by Constraint Optimization.

Boqi Chen, Kristóf Marussy, Sebastian Pilarski, Oszkár Semeráth, Dániel Varró

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation.

Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró

ACM Trans. Embed. Comput. Syst., 2021

Automated generation of consistent, diverse and structurally realistic graph models.

Oszkár Semeráth, Aren A. Babikian, Boqi Chen, Chuning Li, Kristóf Marussy, Gábor Szárnyas, Dániel Varró

Softw. Syst. Model., 2021

Tensor-based reliability analysis of complex static fault trees.

Dániel Szekeres, Kristóf Marussy, István Majzik

Proceedings of the 17th European Dependable Computing Conference, 2021

2020

Artifacts for "Automated Generation of Consistent Models with Structural and Attribute Constraints".

Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró

Dataset, July, 2020

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

Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, Dániel Varró

J. Object Technol., 2020

Simulation-based Safety Assessment of High-level Reliability Models.

Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020

Automated generation of consistent models with structural and attribute constraints.

Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019

Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles.

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ó

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

2018

ViewModel Tool and Benchmark Results for "Incremental View Model Synchronization Using Partial Models".

Kristóf Marussy, Oszkár Semeráth, Dániel Varró

Dataset, July, 2018

ViewModel Tool and Benchmark Results for "Incremental View Model Synchronization Using Partial Models".

Kristóf Marussy, Oszkár Semeráth, Dániel Varró

Dataset, July, 2018

Industrial applications of the PetriDotNet modelling and analysis tool.

András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik

Sci. Comput. Program., 2018

Incremental View Model Synchronization Using Partial Models.

Kristóf Marussy, Oszkár Semeráth, Dániel Varró

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Constructing Dependability Analysis Models of Reconfigurable Production Systems.

Kristóf Marussy, István Majzik

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2017

Getting the Priorities Right: Saturation for Prioritised Petri Nets.

Kristóf Marussy, Vince Molnár, András Vörös, István Majzik

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016

Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models.

Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, István Majzik, Miklós Telek

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

2015

Hubness-Aware Classification, Instance Selection and Feature Construction: Survey and Extensions to Time-Series.

Nenad Tomasev, Krisztián Búza, Kristóf Marussy, Piroska B. Kis

Proceedings of the Feature Selection for Data and Pattern Recognition, 2015

PROCESS: Projection-Based Classification of Electroencephalograph Signals.

Krisztián Búza, Júlia Koller, Kristóf Marussy

Proceedings of the Artificial Intelligence and Soft Computing, 2015

2013

SUCCESS: A New Approach for Semi-supervised Classification of Time-Series.

Kristóf Marussy, Krisztián Búza

Proceedings of the Artificial Intelligence and Soft Computing, 2013