Volgen
Kristóf Marussy
Kristóf Marussy
Budapest University of Technology and Economics, Department of Measurement and Information Systems
Geverifieerd e-mailadres voor mit.bme.hu
Titel
Geciteerd door
Geciteerd door
Jaar
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
632013
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
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
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
92020
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20