31.
Tamás, Tóth ; István, Majzik
Timed Automata Verification using Interpolants
In: Pataki, Béla (eds.) Proceedings of the 24th PhD Mini-Symposium
Budapest, Hungary : BME MIT (2017) pp. 82-85. , 4 p.
Publication:3214859 Admin approved Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[3214859] [Admin approved]
32.
Vince, Molnár ; István, Majzik
Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach
In: Pataki, Béla (eds.) Proceedings of the 24th PhD Mini-Symposium
Bp, Hungary : BME MIT (2017) pp. 54-57. , 4 p.
REAL
Publication:3214296 Admin approved Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 3 | Independent citation: 2 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 2
Conference paper (Chapter in Book) | Scientific[3214296] [Admin approved]
All citations+mentions: 3, External citations: 2, Self citations: 1, Unhandled citations: 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 (eds.) Proceedings of the 14th International Workshop on Formal Engineering approaches to Software Components and Architectures
Uppsala, Sweden : Open Publishing Association (2017) pp. 31-45. , 15 p.
DOI REAL WoS Scopus
Publication:3203861 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 2 | Independent citation: 2 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 1
Conference paper (Chapter in Book) | Scientific[3203861] [Validated]
All citations+mentions: 2, External citations: 2, Self citations: 0, Unhandled citations: 0
34.
Darvas, Dániel ; Majzik, István ; Blanco, Viñulea Enrique
Well-Formedness and Invariant Checking of PLCspecif Specifications
In: Pataki, Béla (eds.) Proceedings of the 24th PhD Mini-Symposium
Budapest, Hungary : BME MIT (2017) pp. 10-13. , 4 p.
DOI
Publication:3185257 Validated Core Chapter in Book (Conference paper ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0
Conference paper (Chapter in Book) | Scientific[3185257] [Validated]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 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
Publication:3150612 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 9 | Independent citation: 9 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 6 | Number of citations in Scopus: 8 | WoS/Scopus assigned: 8 | Number of citations with DOI: 8
Article (Journal Article) | Scientific[3150612] [Validated]
All citations+mentions: 9, External citations: 9, Self citations: 0, Unhandled citations: 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
Publication:26043671 Admin approved Core Citing Journal Article (Conference paper in journal ) Scientific
Citing papers: 16 | Independent citation: 15 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 16 | Number of citations in Scopus: 11 | WoS/Scopus assigned: 16 | Number of citations with DOI: 14
Conference paper in journal (Journal Article) | Scientific[26043671] [Admin approved]
All citations+mentions: 16, External citations: 15, Self citations: 1, Unhandled citations: 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 (eds.) Trustworthy Cyber-Physical Systems Engineering
Boca Raton, United States of America : CRC Press - Taylor and Francis Group (2016) 483 p. pp. 395-420. , 26 p.
Kiadónál Scopus
Publication:3230493 Validated Core Citing Chapter in Book (Chapter ) Scientific
Citing papers: 4 | Independent citation: 4 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 4 | WoS/Scopus assigned: 4 | Number of citations with DOI: 4
Chapter (Chapter in Book) | Scientific[3230493] [Validated]
All citations+mentions: 4, External citations: 4, Self citations: 0, Unhandled citations: 0
38.
Tamás, Tóth ; István, Majzik
Formal Modeling of Real-Time Systems with Data Processing
In: [sn] (eds.) Proceedings of the 23rd PhD Mini-Symposium
Budapest, Hungary : BME MIT (2016) 55 p. pp. 46-49. , 4 p.
Publication:3214857 Admin approved Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[3214857] [Admin approved]
39.
Vince, Molnár ; István, Majzik
Evaluation of Fault Tolerance Mechanisms with Model Checking
In: [sn] (eds.) Proceedings of the 23rd PhD Mini-Symposium
Budapest, Hungary : BME MIT (2016) 55 p. pp. 30-33. , 4 p.
Publication:3096604 Validated Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[3096604] [Validated]
40.
Darvas, Dániel ; Blanco, Viñulea Enrique ; Majzik, István
PLC Code Generation Based on a Formal Specification Language
In: anon (eds.) 2016 IEEE 14th International Conference on Industrial Informatics (INDIN)
New York City, United States of America : IEEE (2016) 1,332 p. pp. 389-396. , 8 p.
DOI IEEE Xplore WoS Scopus
Publication:3096124 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 8 | Independent citation: 8 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 6 | Number of citations in Scopus: 4 | WoS/Scopus assigned: 6 | Number of citations with DOI: 5
Conference paper (Chapter in Book) | Scientific[3096124] [Validated]
All citations+mentions: 8, External citations: 8, Self citations: 0, Unhandled citations: 0
2024-05-20 15:17