Navigation

Contact

Head

Prof. Dr. M. Fränzle

D119/120 (OFFIS)

+49-441-9722 566

Office

Kathrin Kuper

D121 (OFFIS)

+49-441-9722 501

Fax: +49-441-9722 502

Technical reports

W. Damm, M. Fränzle, W. Hagemann, P. Kröger, A. Rakow: Justification Based Reasoning in Dynamic Conflict Resolution, 2019

Supplementary material

W. Damm, M. Fränzle, W. Hagemann, P. Kröger, A. Rakow: Justification Based Reasoning in Dynamic Conflict Resolution, Technical Report, 2019

S. Puch: Statistisches Model Checking mittels geführter Simulation im Kontext modellbasierter Entwicklung sicherheitskritischer Fahrerassistenzsysteme, Dissertation, to be submitted

S. Puch, M. Fränzle, und S. Gerwinn: Quantitative Risk Assessment of Safety-critical Systems via Guided Simulation for Rare Events, ISoLA 2018

S. Puch, B. Wortelen, M. Fränzle, und T. Peikenkamp: Evaluation of Drivers Interaction with Assistant Systems using Criticality Driven Guided Simulation, HCII 2013

S. Puch, B. Wortelen, M. Fränzle, und T. Peikenkamp: Using Guided Simulation to Improve a Model-Based Design Process of Complex Human Machine Systems, ESM 2012

HySAT

Solver

  • hysat-0.8.6.gz (2009-12-20) - statically linked binary for Linux.
    Please note that this version of HySAT is not based on Linear Programming, but on interval constraint propagation.
  • hysat-0.8.5w.zip (2019-12-20) - statically linked binary for Windows.

Manual

Sample input files

Bounded Model Checking

Optimisation

Talks

 

iSAT

The successor tool of HySAT, iSAT, is available via the websites of the SFB/TR 14 AVACS project and can be downloaded here.

iSAT3

The tool iSAT3 is a reimplementation of the SMT-solver iSAT. iSAT3 is available via the websites of the SFB/TR 14 AVACS project and can be downloaded here.

Webmveqqbastevdc/gr (hs/n6-webmakp2ster@inf1vxaorzg6mawnautik.uni-diftoldegk/r0nburgciw.de) (Changed: 2020-02-18)