11.
Kristóf, Marussy ; Oszkár, Semeráth ; Aren, A. Babikian ; Dániel, Varró
A specification language for consistent model generation based on partial models
JOURNAL OF OBJECT TECHNOLOGY 19 : 3 pp. 1-22. , 22 p. (2020)
DOI WoS Scopus
Közlemény:31361799 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 3 | Független: 3 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 2
Szakcikk (Folyóiratcikk) | Tudományos[31361799] [Nyilvános]
Nyilvános idéző összesen: 3, Független: 3, Függő: 0, Nem jelölt: 0
12.
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ó
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles
In: Alexander, Pretschner; Sebastian, Voss Proceedings of the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)
Munich, Németország : IEEE (2019) pp. 89-94. , 6 p.
DOI ISBN: 9781728125367 WoS Scopus
Közlemény:30748490 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 30 | Független: 29 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 20 | Scopus jelölt: 23 | WoS/Scopus jelölt: 26 | DOI jelölt: 27
Konferenciaközlemény (Könyvrészlet) | Tudományos[30748490] [Admin láttamozott]
Nyilvános idéző összesen: 30, Független: 29, Függő: 1, Nem jelölt: 0
13.
Marussy, Kristóf ; Majzik, István
Architecture-based Dependability Analysis of Reconfigurable and Adaptive Systems
In: Pataki, Béla (szerk.) Proceedings of the 26th Minisymposium of the Department of Measurement and Information Systems
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2019) 32 p. p. 17
Közlemény:30699590 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[30699590] [Nyilvános]
14.
Kristóf, Marussy ; István, Majzik
Constructing Dependability Analysis Models of Reconfigurable Production Systems
In: Reveliotis, S; Cappelleri, D; Dimarogonas, DV; Dotoli, M; Fanti, MP; Li, J; Lucena, V; Seatu, C; Xie, X; Zhu, K; Vogel-Heuser, Birgit; Lennartson, Bengt (szerk.) 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)
Piscataway (NJ), Amerikai Egyesült Államok : IEEE, IEEE Robotics and Automation Society (2018) pp. 1158-1163. Paper: 18293154 , 6 p.
DOI WoS Scopus
Közlemény:3398318 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos[3398318] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
15.
Kristóf, Marussy ; Oszkár, Semeráth ; Dániel, Varró
Incremental View Model Synchronization Using Partial Models
In: Andrzej, Wąsowski; Richard, Paige; Øystein, Haugen (szerk.) ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems
Association for Computing Machinery (ACM) (2018) pp. 323-333. , 11 p.
DOI WoS Scopus
Közlemény:3398313 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 5 | Független: 5 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 5
Konferenciaközlemény (Könyvrészlet) | Tudományos[3398313] [Egyeztetett]
Nyilvános idéző összesen: 5, Független: 5, Függő: 0, Nem jelölt: 0
16.
Vörös, András ; Darvas, Dániel ; Hajdu, Ákos ; Klenik, Attila ; Marussy, Kristóf ; Molnár, Vince ; Bartha, Tamás ; Majzik, István
Industrial Applications of the PetriDotNet Modelling and Analysis Tool
SCIENCE OF COMPUTER PROGRAMMING 157 pp. 17-40. , 24 p. (2018)
DOI ScienceDirect REAL WoS Scopus Egyéb URL
Közlemény:3265337 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 9 | Független: 9 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 5 | Scopus jelölt: 3 | WoS/Scopus jelölt: 5 | DOI jelölt: 6
Szakcikk (Folyóiratcikk) | Tudományos[3265337] [Egyeztetett]
Nyilvános idéző összesen: 9, Független: 9, Függő: 0, Nem jelölt: 0
17.
Kristóf, Marussy ; Vince, Molnár ; András, Vörös ; István, Majzik
Getting the Priorities Right: Saturation for Prioritised Petri Nets
In: Wil, van der Aalst; Eike, Best (szerk.) Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings
Cham, Svájc : Springer-Verlag (2017) 365 p. pp. 223-242. , 20 p.
DOI REAL WoS Scopus
Közlemény:3229363 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 2 | Független: 1 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos[3229363] [Nyilvános]
Nyilvános idéző összesen: 2, Független: 1, Függő: 1, Nem jelölt: 0
18.
Marussy, Kristóf ; Klenik, Attila ; Molnár, Vince ; Vörös, András ; Telek, Miklós ; Majzik, István
Configurable numerical analysis for stochastic systems
In: Erika, Abraham; Sergiy, Bogomolov (szerk.) Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR)
New York, Amerikai Egyesült Államok : IEEE (2016) Paper: 7479383 , 10 p.
DOI REAL WoS Scopus
Zárolt Közlemény:3078794 Egyeztetett Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 2 | Független: 0 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Konferenciaközlemény (Könyvrészlet) | Tudományos[3078794] [Egyeztetett]
Nyilvános idéző összesen: 2, Független: 0, Függő: 2, Nem jelölt: 0
19.
Marussy, Kristóf ; Klenik, Attila ; Molnár, Vince ; Vörös, András ; Majzik, István ; Telek, Miklós
Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models
In: Kordon, Fabrice; Moldt, Daniel (szerk.) Application and Theory of Petri Nets and Concurrency : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
Cham, Svájc : Springer-Verlag (2016) 333 p. pp. 281-300. , 20 p.
DOI REAL WoS Scopus
Közlemény:3076561 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 9 | Független: 7 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 7 | Scopus jelölt: 8 | WoS/Scopus jelölt: 9 | DOI jelölt: 9
Konferenciaközlemény (Könyvrészlet) | Tudományos[3076561] [Egyeztetett]
Nyilvános idéző összesen: 9, Független: 7, Függő: 2, Nem jelölt: 0
20.
Tomašev, Nenad ; Buza, K ; Marussy, K ; B. Kis, Piroska
Hubness-aware classification, Instance selection and feature construction: Survey and extensions to time-series
In: U, Stańczyk; L, Jain (szerk.) Feature Selection for Data and Pattern Recognition
Berlin, Németország, Heidelberg, Németország : Springer-Verlag (2015) pp. 231-262. , 32 p.
DOI WoS Scopus Teljes dokumentum
Közlemény:3156675 Admin láttamozott Forrás Könyvrészlet (Könyvfejezet ) Tudományos
Nyilvános idéző összesen: 40 | Független: 20 | Függő: 20 | Nem jelölt: 0 | WoS jelölt: 24 | Scopus jelölt: 33 | WoS/Scopus jelölt: 33 | DOI jelölt: 33
Könyvfejezet (Könyvrészlet) | Tudományos[3156675] [Admin láttamozott]
Nyilvános idéző összesen: 40, Független: 20, Függő: 20, Nem jelölt: 0
2024-05-04 19:12