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....
View ArticleBachelor Thesis available online
My bachelor thesis “Evaluation of the Matlab Simulink Design verifier vs. the model checker SPIN” is now available online at http://www.ub.uni-konstanz.de/kops/volltexte/2008/6125/ The post Bachelor...
View ArticleSimulink Design Verifier vs. SPIN – A Comparative Case Study now available...
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...
View ArticleQuantitative Safety Analysis of UML Models
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...
View ArticleSharpen the Saw for Computer Scientists
It’s december and a new year will start a few days from now. It’s that time of the year where we think of thinks we want to achieve or do more often the next year. Often theses things include sports,...
View Article
More Pages to Explore .....