Erika Ábrahám

According to our database1, Erika Ábrahám authored at least 118 papers between 2000 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics.
Information Systems Frontiers, 2019

Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development.
Proceedings of the Formal Methods for Industrial Critical Systems, 2019

2018
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Context-Dependent Reachability Analysis for Hybrid Systems.
Proceedings of the 2018 IEEE International Conference on Information Reuse and Integration, 2018

Task Planning with OMT: An Application to Production Logistics.
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

Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis.
Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro.
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

SMT Solving for Arithmetic Theories: Theory and Tool Support.
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

SC-square: when Satisfiability Checking and Symbolic Computation join forces.
Proceedings of the ARCADE 2017, 2017

2016
Some recent advances in automated analysis.
STTT, 2016

Observable interface behaviour and inheritance.
Mathematical Structures in Computer Science, 2016

Two CEGAR-based approaches for the safety verification of PLC-controlled plants.
Information Systems Frontiers, 2016

Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis.
IMA J. Math. Control & Information, 2016

Satisfiability checking and symbolic computation.
ACM Comm. Computer Algebra, 2016

Symbolic Computation Techniques in Satisfiability Checking.
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Satisfiability Checking: Theory and Applications.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper).
Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

Parameter Synthesis for Probabilistic Systems.
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

Heliostat Field Layout Optimization with Evolutionary Algorithms.
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

Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471).
Dagstuhl Reports, 2015

High-level Counterexamples for Probabilistic Automata
Logical Methods in Computer Science, 2015

SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

A Greedy Approach for the Efficient Repair of Stochastic Models.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

A Benchmark Suite for Hybrid Systems Reachability Analysis.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Preparing HPC Applications for Exascale: Challenges and Recommendations.
Proceedings of the 18th International Conference on Network-Based Information Systems, 2015

Building Bridges between Symbolic Computation and Satisfiability Checking.
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

Counterexamples for Expected Rewards.
Proceedings of the FM 2015: Formal Methods, 2015

Current Challenges in the Verification of Hybrid Systems.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

Flow* 1.2: More Effective to Play with Hybrid Systems.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Learning-based control strategies for hybrid electric vehicles.
Proceedings of the 2015 IEEE Conference on Control Applications, 2015

2014
Minimal counterexamples for linear-time probabilistic verification.
Theor. Comput. Sci., 2014

Symbolic counterexample generation for large discrete-time Markov chains.
Sci. Comput. Program., 2014

Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031).
Dagstuhl Reports, 2014

Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey.
Proceedings of the Formal Methods for Executable Software Models, 2014

Accelerating Parametric Probabilistic Verification.
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

A CEGAR approach for the reachability analysis of PLC-controlled chemical plants.
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

Under-approximate flowpipes for non-linear continuous systems.
Proceedings of the Formal Methods in Computer-Aided Design, 2014

Fast Debugging of PRISM Models.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2013
High-Level Counterexamples for Probabilistic Automata.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Lyapunov Function Synthesis Using Handelman Representations.
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

Counterexample Generation for Hybrid Automata.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Flow*: An Analyzer for Non-linear Hybrid Systems.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

A Timed CTL Model Checker for Real-Time Maude.
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
Timed CTL Model Checking in Real-Time Maude.
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude.
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Minimal Critical Subsystems for Discrete-Time Markov Models.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation).
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Taylor Model Flowpipe Construction for Non-linear Hybrid Systems.
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

Symbolic Counterexample Generation for Discrete-Time Markov Chains.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

The COMICS Tool - Computing Minimal Counterexamples for DTMCs.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems.
Electr. Notes Theor. Comput. Sci., 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

Efficient Bounded Reachability Computation for Rectangular Automata.
Proceedings of the Reachability Problems - 5th International Workshop, 2011

GiNaCRA: A C++ Library for Real Algebraic Computations.
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

On collaboratively conveying computer science to pupils.
Proceedings of the 11th Koli Calling International Conference on Computing Education Research, 2011

Optimisation of Concentrating Solar Thermal Power Plants with Neural Networks.
Proceedings of the Adaptive and Natural Computing Algorithms, 2011

Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking.
Proceedings of the Formal Techniques for Distributed Systems, 2011

Virtual Substitution for SMT-Solving.
Proceedings of the Fundamentals of Computation Theory - 18th International Symposium, 2011

Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra.
Proceedings of the Algebraic Informatics - 4th International Conference, 2011

Hierarchical Counterexamples for Discrete-Time Markov Chains.
Proceedings of the Automated Technology for Verification and Analysis, 2011

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

A Rewriting-Logic-Based Technique for Modeling Thermal Systems
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

The Scalasca performance toolset architecture.
Concurrency and Computation: Practice and Experience, 2010

Synthesis of behavioral controllers for DES: Increasing efficiency.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

DTMC Model Checking by SCC Reduction.
Proceedings of the QEST 2010, 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

Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik.
Proceedings of the DeLFI 2010, 2010

A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra.
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. Algebr. Program., 2009

Picoso - A Parallel Interval Constraint Solver.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2009

SMT-Solving for the First-Order Theory of the Reals.
Proceedings of the Algorithms and Applications for Next Generation SAT Solvers, 08.11., 2009

2008
A Deductive Proof System for Multithreaded Java with Exceptions.
Fundam. Inform., 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
Bounded Model Checking with Parametric Data Structures.
Electr. Notes Theor. Comput. Sci., 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
Inductive Proof Outlines for Exceptions in Multithreaded Java.
Electr. Notes Theor. Comput. Sci., 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

Abstract Interface Behavior of Object-Oriented Languages with Monitors.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

Parallel SAT Solving in Bounded Model Checking.
Proceedings of the Formal Methods: Applications and Technology, 2006

Heap-Abstraction for an Object-Oriented Calculus with Thread Classes.
Proceedings of the Logical Approaches to Computational Barriers, 2006

2005
An assertion-based proof system for multithreaded Java.
Theor. Comput. Sci., 2005

Optimizing Bounded Model Checking for Linear Hybrid Systems.
Proceedings of the Verification, 2005

2004
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes.
Proceedings of the Theoretical Aspects of Computing, 2004

A Fully Abstract Semantics for UML Components.
Proceedings of the Formal Methods for Components and Objects, 2004

Observability, Connectivity, and Replay in a Sequential Calculus of Classes.
Proceedings of the Formal Methods for Components and Objects, 2004

2003
Inductive Proof Outlines for Monitors in Java.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

A Compositional Operational Semantics for JavaMT.
Proceedings of the Verification: Theory and Practice, 2003

2002
Verification for Java's Reentrant Multithreading Concept.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

A Tool-Supported Proof System for Multithreaded Java.
Proceedings of the Formal Methods for Components and Objects, 2002

2001
Verification of Hybrid Systems: Formalization and Proof Rules in PVS.
Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

Assertion-Based Analysis of Hybrid Systems with PVS.
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

Proof-Outlines for Threads in Java.
Proceedings of the CONCUR 2000, 2000


  Loading...