Theo dõi
Kristóf Marussy
Kristóf Marussy
Budapest University of Technology and Economics, Department of Measurement and Information Systems
Email được xác minh tại mit.bme.hu
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
642013
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
492015
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
392019
Process: projection-based classification of electroencephalograph signals
K Buza, J Koller, K Marussy
International Conference on Artificial Intelligence and Soft Computing, 91-100, 2015
192015
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
132020
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
112020
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
112018
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
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
102020
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
92021
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
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
42022
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
Progress: Projection-Based Gene Expression Classification
K Marussy, K Buza
Innovations in Medicine Conference, 2014
42014
Constructing Dependability Analysis Models of Reconfigurable Production Systems
K Marussy, I Majzik
2018 IEEE 14th International Conference on Automation Science and …, 2018
32018
Hubness-based indicators for semi-supervised time-series classification
K Marussy, K Buza
8th Japanese-Hungarian Symposium on Discrete Mathematics and Its …, 2013
32013
Consistent scene graph generation by constraint optimization
B Chen, K Marussy, S Pilarski, O Semeráth, D Varro
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
22022
Simulation-based Safety Assessment of High-level Reliability Models
SJ Nagy, B Graics, K Marussy, A Vörös
arXiv preprint arXiv:2004.13290, 2020
22020
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
22017
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20