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

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

Comparing the Usability of Cryptographic APIs Yasemin Acar, Michael Backes, Sascha Fahl, Simson Garfinkel∗ , Doowon Kim† , Michelle L. Mazurek† , and Christian Stransky CISPA, Saarland University; ∗ National Inst

Source URL: www.ieee-security.org

• Cryptography
• Cryptographic software
• Technical communication
• E-commerce
• Microsoft CryptoAPI
• Public-key cryptography
• Key
• Usability
• RSA
• Application programming interface
• Symmetric-key algorithm
• OpenSSL

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.voxlatina.uni-saarland.de

PDF Document

Source URL: www.sps.cs.uni-saarland.de

PDF Document

Source URL: www.saarland.de

PDF Document

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

PDF Document

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

PDF Document

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