Vojnar Tomáš

Titulů autora (8)

• Analysis and testing of concurrent programs

  monograph

  Tištěná kniha

  Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš

  Vysoké učení technické v Brně

  2012

  978-80-214-4464-5 (brož.)

• Harnessing forest automata for verification of heap manipulating programs

  monograph

  Tištěná kniha

  Šimáček Jiří, Vojnar Tomáš

  Vysoké učení technické v Brně

  2012

  978-80-214-4653-3 (brož.)

• Relational verification of programs with integer data

  monograph

  Tištěná kniha

  Radu Iosif, Konečný Filip, Vojnar Tomáš

  Vysoké učení technické v Brně

  2012

  978-80-214-4654-0 (brož.)

• Řešení problémů spojených se složitostí a nerozhodnutelností automatizované verifikace počítačových systémů

  Tištěná kniha

  Vojnar Tomáš, Vysoké učení technické v Brně. Ústav inteligentních systémů

  Vysoké učení technické v Brně

  2011

  978-80-214-4251-1 (brož.)

• Simulations and antichains for efficient handling of finite automata

  monograph

  Tištěná kniha

  Holík Lukáš, Vojnar Tomáš

  Vysoké učení technické v Brně

  2010

  978-80-214-4217-7 (brož.)

• Verification of asynchronous and parametrized hardware designs

  monograph

  Tištěná kniha

  Smrčka Aleš, Vojnar Tomáš

  Vysoké učení technické v Brně

  2010

  978-80-214-4214-6 (v knize neuvedeno ; brož.)

• Infinity'08

  10th International Workshop on Verification of Infinite-State Systems : a satellite workshop of Concur'08 : [preliminary proceedings] : Toronto, Canada, August 23, 2008

  Tištěná kniha

  Habermehl Peter, Vojnar Tomáš

  Vysoké učení technické v Brně

  2008

  978-80-214-3697-8 (kroužková vazba)

• Cut-offs and automata in formal verification of infinite-state systems

  habilitation thesis

  Tištěná kniha

  Vojnar Tomáš, Vysoké učení technické v Brně. Fakulta informačních technologií

  Vysoké učení technické v Brně

  2007

  978-80-214-3547-6 (brož.)