Shmuel S. Tyszberowicz

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 Mihai Herda

> Home > Persons > Shmuel S. Tyszberowicz

Publications

2020
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/BeckertHKT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BeckertHKT20
Bernhard Beckert, Mihai Herda, Michael Kirsten, Shmuel S. Tyszberowicz:
Integration of Static and Dynamic Analysis Techniques for Checking Noninterference. 20 Years of KeY 2020: 287-312
2019
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/HerdaTMB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/HerdaTMB19
Mihai Herda, Shmuel S. Tyszberowicz, Joachim Müssig, Bernhard Beckert:
Verification-based test case generation for information-flow properties. SAC 2019: 2231-2238
2018
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/HerdaTB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/HerdaTB18
Mihai Herda, Shmuel S. Tyszberowicz, Bernhard Beckert:
Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties. TAP@STAF 2018: 83-102
2016
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/LiuTHBGT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/LiuTHBGT16
Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri:
Computing Specification-Sensitive Abstractions for Program Verification. SETTA 2016: 101-117

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.