GUT I M B I LD SEI N Kurse, Themen und Termine im Haus Gutenberg Was bleibt! Bleibt etwas? Zum 200. Geburtstag von Karl Marx. mit Wolfgang Palaver & Wilfried Marxer

Source URL: www.haus-gutenberg.li

Modular, Crash-Safe Refinement for ASMs with Submachines Gidon Ernsta , J¨ org Pf¨ahlera , Gerhard Schellhorna , Wolfgang Reifa a Institute

Source URL: www.isse.uni-augsburg.de

• Formal methods
• Theoretical computer science
• Software engineering
• Mathematics
• Predicate transformer semantics
• Refinement
• Abstract state machines
• NC
• 120-cell
• Cover

Verification of a Virtual Filesystem Switch ? Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J¨org Pf¨ahler, and Wolfgang Reif

Source URL: www.isse.uni-augsburg.de

• Computer architecture
• Computing
• System software
• C POSIX library
• System calls
• POSIX
• Read
• Open
• File descriptor
• Virtual file system
• UBIFS
• Close

Formal Specification of an Erase Block Management Layer for Flash Memory ? J¨ org Pf¨ ahler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif

Source URL: www.isse.uni-augsburg.de

• Computer data storage
• Computing
• Computer memory
• System software
• Non-volatile memory
• Embedded Linux
• UBIFS
• Flash memory
• Memory Technology Device
• Flash file system
• Wear leveling
• Data

A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst,

Source URL: www.isse.uni-augsburg.de

• Functional predicate
• Model theory
• Symbol
• Limit of a function
• Universal quantification
• Mathematical logic
• Mathematics
• Logic

Symbolic Execution for a Clash-Free Subset of ASMs ? Gerhard Schellhorna , Gidon Ernsta , J¨org Pf¨ahlera , Stefan Bodenm¨ ullera , a Wolfgang Reif a Institute

Source URL: www.isse.uni-augsburg.de

Inside a Verified Flash File System: Transactions & Garbage Collection ? ?? Gidon Ernst, J¨ org Pf¨ ahler, Gerhard Schellhorn, and Wolfgang Reif Institute for Software and Systems Engineering

Source URL: www.isse.uni-augsburg.de

• Computer memory
• Computer data storage
• Embedded Linux
• Data management
• Computing
• Non-volatile memory
• Flash file system
• Flash memory
• Data
• UBIFS
• File system
• JFFS2

Development of a Verified Flash File System ? Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, Dominik Haneberg, and Wolfgang Reif

Source URL: www.isse.uni-augsburg.de

• System software
• Computer architecture
• Data management
• Embedded Linux
• Disk file systems
• LogFS
• Flash file system
• File system
• UBIFS
• Computer file
• NTFS
• File descriptor

PARITY SHEAVES AND THE HECKE CATEGORY GEORDIE WILLIAMSON Dedicated to Wolfgang Soergel, in admiration. “. . . we’re still using your imagination. . . ” (L. A. Murray)

Source URL: eta.impa.br

• Algebra
• Abstract algebra
• Mathematics
• Homological algebra
• Algebraic geometry
• Sheaf theory
• Cohomology theories
• Representation theory
• KazhdanLusztig polynomial
• tale cohomology
• Sheaf
• DeligneLusztig theory

GUT I M B I LD SEI N Kurse, Themen und Termine im Haus Gutenberg 2. Gutenberger Ethik-Forum mit Bundeskanzler a.D. Wolfgang Schüssel

Source URL: www.haus-gutenberg.li