21.
Vörös, András ✉ ; Búr, Márton ; Ráth, István ; Horváth, Ákos ; Micskei, Zoltán ; Balogh, László ; Hegyi, Bálint ; Horváth, Benedek ; Mázló, Zsolt ; Varró, Dániel
MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems
In: Aaron, Dutle; César, Muñoz; Anthony, Narkawicz (szerk.) NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Cham, Svájc : Springer-Verlag (2018) pp. 460-467. , 7 p.
DOI REAL WoS Scopus
Közlemény:3349043 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: 3 | Scopus jelölt: 3 | WoS/Scopus jelölt: 3 | DOI jelölt: 5
Konferenciaközlemény (Könyvrészlet) | Tudományos[3349043] [Egyeztetett]
Nyilvános idéző összesen: 5, Független: 5, Függő: 0, Nem jelölt: 0
22.
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
23.
Tóth, Tamás ; Hajdu, Ákos ; Vörös, András ; Micskei, Zoltán ; Majzik, István
Theta: a Framework for Abstraction Refinement-Based Model Checking
In: Stewart, Daryl; Weissenbacher, Georg (szerk.) Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design
Vienna, Ausztria, Piscataway (NJ), Amerikai Egyesült Államok : FMCAD Association, IEEE (2017) pp. 176-179. , 4 p.
DOI REAL WoS Scopus Teljes dokumentum
Közlemény:3266689 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 26 | Független: 16 | Függő: 10 | Nem jelölt: 0 | WoS jelölt: 12 | Scopus jelölt: 15 | WoS/Scopus jelölt: 17 | DOI jelölt: 20
Konferenciaközlemény (Könyvrészlet) | Tudományos[3266689] [Egyeztetett]
Nyilvános idéző összesen: 26, Független: 16, Függő: 10, Nem jelölt: 0
24.
Gábor, Szilágyi ; András, Vörös
Distributed Runtime Verification of Cyber-Physical Systems Based on Graph Pattern Matching
In: Pataki, Béla (szerk.) Proceedings of the 24th PhD Mini-Symposium
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2017) pp. 78-81. , 4 p.
REAL
Közlemény:3229448 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[3229448] [Nyilvános]
25.
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
26.
Anna, Gujgiczer ; Márton, Elekes ; Oszkár, Semeráth ; András, Vörös
Towards Model-Based Support for Regression Testing
In: Pataki, Béla (szerk.) Proceedings of the 24th PhD Mini-Symposium
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2017) pp. 26-29. , 4 p.
REAL
Közlemény:3206283 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0
Konferenciaközlemény (Könyvrészlet) | Tudományos[3206283] [Admin láttamozott]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
27.
Márton, Búr ; András, Vörös ; Gábor, Bergmann ; Dániel, Varró
Towards Modeling Cyber-Physical Systems From Multiple Approaches
In: Pataki, Béla (szerk.) Proceedings of the 24th PhD Mini-Symposium
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2017) pp. 6-9. , 4 p.
DOI REAL
Közlemény:3204827 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[3204827] [Nyilvános]
28.
Rebeka, Farkas ; András, Vörös
Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata
In: [sn] (szerk.) Proceedings of the 23rd PhD Mini-Symposium
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2016) 55 p. pp. 10-13. , 4 p.
Közlemény:3234544 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[3234544] [Admin láttamozott]
29.
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
30.
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
2024-05-30 00:25