Pictures from Pakistan
Last night Nafees emailed the first pictures documenting the relief operation, that was supported by the money we gave.
English Posts
Tool List
Yesterday I received my new quad core PC and I want to present a list of software tools that I don’t want to miss: Synergy: Enables you to share the keyboard and mouse with another PC via LAN. Notepad++: Great editor. ExpandDrive: Mount any folder that is accessibly via SSH as an network drive. Filezilla: …
Going Quad
On tuesday I orderd my new PC (or at least the components to build one ;))Here are the highlights: CPU: Intel® Core 2 Quad Q6600 Power Supply: be quiet! Straight Power BQT E6-400W Mainboard: Asrock G41M-LE HDD: Western Digital WD10EADS 1 TB RAM: 2 X Kingston ValueRAM DIMM 2 GB DDR2-800 (will be updated to …
Lessons Learned Blog
As I also wrote in my last post about improving management skills, learning from mistakes of other people is something you can and should do.In some companies you will find so called “lessons learned” databases where you can learn what mistakes other teams have made and how you can avoid them.Lessons Learned is the blog …
Improving your Management / Entrepreneur Skills
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 …
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 …
Simulink Design Verifier vs. SPIN – A Comparative Case Study now available online
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.
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, …
new blog language english
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.