E
Erika Ábrahám
Researcher at RWTH Aachen University
Publications - 195
Citations - 3572
Erika Ábrahám is an academic researcher from RWTH Aachen University. The author has contributed to research in topics: Model checking & Probabilistic logic. The author has an hindex of 29, co-authored 180 publications receiving 3130 citations. Previous affiliations of Erika Ábrahám include Forschungszentrum Jülich & University of Freiburg.
Papers
More filters
Book ChapterDOI
Flow*: an analyzer for non-linear hybrid systems
TL;DR: The tool Flow* performs Taylor model-based flowpipe construction for non-linear (polynomial) hybrid systems with a wide variety of optimizations including adaptive step sizes, adaptive selection of approximation orders and the heuristic selection of template directions for aggregation flowpipes.
Journal IssueDOI
The Scalasca performance toolset architecture
TL;DR: The current toolset architecture is reviewed, emphasizing its scalable design and the role of the different components in transforming raw measurement data into knowledge of application execution behavior.
Proceedings ArticleDOI
Taylor Model Flowpipe Construction for Non-linear Hybrid Systems
TL;DR: This paper provides techniques for handling the effect of discrete transitions on Taylor model flow pipe construction and explores various solutions based on two ideas: domain contraction and range over-approximation.
Book ChapterDOI
PROPhESY : A PRObabilistic ParamEter SYnthesis Tool
Christian Dehnert,Sebastian Junges,Nils Jansen,Florian Corzilius,Matthias Volk,Harold Bruintjes,Joost-Pieter Katoen,Erika Ábrahám +7 more
TL;DR: ProPhESY, a tool for analyzing parametric Markov chains (MCs), can compute a rational function (i.e., a fraction of two polynomials in the model parameters) for reachability and expected reward objectives and supports the novel feature of conditional probabilities.
An Assertional Proof System for Multithreaded Java - Theory and Tool Support
TL;DR: This work introduces a tool-supported assertional proof method for JavaMT ("Multi-Threaded Java"), a small sublanguage of Java, covering the mentioned concurrency issues as well as the object-based core of Java.