Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Gidon Ernst

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 Dominik Haneberg

> Home > Persons > Gidon Ernst

Publications

2015
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ErnstPSHR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ErnstPSHR15
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif:
KIV: overview and VerifyThis competition. Int. J. Softw. Tools Technol. Transf. 17(6): 677-694 (2015)
2014
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/SchellhornEPHR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/SchellhornEPHR14
Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif:
Development of a Verified Flash File System. ABZ 2014: 9-24
2013
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/PfahlerESHR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/PfahlerESHR13
Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif:
Formal Specification of an Erase Block Management Layer for Flash Memory. Haifa Verification Conference 2013: 214-229
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ErnstSHPR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ErnstSHPR13
Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif:
Verification of a Virtual Filesystem Switch. VSTTE 2013: 242-261
2012
[c7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6187
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6187
Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif:
A Formal Model of a Virtual Filesystem Switch. SSV 2012: 33-45
2011
[c5]
- view
- export record
  dblp key:
  - conf/gi/HanebergJSRE11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/HanebergJSRE11
Dominik Haneberg, Maximilian Junker, Gerhard Schellhorn, Wolfgang Reif, Gidon Ernst:
Simulating a Flash File System with CoreASM and Eclipse. GI-Jahrestagung 2011: 355

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.