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
- 2025
[j29]Joanna Delicaris
, Anne Remke, Erika Ábrahám, Stefan Schupp, Jonas Stübbe:
Maximizing reachability probabilities in rectangular automata with random events. Sci. Comput. Program. 240: 103213 (2025)- [j28]Hossein Hojjat, Erika Ábrahám:
Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023). Sci. Comput. Program. 243: 103244 (2025) - [j27]László Antal, Erika Ábrahám, Hana Masara:
Generalizing neural network verification to the family of piece-wise linear activation functions. Sci. Comput. Program. 243: 103269 (2025) - [e13]Erika Ábrahám, Houssam Abbas:
Runtime Verification - 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings. Lecture Notes in Computer Science 15191, Springer 2025, ISBN 978-3-031-74233-0 [contents] - 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) - [c137]Lisa Willemsen, Anne Remke, Erika Ábrahám:
(de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems. Principles of Verification (3) 2024: 309-337 - [c136]Jasper Nalbach, Erika Ábrahám:
Merging Adjacent Cells During Single Cell Construction. CASC 2024: 252-272 - [c135]Valentin Promies, Erika Ábrahám:
A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic. FM (1) 2024: 131-148 - [c134]Valentin Promies, Jasper Nalbach, Erika Ábrahám:
Under-Approximation of a Single Algebraic Cell (Extended Abstract). PAAR+SC²@IJCAR 2024: 132-136 - [c133]Lucas Michel, Jasper Nalbach, Pierre Mathonet, Naïm Zénaïdi, Christopher W. Brown, Erika Ábrahám, James H. Davenport, Matthew England:
On Projective Delineability. SYNASC 2024: 9-16 - [c132]Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Nikolaos Fachantidis, Gábor Kusper, Sorin Stratulat:
A European Project on AI-based Robotics. TALE 2024: 1-7 - [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] - [d2]Martin Aubard, László Antal, Ana Maria Madureira, Erika Ábrahám:
SWDD: Sonar Wall Detection Dataset. Zenodo, 2024
- [i32]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) - [i31]Martin Aubard, László Antal, Ana Madureira, Luis F. Teixeira, Erika Ábrahám:
ROSAR: An Adversarial Re-Training Framework for Robust Side-Scan Sonar Object Detection. CoRR abs/2410.10554 (2024) - [i30]Saeed Zhiany, Fatemeh Ghassemi, Nesa Abbasimoghadam, Ali Hodaei, Ali Ataollahi, József Kovács, Erika Ábrahám, Marjan Sirjani:
Hybrid Rebeca Revisited. CoRR abs/2411.03160 (2024) - [i29]Lucas Michel, Jasper Nalbach, Pierre Mathonet, Naïm Zénaïdi, Christopher W. Brown, Erika Ábrahám, James H. Davenport, Matthew England:
On Projective Delineability. CoRR abs/2411.13300 (2024) - 2023
- [c131]Erika Ábrahám, József Kovács, Anne Remke:
SMT: Something You Must Try. iFM 2023: 3-18 - [c130]Jasper Nalbach, Erika Ábrahám:
Subtropical Satisfiability for SMT Solving. NFM 2023: 430-446 - [c129]Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour:
Introducing Asynchronicity to Probabilistic Hyperproperties. QEST 2023: 47-64 - [c128]Lisa Willemsen, Anne Remke, Erika Ábrahám:
Comparing Two Approaches to Include Stochasticity in Hybrid Automata. QEST 2023: 238-254 - [c127]Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown:
Exploiting Strict Constraints in the Cylindrical Algebraic Covering. SMT 2023: 33-45 - [c126]Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke:
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. TASE 2023: 164-182 - [c125]Erika Ábrahám, Jasper Nalbach, Valentin Promies:
Automated Exercise Generation for Satisfiability Checking. FMTea 2023: 1-16 - [c124]Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka:
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems. GandALF 2023: 16-32 - [c123]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] - [d1]Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour:
A-HyperProb. Zenodo, 2023 - [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) - [c122]Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour:
HyperPCTL Model Checking by Probabilistic Decomposition. IFM 2022: 209-226 - [c121]Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat:
Experiments with Automated Reasoning in the Class. CICM 2022: 287-304 - [c120]Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour:
Probabilistic Hyperproperties with Rewards. NFM 2022: 656-673 - [c119]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) - [c118]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 - [c117]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 - [c116]Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour:
HyperProb: A Model Checker for Probabilistic Hyperproperties. FM 2021: 657-666 - [c115]Jasper Nalbach, Erika Ábrahám, Gereon Kremer:
Extending the Fundamental Theorem of Linear Programming for Strict Inequalities. ISSAC 2021: 313-320 - [c114]Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám:
Controller verification meets controller code: a case study. MEMOCODE 2021: 98-103 - [c113]Rebecca Haehn, Erika Ábrahám, Nils Nießen:
Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies. QEST 2021: 257-275 - [c112]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 - [c111]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) - [c110]Rebecca Haehn, Erika Ábrahám, Nils Nießen:
Probabilistic Simulation of a Railway Timetable. ATMOS 2020: 16:1-16:14 - [c109]Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe:
Probabilistic Hyperproperties with Nondeterminism. ATVA 2020: 518-534 - [c108]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 - [c107]Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella:
Optimal Planning Modulo Theories. IJCAI 2020: 4128-4134 - [c106]Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe:
Parameter Synthesis for Probabilistic Hyperproperties. LPAR 2020: 12-31 - [c105]Rebecca Haehn, Erika Ábrahám, Nils Nießen:
Freight Train Scheduling in Railway Systems. MMB 2020: 225-241 - [c104]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 - [c103]Erika Ábrahám:
Abstract domains in SMT solving for real algebra (invited talk). NSAD@SAS 2020: 1 - [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]Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen:
A Greedy Approach for the Efficient Repair of Stochastic Models. NFM 2015: 295-309 - [c65]Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski:
A Benchmark Suite for Hybrid Systems Reachability Analysis. NFM 2015: 408-414 - [c64]Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám:
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving. SAT 2015: 360-368 - [p1]Johanna Nellen, Erika Ábrahám, Benedikt Wolters:
A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata. Formalisms for Reuse and Systems Integration 2015: 55-78 - [i7]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. CoRR abs/1503.06974 (2015) - [i6]Erika Ábrahám, Pascal Fontaine, Thomas Sturm, Dongming Wang:
Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471). Dagstuhl Reports 5(11): 71-89 (2015) - 2014
- [j9]Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster:
Symbolic counterexample generation for large discrete-time Markov chains. Sci. Comput. Program. 91: 90-114 (2014) - [j8]Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
Minimal counterexamples for linear-time probabilistic verification. Theor. Comput. Sci. 549: 61-100 (2014) - [c63]Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen:
Fast Debugging of PRISM Models. ATVA 2014: 146-162 - [c62]Ralf Wimmer, Erika Ábrahám:
Maybe or Maybe Not: Contributions to Stochastic Verification. Aspekte der Technischen Informatik 2014: 119-128 - [c61]Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám:
Under-approximate flowpipes for non-linear continuous systems. FMCAD 2014: 59-66 - [c60]Johanna Nellen, Erika Ábrahám:
A CEGAR approach for the reachability analysis of PLC-controlled chemical plants. IRI 2014: 500-507 - [c59]Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
Accelerating Parametric Probabilistic Verification. QEST 2014: 404-420 - [c58]Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer:
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. SFM 2014: 65-121 - [e2]Erika Ábrahám, Catuscia Palamidessi:
Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. Lecture Notes in Computer Science 8461, Springer 2014, ISBN 978-3-662-43612-7 [contents] - [e1]Erika Ábrahám, Klaus Havelund:
Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Lecture Notes in Computer Science 8413, Springer 2014, ISBN 978-3-642-54861-1 [contents] - [i5]Erika Ábrahám, Alberto Avritzer, Anne Remke, William H. Sanders:
Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031). Dagstuhl Reports 4(1): 36-82 (2014) - 2013
- [c57]Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker:
A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. CADE 2013: 193-207 - [c56]Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám:
On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. CAI 2013: 186-198 - [c55]Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky:
A Timed CTL Model Checker for Real-Time Maude. CALCO 2013: 334-339 - [c54]Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan:
Flow*: An Analyzer for Non-linear Hybrid Systems. CAV 2013: 258-263 - [c53]Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins:
Counterexample Generation for Hybrid Automata. FTSCS 2013: 88-106 - [c52]Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, Erika Ábrahám:
From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits. ICCAD 2013: 662-669 - [c51]Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám:
Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. MBMV 2013: 243-254 - [c50]Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám:
Lyapunov Function Synthesis Using Handelman Representations. NOLCOS 2013: 576-581 - [c49]Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
High-Level Counterexamples for Probabilistic Automata. QEST 2013: 39-54 - [i4]Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
Accelerating Parametric Probabilistic Verification. CoRR abs/1312.3979 (2013) - 2012
- [c48]Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker:
The COMICS Tool - Computing Minimal Counterexamples for DTMCs. ATVA 2012: 349-353 - [c47]Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker:
Symbolic Counterexample Generation for Discrete-Time Markov Chains. FACS 2012: 134-151 - [c46]Johanna Nellen, Erika Ábrahám:
Hybrid Sequential Function Charts. MBMV 2012: 109-120 - [c45]Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen:
Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. MBMV 2012: 169-180 - [c44]Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan:
Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. RTSS 2012: 183-192 - [c43]Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Ábrahám:
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation). SAT 2012: 442-448 - [c42]Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen:
Minimal Critical Subsystems for Discrete-Time Markov Models. TACAS 2012: 299-314 - [c41]Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám:
Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude. WRLA 2012: 139-161 - [c40]Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky:
Timed CTL Model Checking in Real-Time Maude. WRLA 2012: 182-200 - [i3]Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker:
The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains. CoRR abs/1206.0603 (2012) - 2011
- [j7]Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde:
Parallel SAT Solving in Bounded Model Checking. J. Log. Comput. 21(1): 5-21 (2011) - [c39]Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker:
Hierarchical Counterexamples for Discrete-Time Markov Chains. ATVA 2011: 443-452 - [c38]Ulrich Loup, Erika Ábrahám:
I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra. CAI 2011: 230-246 - [c37]Xin Chen, Erika Ábrahám:
Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems. EUROCAST (1) 2011: 535-542 - [c36]Florian Corzilius, Erika Ábrahám:
Virtual Substitution for SMT-Solving. FCT 2011: 360-371 - [c35]Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám:
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. FMOODS/FORTE 2011: 75-89 - [c34]Pascal Richter, Erika Ábrahám, Gabriel Morin:
Optimisation of Concentrating Solar Thermal Power Plants with Neural Networks. ICANNGA (1) 2011: 190-199 - [c33]Erika Ábrahám, Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder:
On collaboratively conveying computer science to pupils. Koli Calling 2011: 132-137 - [c32]Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám:
SMT-based Counterexample Generation for Markov Chains. MBMV 2011: 19-28 - [c31]Ulrich Loup, Erika Ábrahám:
GiNaCRA: A C++ Library for Real Algebraic Computations. NASA Formal Methods 2011: 512-517 - [c30]Xin Chen, Erika Ábrahám, Goran Frehse:
Efficient Bounded Reachability Computation for Rectangular Automata. RP 2011: 139-152 - [c29]Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám:
Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. SEFM 2011: 415-430 - 2010
- [j6]Markus Geimer, Felix Wolf, Brian J. N. Wylie, Erika Ábrahám, Daniel Becker, Bernd Mohr:
The Scalasca performance toolset architecture. Concurr. Comput. Pract. Exp. 22(6): 702-719 (2010) - [c28]Erika Ábrahám, Philipp Brauner, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Ulrik Schroeder:
Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik. DeLFI 2010: 239-251 - [c27]Natalia Kalinnik, Erika Ábrahám, Tobias Schubert, Ralf Wimmer, Bernd Becker:
Exploiting Different Strategies for the Parallelization of an SMT Solver. MBMV 2010: 97-106 - [c26]Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker:
DTMC Model Checking by SCC Reduction. QEST 2010: 37-46 - [c25]Kai Bollue, Michaela Slaats, Erika Ábrahám, Wolfgang Thomas, Dirk Abel:
Synthesis of behavioral controllers for DES: Increasing efficiency. WODES 2010: 27-34 - [c24]Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky:
A Rewriting-Logic-Based Technique for Modeling Thermal Systems. RTRTS 2010: 82-100 - [c23]Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám:
Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications. RTRTS 2010: 117-136 - [c22]Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám:
Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. TTSS 2010: 17-32 - [i2]Erika Ábrahám, Florian Corzilius, Ulrich Loup, Thomas Sturm:
A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra. Verification over discrete-continuous boundaries 2010
2000 – 2009
- 2009
- [j5]Erika Ábrahám, Immo Grabe, Andreas Grüner, Martin Steffen:
Behavioral interface description of an object-oriented language with futures and promises. J. Log. Algebraic Methods Program. 78(7): 491-518 (2009) - [c21]Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker:
Picoso - A Parallel Interval Constraint Solver. PDPTA 2009: 473-479 - [i1]Erika Ábrahám, Ulrich Loup:
SMT-Solving for the First-Order Theory of the Reals. Algorithms and Applications for Next Generation SAT Solvers 2009 - 2008
- [j4]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
A Deductive Proof System for Multithreaded Java with Exceptions. Fundam. Informaticae 82(4): 391-463 (2008) - [j3]Erika Ábrahám, Andreas Grüner, Martin Steffen:
Abstract Interface Behavior of Object-Oriented Languages with Monitors. Theory Comput. Syst. 43(3-4): 322-361 (2008) - [j2]Erika Ábrahám, Andreas Grüner, Martin Steffen:
Heap-abstraction for an object-oriented calculus with thread classes. Softw. Syst. Model. 7(2): 177-208 (2008) - [c20]Felix Wolf, Brian J. N. Wylie, Erika Ábrahám, Daniel Becker, Wolfgang Frings, Karl Fürlinger, Markus Geimer, Marc-André Hermanns, Bernd Mohr, Shirley Moore, Matthias Pfeifer, Zoltán Szebenyi:
Usage of the SCALASCA toolset for scalable performance analysis of large-scale parallel applications. Parallel Tools Workshop 2008: 157-167 - 2007
- [c19]Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde:
On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. DDECS 2007: 391-396 - 2006
- [c18]Erika Ábrahám, Andreas Grüner, Martin Steffen:
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. CiE 2006: 1-10 - [c17]Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde:
Parallel SAT Solving in Bounded Model Checking. FMICS/PDMC 2006: 301-315 - [c16]Erika Ábrahám, Andreas Grüner, Martin Steffen:
Abstract Interface Behavior of Object-Oriented Languages with Monitors. FMOODS 2006: 218-232 - [c15]Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen:
Memory-aware Bounded Model Checking for Linear Hybrid Systems. MBMV 2006: 153-162 - [c14]Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen:
Bounded Model Checking with Parametric Data Structures. BMC@FLoC 2006: 3-16 - 2005
- [j1]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
An assertion-based proof system for multithreaded Java. Theor. Comput. Sci. 331(2-3): 251-290 (2005) - [c13]Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen:
Optimizing Bounded Model Checking for Linear Hybrid Systems. VMCAI 2005: 396-412 - [c12]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
Inductive Proof Outlines for Exceptions in Multithreaded Java. FSEN 2005: 281-297 - 2004
- [c11]Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám:
A Fully Abstract Semantics for UML Components. FMCO 2004: 49-69 - [c10]Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen:
Observability, Connectivity, and Replay in a Sequential Calculus of Classes. FMCO 2004: 296-316 - [c9]Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen:
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. ICTAC 2004: 37-51 - 2003
- [c8]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
A Compositional Operational Semantics for JavaMT. Verification: Theory and Practice 2003: 290-303 - [c7]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
Inductive Proof Outlines for Monitors in Java. FMOODS 2003: 155-169 - 2002
- [c6]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
A Tool-Supported Proof System for Multithreaded Java. FMCO 2002: 1-32 - [c5]Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
Verification for Java's Reentrant Multithreading Concept. FoSSaCS 2002: 5-20 - 2001
- [c4]Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen:
Assertion-Based Analysis of Hybrid Systems with PVS. EUROCAST 2001: 94-109 - [c3]Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann:
Verification of Hybrid Systems: Formalization and Proof Rules in PVS. ICECCS 2001: 48-57 - 2000
- [c2]Erika Ábrahám-Mumm, Frank S. de Boer:
Proof-Outlines for Threads in Java. CONCUR 2000: 229-242 - [c1]Jan de Meer, Erika Ábrahám-Mumm:
Formal Methods for Reflective System Specification. FBT 2000: 51-57
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-30 20:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
