Heute habe ich von Nafees eine eMail bekommen, in der über die aktuelle Lage informiert. I find the dictionary helpless to find words to thank you all for this sincere effort & generous donation. Today I spent all of my day at the two sites where we started to make scratch paper design for the …
Yesterday, on September the first I had my first work day as a PhD student and researcher staff member at the Chair for Software Engineering at the University Konstanz. My main research topics are the analysis of safety-critical systems, in particular probabilistic and stochastic analysis methods. I will also continue to work on QuantUM tool …
Gestern konnte ich Nafees mit Eurer Hilfe 1000 Euro überweisen. Vielen Dank an Alle die mitgemacht haben. Sobald ich von Nafees neue Informationen über die Lage und die Verwendung des Geldes bekomme werde ich hier wieder informieren. Und nochmals Vielen Dank!
Liebe Freunde, Die schweren Regenfälle in Pakistan haben nicht nur eine Flutkatastrophe unvorstellbaren Maßes, sondern auch eine humanitäre Katastrophe ausgelöst. Mehr als 20 Millionen Menschen sind von dieser Katastrophe betroffen. Ich stehe im Moment in Kontakt mit meinem aus Pakistan stammenden Arbeitskollegen. Er hat gerade seine Familie in Pakistan besucht als Pakistan von der Flutkatastrophe …
On saturday I will fly to Cape Town, South Africa, to attend the International Conference on Software Engineering. On May 3 I will present our paper “Directed and Heuristic Counterexample Generation for Probabilistic Model Checking – A Comparative Evaluation” at the First International workshop on Quantitative Stochastic Models in the Verification and Design of Software …
Our recently published case study “Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples” is the cover story over the newest issue of UNIKON the magazine of the University of Konstanz. Read the Article
On my Windows computers I use Notepad++ for editing text files like html, css, php and other script files. Now, that I’m using a MacBook Pro as work computer, I searched for an equivalent text editor. The features I need are: Freeware Syntax Highlighting Comparing Files Good Search / Replace capabilities After I tested a …
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: …
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 …
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 …
