The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Erika Ábrahám Erika Ábrahám-Mumm ( http://dblp.L3S.de/Authors/Erika_Ábrahám )

URL (Homepage):  http://ths.rwth-aachen.de/people/erika-abraham/  Author page on DBLP  Author page in RDF  Community of Erika Ábrahám in ASPL-2

Publication years (Num. hits)
2000-2006 (18) 2007-2010 (17) 2011-2012 (23) 2013-2014 (20) 2015 (17) 2016 (17) 2017-2018 (21) 2019 (4)
Publication types (Num. hits)
article(34) incollection(1) inproceedings(96) proceedings(6)
Venues (Conferences, Journals, ...)
CoRR(10) MBMV(7) QEST(4) ATVA(3) Dagstuhl Reports(3) Electr. Notes Theor. Comput. S...(3) FM(3) FMCO(3) IRI(3) NFM(3) Sci. Comput. Program.(3) SEFM(3) CAI(2) FMOODS(2) GCAI(2) IFM(2) More (+10 of total 89)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 5 keywords

Results
Found 138 publication records. Showing 137 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen 0001, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk 0001 Parameter Synthesis for Markov Models. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Philipp 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. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics. Search on Bibsonomy Information Systems Frontiers The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Philipp 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. Search on Bibsonomy FMICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Borzoo Bonakdarpour HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Erika Ábrahám, Armando Tacchella SMarTplan: a Task Planner for Smart Factories. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Erika Ábrahám, Borzoo Bonakdarpour HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philipp 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. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johanna 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. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Leofante, Erika Ábrahám, Armando Tacchella Task Planning with OMT: An Application to Production Logistics. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Schupp, Erika Ábrahám Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis. Search on Bibsonomy TACAS (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Schupp, Justin Winkens, Erika Ábrahám Context-Dependent Reachability Analysis for Hybrid Systems. Search on Bibsonomy IRI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Schupp, Erika Ábrahám Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems. Search on Bibsonomy SEFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Hadas Kress-Gazit, Lorenzo Natale, Armando Tacchella Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefan Schupp, Johanna Nellen, Erika Ábrahám Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis. Search on Bibsonomy QAPL@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Sergiy Bogomolov (eds.) Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April 2017. Search on Bibsonomy SNR@ETAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Francesco 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. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Jannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. Search on Bibsonomy VALUETOOLS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Francesco 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. Search on Bibsonomy IRI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, James H. Davenport, Pascal Fontaine (eds.) 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. Search on Bibsonomy SC²@SYNASC The full citation details ... 2017 DBLP  BibTeX  RDF
1Erika Ábrahám, Gereon Kremer SMT Solving for Arithmetic Theories: Theory and Tool Support. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tarik Viehmann, Gereon Kremer, Erika Ábrahám Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Erika Ábrahám, Jasper Nalbach, Gereon Kremer Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen 0002, Erika Ábrahám Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. Search on Bibsonomy IMA J. Math. Control & Information The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Thi Mai Thuong Tran, Martin Steffen Observable interface behaviour and inheritance. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 Satisfiability checking and symbolic computation. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Klaus Havelund Some recent advances in automated analysis. Search on Bibsonomy STTT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 Satisfiability Checking and Symbolic Computation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 Satisfiability Checking meets Symbolic Computation (Project Paper). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Johanna 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. Search on Bibsonomy Information Systems Frontiers The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen 0001 Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Marcello M. Bonsangue, Einar Broch Johnsen (eds.) Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday Search on Bibsonomy Theory and Practice of Formal Methods The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian Dehnert, Sebastian Junges, Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes Parameter Synthesis for Probabilistic Systems. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Marieke Huisman (eds.) Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pascal Richter, David Laukamp, Levin Gerdes, Martin Frank, Erika Ábrahám Heliostat Field Layout Optimization with Evolutionary Algorithms. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám Symbolic Computation Techniques in Satisfiability Checking. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Gereon Kremer Satisfiability Checking: Theory and Applications. Search on Bibsonomy SEFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gereon Kremer, Florian Corzilius, Erika Ábrahám A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic. Search on Bibsonomy CASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Pascal Fontaine, Thomas Sturm 0001, Dongming Wang Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Erika Á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. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Ralf Wimmer, Nils Jansen 0001, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 High-level Counterexamples for Probabilistic Automata Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Muhammad 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? Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Johanna Nellen, Erika Ábrahám, Benedikt Wolters A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata. Search on Bibsonomy Formalisms for Reuse and Systems Integration The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Erika Á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. Search on Bibsonomy NBiS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sascha 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. Search on Bibsonomy CCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christian Dehnert, Sebastian Junges, Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tim Quatmann, Nils Jansen 0001, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 Counterexamples for Expected Rewards. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stefan Schupp, Erika Ábrahám, Xin Chen 0002, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski Current Challenges in the Verification of Hybrid Systems. Search on Bibsonomy CyPhy The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Johanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen, Erika Ábrahám A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Xin Chen 0002, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski A Benchmark Suite for Hybrid Systems Reachability Analysis. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shashank Pathak, Erika Ábrahám, Nils Jansen 0001, Armando Tacchella, Joost-Pieter Katoen A Greedy Approach for the Efficient Repair of Stochastic Models. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xin Chen 0002, Sriram Sankaranarayanan, Erika Ábrahám Flow* 1.2: More Effective to Play with Hybrid Systems. Search on Bibsonomy ARCH@CPSWeek The full citation details ... 2015 DBLP  BibTeX  RDF
1Erika Ábrahám Building Bridges between Symbolic Computation and Satisfiability Checking. Search on Bibsonomy ISSAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Alberto Avritzer, Anne Remke, William H. Sanders Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Nils Jansen 0001, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 Minimal counterexamples for linear-time probabilistic verification. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker 0001, Johann Schuster Symbolic counterexample generation for large discrete-time Markov chains. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 Accelerating Parametric Probabilistic Verification. Search on Bibsonomy QEST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christian Dehnert, Nils Jansen 0001, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen Fast Debugging of PRISM Models. Search on Bibsonomy ATVA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Bernd Becker 0001, Christian Dehnert, Nils Jansen 0001, Joost-Pieter Katoen, Ralf Wimmer Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. Search on Bibsonomy SFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Klaus Havelund (eds.) 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 Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Johanna Nellen, Erika Ábrahám A CEGAR approach for the reachability analysis of PLC-controlled chemical plants. Search on Bibsonomy IRI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Catuscia Palamidessi (eds.) 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 Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xin Chen 0002, Sriram Sankaranarayanan, Erika Ábrahám Under-approximate flowpipes for non-linear continuous systems. Search on Bibsonomy FMCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 Accelerating Parametric Probabilistic Verification. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Xin Chen 0002, Erika Ábrahám, Sriram Sankaranarayanan Flow*: An Analyzer for Non-linear Hybrid Systems. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. Search on Bibsonomy CAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Nils Jansen 0001, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 High-Level Counterexamples for Probabilistic Automata. Search on Bibsonomy QEST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Johanna Nellen, Erika Ábrahám, Xin Chen 0002, Pieter Collins Counterexample Generation for Hybrid Automata. Search on Bibsonomy FTSCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Ralf Wimmer, Bernd Becker 0001, Erika Ábrahám Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker 0001 A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yan Zhang 0027, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen 0002, Erika Ábrahám From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits. Search on Bibsonomy ICCAD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sriram Sankaranarayanan, Xin Chen 0002, Erika Ábrahám Lyapunov Function Synthesis Using Handelman Representations. Search on Bibsonomy NOLCOS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky A Timed CTL Model Checker for Real-Time Maude. Search on Bibsonomy CALCO The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Erika Ábrahám, Maik Scheffler, Matthias Volk 0001, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker 0001 The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Nils Jansen 0001, Erika Ábrahám, Matthias Volk 0001, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker 0001 The COMICS Tool - Computing Minimal Counterexamples for DTMCs. Search on Bibsonomy ATVA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Johanna Nellen, Erika Ábrahám Hybrid Sequential Function Charts. Search on Bibsonomy MBMV The full citation details ... 2012 DBLP  BibTeX  RDF
1Ralf Wimmer, Bernd Becker 0001, Nils Jansen 0001, Erika Ábrahám, Joost-Pieter Katoen Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. Search on Bibsonomy MBMV The full citation details ... 2012 DBLP  BibTeX  RDF
1Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Ábrahám SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation). Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Xin Chen 0002, Erika Ábrahám, Sriram Sankaranarayanan Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. Search on Bibsonomy RTSS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Nils Jansen 0001, Erika Ábrahám, Bernd Becker 0001, Joost-Pieter Katoen Minimal Critical Subsystems for Discrete-Time Markov Models. Search on Bibsonomy TACAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker 0001 Symbolic Counterexample Generation for Discrete-Time Markov Chains. Search on Bibsonomy FACS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky Timed CTL Model Checking in Real-Time Maude. Search on Bibsonomy WRLA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude. Search on Bibsonomy WRLA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Tobias Schubert 0001, Bernd Becker 0001, Martin Fränzle, Christian Herde Parallel SAT Solving in Bounded Model Checking. Search on Bibsonomy J. Log. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ulrich Loup, Erika Ábrahám I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra. Search on Bibsonomy CAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker 0001 Hierarchical Counterexamples for Discrete-Time Markov Chains. Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Ralf Wimmer, Bernd Becker 0001, Nils Jansen 0001, Erika Ábrahám SMT-based Counterexample Generation for Markov Chains. Search on Bibsonomy MBMV The full citation details ... 2011 DBLP  BibTeX  RDF
1Florian Corzilius, Erika Ábrahám Virtual Substitution for SMT-Solving. Search on Bibsonomy FCT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pascal Richter, Erika Ábrahám, Gabriel Morin Optimisation of Concentrating Solar Thermal Power Plants with Neural Networks. Search on Bibsonomy ICANNGA (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen 0001, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder On collaboratively conveying computer science to pupils. Search on Bibsonomy Koli Calling The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Xin Chen 0002, Erika Ábrahám Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems. Search on Bibsonomy EUROCAST (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ulrich Loup, Erika Ábrahám GiNaCRA: A C++ Library for Real Algebraic Computations. Search on Bibsonomy NASA Formal Methods The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Xin Chen 0002, Erika Ábrahám, Goran Frehse Efficient Bounded Reachability Computation for Rectangular Automata. Search on Bibsonomy RP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 137 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license