1.
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
Geneva, Svájc : JACoW Publishing (2020) pp. 21-27. , 7 p.
DOI
Közlemény:31638507 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[31638507] [Nyilvános]
2.
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
3.
Sallai, Gyula ; Darvas, Dániel ; Enrique, Blanco Viñuela
Testing, Simulation, and Visualisation of PLC Programs Using x86 Code Generation , 20 p. (2017)
EDMS Report, No. 1844850, Publikálta: CERN (Genf, Svájc), Megjelenés: Svájc,
Repozitóriumban
Közlemény:3331068 Nyilvános Forrás Egyéb (Kutatási jelentés (közzétett) ) Tudományos
Kutatási jelentés (közzétett) (Egyéb) | Tudományos[3331068] [Nyilvános]
4.
Fernández, Adiego Borja ; Darvas, Dániel ; Blanco, Viñuela Enrique ; Sallai, Gyula ; Prieto, Diaz Ignacio ; Lee, Gisik ; Avinashkrishna, Bhimavarapu ; Gaikwad, Yogesh Chandrakant ; Sreekuttan, Sailaraj ; Pedica, Riccardo
Applying model checking to critical PLC applications: An ITER case study
In: Isidre, Costa; David, Fernández; Óscar, Matilla; Volker, R W Schaa (szerk.) Proceedings of the 16th International Conference on Accelerator and Large Experimental Physics Control Systems
Genf, Svájc : Joint Accelerator Conferences Website (JACoW) (2017) pp. 1792-1796. , 5 p.
DOI Kiadónál
Közlemény:3304081 Nyilvános 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 | 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[3304081] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
5.
Darvas, Dániel ; Blanco, Viñuela Enrique ; Majzik, István
What is Special About PLC Software Model Checking?
In: Isidre, Costa; David, Fernández; Óscar, Matilla; Volker, R W Schaa (szerk.) Proceedings of the 16th International Conference on Accelerator and Large Experimental Physics Control Systems
Genf, Svájc : Joint Accelerator Conferences Website (JACoW) (2017) pp. 1781-1786. , 6 p.
DOI Kiadónál
Közlemény:3304079 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 | 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[3304079] [Admin láttamozott]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
6.
Darvas, Dániel
Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems 175 p.
Budapesti Műszaki és Gazdaságtudományi Egyetem, Informatikai Tudományok Doktori Iskola, Majzik István ; Enrique Blanco Viñuela Disszertáció benyújtásának éve: 2017, Védés éve: 2017 Megjelenés/Fokozatszerzés éve: 2017
ODT védés Handle
Közlemény:3249496 Nyilvános Forrás Disszertáció (PhD ) Tudományos
PhD (Disszertáció) | Tudományos[3249496] [Nyilvános]
7.
Darvas, Dániel ; Majzik, István ; Blanco, Viñulea Enrique
Well-Formedness and Invariant Checking of PLCspecif Specifications
In: Pataki, Béla (szerk.) Proceedings of the 24th PhD Mini-Symposium (MINISY@DMIS 2017)
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2017) 90 p. pp. 10-13. , 4 p.
DOI
Közlemény:3185257 Egyeztetett 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[3185257] [Egyeztetett]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
8.
Dániel, Darvas ; István, Majzik ; Enrique, Blanco Viñuela
PLC program translation for verification purposes
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE 61 : 2 pp. 151-165. , 15 p. (2017)
DOI Kiadónál Scopus Teljes dokumentum
Közlemény:3150612 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: 6 | Scopus jelölt: 8 | WoS/Scopus jelölt: 8 | DOI jelölt: 8
Szakcikk (Folyóiratcikk) | Tudományos[3150612] [Egyeztetett]
Nyilvános idéző összesen: 9, Független: 9, Függő: 0, Nem jelölt: 0
9.
Darvas, Dániel ; Blanco, Viñulea Enrique ; Majzik, István
PLC Code Generation Based on a Formal Specification Language
In: anon (szerk.) 2016 IEEE 14th International Conference on Industrial Informatics (INDIN)
New York, Amerikai Egyesült Államok : Institute of Electrical and Electronics Engineers (IEEE) (2016) 1,332 p. pp. 389-396. , 8 p.
DOI IEEE Xplore WoS Scopus
Közlemény:3096124 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 8 | Független: 8 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 6 | Scopus jelölt: 4 | WoS/Scopus jelölt: 6 | DOI jelölt: 5
Konferenciaközlemény (Könyvrészlet) | Tudományos[3096124] [Egyeztetett]
Nyilvános idéző összesen: 8, Független: 8, Függő: 0, Nem jelölt: 0
10.
Darvas, Dániel ; Majzik, István ; Blanco Viñuela, Enrique
Conformance Checking for Programmable Logic Controller Programs and Specifications
In: anon (szerk.) 11th IEEE International Symposium on Industrial Embedded Systems (SIES)
New York, Amerikai Egyesült Államok : Institute of Electrical and Electronics Engineers (IEEE) (2016) pp. 29-36. , 8 p.
DOI IEEE Xplore WoS Scopus Google scholar hash
Közlemény:3093045 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) 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: 2 | DOI jelölt: 2
Konferenciaközlemény (Könyvrészlet) | Tudományos[3093045] [Egyeztetett]
Nyilvános idéző összesen: 3, Független: 3, Függő: 0, Nem jelölt: 0
2025-05-17 05:21