21.
Dobos-Kovács, Mihály ; Vörös, András
Model checking and test generation: towards a combined approach to software verification
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. pp. 12-15. , 4 p.
Repozitóriumban
Közlemény:31396950 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[31396950] [Nyilvános]
22.
Debreceni, Csaba ✉ ; Bergmann, Gabor ; Rath, Istvan ; Varro, Daniel
Correction to: Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations (vol 18, pg 1737, 2019)
SOFTWARE AND SYSTEMS MODELING 18 : 3 pp. 1771-1771. , 1 p. (2019)
DOI WoS Scopus
Közlemény:31093251 Nyilvános Forrás Idéző Folyóiratcikk (Hozzászólás, helyreigazítás ) Tudományos
Hozzászólás, helyreigazítás (Folyóiratcikk) | Tudományos[31093251] [Nyilvános]
23.
Búr, Márton ; Szilágyi, Gábor ; Vörös, András ; Varró, Dániel
Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 22 pp. 1-24. , 24 p. (2019)
DOI WoS Scopus Egyéb URL
Közlemény:30917749 Egyeztetett 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: 3 | Scopus jelölt: 2 | WoS/Scopus jelölt: 3 | DOI jelölt: 3
Szakcikk (Folyóiratcikk) | Tudományos[30917749] [Egyeztetett]
Nyilvános idéző összesen: 3, Független: 3, Függő: 0, Nem jelölt: 0
24.
Bajczi, Levente ; Vörös, András ; Molnár, Vince
Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 18 : 5 Paper: 89 , 21 p. (2019)
DOI WoS Scopus Egyéb URL
Közlemény:30865515 Nyilvános Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[30865515] [Nyilvános]
25.
Farkas, Rebeka ; Tóth, Tamás ; Hajdu, Ákos ; Vörös, András
Backward reachability analysis for timed automata with data variables
ELECTRONIC COMMUNICATIONS OF THE EASST 76 pp. 1-20. , 20 p. (2019)
DOI Scopus Scopus Teljes dokumentum
Közlemény:30748705 Nyilvános Forrás Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 1
Konferenciaközlemény (Folyóiratcikk) | Tudományos[30748705] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
26.
Bajkai, Viktória Dorina ; Hajdu, Ákos
Software Model Checking with a Combination of Explicit Values and Predicates
In: Pataki, Béla Proceedings of the 26th PhD Mini-Symposium
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2019) pp. 4-7. , 4 p.
Közlemény:30748694 Nyilvános Forrás Idéző Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[30748694] [Nyilvános]
27.
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
28.
Oszkár, Semeráth ; Aren, A Babikian ; Sebastian, Pilarski ; Dániel, Varró
Viatra Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models
In: Silvia, Abrahão (szerk.) 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2019) pp. 43-46. Paper: 8802773 , 4 p.
DOI WoS Scopus
Közlemény:30748475 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 11 | Független: 7 | Függő: 4 | Nem jelölt: 0 | WoS jelölt: 8 | Scopus jelölt: 7 | WoS/Scopus jelölt: 9 | DOI jelölt: 10
Konferenciaközlemény (Könyvrészlet) | Tudományos[30748475] [Nyilvános]
Nyilvános idéző összesen: 11, Független: 7, Függő: 4, Nem jelölt: 0
29.
Molnár, Vince ; Majzik, István
Saturation Enhanced with Conditional Locality: Application to Petri Nets
In: Donatelli, Susanna; Haar, Stefan Application and Theory of Petri Nets and Concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Cham, Svájc : Springer-Verlag (2019) 486 p. pp. 342-361. , 20 p.
DOI WoS Scopus
Közlemény:30707562 Egyeztetett 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
Konferenciaközlemény (Könyvrészlet) | Tudományos[30707562] [Egyeztetett]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
30.
Farkas, Rebeka ; Bergmann, Gábor ; Horváth, Ákos
Adaptive Step Size Control for Hybrid CT Simulation without Rollback
In: Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4-6, 2019
Linköping, Svédország : Linköping University Electronic Press (2019) pp. 503-512. , 10 p.
DOI Egyéb URL
Közlemény:30603470 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 4 | Független: 4 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 4 | WoS/Scopus jelölt: 4 | DOI jelölt: 4
Konferenciaközlemény (Könyvrészlet) | Tudományos[30603470] [Nyilvános]
Nyilvános idéző összesen: 4, Független: 4, Függő: 0, Nem jelölt: 0
2024-05-20 01:02