Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Leonid Ryzhyk

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 Sidney Amani

> Home > Persons > Leonid Ryzhyk

Publications

2014
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sigops/KellerMAOCRKH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigops/KellerMAOCRKH14
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser:
File systems deserve verification too! ACM SIGOPS Oper. Syst. Rev. 48(1): 58-64 (2014)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigops/AmaniCDLORZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigops/AmaniCDLORZ14
Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk, Yanjin Zhu:
Automatic verification of active device drivers. ACM SIGOPS Oper. Syst. Rev. 48(1): 106-118 (2014)
2013
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/KellerMAOCRKH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/KellerMAOCRKH13
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser:
File systems deserve verification too! PLOS@SOSP 2013: 1:1-1:7
2012
[c10]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6185
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6185
Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Leonid Ryzhyk, Yanjin Zhu:
Automatic Verification of Message-Based Device Drivers. SSV 2012: 4-17
2011
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/apsys/AmaniRDHLZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsys/AmaniRDHLZ11
Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu:
Static analysis of device drivers: we can do better! APSys 2011: 8

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.