Bence Graics
Orcid: 0000-0001-5546-5970
According to our database1,
Bence Graics
authored at least 11 papers
between 2018 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2018
2019
2020
2021
2022
2023
2024
2025
0
1
2
3
4
5
1
2
1
1
2
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations.
Sci. Comput. Program., 2025
2024
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024
2023
Syst. Eng., November, 2023
Syst. Eng., September, 2023
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers.
Proceedings of the Formal Methods for Industrial Critical Systems, 2023
Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023
2021
Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View.
Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021
2020
Mixed-semantics composition of statecharts for the component-based design of reactive systems.
Softw. Syst. Model., 2020
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
2018
The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018