Vince Molnár

According to our database, Vince Molnár authored at least 28 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines.

Márton Elekes, Vince Molnár, Zoltán Micskei

IEEE Trans. Software Eng., August, 2024

Selected papers from the 25th Brazilian Symposium on Formal Methods - SBMF 2022.

Lucas Lima, Vince Molnár

Sci. Comput. Program., 2024

Enhancing MBSE Education with Version Control and Automated Feedback.

Levente Bajczi, Dániel Szekeres, Daniel Siegl, Vince Molnár

CoRR, 2024

Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution).

Levente Bajczi, Csanád Telbisz, Márk Somorjai, Zsófia Ádám, Mihály Dobos-Kovács, Dániel Szekeres, Milán Mondok, Vince Molnár

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution).

Levente Bajczi, Dániel Szekeres, Milán Mondok, Zsófia Ádám, Márk Somorjai, Csanád Telbisz, Mihály Dobos-Kovács, Vince Molnár

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Solving Constrained Horn Clauses as C Programs with CHC2C.

Levente Bajczi, Vince Molnár

Proceedings of the Model Checking Software - 30th International Symposium, 2024

From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics.

Ármin Zavada, Kristóf Marussy, Vince Molnár

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Towards the Formal Verification of SysML v2 Models.

Vince Molnár, Bence Graics, András Vörös, Stefano Tonetta, Luca Cristoforetti, Greg Kimberly, Pamela Dyer, Kristin Giammarco, Manfred Köthe, John Hester, Jamie Smith, Christoph Grimm

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023

Pragmatic verification and validation of industrial executable SysML models.

Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth, Ákos Horváth, Robert Karban, Gelys Trancho, Zoltán Micskei

Syst. Eng., November, 2023

Component-based specification, design and verification of adaptive systems.

Bence Graics, Vince Molnár, István Majzik

Syst. Eng., September, 2023

Assessing the specification of modelling language semantics: a study on UML PSSM.

Márton Elekes, Vince Molnár, Zoltán Micskei

Softw. Qual. J., June, 2023

Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers.

Bence Graics, Vince Molnár, István Majzik

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

Model-Based Testing of Asynchronously Communicating Distributed Controllers.

Bence Graics, Milán Mondok, Vince Molnár, István Majzik

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).

Zsófia Ádám, Levente Bajczi, Mihály Dobos-Kovács, Ákos Hajdu, Vince Molnár

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

C for Yourself: Comparison of Front-End Techniques for Formal Verification.

Levente Bajczi, Zsófia Ádám, Vince Molnár

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2020

Extensions and Generalization of the Saturation Algorithm in Model Checking

Vince Molnár

PhD thesis, 2020

Mixed-semantics composition of statecharts for the component-based design of reactive systems.

Bence Graics, Vince Molnár, András Vörös, István Majzik, Dániel Varró

Softw. Syst. Model., 2020

Model checking as a service: towards pragmatic hidden formal methods.

Benedek Horváth, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban

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.

Levente Bajczi, András Vörös, Vince Molnár

ACM Trans. Embed. Comput. Syst., 2019

Saturation Enhanced with Conditional Locality: Application to Petri Nets.

Vince Molnár, István Majzik

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018

Industrial applications of the PetriDotNet modelling and analysis tool.

András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik

Sci. Comput. Program., 2018

The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems.

Vince Molnár, Bence Graics, András Vörös, István Majzik, Dániel Varró

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.

Vince Molnár, István Majzik

Period. Polytech. Electr. Eng. Comput. Sci., 2017

Getting the Priorities Right: Saturation for Prioritised Petri Nets.

Kristóf Marussy, Vince Molnár, András Vörös, István Majzik

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016

Component-wise incremental LTL model checking.

Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, István Majzik

Formal Aspects Comput., 2016

PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research.

András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models.

Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, István Majzik, Miklós Telek

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

2015

Saturation-Based Incremental LTL Model Checking with Inductive Proofs.

Vince Molnár, Dániel Darvas, András Vörös, Tamás Bartha

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015