
SE4SG Workshop Report
Yesterday the ICSE workshop on software engineering challenges for the smart grid was held at the University of Zurich. It was a great event providing fertile g...
Large-scale, reliable, and maintainable software engineering solutions solving complex multi-component operational challenges.

Yesterday the ICSE workshop on software engineering challenges for the smart grid was held at the University of Zurich. It was a great event providing fertile g...

The event is approaching: Tomorrow at 11:59 AM the train is leaving to Zurich, Switzerland, where the 34th International Conference on Software Engineering is h...

I am happy to announce that my colleagues Maximilian Irlbeck, Vasileios Koutsoumpas, Denis Bytschkow and I successfully published a paper on applying formal sof...

After another year of up-time it was time to revise some parts of the blog implementation. Originally, I did not pay much attention to the file structure. Howev...

One problem computer science has compared to many other technical disciplines such as physics or architecture is to create and communicate mental pictures of th...

Since I have been asked for the code behind some articles, I decided to put online a separate website for public tracking and distributing the software projects...