( en | de | ru )

 

Disambiguation of "Tóth, Tamás"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Evaluating Size Reduction Techniques for Software Model Checking.

, , , and . VPT@ETAPS, volume 253 of EPTCS, page 75-91. (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christine Tamásy

Ónodi Tamás

Nándor Tamáskovics

Erika Tamási

Markus Tamás

 

Other publications of authors with the same name

Abstraction Refinement-Based Verification of Timed Automata. Budapest University of Technology and Economics, Hungary, (2021)Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics., and . SAFECOMP Workshops, volume 8696 of Lecture Notes in Computer Science, page 207-218. Springer, (2014)Lazy Reachability Checking for Timed Automata with Discrete Variables., and . SPIN, volume 10869 of Lecture Notes in Computer Science, page 235-254. Springer, (2018)Lazy Reachability Checking for Timed Automata Using Interpolants., and . FORMATS, volume 10419 of Lecture Notes in Computer Science, page 264-280. Springer, (2017)Integrated Controlling Tool with Plan-fact Analysis., and . IEEM, page 731-735. IEEE, (2018)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., , , and . J. Informetrics, 18 (2): 101516 (2024)Theta: A framework for abstraction refinement-based model checking., , , , and . FMCAD, page 176-179. IEEE, (2017)A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol., , and . SERENE, volume 9274 of Lecture Notes in Computer Science, page 31-45. Springer, (2015)Towards Evaluating Size Reduction Techniques for Software Model Checking., , , and . VPT@ETAPS, volume 253 of EPTCS, page 75-91. (2017)Neighborhood Sequences and Their Applications in the Digital Image Processing., , , and . CAIP, volume 3691 of Lecture Notes in Computer Science, page 766-772. Springer, (2005)