Concepedia

Tomáš Vojnar

TV

22

Publications

700

Citations

15

H-Index

2004

Active since

Affiliations

Brno University of Technology(Current)

Université Paris Cité

Laboratoire d'Informatique Algorithmique: Fondements et Applications

Centre National de la Recherche Scientifique

Délégation Paris 7

Tomáš Vojnar is an author at Brno University of Technology specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsSoftware AnalysisVerificationProgram AnalysisAutomated ReasoningSoftware TestingSoftware Engineering

Publications per year

2004–2021

22

Publications

22

Programs with Lists Are Counter Automata

Ahmed Bouajjani, Marius Bozga, Peter Habermehl et al. · Lecture notes in computer science · 2006 · 96 citations · Full text

Logical Automaton, Engineering, Program Analysis +8

Abstract regular (tree) model checking

Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz et al. · International Journal on Software Tools for Technology Transfer · 2011 · 61 citations

Engineering, Automated Reasoning, Verification +7

Healing data races on-the-fly

Bohuslav Křena, Zdeněk Letko, Rachel Tzoref et al. · 2007 · 60 citations

Cluster Computing, Concurrent Software, Engineering +26

Regular Model Checking Using Inference of Regular Languages

Peter Habermehl, Tomáš Vojnar · Electronic Notes in Theoretical Computer Science · 2005 · 58 citations · Full text

Regular Model, Logical Automaton, Engineering +15

String constraints with concatenation and transducers solved efficiently

Lukáš Holík, Petr Janků, Anthony W. Lin et al. · Proceedings of the ACM on Programming Languages · 2017 · 57 citations · Full text

Mathematical Programming, Engineering, Verification +23

Rows per page

1–5 of 22