Management

Alexander Krauss

Alexander Krauss ist Business Unit Director bei QAware. Er verantwortet den technischen Erfolg von Projekten im Bereich der IT-Sicherheit, unter anderem bei dem Kunden Deutsche Telekom. Alexander Krauss hat an der TU München in Informatik promoviert und dort im Bereich Logik, Verifikation und Funktionale Programmierung geforscht und gelehrt. Seit Mitte 2011 ist er Mitarbeiter der QAware. Er ist überzeugt, dass ein System nur dann wartbar, performant und skalierbar sein kann, wenn es im Kern einfach ist.

Kategorie Fachartikel
Machine learning-based run-time anomaly detection in software systems: An industrial evaluation
Alexander Krauss
Kategorie
Kategorie Fachartikel
Partiality and recursion in interactive theorem provers: An overview
Alexander Krauss
Kategorie
Kategorie Fachartikel
Proof pearl: Regular expression equivalence and relation algebra
Alexander Krauss
Kategorie
Kategorie Fachartikel
Scalable LCF-style proof translation
Alexander Krauss
Kategorie
Kategorie Fachartikel
Data refinement in Isabelle/HOL
Alexander Krauss
Kategorie
Kategorie Vorträge
Invited Talk: Formalized Regular Expression Equivalence and Relation Algebra (in Isabelle/HOL)
Alexander Krauss
Kategorie
Kategorie Fachartikel
Monotonicity inference for higher-order formulas
Alexander Krauss
Kategorie
Kategorie Fachartikel
Termination of Isabelle functions via termination of rewriting
Alexander Krauss
Kategorie
Kategorie Fachartikel
Recursive definitions of monadic functions
Alexander Krauss
Kategorie
Kategorie Fachartikel
A mechanized translation from higher-order logic to set theory
Alexander Krauss
Kategorie
Kategorie Fachartikel
Partial and nested recursive function definitions in higher-order logic
Alexander Krauss
Kategorie
Kategorie Fachartikel
Imperative functional programming in Isabelle/HOL
Alexander Krauss
Kategorie
Kategorie Fachartikel
Pattern minimization problems over recursive data types
Alexander Krauss
Kategorie
Kategorie Fachartikel
Certified size-change termination
Alexander Krauss
Kategorie
Kategorie Fachartikel
Finding lexicographic orders for termination proofs in Isabelle/HOL
Alexander Krauss
Kategorie
Kategorie Fachartikel
Partial recursive functions in higher-order logic
Alexander Krauss
Kategorie
Zurück