E-LIB Suche - Ergebnisse für: Molnár, Vince

1

Theta: Abstraction Based Techniques for Verifying Concurren..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bajczi, Levente ; Telbisz, Csanád ; Somorjai, Márk... - p. 412-417 , 2024

Link: https://doi.org/10.1007/..

2

EmergenTheta: Verification Beyond Abstraction Refinement (C..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bajczi, Levente ; Szekeres, Dániel ; Mondok, Milán... - p. 371-375 , 2024

Link: https://doi.org/10.1007/..

3

Model-Based Testing of Asynchronously Communicating Distrib..:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Graics, Bence ; Mondok, Milán ; Molnár, Vince. - p. 23-44 , 2024

Link: https://doi.org/10.1007/..

4

Selected papers from the 25th Brazilian Symposium on Formal..:

Lima, Lucas ; Molnár, Vince
Science of Computer Programming. 238 (2024) - p. 103133 , 2024

Link: https://doi.org/10.1016/..

5

Pragmatic verification and validation of industrial executa..:

Horváth, Benedek ; Molnár, Vince ; Graics, Bence...
Systems Engineering. 26 (2023) 6 - p. 693-714 , 2023

Link: https://doi.org/10.1002/..

6

Component‐based specification, design and verification of a..:

Graics, Bence ; Molnár, Vince ; Majzik, István
Systems Engineering. 26 (2023) 5 - p. 567-589 , 2023

Link: https://doi.org/10.1002/..

7

Configurable Model-Based Test Generation for Distributed Co..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Graics, Bence ; Molnár, Vince ; Majzik, István - p. 76-95 , 2023

Link: https://doi.org/10.1007/..

8

Assessing the specification of modelling language semantics..:

Elekes, Márton ; Molnár, Vince ; Micskei, Zoltán
Software Quality Journal. 31 (2023) 2 - p. 575-617 , 2023

Link: https://doi.org/10.1007/..

9

Formal Methods: Foundations and Applications: 25th Brazilia..

Lecture Notes in Computer Science, 13768

Lima, Lucas ; Molnár, Vince - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

10

C for Yourself: Comparison of Front-End Techniques for Form..:

, In: 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE),

Bajczi, Levente ; Adam, Zsofia ; Molnar, Vince - p. 1-11 , 2022

Link: https://doi.org/10.1145/..

11

Theta: portfolio of CEGAR-based analyses with dynamic algor..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Ádám, Zsófia ; Bajczi, Levente ; Dobos-Kovács, Mihály.. - p. 474-478 , 2022

Link: https://doi.org/10.1007/..

12

C for yourself : comparison of front-end techniques for ..:

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

Bajczi, Levente ; Ádám, Zsófia ; Molnár, Vince - p. 1-11 , 2022

Link: https://dl.acm.org/doi/1..

13

Contract-Based Specification and Test Generation for Adapti..:

, In: Theory and Engineering of Dependable Computer Systems and Networks; Advances in Intelligent Systems and Computing,

Graics, Bence ; Molnár, Vince ; Majzik, István - p. 136-145 , 2021

Link: https://doi.org/10.1007/..

14

Model checking as a service : towards pragmatic hidden f..:

, In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,

Horváth, Benedek ; Graics, Bence ; Hajdu, Ákos... - p. 1-5 , 2020

Link: https://dl.acm.org/doi/1..

15

Mixed-semantics composition of statecharts for the componen..:

Graics, Bence ; Molnár, Vince ; Vörös, András..
Software and Systems Modeling. 19 (2020) 6 - p. 1483-1517 , 2020

Link: https://doi.org/10.1007/..