Tams Tth
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2005–2017
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | FMCAD | Theta: A framework for abstraction refinement-based model checking. | Tams Tth, kos Hajdu, Andrs Vrs, Zoltn Micskei, Istvn Majzik |
| 2016 | FORTE | A Configurable CEGAR Framework with Interpolation-Based Refinements. | kos Hajdu, Tams Tth, Andrs Vrs, Istvn Majzik |
| 2014 | SAFECOMP | Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics. | Tams Tth, Andrs Vrs |
| 2013 | DEPCoS | K-Induction Based Verification of Real-Time Safety Critical Systems. | Tams Tth, Andrs Vrs, Istvn Majzik |
| 2005 | CAIP | Neighborhood Sequences and Their Applications in the Digital Image Processing. | Attila Fazekas, Andrs Hajdu, Istvn Snta, Tams Tth |