Today I talked at the SPIN 2014 symposium in San Jose, CA about the SpinCause tool. The slides for my talk are available here. In this paper we present the SpinCause tool for causality checking of Promela and PRISM models. We give an overview of the capabilities of SpinCause and briefly sketch how the causality checking …
SPIN 2014 Talk: SpinCause: A Tool for Causality Checking Read More »
On Tuesday May 28th 2013 I gave a talk at the Alpine Verification Meeting in Trento Italy with the title “Recent Advances in Causality Checking”. Abstract: In recent work on the safety analysis of systems we have shown how causal relationships amongst events can be algorithmically inferred from probabilistic counterexamples and subsequently be mapped to fault …
AVM 2013 Talk: Recent Advances in Causality Checking Read More »
I will be speaking at the 3rd International Conference Applying ISO 26262 on Thursday March, 21 2013. The title of my talk is “Model-based Engineering and ISO26262” and I will talk about our experiences in using model-based engineering in an ISO 26262 context and lessons learned that we identified. If you are at the conference and …
Speaking at 3rd International Conference Applying ISO 26262 Read More »
I gave a talk on causality checking for complex system models at the VMCAI 2013 conference in Rome, Italy. The slides of my talk are available here. Abstract: With the increasing growth of the size and complexity of modern safety-critical systems, the demand for model based engineering methods that both help in architecting such systems …
Causality Checking for Complex System Models (Talk at VMCAI 2013) Read More »
I just discovered a great new (?) feature of Google Scholar called author profiles. There a two great benefits: You can “follow” authors and automatically get an email alert whenever they have published a paper, in my opinion a great way to keep track of what is going on in your research field. You can “follow” …
After many months of implementation and testing we finally released the DiPro tool for probabilistic counterexample generation tool. I will give a talk on DiPro’s features on the SPIN 2011 Workshop (July 14-15), co-located with CAV 2011 in Snowbird Utah. What is DiPro? Current stochastic model checkers do not make counterexamples for property violations readily …
DiPro – Directed Probabilistic Counterexample Generation Tool Released Read More »
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 …
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
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 of my bachelor thesis.
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/
