Vince Molnár

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 23

Top Topics

Top Venues

Sci. Comput. Program.

Publications

Lucas Lima, Vince Molnár
Selected papers from the 25th Brazilian Symposium on Formal Methods - SBMF 2022. Sci. Comput. Program. 238 (2024)
Márton Elekes, Vince Molnár, Zoltán Micskei
To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines. IEEE Trans. Software Eng. 50 (8) (2024)
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
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution). TACAS (3) (2024)
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
EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution). TACAS (3) (2024)
Bence Graics, Milán Mondok, Vince Molnár, István Majzik
Model-Based Testing of Asynchronously Communicating Distributed Controllers. FACS (2023)
Bence Graics, Vince Molnár, István Majzik
Component-based specification, design and verification of adaptive systems. Syst. Eng. 26 (5) (2023)
Márton Elekes, Vince Molnár, Zoltán Micskei
Assessing the specification of modelling language semantics: a study on UML PSSM. Softw. Qual. J. 31 (2) (2023)
Márton Elekes, Vince Molnár, Zoltán Micskei
To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines. CoRR (2023)
Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth, Ákos Horváth, Robert Karban, Gelys Trancho, Zoltán Micskei
Pragmatic verification and validation of industrial executable SysML models. Syst. Eng. 26 (6) (2023)
Bence Graics, Vince Molnár, István Majzik
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers. FMICS (2023)
Zsófia Ádám, Levente Bajczi, Mihály Dobos-Kovács, Ákos Hajdu, Vince Molnár
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution). TACAS (2) (2022)
Levente Bajczi, Zsófia Ádám, Vince Molnár
C for Yourself: Comparison of Front-End Techniques for Formal Verification. FormaliSE@ICSE (2022)
Benedek Horváth, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban
Model checking as a service: towards pragmatic hidden formal methods. MoDELS (Companion) (2020)
Bence Graics, Vince Molnár, András Vörös, István Majzik, Dániel Varró
Mixed-semantics composition of statecharts for the component-based design of reactive systems. Softw. Syst. Model. 19 (6) (2020)
Levente Bajczi, András Vörös, Vince Molnár
Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Vince Molnár, István Majzik
Saturation Enhanced with Conditional Locality: Application to Petri Nets. Petri Nets (2019)
Vince Molnár, Bence Graics, András Vörös, István Majzik, Dániel Varró
The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems. ICSE (Companion Volume) (2018)
András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik
Industrial applications of the PetriDotNet modelling and analysis tool. Sci. Comput. Program. 157 (2018)
Vince Molnár, István Majzik
Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms. Period. Polytech. Electr. Eng. Comput. Sci. 61 (2) (2017)
Kristóf Marussy, Vince Molnár, András Vörös, István Majzik
Getting the Priorities Right: Saturation for Prioritised Petri Nets. Petri Nets (2017)
Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, István Majzik, Miklós Telek
Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models. Petri Nets (2016)
András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research. Petri Nets (2016)
Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, István Majzik
Component-wise incremental LTL model checking. Formal Aspects Comput. 28 (3) (2016)
Vince Molnár, Dániel Darvas, András Vörös, Tamás Bartha
Saturation-Based Incremental LTL Model Checking with Inductive Proofs. TACAS (2015)