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

Constraint Programming for Hierarchical Resource Allocation Alexander Schiendorfer Institute for Software & Systems Engineering, University of Augsburg {alexander.schiendorfer}@informatik.uni-augsburg.de

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

• Constraint satisfaction
• Computing
• Local consistency
• Mathematical optimization
• Constraint
• Comet
• Constraint optimization
• Constraint programming
• Software engineering
• Computer programming

¨ t Augsburg Universita Report on the RS 3 Topic Workshop “Security Properties in Software Engineering”

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

• Software requirements
• Requirement

¨ t Augsburg Universita Model-Driven Code Generation for Information Flow Secure Systems with IFlow

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

• UML diagrams
• Diagrams
• Knowledge representation
• Class diagram
• Stereotype
• MagicDraw
• Eclipse
• ECO
• Automatic programming
• Software
• Computing
• Unified Modeling Language

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

¨ t Augsburg Universita Formal Verification of Information Flow Secure Systems with IFlow

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

• Software engineering
• Design
• Diagrams
• Automata theory
• Models of computation
• Class diagram
• Stereotype
• Activity diagram
• Sequence diagram
• UML diagrams
• Unified Modeling Language
• Data modeling

Warum Markenführung in der IT wesentlich ist Wie Sie sich mit Ihrer B2B Brand erfolgreich gegen die Austauschbarkeit in der IT positionieren Ekkehard Schmider

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

SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif

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

• Ubiquitous computing
• Abstract state machines
• Java Card
• Espionage
• Cryptographic protocol
• Augsburg
• Cryptography
• Subscriber identity module
• Security
• Smart cards
• Computing
• ISO standards

U N P R O J E T D E L’ O F F I C E F É D É R A L D E L’ E N V I R O N N E M E N T, D E S F O R Ê T S E T D U PAYS A G E M O N I TO R I N G D E L A B I O D I V E R S I T É EN SU ISSE Nos biologistes de terrain r

Source URL: www.biodiversitymonitoring.ch