QuantUM: Quantitative Safety Analysis of UML Models

by Florian Leitner-Fischer, Stefan Leue
Published 2011-07-01

A neuronal network model for simulating the effects of repetitive transcranial magnetic stimulation on local field potential power spectra.

by Alina Bey, Stefan Leue, Christian Wienbruch
Published 2012-01-01

Causality for General LTL-definable Properties

by Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue
Published 2019-01-01

Automated Predicate Abstraction for Real-Time Models

by Bahareh Badban, Stefan Leue, Jan-Georg Smaus
Published 2009-11-01

(De-)Composing Causality in Labeled Transition Systems

by Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi
Published 2016-08-01