Erika Ábrahám
Orcid: 0000-0002-5647-6134Affiliations:
- RWTH Aachen University, Germany
According to our database1,
Erika Ábrahám
authored at least 166 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
J. Symb. Comput., July, 2024
On the applicability of hybrid systems safety verification tools from the automotive perspective.
Int. J. Softw. Tools Technol. Transf., February, 2024
2023
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041).
Dagstuhl Reports, January, 2023
Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions.
Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023
Proceedings of the Fourteenth International Symposium on Games, 2023
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version).
CoRR, 2023
Proceedings of the Formal Methods Teaching: 5th International Workshop, 2023
Proceedings of the Theoretical Aspects of Software Engineering, 2023
Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
Proceedings of the iFM 2023 - 18th International Conference, 2023
2022
Recent developments in theory and tool support for hybrid systems verification with HyPro.
Inf. Comput., 2022
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072).
Dagstuhl Reports, 2022
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022
2021
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings.
J. Log. Algebraic Methods Program., 2021
Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving.
Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021
Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies.
Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021
Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021
Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021
Proceedings of the Third International Workshop on Automated Reasoning: Challenges, 2021
2020
A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2020
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract).
Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020
Proceedings of the Automated Technology for Verification and Analysis, 2020
Proceedings of the 20th Symposium on Algorithmic Approaches for Transportation Modelling, 2020
2019
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics.
Inf. Syst. Frontiers, 2019
Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development.
CoRR, 2019
Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2019
Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2019
Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development.
Proceedings of the Formal Methods for Industrial Critical Systems, 2019
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems.
Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, 2019
2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018
Proceedings of the 2018 IEEE International Conference on Information Reuse and Integration, 2018
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations.
Proceedings of the Formal Methods - 22nd International Symposium, 2018
Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain.
Proceedings of the Formal Methods - 22nd International Symposium, 2018
2017
Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071).
Dagstuhl Reports, 2017
Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017
Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017
HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017
Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving.
Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), 2017
Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework.
Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), 2017
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories.
Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017
Proceedings of the ARCADE 2017, 2017
2016
Int. J. Softw. Tools Technol. Transf., 2016
Inf. Syst. Frontiers, 2016
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis.
IMA J. Math. Control. Inf., 2016
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016
SC<sup>2</sup>: Satisfiability Checking Meets Symbolic Computation - (Project Paper).
Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016
Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016
Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic.
Proceedings of the Computer Algebra in Scientific Computing - 18th International Workshop, 2016
2015
A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata.
Proceedings of the Formalisms for Reuse and Systems Integration, 2015
Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories.
Sci. Comput. Program., 2015
Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?
Sci. Comput. Program., 2015
Dagstuhl Reports, 2015
Log. Methods Comput. Sci., 2015
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the 18th International Conference on Network-Based Information Systems, 2015
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015
A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs.
Proceedings of the Global Conference on Artificial Intelligence, 2015
Proceedings of the FM 2015: Formal Methods, 2015
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
Proceedings of the 2015 IEEE Conference on Control Applications, 2015
2014
Theor. Comput. Sci., 2014
Sci. Comput. Program., 2014
Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031).
Dagstuhl Reports, 2014
Proceedings of the Formal Methods for Executable Software Models, 2014
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014
Proceedings of the Formal Methods in Computer-Aided Design, 2014
Maybe or Maybe Not: Contributions to Stochastic Verification.
Proceedings of the Aspekte der Technischen Informatik, 2014
Proceedings of the Automated Technology for Verification and Analysis, 2014
2013
Proceedings of the 9th IFAC Symposium on Nonlinear Control Systems, 2013
Stochastic Bounded Model Checking: Bounded Rewards and Compositionality.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013
From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
Proceedings of the Algebra and Coalgebra in Computer Science, 2013
On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers.
Proceedings of the Algebraic Informatics - 5th International Conference, 2013
A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition.
Proceedings of the Automated Deduction - CADE-24, 2013
2012
CoRR, 2012
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012
Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012
Hybrid Sequential Function Charts.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012
Proceedings of the Automated Technology for Verification and Analysis, 2012
2011
Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011
Proceedings of the Reachability Problems - 5th International Workshop, 2011
Proceedings of the NASA Formal Methods, 2011
SMT-based Counterexample Generation for Markov Chains.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011
Proceedings of the 11th Koli Calling International Conference on Computing Education Research, 2011
Proceedings of the Adaptive and Natural Computing Algorithms, 2011
Proceedings of the Formal Techniques for Distributed Systems, 2011
Proceedings of the Fundamentals of Computation Theory - 18th International Symposium, 2011
Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011
Proceedings of the Algebraic Informatics - 4th International Conference, 2011
Proceedings of the Automated Technology for Verification and Analysis, 2011
2010
Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems.
Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 2010
Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Exploiting Different Strategies for the Parallelization of an SMT Solver.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010
Proceedings of the DeLFI 2010, 2010
Proceedings of the Verification over discrete-continuous boundaries, 04.07. - 09.07.2010, 2010
2009
Behavioral interface description of an object-oriented language with futures and promises.
J. Log. Algebraic Methods Program., 2009
Picoso - A Parallel Interval Constraint Solver.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2009
Proceedings of the Algorithms and Applications for Next Generation SAT Solvers, 08.11., 2009
2008
Softw. Syst. Model., 2008
Theory Comput. Syst., 2008
Fundam. Informaticae, 2008
Usage of the SCALASCA toolset for scalable performance analysis of large-scale parallel applications.
Proceedings of the Tools for High Performance Computing, 2008
2007
On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata.
Proceedings of the 10th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2007), 2007
2006
Proceedings of the Fourth International Workshop on Bounded Model Checking, 2006
Memory-aware Bounded Model Checking for Linear Hybrid Systems.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006
2005
Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005
Proceedings of the Verification, 2005
2004
Proceedings of the Theoretical Aspects of Computing, 2004
Proceedings of the Formal Methods for Components and Objects, 2004
Proceedings of the Formal Methods for Components and Objects, 2004
2003
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003
Proceedings of the Verification: Theory and Practice, 2003
2002
Proceedings of the Foundations of Software Science and Computation Structures, 2002
Proceedings of the Formal Methods for Components and Objects, 2002
2001
Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001
Proceedings of the Computer Aided Systems Theory, 2001
2000
Formal Methods for Reflective System Specification.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000