( en | de | ru )

 

Disambiguation of "Tóth, Tamás"

Author of the publication

copydeleteadd this publication to your clipboard
A Configurable CEGAR Framework with Interpolation-Based Refinements.

, , , and . FORTE, volume 9688 of Lecture Notes in Computer Science, page 158-174. Springer, (2016)

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

Applications of Neighborhood Sequence in Image Processing and Database Retrieval., , , and . J. Univers. Comput. Sci., 12 (9): 1240-1253 (2006)Research patterns in communication (2009-2019): testing female representation and productivity differences, within the most cited authors and the field., , , , and . Scientometrics, 128 (1): 137-156 (January 2023)Lazy Reachability Checking for Timed Automata with Discrete Variables., and . SPIN, volume 10869 of Lecture Notes in Computer Science, page 235-254. Springer, (2018)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 Using Interpolants., and . FORMATS, volume 10419 of Lecture Notes in Computer Science, page 264-280. Springer, (2017)Abstraction Refinement-Based Verification of Timed Automata. Budapest University of Technology and Economics, Hungary, (2021)Integrated Controlling Tool with Plan-fact Analysis., and . IEEM, page 731-735. IEEE, (2018)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)Formal Verification of Real-Time Systems with Data Processing., and . Period. Polytech. Electr. Eng. Comput. Sci., 61 (2): 166-174 (2017)