


default search action
Erika Á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
- [j27]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) - [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) - [c135]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 - [c134]Jasper Nalbach
, Erika Ábrahám
:
Merging Adjacent Cells During Single Cell Construction. CASC 2024: 252-272 - [c133]Valentin Promies
, Erika Ábrahám
:
A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic. FM (1) 2024: 131-148 - [c132]Valentin Promies, Jasper Nalbach, Erika Ábrahám:
Under-Approximation of a Single Algebraic Cell (Extended Abstract). PAAR+SC²@IJCAR 2024: 132-136 - [c131]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
- [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] - [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) - [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