21.
Tamás, Tóth ; István, Majzik
Lazy Reachability Checking for Timed Automata with Discrete Variables
In: María, del Mar Gallardo; Pedro, Merino (eds.) Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Cham, Switzerland : Springer (2018) 361 p. pp. 235-254. , 20 p.
DOI WoS Scopus
Publication:3388856 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 2 | Independent citation: 1 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 2
Conference paper (Chapter in Book) | Scientific[3388856] [Validated]
All citations+mentions: 2, External citations: 1, Self citations: 1, Unhandled citations: 0
22.
Vince, Molnár ; Bence, Graics ; András, Vörös ; István, Majzik ; Dániel, Varró
The Gamma Statechart Composition Framework: Design, Verification and Code Generation for Component-Based Reactive Systems
In: Ivica, Crnkovic; Marsha, Chechik; Mark, Harman (eds.) Proceedings of the 40th International Conference on Software Engineering Companion
New York City, United States of America : ACM Press (2018) pp. 113-116. , 4 p.
DOI REAL WoS
Publication:3368581 Published Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 14 | Independent citation: 13 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 11 | Number of citations in Scopus: 5 | WoS/Scopus assigned: 11 | Number of citations with DOI: 10
Conference paper (Chapter in Book) | Scientific[3368581] [Approved]
All citations+mentions: 14, External citations: 13, Self citations: 1, Unhandled citations: 0
23.
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 Other URL
Publication:3265337 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 9 | Independent citation: 9 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 5 | Number of citations in Scopus: 3 | WoS/Scopus assigned: 5 | Number of citations with DOI: 6
Article (Journal Article) | Scientific[3265337] [Validated]
All citations+mentions: 9, External citations: 9, Self citations: 0, Unhandled citations: 0
24.
Honfi, Dávid ; Molnár, Gábor ; Micskei, Zoltán ✉ ; Majzik, István
Model-Based Regression Testing of Autonomous Robots
In: Tibor, Csöndes; Gábor, Kovács; György, Réthy (eds.) SDL 2017: Model-Driven Engineering for Future Internet : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings
Cham, Switzerland : Springer (2017) 184 p. pp. 119-135. , 16 p.
DOI WoS Scopus
Publication:3324834 Admin approved Core Citing Duplum Chapter in Book (Conference paper ) Scientific
Citing papers: 5 | Independent citation: 5 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 5 | Number of citations in Scopus: 5 | WoS/Scopus assigned: 5 | Number of citations with DOI: 5
Conference paper (Chapter in Book) | Scientific[3324834] [Admin approved]
All citations+mentions: 5, External citations: 5, Self citations: 0, Unhandled citations: 0
25.
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 (eds.) Proceedings of the 16th International Conference on Accelerator and Large Experimental Physics Control Systems
Geneva, Switzerland : Joint Accelerator Conferences Website (JACoW) (2017) pp. 1781-1786. , 6 p.
DOI Kiadónál
Publication:3304079 Admin approved Core Chapter in Book (Conference paper ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1
Conference paper (Chapter in Book) | Scientific[3304079] [Admin approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
26.
Tóth, Tamás ; Hajdu, Ákos ; Vörös, András ; Micskei, Zoltán ; Majzik, István
Theta: a Framework for Abstraction Refinement-Based Model Checking
In: Stewart, Daryl; Weissenbacher, Georg (eds.) Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design
Wien, Bécs, Austria, Piscataway (NJ), United States of America : FMCAD Association, Institute of Electrical and Electronics Engineers (2017) pp. 176-179. , 4 p.
DOI REAL WoS Scopus Teljes dokumentum
Publication:3266689 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 26 | Independent citation: 16 | Self citation: 10 | Unknown citation: 0 | Number of citations in WoS: 12 | Number of citations in Scopus: 15 | WoS/Scopus assigned: 17 | Number of citations with DOI: 20
Conference paper (Chapter in Book) | Scientific[3266689] [Validated]
All citations+mentions: 26, External citations: 16, Self citations: 10, Unhandled citations: 0
27.
Tamás, Tóth ; István, Majzik
Lazy Reachability Checking for Timed Automata Using Interpolants
In: Alessandro, Abate; Gilles, Geeraerts (eds.) Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings
Cham, Switzerland : Springer (2017) pp. 264-280. , 17 p.
DOI Scopus
Publication:3263528 Validated Core Chapter in Book (Conference paper ) Scientific
Citing papers: 4 | Independent citation: 1 | Self citation: 3 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 4 | WoS/Scopus assigned: 4 | Number of citations with DOI: 4
Conference paper (Chapter in Book) | Scientific[3263528] [Validated]
All citations+mentions: 4, External citations: 1, Self citations: 3, Unhandled citations: 0
28.
Kristóf, Marussy ; Vince, Molnár ; András, Vörös ; István, Majzik
Getting the Priorities Right: Saturation for Prioritised Petri Nets
In: Wil, van der Aalst; Eike, Best (eds.) Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings
Cham, Switzerland : Springer (2017) 365 p. pp. 223-242. , 20 p.
DOI REAL WoS Scopus
Publication:3229363 Published Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 2 | Independent citation: 1 | 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: 1
Conference paper (Chapter in Book) | Scientific[3229363] [Approved]
All citations+mentions: 2, External citations: 1, Self citations: 1, Unhandled citations: 0
29.
Tamás, Tóth ; István, Majzik
Formal Verification of Real-Time Systems with Data Processing
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE 61 : 2 pp. 166-174. , 9 p. (2017)
DOI Scopus
Publication:3228674 Validated Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[3228674] [Validated]
30.
Vince, Molnár ; István, Majzik
Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE 61 : 2 pp. 132-150. , 19 p. (2017)
DOI REAL Scopus
Publication:3217816 Published Core Citing Journal Article (Article ) Scientific
Citing papers: 5 | Independent citation: 5 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 4 | Number of citations in Scopus: 5 | WoS/Scopus assigned: 5 | Number of citations with DOI: 5
Article (Journal Article) | Scientific[3217816] [Approved]
All citations+mentions: 5, External citations: 5, Self citations: 0, Unhandled citations: 0
2024-05-10 00:25