It has been a while since the last time I posted a blog post here. The reasons have been manyfold and include becoming a father for the first time, starting a job in industry while finishing up my PhD thesis and moving to a new house and all that at almost the exact same time …
My master’s thesis is now available online here. Abstract When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult …
Der Umzug rückt immer näher und so müssen auch die ein oder anderen Sachen angeschafft werden. Bisher habe ich über meinen PC mit 24”-LCD Monitor von Dell ferngesehen. Hierzu habe ich ein Hauppauge PVR903C TV-Stick und Windows Media Center verwendet. Das ganze klappt zwar ganz gut aber für das neue Wohnzimmer musste auf jeden Fall …
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 …
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 …
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 …
