Concepedia
Statistics
Publications
24
Citations
1.2K
H-Index
19
Active since
2002
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
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
1–5 of 24