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

Symbolic vs. Bounded Synthesis for Petri Games Bernd Finkbeiner1 , Manuel Gieseking2 , udiger Olderog2 Jesko Hecking-Harbusch1 , Ernst-R¨ 2 Carl

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

Deadline-Aware Multipath Communication: An Optimization Problem Laurent Chuat∗ , Adrian Perrig∗ , Yih-Chun Hu† of Computer Science, ETH Zurich, Switzerland † Department of Electrical and Computer Engineering, Uni

Source URL: www.netsec.ethz.ch

• Computing
• Information theory
• Information and communications technology
• Telecommunications engineering
• Data transmission
• Network performance
• Computer networking
• Internet architecture
• Multipath routing
• Transmission Control Protocol
• Packet loss
• Routing

The 4th Competition on Syntax-Guided Synthesis Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama

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

• Theoretical computer science
• Mathematics
• Logic
• Synthesis
• Satisfiability modulo theories
• Symbol
• Expression

A class of control certificates to ensure Reach-While-Stay for Switched Systems Hadi Ravanbakhsh and Sriram Sankaranarayanan Presented by Sergio Mover University of Colorado Boulder

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

• Control engineering
• Systems theory
• Systems science
• Control theory
• Cybernetics
• Computational mathematics
• Sliding mode control

PDF Document

Source URL: www.is.informatik.uni-duisburg.de

PDF Document

Source URL: static.uni-graz.at

PDF Document

Source URL: fiqt.uni.edu.pe

PDF Document

Source URL: www.ieg-maps.uni-mainz.de

PDF Document

Source URL: diffusion.uni-leipzig.de