Items where Author is "Darvas, Dániel"
 | Up a level |
Number of items: 9.
Article
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2016 | Molná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 |
| 2016 | Darvas, Dániel and Vörös, András and Bartha, Tamás Improving Saturation-based Bounded Model Checking | Article | |
| 2013-03 | Vörös, András and Darvas, Dániel and Bartha, Tamás Bounded saturation-based CTL model checking | | Article |
Book Section
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2016 | Vö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 | |
| 2015 | Molná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 | |
| 2012 | Bartha, 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 |
| 2011 | Vörös, András and Darvas, Dániel and Bartha, Tamás Bounded saturation based CTL model checking | | Book Section |
| 2011 | Vö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 |
Conference or Workshop Item
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2013 | Darvas, 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 |
