IFLOW - Developing Systems with Secure Information Flow Kuzman Katkalov, Wolfgang Reif, Kurt Stenzel Privacy in the Mobile Age • June 2010: “iPad app transmits login data in the clear” • Aug. 2010: “Leaky Apps

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

• Apple Inc.
• ITunes
• Cloud clients
• IOS
• IPhone
• Android
• IPad
• Mobile apps
• App Store
• Computing
• Smartphones
• Software

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

• Computing
• Non-volatile memory
• Flash memory
• Solid-state drive
• Wear leveling
• Page
• Write amplification
• TRIM
• Computer hardware
• Computer memory
• Flash file systems

Verification of a Virtual Filesystem Switch Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {ernst,sch

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

• Computing
• POSIX
• Virtual file system
• File descriptor
• Read
• Close
• UBIFS
• Open
• Write
• C POSIX library
• System software
• Software

Synthesis and Abstraction of Constraint Models for Hierarchical Resource Allocation Problems Alexander Schiendorfer, Jan-Philipp Stegh¨ ofer, Wolfgang Reif Resource Allocation Problems (RAP)

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

• Computer programming
• Mathematical optimization
• Convex optimization
• Linear programming
• Applied mathematics
• Constraint
• Operations research
• Constraint programming
• Software engineering

identity-management Reif für die Praxis Identity-Management und speziell dessen Unterbereiche Identity Federation, Provisioning und mobile Datensicherheit mausern sich 2005 zu Mainstream-Themen. In verwandte Bereiche w

Source URL: www.wirtschaft.bfh.ch

www. «Reif für die Pinsel» .ch

Source URL: 217.193.166.234

Pferde stehlen, Bäume ausreißen. GesMo! Das Programm zur Gesunderhaltung und Motivation von Mitarbeitern. Sind Sie und Ihre Mitarbeiter reif

Source URL: www.raumplan.net

A Practical Course on KIV Gidon Ernst Wolfgang Reif Dominik Haneberg

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

• Metalogic
• Natural deduction
• Sequent
• First-order logic
• Model theory
• Logic
• Mathematical logic
• Proof theory

2014 IEEE 26th International Conference on Tools with Artificial Intelligence Quality over Quantity in Soft Constraints Alexander Knapp, Alexander Schiendorfer, Wolfgang Reif Institute for Software & Systems Engineering

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

• Constraint optimization
• Local consistency
• Semiring
• Constraint satisfaction
• Artificial intelligence
• Mathematics
• Constraint inference
• Constraint programming
• Computing
• Constraint satisfaction problem

www. “Reif für die Pinsel” .ch

Source URL: 217.193.166.234