Erika Abraham

Erika Abraham

Rheinisch Westfalische Technische Hochschule Aachen - Aachen / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1763032
RWTH Aachen University
person_outline Erika Abraham's MOST POPULAR ARTICLES
1-) Flow*: An analyzer for non-linear hybrid systemsX Chen, E Ábrahám, S SankaranarayananComputer Aided Verification: 25th International Conference, CAV 2013, Saint …, 20136702013
2-) The Scalasca performance toolset architectureM Geimer, F Wolf, BJN Wylie, E Ábrahám, D Becker, B MohrConcurrency and computation: Practice and experience 22 (6), 702-719, 20106612010
3-) Taylor model flowpipe construction for non-linear hybrid systemsX Chen, E Abraham, S Sankaranarayanan2012 IEEE 33rd Real-Time Systems Symposium, 183-192, 20122292012
4-) PROPhESY: A PRObabilistic ParamEter SYnthesis ToolC Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ...Computer Aided Verification: 27th International Conference, CAV 2015, San …, 20151602015
5-) SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT SolvingF Corzilius, G Kremer, S Junges, S Schupp, E ÁbrahámTheory and Applications of Satisfiability Testing--SAT 2015: 18th …, 20151312015