English Posts

Merry Christmas!

+ XXX XXXXX XXXXXXX XXXXXXXXX “BUON ANNO” “JOYEUX NOEL” “VESELE VANOCE” “MELE KALIKIMAKA” “NODLAG SONA DHUIT” “BLWYDDYN NEWYDD DDA” “GOD JUL” “FELIZ NATAL” “BOAS FESTAS” “FELIZ NAVIDAD” “MERRY CHRISTMAS” “KALA CHRISTOUGENA” “VROLIJK KERSTFEEST” “FRÖHLICHE WEIHNACHTEN” “BUON NATALE-GODT NYTAR” “HUAN YING SHENG TAN CHIEH” “WESOLYCH SWIAT-SRETAN BOZIC” “MOADIM LESIMHA-LINKSMU KALEDU” “HAUSKAA JOULUA-AID SAID MOUBARK” “‘N PRETTIG …

Merry Christmas! Read More »

Driver of Fingerprint-Reader broken after Windows Update

Somehow the Driver for the fingerprint-reader of my HP Compaq 6910p got broken by a recently Windows Update.  One way to restore a broken driver is to restore Windows to a restore point. If you just want to restore the last driver version follow this instructions: Start > Control Panel > Type in the search …

Driver of Fingerprint-Reader broken after Windows Update Read More »

My first workshop paper

I recently finished my bachelor thesis and will present a part of it as a short paper at the 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS) in L’Aquila, Italy. Simulink Design Verifier vs. SPIN – A Comparative Case Study Florian Leitner and Stefan Leue Keywords State Space Exploration, Matlab Simulink, SPIN, …

My first workshop paper Read More »