Items where Author is "Vörös, András"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | No Grouping
Number of items: 12.

2011

DateAuthor/TitleDocument Type
2011Vörös, András and Darvas, Dániel and Bartha, Tamás
Bounded saturation based CTL model checking
Book Section
2011Vörös, András and Szabo, Tamás and Jámbor, Attila and Darvas, Dániel and Horváth, Ákos and Bartha, Tamás
Parallel saturation based model checking
Book Section

2012

DateAuthor/TitleDocument Type
2012Bartha, Tamás and Vörös, András and Jámbor, Attila and Darvas, Dániel
Verification of an industrial safety function using coloured Petri nets and model checking
Book Section

2013

DateAuthor/TitleDocument Type
2013-03Vörös, András and Darvas, Dániel and Bartha, Tamás
Bounded saturation-based CTL model checking
Article
2013Darvas, Dániel and Vörös, András and Bartha, Tamás
Efficient Saturation-based Bounded Model Checking of Asynchronous Systems
Conference or Workshop Item
2013Hajdu, Ákos and Vörös, András and Bartha, Tamás and Mártonka, Zoltán
Extensions to the CEGAR Approach on Petri Nets
Conference or Workshop Item

2014

DateAuthor/TitleDocument Type
2014Hajdu, Ákos and Vörös, András and Bartha, Tamás and Mártonka, Zoltán
Extensions to the CEGAR Approach on Petri Nets
Article

2015

DateAuthor/TitleDocument Type
2015Hajdu, Ákos and Vörös, András and Bartha, Tamás
New Search Strategies for the Petri Net CEGAR Approach
Book Section
2015Molnár, Vince and Darvas, Dániel and Vörös, András and Bartha, Tamás
Saturation-based incremental LTL model checking with inductive proofs
Book Section

2016

DateAuthor/TitleDocument Type
2016Molnár, Vince and Vörös, András and Darvas, Dániel and Bartha, Tamás and Majzik, István
Component-wise incremental LTL model checking
Article
2016Darvas, Dániel and Vörös, András and Bartha, Tamás
Improving Saturation-based Bounded Model Checking
Article
2016Vörös, András and Darvas, Dániel and Molnár, Vince and Klenik, Attila and Hajdu, Ákos and Bartha, Tamás and Majzik, István
PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research
Book Section
This list was generated on Sun Oct 13 03:17:09 2024 CEST.