Vince Molnár

36 papers A 1B 4C 1Journal 14Unranked 14
YearRankTypeTitle / Venue / Authors
2026 — conf
EmergenTheta: Experimental Analyses within the Theta Framework (Competition Contribution).
TACAS (2)
Milán Mondok, Csanád Telbisz, Levente Bajczi, Dániel Kovács, Mihály Dobos-Kovács, Vince Molnár
2025 — conf
EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution).
TACAS (3)
Milán Mondok, Levente Bajczi, Dániel Szekeres, Vince Molnár
2025 J jnl
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations.
Sci. Comput. Program.
Bence Graics, Milán Mondok, Vince Molnár, István Majzik
2025 J jnl
Networcat: applying analysis techniques of shared memory software on message-passing distributed systems.
Softw. Syst. Model.
Levente Bajczi, Vince Molnár
2025 — conf
Theta as a Horn Solver.
HCVS@CAV
Levente Bajczi, Milán Mondok, Vince Molnár
2025 — conf
Towards a Configurable Verification and Validation Framework for Critical Cyber-Physical Systems.
ICPS
Ármin Zavada, Géza Kulcsár, Vince Molnár, Ákos Horváth
2024 — conf
EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution).
TACAS (3)
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
2024 J jnl
Enhancing MBSE Education with Version Control and Automated Feedback.
CoRR
Levente Bajczi, Dániel Szekeres, Daniel Siegl, Vince Molnár
2024 — conf
From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics.
MoDELS (Companion)
Ármin Zavada, Kristóf Marussy, Vince Molnár
2024 J jnl
Selected papers from the 25th Brazilian Symposium on Formal Methods - SBMF 2022.
Sci. Comput. Program.
Lucas Lima, Vince Molnár
2024 — conf
Solving Constrained Horn Clauses as C Programs with CHC2C.
SPIN
Levente Bajczi, Vince Molnár
2024 — conf
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution).
TACAS (3)
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
2024 J jnl
To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines.
IEEE Trans. Software Eng.
Márton Elekes, Vince Molnár, Zoltán Micskei
2024 — conf
Towards the Formal Verification of SysML v2 Models.
MoDELS (Companion)
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
2023 J jnl
Assessing the specification of modelling language semantics: a study on UML PSSM.
Softw. Qual. J.
Márton Elekes, Vince Molnár, Zoltán Micskei
2023 J jnl
Component-based specification, design and verification of adaptive systems.
Syst. Eng.
Bence Graics, Vince Molnár, István Majzik
2023 C conf
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers.
FMICS
Bence Graics, Vince Molnár, István Majzik
2023 — conf
Model-Based Testing of Asynchronously Communicating Distributed Controllers.
FACS
Bence Graics, Milán Mondok, Vince Molnár, István Majzik
2023 J jnl
Pragmatic verification and validation of industrial executable SysML models.
Syst. Eng.
Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth, Ákos Horváth, Robert Karban, Gelys Trancho, Zoltán Micskei
2023 J jnl
To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines.
CoRR
Márton Elekes, Vince Molnár, Zoltán Micskei
2022 — conf
C for Yourself: Comparison of Front-End Techniques for Formal Verification.
FormaliSE@ICSE
Levente Bajczi, Zsófia Ádám, Vince Molnár
2022 — ed.
Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
SBMF
Lucas Lima, Vince Molnár
2022 — conf
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution).
TACAS (2)
Zsófia Ádám, Levente Bajczi, Mihály Dobos-Kovács, Ákos Hajdu, Vince Molnár
2020 — —
Extensions and Generalization of the Saturation Algorithm in Model Checking
Vince Molnár
2020 J jnl
Mixed-semantics composition of statecharts for the component-based design of reactive systems.
Softw. Syst. Model.
Bence Graics, Vince Molnár, András Vörös, István Majzik, Dániel Varró
2020 — conf
Model checking as a service: towards pragmatic hidden formal methods.
MoDELS (Companion)
Benedek Horváth, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban
2019 B conf
Saturation Enhanced with Conditional Locality: Application to Petri Nets.
Petri Nets
Vince Molnár, István Majzik
2019 J jnl
Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software.
ACM Trans. Embed. Comput. Syst.
Levente Bajczi, András Vörös, Vince Molnár
2018 J jnl
Industrial applications of the PetriDotNet modelling and analysis tool.
Sci. Comput. Program.
András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik
2018 — conf
The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems.
ICSE (Companion Volume)
Vince Molnár, Bence Graics, András Vörös, István Majzik, Dániel Varró
2017 B conf
Getting the Priorities Right: Saturation for Prioritised Petri Nets.
Petri Nets
Kristóf Marussy, Vince Molnár, András Vörös, István Majzik
2017 J jnl
Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms.
Period. Polytech. Electr. Eng. Comput. Sci.
Vince Molnár, István Majzik
2016 J jnl
Component-wise incremental LTL model checking.
Formal Aspects Comput.
Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, István Majzik
2016 B conf
Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models.
Petri Nets
Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, István Majzik, Miklós Telek
2016 B conf
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research.
Petri Nets
András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik
2015 A conf
Saturation-Based Incremental LTL Model Checking with Inductive Proofs.
TACAS
Vince Molnár, Dániel Darvas, András Vörös, Tamás Bartha