Concepedia

Erika Ábrahám

EÁ

24

Publications

1.2K

Citations

19

H-Index

2002

Active since

Affiliations

RWTH Aachen University(Current)

University of Colorado Boulder

Christian-Albrechts-Universität zu Kiel

University of Oslo

University of Freiburg

Erika Ábrahám is an author at RWTH Aachen University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationVerificationComputer EngineeringAutomated ReasoningProgram AnalysisNumerical Analysis

Publications per year

2002–2024

24

Publications

24

The Scalasca performance toolset architecture

Markus Geimer, Felix Wolf, Brian J. N. Wylie et al. · Concurrency and Computation Practice and Experience · 2010 · 342 citations

Engineering, Software Systems, Computer Architecture +20

Taylor Model Flowpipe Construction for Non-linear Hybrid Systems

Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan · 2012 · 194 citations

Numerical Analysis, Non-linear Hybrid Systems, Numerical Method For Partial Differential Equation +13

An Assertional Proof System for Multithreaded Java - Theory and Tool Support

Erika Ábrahám · CWI's Institutional Repository (Centrum Wiskunde & Informatica) · 2005 · 77 citations · Full text

Reachability analysis of non-linear hybrid systems using Taylor Models

Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan · RWTH Publications (RWTH Aachen) · 2015 · 55 citations · Full text

Lyapunov Function Synthesis using Handelman Representations.

Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám · IFAC Proceedings Volumes · 2013 · 50 citations

Controller Synthesis, Lyapunov Analysis, Lyapunov Function Synthesis +1

Rows per page

1–5 of 24