Last night Nafees emailed the first pictures documenting the relief operation, that was supported by the money we gave.
Mar 04
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: Great FTP / SFTP client.
- FolderShare aka Windows Live Sync: Synchronize folders of windows PCs. It just simply works.
- Ultramon: If you have more then one monitor ultramon is a must have.
- Foxit Reader: Fast pdf reader, acrobat is just to slow.
- VLC Media Player: Greatest media player ever.
- Vista Codec Package: All codecs you need.
- Avast Antivirus Home: Free virus scan tool.
- Mozy: The simplest way to backup your data.
Feb 27
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 8 GB later)
Feb 23
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 Eric Ries where he writes about his experiences and mistakes he made while being CEO of several startups.
So … start reading and learning!
Feb 17
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 a business and since I always want to learn, I applied the following strategies to improve my management and entrepreneur skills:
Learn from Mistakes!
There is an old saying “The Best Teachers Are Your Own Mistakes”. So if you run your on business from time to time take a break and evaluate the decision you have made and think about what could have happened if you would have done something different. But at least some times it is also possible to learn from mistakes of others. There are different ways to learn from mistakes that other people make, but the first thing you have to do is to realize the mistakes.If you for example are an intern in a company, you always can observe the actions of your superiors and ask yourself the question “What would I have done at her / his place?” Or if you realize that some decisions turned out to be bad, you should ask yourself “Why where the decision bad?” and “Which decision would have been better?”
Read, Read and Read!
It’s like all other things if you want to learn something read not only one but many books or blogs or magazines and do not only consume what you read but try to challenge it!
Take Classes!
For me being a student, it is very easy to attend a strategic management or technology management seminar at the university but if you are not a student you still may have the chance to visit some classes, at least a lot of the German universities you can enroll as a extra-mural student. Some much for today, maybe I will write a bit more about this in a few days and give you some links to great blogs, books and other websites.
Jan 11
I installed Windows 7 on one of my older machines (Pentium IV with 2,4 Ghz, 1 GB RAM) and I really like it. It is faster then Vista and really nice to use. All hardware devices except for the ATI Radeon 9000 graphic card where ready to use right after the setup.
Dec 19
+
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 KERSTMIS”
“ONNZLLISTA UUTTA VUOTTA”
“Z ROZHDESTYOM KHRYSTOVYM”
“NADOLIG LLAWEN-GOTT NYTTSAR”
“FELIC NADAL-GOJAN KRISTNASKON”
“S NOVYM GODOM-FELIZ ANO NUEVO”
“GLEDILEG JOL-NOELINIZ KUTLU OLSUM”
“EEN GELUKKIG NIEUWJAAR-SRETAN BOSIC”
“KRIHSTLINDJA GEZUAR-KALA CHRISTOUGENA”
“SELAMAT HARI NATAL – LAHNINGU NAJU METU”
“SARBATORI FERICITE-BUON ANNO”
“ZORIONEKO GABON-HRISTOS SE RODI”
“BOLDOG KARACSONNY-VESELE VIANOCE ”
“MERRY CHRISTMAS – - HAPPY NEW YEAR”
“ROOMSAID JOULU PUHI -KUNG HO SHENG TEN”
“FELICES PASUAS-EIN GLUCKICHES NEWJAHR”
“PRIECIGUS ZIEMAN SVETKUS SARBATORI VESLLE”
“BONNE ANNEBLWYDDYN NEWYDD DDADRFELIZ NATAL”
XXXXX
XXXXX
XXXXX
Dec 05
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.
Oct 28
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 box "Device" >
Click Device Manager >
Click Personal identification devices > (Or any other device group)
Click Authentec ‘xxx’ > (Or any other device)
Go to tab Driver >
Click Roll back driver
Aug 02
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, Automotive SoftwareAbstract
An increasing number of industrial strength software design tools come along with verification tools that offer some property checking capabilities. On the other hand, there is a large number of general purpose model checking tools available. The question whether users of the industrial strength design tool preferably use the built-in state space exploration tool or a general purpose model checking tool arises quite naturally. Using the case study of an AUTOSAR compliant memory management module we compare the Simulink Design Verifier and the SPIN model checking tool in terms of their suitability to verify important correctness properties of this module. The comparison is both functional in that it analyzes the suitability to verify a set of basic system properties, and quantitative in comparing the computational efficiency of both tools.
