During the last years I learned a lot about what it means to run a business, there are on the one hand dww-desing.net and the PartyMe.de and on the other hand my internship at TRW.I found it really interesting not to focus only on the technology side but to see also the management side of …
+ 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.
