Vince Molnár
Orcid: 0000-0002-8204-7595Affiliations:
- Budapest University of Technology and Economics, Budapest, Hungary
According to our database1,
Vince Molnár
authored at least 32 papers
between 2015 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Networcat: applying analysis techniques of shared memory software on message-passing distributed systems.
Softw. Syst. Model., October, 2025
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations.
Sci. Comput. Program., 2025
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025
Towards a Configurable Verification and Validation Framework for Critical Cyber-Physical Systems.
Proceedings of the 8th IEEE International Conference on Industrial Cyber-Physical Systems, 2025
2024
To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines.
IEEE Trans. Software Eng., August, 2024
Sci. Comput. Program., 2024
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the Model Checking Software - 30th International Symposium, 2024
From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 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
Softw. Qual. J., June, 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
2022
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022
2020
PhD thesis, 2020
Mixed-semantics composition of statecharts for the component-based design of reactive systems.
Softw. Syst. Model., 2020
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
2019
Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software.
ACM Trans. Embed. Comput. Syst., 2019
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019
2018
Sci. Comput. Program., 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
2017
Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms.
Period. Polytech. Electr. Eng. Comput. Sci., 2017
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017
2016
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016
Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016
2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015