Quantcast
Channel: Study – Dr.-Ing. Florian Leitner-Fischer
Browsing all 5 articles
Browse latest View live

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 Article



Bachelor 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 Article

Simulink 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 Article

Quantitative 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 Article

Sharpen 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

Browsing all 5 articles
Browse latest View live




Latest Images