11.
de Almeida, Danilo Pallamin ; Graics, Bence ; Chagas, Ronan Arraes Jardim ; de Sousa, Fabiano Luis ; Mattiello-Francisco, Fatima
Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View
In: Andrey, Brito; Fernando, Pedone (szerk.) 2021 10th Latin-American Symposium on Dependable Computing (LADC)
Piscataway (NJ), Amerikai Egyesült Államok : Institute of Electrical and Electronics Engineers (IEEE) (2021) pp. 1-4. , 4 p.
DOI Scopus Egyéb URL
Közlemény:32605481 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 3 | Független: 3 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 3
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[32605481] [Nyilvános]
Nyilvános idéző összesen: 3, Független: 3, Függő: 0, Nem jelölt: 0
12.
Graics, Bence ; Molnár, Vince ; Majzik, István
Contract-Based Specification and Test Generation for Adaptive Systems
In: Zamojski, Wojciech; Mazurkiewicz, Jacek; Sugier, Jarosław; Walkowiak, Tomasz; Kacprzyk, Janusz (szerk.) Theory and Engineering of Dependable Computer Systems and Networks: Proceedings of the Sixteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX
Cham, Svájc : Springer International Publishing (2021) 512 p. pp. 136-145. Paper: Chapter 14 , 10 p.
DOI WoS Egyéb URL
Közlemény:32054791 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 2 | Független: 0 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos 
Megjegyzés: Funding Agency and Grant Number: New National Excellence Program of the Ministry for Innovation and Technology [UNKP-20-3]; National Research, Development and Innovation Fund of Hungary [2019-2.1.1EUREKA-2019-00001]
            Funding text: This work was partially supported by the UNKP-20-3 New National Excellence Program of the Ministry for Innovation and Technology and by the National Research, Development and Innovation Fund of Hungary, financed under the [2019-2.1.1EUREKA-2019-00001] funding scheme.

[32054791] [Egyeztetett]
Nyilvános idéző összesen: 2, Független: 0, Függő: 2, Nem jelölt: 0
13.
Bence, Graics ; Majzik, István
Modeling and Analysis of an Industrial Communication Protocol in the Gamma Framework
In: Balázs, Renczes (szerk.) Proceedings of the 27th PhD Mini-Symposium
Budapest, Magyarország : Budapest University of Technology and Economics, Department of Measurement and Information Systems (2020) pp. 25-28. , 4 p.
Egyéb URL
Közlemény:31294892 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[31294892] [Nyilvános]
14.
Graics, Bence ✉ ; Molnár, Vince ; Vörös, András ; Majzik, István ; Varró, Dániel
Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems
SOFTWARE AND SYSTEMS MODELING 19 : 6 pp. 1483-1517. , 35 p. (2020)
DOI WoS Scopus
Központi kezelésű Közlemény:31343505 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 32 | Független: 21 | Függő: 11 | Nem jelölt: 0 | WoS jelölt: 24 | Scopus jelölt: 25 | WoS/Scopus jelölt: 27 | DOI jelölt: 32
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: Correspondence Address: Graics, B.; MTA-BME Lendület Cyber-physical Systems Research GroupHungary; email: graics@mit.bme.hu

[31343505] [Egyeztetett]
Nyilvános idéző összesen: 32, Független: 21, Függő: 11, Nem jelölt: 0
15.
Horváth, Benedek ; Graics, Bence ; Hajdu, Ákos ; Micskei, Zoltán ; Molnár, Vince ; Ráth, István ; Andolfato, Luigi ; Gomes, Ivan ; Karban, Robert
Model checking as a service: Towards pragmatic hidden formal methods
In: Esther, Guerra (szerk.) MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2020) 713 p. Paper: 37 , 5 p.
DOI Scopus Egyéb URL
Közlemény:31647412 Admin láttamozott 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: 10 | Scopus jelölt: 12 | WoS/Scopus jelölt: 14 | DOI jelölt: 14
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos 
Megjegyzés: IncQuery Labs Ltd., Budapest, Hungary            
            Johannes Kepler University Linz, Linz, Austria            
            Budapest University of Technology and Economics, Budapest, Hungary            
            European Southern Observatory, München, Germany            
            Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, United States            
            Cited By :8            
            Export Date: 15 October 2024

[31647412] [Admin láttamozott]
Nyilvános idéző összesen: 14, Független: 13, Függő: 1, Nem jelölt: 0
16.
Nagy, Simon József ; Graics, Bence ; Marussy, Kristóf ; Vörös, András
Simulation-based Safety Assessment of High-level Reliability Models
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 316 pp. 240-260. , 21 p. (2020)
DOI WoS Scopus Egyéb URL
Közlemény:31374125 Nyilvános Forrás Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Folyóiratcikk) | Tudományos 
Megjegyzés: Budapest University of Technology and Economics, Department of Measurement and Information Systems, Budapest, Hungary            
            Budapest University of Technology and Economics, Department of Measurement and Information Systems MTA-BME Lendület Cyber-physical Systems Research Group, Budapest, Hungary            
            Export Date: 24 October 2024

[31374125] [Nyilvános]
17.
Bence, Graics ; Vince, Molnár
Mix-and-Match Composition in the Gamma Framework
In: Pataki, Béla (szerk.) Proceedings of the 25th Minisymposium of the Department of Measurement and Information Systems Budapest University of Technology and Economics : MINISY@DMIS 2018
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2018) 67 p. pp. 24-27. , 4 p.
Közlemény:3397834 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[3397834] [Nyilvános]
18.
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: Crnkovic, Ivica; Chechik, Marsha; Harman, Mark (szerk.) ICSE '18: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings
New York, Amerikai Egyesült Államok : ACM Press (2018) pp. 113-116. , 4 p.
DOI REAL WoS Scopus
Központi kezelésű Közlemény:3368581 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 31 | Független: 20 | Függő: 11 | Nem jelölt: 0 | WoS jelölt: 24 | Scopus jelölt: 22 | WoS/Scopus jelölt: 25 | DOI jelölt: 27
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[3368581] [Egyeztetett]
Nyilvános idéző összesen: 31, Független: 20, Függő: 11, Nem jelölt: 0
19.
Bence, Graics ; Vince, Molnár
Formal Compositional Semantics for Yakindu Statecharts
In: Pataki, Béla (szerk.) Proceedings of the 24th PhD Mini-Symposium (MINISY@DMIS 2017)
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2017) 90 p. pp. 22-25. , 4 p.
REAL
Közlemény:3214299 Nyilvános 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 | DOI jelölt: 1
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[3214299] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
2026-10-15 19:04