A Formal Model of a Virtual Filesystem Switch ∗ Gidon Ernst Gerhard Schellhorn Dominik Haneberg

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

• Computer architecture
• System software
• Computing
• C POSIX library
• System calls
• POSIX
• Network file systems
• Inode
• Andrew File System
• Stat
• File system
• Virtual file system

Universitätsbibliothek KaiserslauternKLUEDO LeitlinienKLUEDO LeitlinienDer Dokumentenserver KLUEDO der Technischen Universität Kaiserslautern

Source URL: kluedo.ub.uni-kl.de

* CTL synthesis via LTL synthesis

Source URL: www.react.uni-saarland.de

• Temporal logic
• Logic in computer science
• Computation tree logic
• Linear temporal logic
• CTL*

Flashix: Development of a Verified Flash File System G. Schellhorn G. Ernst, J. Pfähler, D. Haneberg, W. Reif Overview • Introduction: Flash Hardware and File Systems • Project Flashix: Approach & Tool Support:KIV

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

• Computer data storage
• Computing
• Non-volatile memory
• Computer memory
• Computer architecture
• Flash memory
• Wear leveling
• Solid-state drive
• Flash file system
• Dd
• Page

UPCOMING EVENTS 2018 Event Date Venue

Source URL: www.uni-global.eu

• World Congress on Intelligent Transport Systems
• Association of Architecture School Librarians

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

2013 IEEE 10th International Conference on Services Computing Design and Implementation of a Unified Network Information Service Ahmed El-Hassany∗ , Ezra Kissel∗ , Dan Gunter† , Martin Swany∗ , School of Inform

Source URL: people.ee.ethz.ch

• Computing
• Information and communications technology
• Data transmission
• Decentralization
• Local area networks
• Computer networking
• PerfSONAR
• Network architecture
• File sharing
• Computer network
• Network topology
• Distributed computing

Critical Constrained Planning and an Application to Network Penetration Testing Marcel Steinmetz Saarland University Saarbr¨ucken, Germany {steinmetz}@cs.uni-saarland.de

Source URL: icaps16.icaps-conference.org

• Search algorithms
• Theoretical computer science
• Heuristic
• State space search
• Mathematical optimization
• Algorithm
• Mathematics
• Philosophy of mathematics
• Cognitive science

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

SyGuS Techniques in the Core of an SMT Solver Andrew Reynolds SYNT Workshop July 22, 2017

Source URL: www.react.uni-saarland.de

• Theoretical computer science
• Logic in computer science
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories