Bence Graics
Cím
Hivatkozott rá
Hivatkozott rá
Év
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ó
2018 IEEE/ACM 40th International Conference on Software Engineering …, 2018
112018
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
Mix-and-match composition in the Gamma Framework
B Graics, V Molnár
25th Minisymposium, Department of Measurement and Information Systems …, 2018
22018
Formal Compositional Semantics for Yakindu Statecharts
B Graics, V Molnár
BME MIT, 2017
22017
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
12020
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
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
2020
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
2020
Mixed-Semantics Composition of Statecharts for the Model-Driven Design of Reactive Systems
B Graics, V Molnár
2018
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–10