Andreas Abel

Frequency-Domain Analysis Methods for Modelica Models

Andreas Abel, 2008 .

The Fault-Augmented Approach for the Systematic Simulation of Fault Behavior in Multi-Domain Systems in Aerospace

Maxim Andreev, Andreas Abel, Artem Kolesnikov, 2018 .

foetus - Termination Checker for Simple Functional Programs

Andreas Abel, 2002 .

Engine and Gearbox Modeling and Simulation for Improving the Shifting Behavior of Powertrains with Manual or Automated Transmission

Uwe Schreiber, Jens Schindler, Andreas Abel, 2006 .

Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors

Allon Adir, Lev Greenberg, Tamer Salman, 2013, Haifa Verification Conference.

Dataflow Framework for Checker Framework

Andreas Abel, Brandon Myers bdmyers, Andreas Abel, 2010 .

Session details: Verification of programming languages

Andreas Abel, 2013, PLPV 2013.

Modelling and Simulation of DCT Gearshifting for Real-Time and High-Fidelity Analysis

Jun Yan, Lionel Belmon, Andreas Abel, 2013 .