Tamás Tóth

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 13

Top Topics

Formal Verification

Satisfiability Modulo Theories

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Manuel Goyanes, Tamás Tóth, Gergo Háló
Gender differences in google scholar representation and impact: an empirical analysis of political communication, journalism, health communication, and media psychology. Scientometrics 129 (3) (2024)
Tamás Tóth, Márton Demeter, Sándor Csuhai, Zsolt Balázs Major
When career-boosting is on the line: Equity and inequality in grant evaluation, productivity, and the educational backgrounds of Marie Skłodowska-Curie Actions individual fellows in social sciences and humanities. J. Informetrics 18 (2) (2024)
Manuel Goyanes, Márton Demeter, Aurea Grané, Tamás Tóth, Homero Gil de Zúñiga
Research patterns in communication (2009-2019): testing female representation and productivity differences, within the most cited authors and the field. Scientometrics 128 (1) (2023)
Tamás Tóth, István Majzik
Configurable verification of timed automata with discrete variables. Acta Informatica 59 (1) (2022)
Zoltán Sebestyén, Tamás Tóth
Integrated Controlling Tool with Plan-fact Analysis. IEEM (2018)
Rebeka Farkas, Tamás Tóth, Ákos Hajdu, András Vörös
Backward Reachability Analysis for Timed Automata with Data Variables. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
Tamás Tóth, István Majzik
Lazy Reachability Checking for Timed Automata with Discrete Variables. SPIN (2018)
Tamás Tóth, István Majzik
Formal Verification of Real-Time Systems with Data Processing. Period. Polytech. Electr. Eng. Comput. Sci. 61 (2) (2017)
Bence Czipó, Ákos Hajdu, Tamás Tóth, István Majzik
Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers. FESCA@ETAPS (2017)
Gyula Sallai, Ákos Hajdu, Tamás Tóth, Zoltán Micskei
Towards Evaluating Size Reduction Techniques for Software Model Checking. VPT@ETAPS (2017)
Tamás Tóth, Ákos Hajdu, András Vörös, Zoltán Micskei, István Majzik
Theta: A framework for abstraction refinement-based model checking. FMCAD (2017)
Tamás Tóth, István Majzik
Lazy Reachability Checking for Timed Automata Using Interpolants. FORMATS (2017)
Ákos Hajdu, Tamás Tóth, András Vörös, István Majzik
A Configurable CEGAR Framework with Interpolation-Based Refinements. FORTE (2016)
Tamás Tóth, András Vörös, István Majzik
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol. SERENE (2015)
Tamás Tóth, András Vörös
Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics. SAFECOMP Workshops (2014)
Tamás Tóth, András Vörös, István Majzik
K-Induction Based Verification of Real-Time Safety Critical Systems. DepCoS-RELCOMEX (2013)
András Hajdu, Tamás Tóth
Approximating non-metrical Minkowski distances in 2D. Pattern Recognit. Lett. 29 (6) (2008)
András Hajdu, János Kormos, Tamás Tóth, Kristian Vereb
Applications of Neighborhood Sequence in Image Processing and Database Retrieval. J. Univers. Comput. Sci. 12 (9) (2006)
Attila Fazekas, András Hajdu, István Sánta, Tamás Tóth
Neighborhood Sequences and Their Applications in the Digital Image Processing. CAIP (2005)
Tamás Rapcsák, Zoltán Sági, Tamás Tóth, László Kétszeri
Evaluation of tenders in information technology. Decis. Support Syst. 30 (1) (2000)