Folgen
Bence Graics
Bence Graics
Bestätigte E-Mail-Adresse bei mit.bme.hu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
The Gamma statechart composition framework: design, verification and code generation for component-based reactive systems
V Molnár, B Graics, A Vörös, I Majzik, D Varró
Proceedings of the 40th International Conference on Software Engineering …, 2018
352018
Mixed-semantics composition of statecharts for the component-based design of reactive systems
B Graics, V Molnár, A Vörös, I Majzik, D Varró
Software and Systems Modeling 19 (6), 1483-1517, 2020
252020
Model checking as a service: towards pragmatic hidden formal methods
B Horváth, B Graics, Á Hajdu, Z Micskei, V Molnár, I Ráth, L Andolfato, ...
Proceedings Of The 23rd ACM/IEEE International Conference On Model Driven …, 2020
102020
Formal compositional semantics for Yakindu statecharts
B Graics, V Molnár
BME MIT, 2017
72017
Pragmatic verification and validation of industrial executable SysML models
B Horváth, V Molnár, B Graics, Á Hajdu, I Ráth, Á Horváth, R Karban, ...
Systems Engineering 26 (6), 693-714, 2023
62023
Integration test generation and formal verification for distributed controllers
B Graics, I Majzik
30TH MINISYMPOSIUM, 1, 2023
42023
Model-driven design and verification of component-based reactive systems
B Graics, V Molnár, A Vörös
Students’s Association Report, Budapest University of Technology and Economics, 2016
42016
Model-Driven Development of Heterogeneous Cyber-Physical Systems
JC Csuvarszki, B Graics, A Vörös
28th PhD Minisymposium of the Department of Measurement and Information …, 2021
32021
Simulation-based Safety Assessment of High-level Reliability Models
S József Nagy, B Graics, K Marussy, A Vörös
arXiv e-prints, arXiv: 2004.13290, 2020
2*2020
Mix-and-match composition in the Gamma Framework
B Graics, V Molnár
25th Minisymposium, Department of Measurement and Information Systems …, 2018
22018
Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View
DP de Almeida, B Graics, RAJ Chagas, FL de Sousa, ...
2021 10th Latin-American Symposium on Dependable Computing (LADC), 1-4, 2021
12021
Contract-based specification and test generation for adaptive systems
B Graics, V Molnár, I Majzik
International Conference on Dependability and Complex Systems, 136-145, 2021
12021
Modeling and analysis of an industrial communication protocol in the Gamma framework
B Graics, I Majzik
27th Minisymposium, Department of Measurement and Information Systems …, 2020
12020
Model-Driven Development of Reactive Systems with Mixed Synchronous and Asynchronous Hierarchical Composition
B Graics, V Molnár
Technical report, Scientific Students’ Association, Budapest University of …, 2017
12017
Integration test generation for state-based components in the Gamma framework
B Graics, V Molnár, I Majzik
1
Model-Based Testing of Asynchronously Communicating Distributed Controllers
B Graics, M Mondok, V Molnár, I Majzik
International Conference on Formal Aspects of Component Software, 23-44, 2023
2023
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers
B Graics, V Molnár, I Majzik
International Conference on Formal Methods for Industrial Critical Systems …, 2023
2023
Component‐based specification, design and verification of adaptive systems
B Graics, V Molnár, I Majzik
Systems Engineering 26 (5), 567-589, 2023
2023
Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View
DP Almeida, B Graics, RAJ Chagas, FL Sousa, MF Mattiello Francisco
Latin-American Symposium on Dependable Computing, 10, 2021
2021
Mixed-Semantics Composition of Statecharts for the Model-Driven Design of Reactive Systems
B Graics, V Molnár
2018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20