21.
Kristóf, Marussy ; István, Majzik
Constructing Dependability Analysis Models of Reconfigurable Production Systems
In: Reveliotis, S; Cappelleri, D; Dimarogonas, DV; Dotoli, M; Fanti, MP; Li, J; Lucena, V; Seatu, C; Xie, X; Zhu, K; Vogel-Heuser, Birgit; Lennartson, Bengt (szerk.) 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)
Piscataway (NJ), Amerikai Egyesült Államok : Institute of Electrical and Electronics Engineers (IEEE), IEEE Robotics and Automation Society (2018) pp. 1158-1163. Paper: 18293154 , 6 p.
DOI WoS Scopus
Közlemény:3398318 Nyilvános Forrás Idéző 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[3398318] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
22.
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 Netherlands (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
23.
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: 15 | Független: 14 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 12 | Scopus jelölt: 5 | WoS/Scopus jelölt: 12 | DOI jelölt: 10
Konferenciaközlemény (Könyvrészlet) | Tudományos[3368581] [Nyilvános]
Nyilvános idéző összesen: 15, Független: 14, Függő: 1, Nem jelölt: 0
24.
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
25.
Honfi, Dávid ; Molnár, Gábor ; Micskei, Zoltán ✉ ; Majzik, István
Model-Based Regression Testing of Autonomous Robots
In: Csöndes, Tibor; Kovács, Gábor; Réthy, György (szerk.) SDL 2017: Model-Driven Engineering for Future Internet : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings
Cham, Svájc : Springer Netherlands (2017) 184 p. pp. 119-135. , 16 p.
DOI WoS Scopus
Közlemény:3324834 Admin láttamozott Forrás Idéző 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
26.
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
27.
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, Institute of Electrical and Electronics Engineers (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: 29 | Független: 17 | Függő: 12 | Nem jelölt: 0 | WoS jelölt: 15 | Scopus jelölt: 18 | WoS/Scopus jelölt: 20 | DOI jelölt: 23 (Nem nyilvános: 2)
Konferenciaközlemény (Könyvrészlet) | Tudományos[3266689] [Egyeztetett]
Nyilvános idéző összesen: 29, Független: 17, Függő: 12, Nem jelölt: 0
28.
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
29.
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 Netherlands (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
30.
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]
2024-09-21 03:24