Dniel Darvas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2011–2016
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | INDIN | PLC code generation based on a formal specification language. | Dniel Darvas, Enrique Blanco Viuela, Istvn Majzik |
| 2016 | IFM | Formal Verification of Safety PLC Based Control Software. | Dniel Darvas, Istvn Majzik, Enrique Blanco Viuela |
| 2015 | TACAS | Saturation-Based Incremental LTL Model Checking with Inductive Proofs. | Vince Molnr, Dniel Darvas, Andrs Vrs, Tams Bartha |
| 2014 | FORTE | Formal Verification of Complex Properties on PLC Programs. | Dniel Darvas, Borja Fernandez Adiego, Andrs Vrs, Tams Bartha, Enrique Blanco Viuela, Vctor M. Gonzlez Surez |
| 2011 | ISPDC | Parallel Saturation Based Model Checking. | Andrs Vrs, Tams Szab, Attila Jmbor, Dniel Darvas, kos Horvth, Tams Bartha |