Nyomtatási kép Az adatok hitelességéről nyilatkozott: 2023. V. 16. Közlemények |
2023
adattárból, 2023. V. 16. |
Elekes Márton, Molnár Vince, Micskei Zoltán: Assessing the specification of modelling language semantics: a study on UML PSSM, SOFTWARE QUALITY JOURNAL dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol URL |
2023
adattárból, 2023. V. 16. |
Horváth Benedek, Molnár Vince, Graics Bence, Hajdu Ákos, Ráth István, Horváth Ákos, Karban Robert, Trancho Gelys, Micskei Zoltán: Pragmatic verification and validation of industrial executable SysML models, SYSTEMS ENGINEERING Korai hozzáférés: pp. 1-22. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol URL |
2022
adattárból, 2023. V. 16. |
Ádám Zsófia, Bajczi Levente, Dobos-Kovács Mihály, Hajdu Ákos, Molnár Vince: Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution), LECTURE NOTES IN COMPUTER SCIENCE 13244: pp. 474-478. dokumentum típusa: Folyóiratcikk/Konferenciaközlemény nyelv: angol URL |
2022
adattárból, 2023. V. 16. |
Bajczi Levente, Ádám Zsófia, Molnár Vince: C for Yourself: Comparison of Front-End Techniques for Formal Verification, In: Stefania, Gnesi; Nico, Plat (szerk.) FormaliSE '22: Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, Association for Computing Machinery (ACM) (2022) pp. 1-11. dokumentum típusa: Könyvrészlet/Konferenciaközlemény nyelv: angol URL |
2020
adattárból, 2023. V. 16. |
Graics Bence, Molnár Vince, Vörös András, Majzik István, Varró Dániel: Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems, SOFTWARE AND SYSTEMS MODELING 19: pp. 1483-1517. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 8 nyelv: angol URL |
2020
adattárból, 2023. V. 16. |
Blanco Viñuela Enrique, Darvas Dániel, Molnár Vince: PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs, In: Karen, S. White; Kevin, A. Brown; Philip, S. Dyer; Volker, RW Schaa (szerk.) Proceedings of the 17th International Conference on Accelerator and Large Experimental Physics Control Systems, JACoW Publishing (2020) pp. 21-27. dokumentum típusa: Könyvrészlet/Konferenciaközlemény nyelv: angol URL |
2019
adattárból, 2023. V. 16. |
Molnár Vince, Majzik István: Saturation Enhanced with Conditional Locality: Application to Petri Nets, In: Donatelli, Susanna; Haar, Stefan (szerk.) Application and Theory of Petri Nets and Concurrency, Springer-Verlag (2019) pp. 342-361. dokumentum típusa: Könyvrészlet/Konferenciaközlemény független idéző közlemények száma: 1 nyelv: angol URL |
2019
adattárból, 2023. V. 16. |
Bajczi Levente, Vörös András, Molnár Vince: Will My Program Break on This Faulty Processor?, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 18: (5) 89 dokumentum típusa: Folyóiratcikk/Konferenciaközlemény nyelv: angol URL |
2018
adattárból, 2023. V. 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. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 9 nyelv: angol URL |
2016
adattárból, 2023. V. 16. |
Molnár Vince, Vörös András, Darvas Dániel, Bartha Tamás, Majzik István: Component-wise incremental LTL model checking, FORMAL ASPECTS OF COMPUTING 28: (3) pp. 345-379. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 4 nyelv: angol Teljes szöveg |
| a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma: | 22 |
|
|