Erika Ábrahám

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 110

Top Venues

Publications

Jasper Nalbach, Erika Ábrahám
Merging Adjacent Cells During Single Cell Construction. CASC (2024)
Martin Aubard, László Antal, Ana Madureira, Erika Ábrahám
Knowledge Distillation in YOLOX-ViT for Side-Scan Sonar Object Detection. CoRR (2024)
Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England
Levelwise construction of a single cylindrical algebraic cell. J. Symb. Comput. 123 (2024)
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
Parameter synthesis for Markov models: covering the parameter space. Formal Methods Syst. Des. 62 (1) (2024)
Valentin Promies, Jasper Nalbach, Erika Ábrahám
Under-Approximation of a Single Algebraic Cell (Extended Abstract). PAAR+SC²@IJCAR (2024)
Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu
On the applicability of hybrid systems safety verification tools from the automotive perspective. Int. J. Softw. Tools Technol. Transf. 26 (1) (2024)
Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
Introducing Asynchronicity to Probabilistic Hyperproperties. QEST (2023)
Erika Ábrahám, Jasper Nalbach, Valentin Promies
Automated Exercise Generation for Satisfiability Checking. FMTea (2023)
Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown
Exploiting Strict Constraints in the Cylindrical Algebraic Covering. SMT (2023)
Jasper Nalbach, Erika Ábrahám
Subtropical Satisfiability for SMT Solving. NFM (2023)
Lisa Willemsen, Anne Remke, Erika Ábrahám
Comparing Two Approaches to Include Stochasticity in Hybrid Automata. CoRR (2023)
Lisa Willemsen, Anne Remke, Erika Ábrahám
Comparing Two Approaches to Include Stochasticity in Hybrid Automata. QEST (2023)
Erika Ábrahám, Stefan Hallerstede, John Hatcliff, Danielle Stewart, Noah Abou El Wafa
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041). Dagstuhl Reports 13 (1) (2023)
Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. CoRR (2023)
Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version). CoRR (2023)
Erika Ábrahám, József Kovács, Anne Remke
SMT: Something You Must Try. iFM (2023)
László Antal, Hana Masara, Erika Ábrahám
Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions. CoRR (2023)
Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
Introducing Asynchronicity to Probabilistic Hyperproperties. CoRR (2023)
Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. TASE (2023)
Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems. GandALF (2023)
Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown
Exploiting Strict Constraints in the Cylindrical Algebraic Covering. CoRR (2023)
Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England
Levelwise construction of a single cylindrical algebraic cell. CoRR (2022)
Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
Model checking hyperproperties for Markov decision processes. Inf. Comput. 289 (Part) (2022)
Erika Ábrahám, Jasper Nalbach, Valentin Promies
Automated Exercise Generation for Satisfiability Checking. FMTea (2022)
Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
Probabilistic Hyperproperties with Rewards. NFM (2022)
Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat
Experiments with Automated Reasoning in the Class. CICM (2022)
Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour
HyperPCTL Model Checking by Probabilistic Decomposition. IFM (2022)
Stefan Schupp, Erika Ábrahám, Tristan Ebert
Recent developments in theory and tool support for hybrid systems verification with HyPro. Inf. Comput. 289 (Part) (2022)
Erika Ábrahám, James H. Davenport, Matthew England, Alberto Griggio
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072). Dagstuhl Reports 12 (2) (2022)
Rebecca Haehn, Erika Ábrahám, Niklas Kotowski
Acceleration Techniques for Symbolic Simulation of Railway Timetables. RSSRail (2022)
Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS (2021)
Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Tacchella
Robot Swarms as Hybrid Systems: Modelling and Verification. SNR (2021)
Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
HyperProb: A Model Checker for Probabilistic Hyperproperties. FM (2021)
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic. CoRR (2021)
Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám
Controller verification meets controller code: a case study. MEMOCODE (2021)
Jasper Nalbach, Erika Ábrahám, Gereon Kremer
Extending the Fundamental Theorem of Linear Programming for Strict Inequalities. ISSAC (2021)
Gereon Kremer, Erika Ábrahám, Matthew England, James H. Davenport
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving. SYNASC (2021)
Gereon Kremer, Erika Ábrahám, Vijay Ganesh
On the proof complexity of MCSAT. CoRR (2021)
Rebecca Haehn, Erika Ábrahám, Nils Nießen
Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies. QEST (2021)
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. J. Log. Algebraic Methods Program. 119 (2021)
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic. ARCADE@CADE (2021)
Rebecca Haehn, Erika Ábrahám, Nils Nießen
Freight Train Scheduling in Railway Systems. MMB (2020)
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
Probabilistic Hyperproperties with Nondeterminism. CoRR (2020)
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
Parameter Synthesis for Probabilistic Hyperproperties. LPAR (2020)
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract). PAAR+SC²@IJCAR (2020)
Gereon Kremer, Erika Ábrahám
Fully incremental cylindrical algebraic decomposition. J. Symb. Comput. 100 (2020)
Carina Pilch, Maurice Krause, Anne Remke, Erika Ábrahám
A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata. NFM (2020)
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
Probabilistic Hyperproperties with Nondeterminism. ATVA (2020)
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings. CoRR (2020)
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks
New Opportunities for the Formal Proof of Computational Real Geometry? CoRR (2020)
Rebecca Haehn, Erika Ábrahám, Nils Nießen
Probabilistic Simulation of a Railway Timetable. ATMOS (2020)
Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella
Optimal Planning Modulo Theories. IJCAI (2020)
Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems. ECMS (2019)
Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow
Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development. CoRR (2019)
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
Parameter Synthesis for Markov Models. CoRR (2019)
Gereon Kremer, Erika Ábrahám, Vijay Ganesh
On the Proof Complexity of MCSAT. SC-square@SIAM AG (2019)
Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow
Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development. FMICS (2019)
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics. Inf. Syst. Frontiers 21 (1) (2019)
Jasper Nalbach, Gereon Kremer, Erika Ábrahám
On Variable Orderings in MCSAT for Non-Linear Real Arithmetic. SC-square@SIAM AG (2019)
Rebecca Haehn, Gereon Kremer, Erika Ábrahám
Evaluation of Equational Constraints for CAD in SMT Solving. SC-Square@FLOC (2018)
Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow
Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain. FM (2018)
Erika Ábrahám, Borzoo Bonakdarpour
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. CoRR (2018)
Francesco Leofante, Erika Ábrahám, Armando Tacchella
Task Planning with OMT: An Application to Production Logistics. IFM (2018)
Stefan Schupp, Erika Ábrahám
Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems. SEFM (2018)
Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Erika Ábrahám, Armando Tacchella
SMarTplan: a Task Planner for Smart Factories. CoRR (2018)
Erika Ábrahám, Borzoo Bonakdarpour
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. QEST (2018)
Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen
Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. FM (2018)
Stefan Schupp, Justin Winkens, Erika Ábrahám
Context-Dependent Reachability Analysis for Hybrid Systems. IRI (2018)
Stefan Schupp, Erika Ábrahám
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis. TACAS (2) (2018)
Erika Ábrahám, Hadas Kress-Gazit, Lorenzo Natale, Armando Tacchella
Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071). Dagstuhl Reports 7 (2) (2017)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler
SC-square: when Satisfiability Checking and Symbolic Computation join forces. ARCADE@CADE (2017)
Erika Ábrahám, Gereon Kremer
SMT Solving for Arithmetic Theories: Theory and Tool Support. SYNASC (2017)
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. CoRR (2017)
Jannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. VALUETOOLS (2017)
Tarik Viehmann, Gereon Kremer, Erika Ábrahám
Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving. SC²@ISSAC (2017)
Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski
HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. NFM (2017)
Stefan Schupp, Johanna Nellen, Erika Ábrahám
Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis. QAPL@ETAPS (2017)
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. IRI (2017)
Erika Ábrahám, Jasper Nalbach, Gereon Kremer
Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework. SC²@ISSAC (2017)
Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro
Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. SETTA (2016)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
Satisfiability Checking meets Symbolic Computation (Project Paper). CoRR (2016)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
Satisfiability Checking and Symbolic Computation. CoRR (2016)
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes
Parameter Synthesis for Probabilistic Systems. MBMV (2016)
Johanna Nellen, Kai Driessen, Martin R. Neuhäußer, Erika Ábrahám, Benedikt Wolters
Two CEGAR-based approaches for the safety verification of PLC-controlled plants. Inf. Syst. Frontiers 18 (5) (2016)
Erika Ábrahám, Klaus Havelund
Some recent advances in automated analysis. Int. J. Softw. Tools Technol. Transf. 18 (2) (2016)
Erika Ábrahám, Thi Mai Thuong Tran, Martin Steffen
Observable interface behaviour and inheritance. Math. Struct. Comput. Sci. 26 (3) (2016)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
Satisfiability checking and symbolic computation. ACM Commun. Comput. Algebra 50 (4) (2016)
Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. IMA J. Math. Control. Inf. 33 (3) (2016)
Pascal Richter, David Laukamp, Levin Gerdes, Martin Frank, Erika Ábrahám
Heliostat Field Layout Optimization with Evolutionary Algorithms. GCAI (2016)
Gereon Kremer, Florian Corzilius, Erika Ábrahám
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic. CASC (2016)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
: Satisfiability Checking Meets Symbolic Computation - (Project Paper). CICM (2016)
Erika Ábrahám
Symbolic Computation Techniques in Satisfiability Checking. SYNASC (2016)
Erika Ábrahám, Gereon Kremer
Satisfiability Checking: Theory and Applications. SEFM (2016)
Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen
Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. ISoLA (1) (2016)
Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
Counterexamples for Expected Rewards. FM (2015)
Sascha Geulen, Martina Josevski, Johanna Nellen, Janosch Fuchs, Lukas Netz, Benedikt Wolters, Dirk Abel, Erika Ábrahám, Walter Unger
Learning-based control strategies for hybrid electric vehicles. CCA (2015)
Erika Ábrahám, Pascal Fontaine, Thomas Sturm, Dongming Wang
Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471). Dagstuhl Reports 5 (11) (2015)
Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships? Sci. Comput. Program. 99 (2015)
Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski
Current Challenges in the Verification of Hybrid Systems. CyPhy (2015)
Erika Ábrahám
Building Bridges between Symbolic Computation and Satisfiability Checking. ISSAC (2015)

Erika Ábrahám.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Erika Ábrahám