default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDErika Ábrahám
Erika Ábrahám-Mumm
Person information
- affiliation: RWTH Aachen University, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j26]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): 181-259 (2024)- [j25]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: 102288 (2024) - [j24]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): 49-78 (2024) - [j23]Erika Ábrahám, Marco Paolieri:
Introduction to the Special Issue on QEST 2022, Part 1. ACM Trans. Model. Comput. Simul. 34(3): 16:1 (2024) - [c133]Jasper Nalbach, Erika Ábrahám:
Merging Adjacent Cells During Single Cell Construction. CASC 2024: 252-272 - [c132]Valentin Promies, Erika Ábrahám:
A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic. FM (1) 2024: 131-148 - [c131]Valentin Promies, Jasper Nalbach, Erika Ábrahám:
Under-Approximation of a Single Algebraic Cell (Extended Abstract). PAAR+SC²@IJCAR 2024: 132-136 - [e12]Erika Ábrahám, Manuel Mazo Jr.:
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024. ACM 2024 [contents] - [i29]Martin Aubard, László Antal, Ana Madureira, Erika Ábrahám:
Knowledge Distillation in YOLOX-ViT for Side-Scan Sonar Object Detection. CoRR abs/2403.09313 (2024) - 2023
- [c130]Erika Ábrahám, József Kovács, Anne Remke:
SMT: Something You Must Try. iFM 2023: 3-18 - [c129]Jasper Nalbach, Erika Ábrahám:
Subtropical Satisfiability for SMT Solving. NFM 2023: 430-446 - [c128]Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour:
Introducing Asynchronicity to Probabilistic Hyperproperties. QEST 2023: 47-64 - [c127]Lisa Willemsen, Anne Remke, Erika Ábrahám:
Comparing Two Approaches to Include Stochasticity in Hybrid Automata. QEST 2023: 238-254 - [c126]Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown:
Exploiting Strict Constraints in the Cylindrical Algebraic Covering. SMT 2023: 33-45 - [c125]Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke:
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. TASE 2023: 164-182 - [c124]Erika Ábrahám, Jasper Nalbach, Valentin Promies:
Automated Exercise Generation for Satisfiability Checking. FMTea 2023: 1-16 - [c123]Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka:
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems. GandALF 2023: 16-32 - [c122]László Antal, Hana Masara, Erika Ábrahám:
Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions. FMAS@iFM 2023: 30-68 - [e11]Hossein Hojjat, Erika Ábrahám:
Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14155, Springer 2023, ISBN 978-3-031-42440-3 [contents] - [e10]Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa:
Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings. Lecture Notes in Computer Science 14446, Springer 2023, ISBN 978-3-031-47962-5 [contents] - [e9]Erika Ábrahám, Thomas Sturm:
Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023. CEUR Workshop Proceedings 3455, CEUR-WS.org 2023 [contents] - [i28]Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke:
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. CoRR abs/2304.14996 (2023) - [i27]Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown:
Exploiting Strict Constraints in the Cylindrical Algebraic Covering. CoRR abs/2306.16757 (2023) - [i26]Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour:
Introducing Asynchronicity to Probabilistic Hyperproperties. CoRR abs/2307.05282 (2023) - [i25]Lisa Willemsen, Anne Remke, Erika Ábrahám:
Comparing Two Approaches to Include Stochasticity in Hybrid Automata. CoRR abs/2307.08052 (2023) - [i24]Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka:
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version). CoRR abs/2309.03138 (2023) - [i23]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): 155-183 (2023) - 2022
- [j22]Stefan Schupp, Erika Ábrahám, Tristan Ebert:
Recent developments in theory and tool support for hybrid systems verification with HyPro. Inf. Comput. 289(Part): 104945 (2022) - [j21]Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour:
Model checking hyperproperties for Markov decision processes. Inf. Comput. 289(Part): 104978 (2022) - [c121]Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour:
HyperPCTL Model Checking by Probabilistic Decomposition. IFM 2022: 209-226 - [c120]Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat:
Experiments with Automated Reasoning in the Class. CICM 2022: 287-304 - [c119]Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour:
Probabilistic Hyperproperties with Rewards. NFM 2022: 656-673 - [c118]Rebecca Haehn, Erika Ábrahám, Niklas Kotowski:
Acceleration Techniques for Symbolic Simulation of Railway Timetables. RSSRail 2022: 46-62 - [e8]Erika Ábrahám, Marco Paolieri:
Quantitative Evaluation of Systems - 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings. Lecture Notes in Computer Science 13479, Springer 2022, ISBN 978-3-031-16335-7 [contents] - [i22]Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England:
Levelwise construction of a single cylindrical algebraic cell. CoRR abs/2212.09309 (2022) - [i21]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): 67-86 (2022) - 2021
- [j20]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: 100633 (2021) - [c117]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: 1-5 - [c116]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: 1-31 - [c115]Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour:
HyperProb: A Model Checker for Probabilistic Hyperproperties. FM 2021: 657-666 - [c114]Jasper Nalbach, Erika Ábrahám, Gereon Kremer:
Extending the Fundamental Theorem of Linear Programming for Strict Inequalities. ISSAC 2021: 313-320 - [c113]Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám:
Controller verification meets controller code: a case study. MEMOCODE 2021: 98-103 - [c112]Rebecca Haehn, Erika Ábrahám, Nils Nießen:
Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies. QEST 2021: 257-275 - [c111]Gereon Kremer, Erika Ábrahám, Matthew England, James H. Davenport:
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving. SYNASC 2021: 37-39 - [c110]Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Tacchella:
Robot Swarms as Hybrid Systems: Modelling and Verification. SNR 2021: 61-77 - [i20]Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer:
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic. CoRR abs/2108.05320 (2021) - [i19]Gereon Kremer, Erika Ábrahám, Vijay Ganesh:
On the proof complexity of MCSAT. CoRR abs/2109.01585 (2021) - 2020
- [j19]Gereon Kremer, Erika Ábrahám:
Fully incremental cylindrical algebraic decomposition. J. Symb. Comput. 100: 11-37 (2020) - [c109]Rebecca Haehn, Erika Ábrahám, Nils Nießen:
Probabilistic Simulation of a Railway Timetable. ATMOS 2020: 16:1-16:14 - [c108]Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe:
Probabilistic Hyperproperties with Nondeterminism. ATVA 2020: 518-534 - [c107]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: 178-188 - [c106]Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella:
Optimal Planning Modulo Theories. IJCAI 2020: 4128-4134 - [c105]Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe:
Parameter Synthesis for Probabilistic Hyperproperties. LPAR 2020: 12-31 - [c104]Rebecca Haehn, Erika Ábrahám, Nils Nießen:
Freight Train Scheduling in Railway Systems. MMB 2020: 225-241 - [c103]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: 381-400 - [i18]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 abs/2003.05633 (2020) - [i17]Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks:
New Opportunities for the Formal Proof of Computational Real Geometry? CoRR abs/2004.04034 (2020) - [i16]Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe:
Probabilistic Hyperproperties with Nondeterminism. CoRR abs/2005.06115 (2020)
2010 – 2019
- 2019
- [j18]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): 87-107 (2019) - [c102]Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella:
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems. ECMS 2019: 407-413 - [c101]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: 59-75 - [c100]Gereon Kremer, Erika Ábrahám, Vijay Ganesh:
On the Proof Complexity of MCSAT. SC-square@SIAM AG 2019 - [c99]Jasper Nalbach, Gereon Kremer, Erika Ábrahám:
On Variable Orderings in MCSAT for Non-Linear Real Arithmetic. SC-square@SIAM AG 2019 - [i15]Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk:
Parameter Synthesis for Markov Models. CoRR abs/1903.07993 (2019) - [i14]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 abs/1906.07083 (2019) - 2018
- [c98]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: 312-328 - [c97]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: 382-398 - [c96]Francesco Leofante, Erika Ábrahám, Armando Tacchella:
Task Planning with OMT: An Application to Production Logistics. IFM 2018: 316-325 - [c95]Stefan Schupp, Justin Winkens, Erika Ábrahám:
Context-Dependent Reachability Analysis for Hybrid Systems. IRI 2018: 518-525 - [c94]Erika Ábrahám, Borzoo Bonakdarpour:
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. QEST 2018: 20-35 - [c93]Rebecca Haehn, Gereon Kremer, Erika Ábrahám:
Evaluation of Equational Constraints for CAD in SMT Solving. SC-Square@FLOC 2018: 19 - [c92]Stefan Schupp, Erika Ábrahám:
Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems. SEFM 2018: 89-104 - [c91]Stefan Schupp, Erika Ábrahám:
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis. TACAS (2) 2018: 287-302 - [e7]Erika Ábrahám, Elisabetta Di Nitto, Raffaela Mirandola:
2018 IEEE/ACM 1st International Workshop on Gender Equality in Software Engineering, GE@ICSE, Gothenburg, Sweden, May 28, 2018. ACM 2018, ISBN 978-1-4503-5738-8 [contents] - [i13]Erika Ábrahám, Borzoo Bonakdarpour:
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. CoRR abs/1804.01853 (2018) - [i12]Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Erika Ábrahám, Armando Tacchella:
SMarTplan: a Task Planner for Smart Factories. CoRR abs/1806.07135 (2018) - 2017
- [c90]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: 6-10 - [c89]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: 403-410 - [c88]Erika Ábrahám, Jasper Nalbach, Gereon Kremer:
Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework. SC²@ISSAC 2017 - [c87]Tarik Viehmann, Gereon Kremer, Erika Ábrahám:
Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving. SC²@ISSAC 2017 - [c86]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: 288-294 - [c85]Erika Ábrahám, Gereon Kremer:
SMT Solving for Arithmetic Theories: Theory and Tool Support. SYNASC 2017: 1-8 - [c84]Jannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám:
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. VALUETOOLS 2017: 178-185 - [c83]Stefan Schupp, Johanna Nellen, Erika Ábrahám:
Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis. QAPL@ETAPS 2017: 1-14 - [e6]Erika Ábrahám, James H. Davenport, Pascal Fontaine:
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016. CEUR Workshop Proceedings 1804, CEUR-WS.org 2017 [contents] - [e5]Erika Ábrahám, Sergiy Bogomolov:
Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April 2017. EPTCS 247, 2017 [contents] - [i11]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 abs/1711.04259 (2017) - [i10]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): 48-63 (2017) - 2016
- [j17]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): 145-147 (2016) - [j16]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): 723-756 (2016) - [j15]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): 927-952 (2016) - [j14]Erika Ábrahám, Thi Mai Thuong Tran, Martin Steffen:
Observable interface behaviour and inheritance. Math. Struct. Comput. Sci. 26(3): 561-605 (2016) - [j13]Erika Ábrahám, Klaus Havelund:
Some recent advances in automated analysis. Int. J. Softw. Tools Technol. Transf. 18(2): 121-128 (2016) - [c82]Gereon Kremer, Florian Corzilius, Erika Ábrahám:
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic. CASC 2016: 315-335 - [c81]Pascal Richter, David Laukamp, Levin Gerdes, Martin Frank, Erika Ábrahám:
Heliostat Field Layout Optimization with Evolutionary Algorithms. GCAI 2016: 240-252 - [c80]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: 496-514 - [c79]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: 72-74 - [c78]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:
SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). CICM 2016: 28-43 - [c77]Erika Ábrahám, Gereon Kremer:
Satisfiability Checking: Theory and Applications. SEFM 2016: 9-23 - [c76]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: 229-245 - [c75]Erika Ábrahám:
Symbolic Computation Techniques in Satisfiability Checking. SYNASC 2016: 3-10 - [e4]Erika Ábrahám, Marcello M. Bonsangue, Einar Broch Johnsen:
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9660, Springer 2016, ISBN 978-3-319-30733-6 [contents] - [e3]Erika Ábrahám, Marieke Huisman:
Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Lecture Notes in Computer Science 9681, Springer 2016, ISBN 978-3-319-33692-3 [contents] - [i9]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 abs/1607.06945 (2016) - [i8]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 abs/1607.08028 (2016) - 2015
- [j12]Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
High-level Counterexamples for Probabilistic Automata. Log. Methods Comput. Sci. 11(1) (2015) - [j11]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: 95-127 (2015) - [j10]Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky:
Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories. Sci. Comput. Program. 99: 128-192 (2015) - [c74]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: 1722-1728 - [c73]Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám:
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. CAV (1) 2015: 214-231 - [c72]Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám:
Flow* 1.2: More Effective to Play with Hybrid Systems. ARCH@CPSWeek 2015: 152-159 - [c71]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: 8-24 - [c70]Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
Counterexamples for Expected Rewards. FM 2015: 435-452 - [c69]Johanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen, Erika Ábrahám:
A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs. GCAI 2015: 196-214 - [c68]Erika Ábrahám:
Building Bridges between Symbolic Computation and Satisfiability Checking. ISSAC 2015: 1-6 - [c67]Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit:
Preparing HPC Applications for Exascale: Challenges and Recommendations. NBiS 2015: 401-406 - [c66]