Tomás Vojnar

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Vendula Hrubá

> Home > Persons > Tomás Vojnar

Publications

2015
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/FiedorHKLUV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/FiedorHKLUV15
Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar:
Advances in noise-based testing of concurrent software. Softw. Test. Verification Reliab. 25(3): 272-309 (2015)
2014
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/HrubaKLPV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/HrubaKLPV14
Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Hana Pluhácková, Tomás Vojnar:
Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. SSBSE 2014: 107-122
2012
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/HrubaKLUV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/HrubaKLUV12
Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar:
Testing of Concurrent Programs Using Genetic Algorithms. SSBSE 2012: 152-167
2011
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/FiedorHKV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FiedorHKV11
Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Tomás Vojnar:
DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. RV 2011: 375-380
2009
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/HrubaKV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/HrubaKV09
Vendula Hrubá, Bohuslav Krena, Tomás Vojnar:
Self-healing Assurance Based on Bounded Model Checking. EUROCAST 2009: 295-303

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.