Seguir
Kristóf Marussy
Kristóf Marussy
Budapest University of Technology and Economics, Department of Measurement and Information Systems
Dirección de correo verificada de mit.bme.hu
Título
Citado por
Citado por
Año
Success: a new approach for semi-supervised classification of time-series
K Marussy, K Buza
International Conference on Artificial Intelligence and Soft Computing, 437-447, 2013
652013
Hubness-aware classification, instance selection and feature construction: Survey and extensions to time-series
N Tomašev, K Buza, K Marussy, PB Kis
Feature selection for data and pattern recognition, 231-262, 2015
522015
Towards system-level testing with coverage guarantees for autonomous vehicles
I Majzik, O Semeráth, C Hajdu, K Marussy, Z Szatmári, Z Micskei, A Vörös, ...
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
472019
Process: projection-based classification of electroencephalograph signals
K Buza, J Koller, K Marussy
International Conference on Artificial Intelligence and Soft Computing, 91-100, 2015
202015
Automated generation of consistent graph models with multiplicity reasoning
K Marussy, O Semeráth, D Varró
IEEE Transactions on Software Engineering 48 (5), 1610-1629, 2020
152020
A Specification Language for Consistent Model Generation based on Partial Models.
K Marussy, O Semeráth, AA Babikian, D Varró
J. Object Technol. 19 (3), 3:1-22, 2020
152020
Automated generation of consistent models with structural and attribute constraints
O Semeráth, AA Babikian, A Li, K Marussy, D Varró
Proceedings of the 23rd ACM/IEEE International conference on model driven …, 2020
142020
Incremental view model synchronization using partial models
K Marussy, O Semeráth, D Varró
Proceedings of the 21th ACM/IEEE International Conference on Model Driven …, 2018
122018
Industrial applications of the PetriDotNet modelling and analysis tool
A Vörös, D Darvas, Á Hajdu, A Klenik, K Marussy, V Molnár, T Bartha, ...
Science of Computer Programming 157, 17-40, 2018
112018
Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models
K Marussy, A Klenik, V Molnár, A Vörös, I Majzik, M Telek
International Conference on Applications and Theory of Petri Nets and …, 2016
112016
Automated generation of consistent models using qualitative abstractions and exploration strategies
AA Babikian, O Semeráth, A Li, K Marussy, D Varró
Software and Systems Modeling, 1-25, 2022
102022
Automated generation of consistent, diverse and structurally realistic graph models
O Semeráth, AA Babikian, B Chen, C Li, K Marussy, G Szárnyas, D Varró
Software and Systems Modeling 20 (5), 1713-1734, 2021
102021
Worst-case execution time calculation for query-based monitors by witness generation
M Búr, K Marussy, BH Meyer, D Varró
ACM Transactions on Embedded Computing Systems (TECS) 20 (6), 1-36, 2021
62021
Refinery: Graph Solver as a Service
K Marussy, A Ficsor, O Semeráth, D Varró
52024
Progress: Projection-Based Gene Expression Classification
K Marussy, K Buza
Innovations in Medicine Conference, 2014
52014
Configurable numerical analysis for stochastic systems
K Marussy, A Klenik, V Molnár, A Voros, M Telek, I Majzik
2016 International Workshop on Symbolic and Numerical Methods for …, 2016
42016
System architecture synthesis for performability by logic solvers
M Földiák, K Marussy, D Varró, I Majzik
Proceedings of the 25th International Conference on Model Driven Engineering …, 2022
32022
Constructing Dependability Analysis Models of Reconfigurable Production Systems
K Marussy, I Majzik
2018 IEEE 14th International Conference on Automation Science and …, 2018
32018
Getting the priorities right: saturation for prioritised Petri Nets
K Marussy, V Molnár, A Vörös, I Majzik
Application and Theory of Petri Nets and Concurrency: 38th International …, 2017
32017
Hubness-based indicators for semi-supervised time-series classification
K Marussy, K Buza
8th Japanese-Hungarian Symposium on Discrete Mathematics and Its …, 2013
32013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20