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 Jörg Pfähler

> Home > Persons > Gidon Ernst

Publications

2018
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/SchellhornEPBR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SchellhornEPBR18
Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Stefan Bodenmüller, Wolfgang Reif:
Symbolic execution for a clash-free subset of ASMs. Sci. Comput. Program. 158: 21-40 (2018)
2017
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/PfahlerEBSR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/PfahlerEBSR17
Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif:
Modular Verification of Order-Preserving Write-Back Caches. IFM 2017: 375-390
2016
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ErnstPSR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ErnstPSR16
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif:
Modular, crash-safe refinement for ASMs with submachines. Sci. Comput. Program. 131: 3-21 (2016)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/SchellhornEPR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/SchellhornEPR16
Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif:
A Relational Encoding for a Clash-Free Subset of ASMs. ABZ 2016: 237-243
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)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ErnstPSR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ErnstPSR15
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif:
Inside a Verified Flash File System: Transactions and Garbage Collection. VSTTE 2015: 73-93
2014
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/SchellhornTEPR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/SchellhornTEPR14
Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Jörg Pfähler, Wolfgang Reif:
RGITL: A temporal logic framework for compositional reasoning about interleaved programs. Ann. Math. Artif. Intell. 71(1-3): 131-174 (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
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ErnstPSR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ErnstPSR14
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif:
Modular Refinement for Submachines of ASMs. ABZ 2014: 188-203
2013
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/TofanSEPR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/TofanSEPR13
Bogdan Tofan, Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif:
Compositional Verification of a Lock-Free Stack with RGITL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (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

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.