Jörg Pfähler

15 papers B 1C 4Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2020 C conf
Adding Concurrency to a Sequential Refinement Tower.
ABZ
Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler, Wolfgang Reif
2018 — —
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems.
Jörg Pfähler
2018 J jnl
Symbolic execution for a clash-free subset of ASMs.
Sci. Comput. Program.
Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Stefan Bodenmüller, Wolfgang Reif
2017 B conf
Modular Verification of Order-Preserving Write-Back Caches.
IFM
Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif
2016 C conf
A Relational Encoding for a Clash-Free Subset of ASMs.
ABZ
Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif
2016 J jnl
Modular, crash-safe refinement for ASMs with submachines.
Sci. Comput. Program.
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif
2015 — conf
Inside a Verified Flash File System: Transactions and Garbage Collection.
VSTTE
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif
2015 J jnl
KIV: overview and VerifyThis competition.
Int. J. Softw. Tools Technol. Transf.
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif
2014 C conf
Development of a Verified Flash File System.
ABZ
Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif
2014 C conf
Modular Refinement for Submachines of ASMs.
ABZ
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif
2014 J jnl
RGITL: A temporal logic framework for compositional reasoning about interleaved programs.
Ann. Math. Artif. Intell.
Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Jörg Pfähler, Wolfgang Reif
2013 J jnl
Compositional Verification of a Lock-Free Stack with RGITL.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Bogdan Tofan, Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif
2013 — conf
Formal Specification of an Erase Block Management Layer for Flash Memory.
Haifa Verification Conference
Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif
2013 — conf
Verification of a Virtual Filesystem Switch.
VSTTE
Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif
2012 — conf
A Formal Model of a Virtual Filesystem Switch
SSV
Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif