Erika Abraham

Identifiers

• name variant Erika Abraham 0.60 · backfill

Papers (5)

1. Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development cs.LO · 2019 · author #4
2. SMarTplan: a Task Planner for Smart Factories cs.AI · 2018 · author #4
3. HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties cs.LO · 2018 · author #1
4. Challenges and Recommendations for Preparing HPC Applications for Exascale cs.DC · 2015 · author #1
5. Linear Relaxations of Polynomial Positivity for Polynomial Lyapunov Function Synthesis math.DS · 2014 · author #4

Mentions

• 1503.06974 #1 · backfill · confidence 0.70 Erika Abraham
• 1407.2952 #4 · backfill · confidence 0.70 Erika Abraham

Frequent Coauthors

• Achim Streit 1 shared papers
• Armando Tacchella 1 shared papers
• Arthur Bit-Monnot 1 shared papers
• Borzoo Bonakdarpour 1 shared papers
• Costas Bekas 1 shared papers
• Einar Broch Johnsen 1 shared papers
• Francesco Leofante 1 shared papers
• Ivan Kondov 1 shared papers
• Ivona Brandic 1 shared papers
• Johanna Nellen 1 shared papers
• Joost-Pieter Katoen 1 shared papers
• Luca Pulina 1 shared papers
• Md Tawhid Bin Waez 1 shared papers
• Mohamed Amin Ben Sassi 1 shared papers
• Philipp Berger 1 shared papers
• Sabri Pllana 1 shared papers
• Samir Genaim 1 shared papers
• Sriram Sankaranarayanan 1 shared papers
• Thomas Rambow 1 shared papers
• Xin Chen 1 shared papers