( en | de | ru )

 

Disambiguation of "Majzik, István"

Author of the publication

copydeleteadd this publication to your clipboard
Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models.

, , , , , and . Petri Nets, volume 9698 of Lecture Notes in Computer Science, page 281-300. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

István Erlich

István Lukács

István Szilágyi

István Futaky

István Lukács

 

Other publications of authors with the same name

A Configurable CEGAR Framework with Interpolation-Based Refinements., , , and . FORTE, volume 9688 of Lecture Notes in Computer Science, page 158-174. Springer, (2016)Model-based Integration Framework for Development and Testing Tool-chains., , and . FORMS/FORMAT, page 227-235. Springer, (2010)Configurable verification of timed automata with discrete variables., and . Acta Informatica, 59 (1): 1-35 (2022)Software Monitoring and Debugging Using Compressed Signature Sequences.. EUROMICRO, page 311-318. IEEE Computer Society, (1996)System architecture synthesis for performability by logic solvers., , , and . MoDELS, page 43-54. ACM, (2022)From assessment to standardised benchmarking: Will it happen? What could we do about it?, and . DSN, page 295-296. IEEE Computer Society, (2009)Getting the Priorities Right: Saturation for Prioritised Petri Nets., , , and . Petri Nets, volume 10258 of Lecture Notes in Computer Science, page 223-242. Springer, (2017)Design and Analysis of Fault Tolerant Architectures by Model Weaving., and . HASE, page 15-24. IEEE Computer Society, (2005)Robustness Testing Techniques and Tools., , , , , and . Resilience Assessment and Evaluation of Computing Systems, Springer, (2012)Conformance checking for programmable logic controller programs and specifications., , and . SIES, page 29-36. IEEE, (2016)