31.
Tamás, Tóth ; István, Majzik
Timed Automata Verification using Interpolants
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. 82-85. , 4 p.
Közlemény:3214859 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[3214859] [Admin láttamozott]
32.
Vince, Molnár ; István, Majzik
Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach
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. 54-57. , 4 p.
REAL
Közlemény:3214296 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 3 | Független: 2 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 2
Konferenciaközlemény (Könyvrészlet) | Tudományos[3214296] [Admin láttamozott]
Nyilvános idéző összesen: 3, Független: 2, Függő: 1, Nem jelölt: 0
33.
Bence, Czipó ; Ákos, Hajdu ; Tamás, Tóth ; István, Majzik
Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers
In: Kofroň, Jan; Tumova, Jana (szerk.) Proceedings of the 14th International Workshop on Formal Engineering approaches to Software Components and Architectures
Uppsala, Svédország : Open Publishing Association (2017) pp. 31-45. , 15 p.
DOI REAL WoS Scopus
Közlemény:3203861 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 2 | Független: 2 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos[3203861] [Egyeztetett]
Nyilvános idéző összesen: 2, Független: 2, Függő: 0, Nem jelölt: 0
34.
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
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2017) 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
35.
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
36.
Darvas, Daniel ; Majzik, Istvan ; Vinuela, Enrique Blanco
Formal Verification of Safety PLC Based Control Software
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 9681 : Reykjavik pp. 508-522. , 15 p. (2016)
DOI WoS Scopus
Közlemény:26043671 Admin láttamozott Forrás Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 16 | Független: 15 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 16 | Scopus jelölt: 11 | WoS/Scopus jelölt: 16 | DOI jelölt: 14
Konferenciaközlemény (Folyóiratcikk) | Tudományos[26043671] [Admin láttamozott]
Nyilvános idéző összesen: 16, Független: 15, Függő: 1, Nem jelölt: 0
37.
László, Gönczy ; István, Majzik ; Szilárd, Bozóki ; András, Pataricza
MDD-Based Design, Configuration, and Monitoring of Resilient Cyber-Physical Systems
In: Alexander, Romanovsky; Fuyuki, Ishikawa (szerk.) Trustworthy Cyber-Physical Systems Engineering
Boca Raton, Amerikai Egyesült Államok : CRC Press - Taylor and Francis Group (2016) 483 p. pp. 395-420. , 26 p.
Kiadónál Scopus
Közlemény:3230493 Egyeztetett Forrás Idéző Könyvrészlet (Könyvfejezet ) Tudományos
Nyilvános idéző összesen: 4 | Független: 4 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 4 | WoS/Scopus jelölt: 4 | DOI jelölt: 4
Könyvfejezet (Könyvrészlet) | Tudományos[3230493] [Egyeztetett]
Nyilvános idéző összesen: 4, Független: 4, Függő: 0, Nem jelölt: 0
38.
Tamás, Tóth ; István, Majzik
Formal Modeling of Real-Time Systems with Data Processing
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. 46-49. , 4 p.
Közlemény:3214857 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[3214857] [Admin láttamozott]
39.
Vince, Molnár ; István, Majzik
Evaluation of Fault Tolerance Mechanisms with Model Checking
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. 30-33. , 4 p.
Közlemény:3096604 Egyeztetett Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[3096604] [Egyeztetett]
40.
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 : 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
2024-05-10 13:38