Erika Ábrahám
RWTH Aachen University(DE)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Software Reliability and Analysis Research, Model-Driven Software Engineering Techniques, Software Testing and Debugging Techniques
Most-Cited Works
- → Flow*: An Analyzer for Non-linear Hybrid Systems(2013)518 cited
- → The Scalasca performance toolset architecture(2010)345 cited
- → Taylor Model Flowpipe Construction for Non-linear Hybrid Systems(2012)195 cited
- → PROPhESY: A PRObabilistic ParamEter SYnthesis Tool(2015)116 cited
- → HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis(2017)81 cited
- An Assertional Proof System for Multithreaded Java - Theory and Tool Support(2005)
- → SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving(2015)69 cited
- → Tools and Algorithms for the Construction and Analysis of Systems(2014)62 cited
- → Usage of the SCALASCA toolset for scalable performance analysis of large-scale parallel applications(2008)59 cited
- Reachability analysis of non-linear hybrid systems using Taylor Models(2015)