+ 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 …
The paper “Simulink Design Verifier vs. SPIN – A Comparative Case Study” which was joint work with Stefan Leue and was presented at FMICS 08 is now available online.The paper is more or less a summary of my bachelor thesis.
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 bachelor thesis “Evaluation of the Matlab Simulink Design verifier vs. the model checker SPIN” is now available online at http://www.ub.uni-konstanz.de/kops/volltexte/2008/6125/
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, …
According to the blog statistics, the majority of my readers are speaking English. That’s why I decided to write all new posts in English, thus more of you can understand what I write.
Mit Lizenzen ist es wohl wie mit jedem anderen Rechtsdokument, wer sie verstehen will muss ganz genau lesen… Für diejenigen die nur einen kurzen Überblick haben wollen, empfehle ich diese Seite http://www.codeproject.com/info/Licenses.aspx
Das kommt davon, wenn man zu viele Sachen auf einmal macht. Gerade ebene habe ich die MySQL Datenbank in der die Daten dieses Blogs sind gelöscht. (Eigentlich wollte ich die Datenbank direkt darunter löschen). Damit habe ich das Blog nun wieder in den Stand vor Weihnachten 2007 versetzt den da habe ich das letzte Backup …
Es ist einfach lästig, wenn man immer zwischen Dreamweaver und TortoiseSVN hin und her springen muss. SubWeaver schafft hier Abhilfe, das Addin für Dreamweaver, integriert Tortoise SVN in Dreamweaver so das man dort direkt commiten kann. Und das Beste ist, SubWeaver ist absolut umsonst.
Gestern habe ich mal wieder eine neue Domain registriert und wie immer, bekam ich auch heute noch die Meldung “Host nicht gefunden”. Daraufhin ein kurzer Test von einem meiner Server zeigte, dass das Problem am DNS Cache meines Rechners liegen muss. Hier nun eine kurze Anleitung wie man unter Windows Vista bzw. Windows XP den …
