עקוב אחר
Kristóf Marussy
Kristóf Marussy
Budapest University of Technology and Economics, Department of Measurement and Information Systems
כתובת אימייל מאומתת בדומיין mit.bme.hu
כותרת
צוטט על ידי
צוטט על ידי
שנה
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
532015
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
482019
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
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
112022
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, 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ó
46th Int. Conf. on Software Engineering, ICSE, 2024
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
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20