Items where Author is "Darvas, Dániel"

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: 9.
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
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
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
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
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
This list was generated on Thu Mar 28 03:06:40 2024 CET.