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 (szerk.) Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Cham, Svájc : Springer-Verlag (2018) 361 p. pp. 235-254. , 20 p.
DOI WoS Scopus
Közlemény:3388856 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 2 | Független: 1 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Konferenciaközlemény (Könyvrészlet) | Tudományos[3388856] [Egyeztetett]
Nyilvános idéző összesen: 2, Független: 1, Függő: 1, Nem jelölt: 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 (szerk.) Proceedings of the 40th International Conference on Software Engineering Companion
New York, Amerikai Egyesült Államok : ACM Press (2018) pp. 113-116. , 4 p.
DOI REAL WoS
Közlemény:3368581 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 14 | Független: 13 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 11 | Scopus jelölt: 5 | WoS/Scopus jelölt: 11 | DOI jelölt: 10
Konferenciaközlemény (Könyvrészlet) | Tudományos[3368581] [Nyilvános]
Nyilvános idéző összesen: 14, Független: 13, Függő: 1, Nem jelölt: 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 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
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 (szerk.) SDL 2017: Model-Driven Engineering for Future Internet : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings
Cham, Svájc : Springer-Verlag (2017) 184 p. pp. 119-135. , 16 p.
DOI WoS Scopus
Közlemény:3324834 Admin láttamozott Forrás Idéző Duplum Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 5 | Független: 5 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 5 | Scopus jelölt: 5 | WoS/Scopus jelölt: 5 | DOI jelölt: 5
Konferenciaközlemény (Könyvrészlet) | Tudományos[3324834] [Admin láttamozott]
Nyilvános idéző összesen: 5, Független: 5, Függő: 0, Nem jelölt: 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 (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 | 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
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 (szerk.) Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design
Vienna, Ausztria, Piscataway (NJ), Amerikai Egyesült Államok : FMCAD Association, IEEE (2017) pp. 176-179. , 4 p.
DOI REAL WoS Scopus Teljes dokumentum
Közlemény:3266689 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 26 | Független: 16 | Függő: 10 | Nem jelölt: 0 | WoS jelölt: 12 | Scopus jelölt: 15 | WoS/Scopus jelölt: 17 | DOI jelölt: 20
Konferenciaközlemény (Könyvrészlet) | Tudományos[3266689] [Egyeztetett]
Nyilvános idéző összesen: 26, Független: 16, Függő: 10, Nem jelölt: 0
27.
Tamás, Tóth ; István, Majzik
Lazy Reachability Checking for Timed Automata Using Interpolants
In: Alessandro, Abate; Gilles, Geeraerts (szerk.) Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings
Cham, Svájc : Springer-Verlag (2017) pp. 264-280. , 17 p.
DOI Scopus
Közlemény:3263528 Egyeztetett Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 4 | Független: 1 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 4 | WoS/Scopus jelölt: 4 | DOI jelölt: 4
Konferenciaközlemény (Könyvrészlet) | Tudományos[3263528] [Egyeztetett]
Nyilvános idéző összesen: 4, Független: 1, Függő: 3, Nem jelölt: 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 (szerk.) Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings
Cham, Svájc : Springer-Verlag (2017) 365 p. pp. 223-242. , 20 p.
DOI REAL WoS Scopus
Közlemény:3229363 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 2 | Független: 1 | Függő: 1 | 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[3229363] [Nyilvános]
Nyilvános idéző összesen: 2, Független: 1, Függő: 1, Nem jelölt: 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
Közlemény:3228674 Egyeztetett Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[3228674] [Egyeztetett]
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
Közlemény:3217816 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 5 | Független: 5 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 5 | WoS/Scopus jelölt: 5 | DOI jelölt: 5
Szakcikk (Folyóiratcikk) | Tudományos[3217816] [Nyilvános]
Nyilvános idéző összesen: 5, Független: 5, Függő: 0, Nem jelölt: 0
2024-04-27 18:19