Kristóf Marussy

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

Collaborative distances:

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

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

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

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