E-LIB Suche - Ergebnisse für: Majzik, István

1

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

2

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

3

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

4

System architecture synthesis for performability by logic s..:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems,

Földiák, Máté ; Marussy, Kristóf ; Varró, Dániel. - p. 43-54 , 2022

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

5

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

6

Configurable verification of timed automata with discrete v..:

Tóth, Tamás ; Majzik, István
Acta Informatica. 59 (2020) 1 - p. 1-35 , 2020

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

7

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

8

Saturation Enhanced with Conditional Locality: Application ..:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,

Molnár, Vince ; Majzik, István - p. 342-361 , 2019

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

9

A Proposal of an Example and Experiments Repository to Fost..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice,

Schlick, Rupert ; Felderer, Michael ; Majzik, Istvan... - p. 249-272 , 2018

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

10

Industrial applications of the PetriDotNet modelling and an..:

Vörös, András ; Darvas, Dániel ; Hajdu, Ákos...
Science of Computer Programming. 157 (2018) - p. 17-40 , 2018

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

11

The Gamma statechart composition framework : Design, ver..:

, In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings,

Molnár, Vince ; Graics, Bence ; Vörös, András.. - p. 113-116 , 2018

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

12

Component-wise incremental LTL model checking:

Molnár, Vince ; Vörös, András ; Darvas, Dániel..
Formal Aspects of Computing. 28 (2016) 3 - p. 345-379 , 2016

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

13

Tool Support for Engineering Certifiable Software:

Gönczy, László ; Majzik, István ; Horváth, Akos...
Electronic Notes in Theoretical Computer Science. 238 (2009) 4 - p. 79-85 , 2009

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

14

An integrated framework for the dependability evaluation of..:

, In: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems,

Kovács, Máté ; Lollini, Paolo ; Majzik, István. - p. 29-38 , 2008

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

15

Methods of checking general safety criteria in UML statecha..:

Pap, Zsigmond ; Majzik, István ; Pataricza, András.
Reliability Engineering & System Safety. 87 (2005) 1 - p. 89-107 , 2005

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