Saturation-Based Incremental LTL Model Checking with Inductive Proofs. - Vince Molnár; Dániel Darvas; András Vörös 001; Tamás Bartha (TACAS, 2015)

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 001; István Majzik; Miklós Telek (Petri Nets, 2016)

PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research. - András Vörös 001; Dániel Darvas; Vince Molnár; Attila Klenik; Ákos Hajdu; Attila Jámbor; Tamás Bartha; István Majzik (Petri Nets, 2016)

Component-wise incremental LTL model checking. - Vince Molnár; András Vörös 001; Dániel Darvas; Tamás Bartha; István Majzik (Formal Aspects Comput., 2016)

Getting the Priorities Right: Saturation for Prioritised Petri Nets. - Kristóf Marussy; Vince Molnár; András Vörös 001; István Majzik (Petri Nets, 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)

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 001; István Majzik; Dániel Varró (ICSE (Companion Volume), 2018)

Industrial applications of the PetriDotNet modelling and analysis tool. - András Vörös 001; Dániel Darvas; Ákos Hajdu; Attila Klenik; Kristóf Marussy; Vince Molnár; Tamás Bartha; István Majzik (Sci. Comput. Program., 2018)

Saturation Enhanced with Conditional Locality: Application to Petri Nets. - Vince Molnár; István Majzik (Petri Nets, 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 001; Vince Molnár (ACM Trans. Embed. Comput. Syst., 2019)

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 (MoDELS (Companion), 2020)

Mixed-semantics composition of statecharts for the component-based design of reactive systems. - Bence Graics; Vince Molnár; András Vörös 001; István Majzik; Dániel Varró (Softw. Syst. Model., 2020)

Extensions and Generalization of the Saturation Algorithm in Model Checking - Vince Molnár (2020)

C for Yourself: Comparison of Front-End Techniques for Formal Verification. - Levente Bajczi; Zsófia Ádám; Vince Molnár (FormaliSE@ICSE, 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 (TACAS (2), 2022)

Model-Based Testing of Asynchronously Communicating Distributed Controllers. - Bence Graics; Milán Mondok; Vince Molnár; István Majzik (FACS, 2023)

Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers. - Bence Graics; Vince Molnár; István Majzik (FMICS, 2023)

Assessing the specification of modelling language semantics: a study on UML PSSM. - Márton Elekes 001; Vince Molnár; Zoltán Micskei (Softw. Qual. J., 2023)

Component-based specification, design and verification of adaptive systems. - Bence Graics; Vince Molnár; István Majzik (Syst. Eng., 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 001; Robert Karban; Gelys Trancho; Zoltán Micskei (Syst. Eng., 2023)

Towards the Formal Verification of SysML v2 Models. - Vince Molnár; Bence Graics; András Vörös 001; Stefano Tonetta; Luca Cristoforetti; Greg Kimberly; Pamela Dyer; Kristin Giammarco; Manfred Köthe; John Hester; Jamie Smith; Christoph Grimm 001 (MoDELS (Companion), 2024)

From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics. - Ármin Zavada; Kristóf Marussy; Vince Molnár (MoDELS (Companion), 2024)

Solving Constrained Horn Clauses as C Programs with CHC2C. - Levente Bajczi; Vince Molnár (SPIN, 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 (TACAS (3), 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 (TACAS (3), 2024)

Enhancing MBSE Education with Version Control and Automated Feedback. - Levente Bajczi; Dániel Szekeres; Daniel Siegl; Vince Molnár (CoRR, 2024)

Selected papers from the 25th Brazilian Symposium on Formal Methods - SBMF 2022. - Lucas Lima 001; Vince Molnár (Sci. Comput. Program., 2024)

To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines. - Márton Elekes 001; Vince Molnár; Zoltán Micskei (IEEE Trans. Software Eng., 2024)

Towards a Configurable Verification and Validation Framework for Critical Cyber-Physical Systems. - Ármin Zavada; Géza Kulcsár; Vince Molnár; Ákos Horváth 001 (ICPS, 2025)

EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution). - Milán Mondok; Levente Bajczi; Dániel Szekeres; Vince Molnár (TACAS (3), 2025)

Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations. - Bence Graics; Milán Mondok; Vince Molnár; István Majzik (Sci. Comput. Program., 2025)