Ugrás a tartalomra

Publikációk

Kiválasztás törlése
2016

In: Application and Theory of Petri Nets and Concurrency Lecture Notes in Computer Science (9698) Springer International Publishing, Cham (Svájc), pp. 123-132.

PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research

Szerzők
Vörös, András
Darvas, Dániel
Molnár, Vince
Klenik, Attila
Hajdu, Ákos
Bartha, Tamás
Majzik, István
Szerkesztők
Kordon, Fabrice
Moldt, Daniel
Tovább
2016

FORMAL ASPECTS OF COMPUTING, 28 (3)., pp. 345-379. ISSN 0934-5043

Component-wise incremental LTL model checking

Szerzők
Molnár, Vince
Vörös, András
Darvas, Dániel
Bartha, Tamás
Majzik, István
Tovább
2016

ACTA CYBERNETICA-SZEGED, 22 (3)., pp. 573-589. ISSN 0324-721X

Improving Saturation-based Bounded Model Checking

Szerzők
Darvas, Dániel
Vörös, András
Bartha, Tamás
Tovább
2013-03

Proceedings of the Estonian Academy of Sciences, 62 (1)., pp. 59-70.

Bounded saturation-based CTL model checking

Szerzők
Vörös, András
Darvas, Dániel
Bartha, Tamás
Tovább
2013

In: Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, 2013-08-26 - 2013-08-27, Szeged, Magyarország.

Extensions to the CEGAR Approach on Petri Nets

Szerzők
Hajdu, Ákos
Vörös, András
Bartha, Tamás
Mártonka, Zoltán
Szerkesztők
Kiss, Ákos
Kiss, Ákos
Tovább
2013

In: Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, 2013-08-26 - 2013-08-27, Szeged, Magyarország.

Efficient Saturation-based Bounded Model Checking of Asynchronous Systems

Szerzők
Darvas, Dániel
Vörös, András
Bartha, Tamás
Szerkesztők
Kiss, Ákos
Kiss, Ákos
Tovább