Publications

2021
DOI [bibtex]
@article{PCP2021,
title = {Predictive storage strategy for optimal design of hybrid CSP-PV plants with immersion heater},
author = {Pascal Richter and Torsten Trimborn and L. Aldenhoff},
publisher = {Elsevier Science},
journal = {Solar energy},
volume = {218},
pages = {pages 237-250},
type = {Journal Article},
year = {2021},
doi = {10.1016/j.solener.2020.11.005},
url = { https://publications.rwth-aachen.de/record/819720},
}×
[issue]
Pascal Richter, Torsten Trimborn, L. Aldenhoff. Predictive storage strategy for optimal design of hybrid CSP-PV plants with immersion heater, Solar energy 218, pages 237-250, Elsevier Science, 2021.
DOI [bibtex]
@article{A2021,
title = {Accurate interpolation methods for the annual simulation of solar central receiver systems using celestial coordinate system},
author = {Pascal Richter and Janna Tinnes and Lukas Aldenhoff},
publisher = {Elsevier Science},
journal = {Solar energy},
volume = {213},
pages = {pages 328-338},
type = {Journal Article},
year = {2021},
doi = {10.1016/j.solener.2020.10.087},
url = { https://publications.rwth-aachen.de/record/813667},
}×
[issue]
Pascal Richter, Janna Tinnes, Lukas Aldenhoff. Accurate interpolation methods for the annual simulation of solar central receiver systems using celestial coordinate system, Solar energy 213, pages 328-338, Elsevier Science, 2021.
2020
DOI fulltext PDF [bibtex]
@masterthesis{AS2020,
title = {A novel adaption of the Simplex algorithm for linear real arithmetic},
author = {Jasper Kurt Ferdinand Nalbach},
institution = {RWTH Aachen University},
pages = {79 Seiten},
type = {Master Thesis},
year = {2020},
doi = {10.18154/RWTH-2021-04303},
url = { https://publications.rwth-aachen.de/record/818122},
}×
[issue]
Jasper Kurt Ferdinand Nalbach, Gereon Kremer. A novel adaption of the Simplex algorithm for linear real arithmetic, Master Thesis, RWTH Aachen University, 79 Seiten, 2020.
fulltext PDF [bibtex]
@techreport{URTG2020,
title = {UnRAVeL Research Training Group},
author = {Joost-Pieter Katoen and Martin Ritzert and Richard Wilke and Katrin M. Dannert and Peter Lindner and Dennis Fischer and Janosch Fuchs and Björn Frederik Tauer and Vipin Ravindran Vijayalakshmi and Laura Vargas Koch and Nadine Friesen and Andreas Gabriel Klinger and Marcel Tobias Hark and Benjamin Lucien Kaminski and Sebastian Junges and Jip Josephine Spel and Anton Pirogov and Stefan Schupp and Till Hofmann and Daxin Liu and Martin Comis and Tabea Claudia Krabs and Stephan Zieger and Rebecca Haehn and Matthias Volk and Norman Weik and Helene-Maria Bolke-Hermanns},
pages = {85 Seiten},
type = {Tech Report},
year = {2020},
url = { https://publications.rwth-aachen.de/record/807487},
}×
[issue]
Joost-Pieter Katoen, Martin Ritzert, Richard Wilke, Katrin M. Dannert, Peter Lindner, Dennis Fischer, Janosch Fuchs, Björn Frederik Tauer, Vipin Ravindran Vijayalakshmi, Laura Vargas Koch, Nadine Friesen, Andreas Gabriel Klinger, Marcel Tobias Hark, Benjamin Lucien Kaminski, Sebastian Junges, Jip Josephine Spel, Anton Pirogov, Stefan Schupp, Till Hofmann, Daxin Liu, Martin Comis, Tabea Claudia Krabs, Stephan Zieger, Rebecca Haehn, Matthias Volk, Norman Weik, Helene-Maria Bolke-Hermanns. UnRAVeL Research Training Group, 85 Seiten, 2020.
DOI fulltext PDF [bibtex]
@conference{PSRT2020,
title = {Probabilistic Simulation of a Railway Timetable},
author = {Rebecca Haehn and Erika Ábrahám and Nils Nießen},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {OpenAccess Series in Informatics (OASIcs)},
volume = {85},
pages = {16:1-16:14},
type = {Conference Paper},
year = {2020},
doi = {10.4230/OASICS.ATMOS.2020.16},
url = { https://publications.rwth-aachen.de/record/807139},
}×
[issue]
Rebecca Haehn, Erika Ábrahám, Nils Nießen. Probabilistic Simulation of a Railway Timetable, 20th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2020), Volume 85 of OpenAccess Series in Informatics (OASIcs), 16:1-16:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
DOI fulltext PDF [bibtex]
@phdthesis{C2020,
title = {Cylindrical algebraic decomposition for nonlinear arithmetic problems},
author = {Gereon Kremer},
booktitle = {Aachener Informatik-Berichte},
volume = {2020-04},
institution = {RWTH Aachen University},
pages = {1 Online-Ressource (204 Seiten) : Illustrationen, Diagramme},
type = {PhD Thesis},
year = {2020},
doi = {10.18154/RWTH-2020-05913},
url = { https://publications.rwth-aachen.de/record/792185},
}×
[issue]
Gereon Kremer. Cylindrical algebraic decomposition for nonlinear arithmetic problems, PhD Thesis, RWTH Aachen University, Volume 2020-04 of Aachener Informatik-Berichte, 1 Online-Ressource (204 Seiten) : Illustrationen, Diagramme, 2020.
DOI fulltext PDF [bibtex]
@conference{PSPH2020,
title = {Parameter Synthesis for Probabilistic Hyperproperties},
author = {Erika Ábrahám and Ezio Bartocci and Borzoo Bonakdarpour and Oyendrila Dobe},
booktitle = {EPiC Series in Computing},
volume = {73},
pages = {12-31},
type = {Conference Paper},
year = {2020},
doi = {10.29007/37lf},
url = { https://publications.rwth-aachen.de/record/792181},
}×
[issue]
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe. Parameter Synthesis for Probabilistic Hyperproperties, The 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2020), Volume 73 of EPiC Series in Computing, 12-31, 2020.
DOI [bibtex]
@conference{FTSRS2020,
title = {Freight Train Scheduling in Railway Systems},
author = {Rebecca Haehn and Erika Ábrahám and Nils Nießen},
publisher = {Springer},
booktitle = {LNCS},
volume = {12040},
pages = {225-241},
type = {Conference Paper},
year = {2020},
doi = {10.1007/978-3-030-43024-5_14},
url = { https://publications.rwth-aachen.de/record/789633},
}×
[issue]
Rebecca Haehn, Erika Ábrahám, Nils Nießen. Freight Train Scheduling in Railway Systems, 20th International Conference on Measurement, Modelling and Evaluation of Computing Systems (MMB 2020), Volume 12040 of LNCS, 225-241, Springer, 2020.
arXiv:2003.05633 [bibtex]
@unpublished{DCNLRACCDSUCAC2020,
title = {Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings},
author = {Erika Ábrahám and James H. Davenport and Matthew England and Gereon Kremer},
publisher = {Elsevier Science},
pages = {41 Seiten},
type = {Preprint},
year = {2020},
url = { https://arxiv.org/abs/2003.05633},
}×
[issue]
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, 41 Seiten, Elsevier Science, 2020. https://arxiv.org/abs/2003.05633
2019
DOI [bibtex]
@conference{ECFSRVRAIHS2019,
title = {Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems},
author = {Francesco Leofante and Stefan Schupp and Erika Ábrahám and Armando Tacchella},
publisher = {European Council for Modelling and Simulation},
pages = {7 Seiten},
type = {Conference Paper},
year = {2019},
doi = {10.7148/2019-0407},
url = { https://publications.rwth-aachen.de/record/771665},
}×
[issue]
Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella. Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems, 33rd International ECMS Conference on Modelling and Simulation (ECMS 2019), 7 Seiten, European Council for Modelling and Simulation, 2019.
DOI [bibtex]
@conference{RLCCO2019,
title = {Repairing Learned Controllers with Convex Optimization},
author = {Dario Guidotti and Francesco Leofante and Claudio Castellini and Armando Tacchella},
publisher = {Springer},
booktitle = {Theoretical Computer Science and General Issues},
volume = {11494},
pages = {364-373},
type = {Conference Paper},
year = {2019},
doi = {10.1007/978-3-030-19212-9_24},
url = { https://publications.rwth-aachen.de/record/767294},
}×
[issue]
Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella. Repairing Learned Controllers with Convex Optimization, 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2019), Volume 11494 of Theoretical Computer Science and General Issues, 364-373, Springer, 2019.
DOI [bibtex]
@conference{SPRSF2019,
title = {SMT-based Planning for Robots in Smart Factories},
author = {Arthur Bit-Monnot and Francesco Leofante and Luca Pulina and Armando Tacchella},
publisher = {Springer},
booktitle = {LNCS},
volume = {11606},
pages = {674-686},
type = {Conference Paper},
year = {2019},
doi = {10.1007/978-3-030-22999-3_58},
url = { https://publications.rwth-aachen.de/record/767296},
}×
[issue]
Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella. SMT-based Planning for Robots in Smart Factories, 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2019), Volume 11606 of LNCS, 674-686, Springer, 2019.
DOI [bibtex]
@conference{PODBLCPTC2019,
title = {Proper Orthogonal Decomposition and Bilinear Lyapunov Control of Parabolic Trough Collectors},
author = {Tim Andreas Reuscher and Lorenz Matthias Pyta and Thomas Konrad and Pascal Richter and Dirk Abel},
publisher = {IEEE},
pages = {439-444},
type = {Conference Paper},
year = {2019},
doi = {10.1109/MED.2019.8798520},
url = { https://publications.rwth-aachen.de/record/766464},
}×
[issue]
Tim Andreas Reuscher, Lorenz Matthias Pyta, Thomas Konrad, Pascal Richter, Dirk Abel. Proper Orthogonal Decomposition and Bilinear Lyapunov Control of Parabolic Trough Collectors, 2019 27th Mediterranean Conference on Control and Automation (MED2019), 439-444, IEEE, 2019.
fulltext PDF [bibtex]
@conference{OPCM2019,
title = {On the Proof Complexity of MCSAT},
author = {Gereon Kremer and Erika Ábrahám and Vijay Ganesh},
publisher = {RWTH Aachen},
booktitle = {CEUR Workshop Proceedings},
volume = {2460},
pages = {10 Seiten},
type = {Conference Paper},
year = {2019},
url = { https://publications.rwth-aachen.de/record/771621},
}×
[issue]
Gereon Kremer, Erika Ábrahám, Vijay Ganesh. On the Proof Complexity of MCSAT, 4th Workshop on Satisfiability Checking and Symbolic Computation (SC-square), Volume 2460 of CEUR Workshop Proceedings, 10 Seiten, RWTH Aachen, 2019.
DOI fulltext PDF [bibtex]
@conference{OVOMNRA2019,
title = {On Variable Orderings in MCSAT for Non-linear Real Arithmetic},
author = {Jasper Nalbach and Gereon Kremer and Erika Ábrahám},
publisher = {RWTH Aachen},
booktitle = {CEUR Workshop Proceedings},
volume = {2460},
pages = {7 Seiten},
type = {Conference Paper},
year = {2019},
doi = {10.18154/RWTH-CONV-240068},
url = { https://publications.rwth-aachen.de/record/771622},
}×
[issue]
Jasper Nalbach, Gereon Kremer, Erika Ábrahám. On Variable Orderings in MCSAT for Non-linear Real Arithmetic, 4th Workshop on Satisfiability Checking and Symbolic Computation (SC-square), Volume 2460 of CEUR Workshop Proceedings, 7 Seiten, RWTH Aachen, 2019.
DOI [bibtex]
@conference{O2019,
title = {Optimization of robust aiming strategies in solar tower power plants},
author = {Pascal Richter and Fynn Kepp and Christina Maria Katharina Büsing and Sascha David Kuhnke},
publisher = {AIP Publishing},
booktitle = {AIP conference proceedings},
volume = {2126},
pages = {030045, 1-9},
type = {Conference Paper},
year = {2019},
doi = {10.1063/1.5117557},
url = { https://publications.rwth-aachen.de/record/787139},
}×
[issue]
Pascal Richter, Fynn Kepp, Christina Maria Katharina Büsing, Sascha David Kuhnke. Optimization of robust aiming strategies in solar tower power plants, International Conference on Concentrating Solar Power and Chemical Energy Systems (SOLARPACES 2018), Volume 2126 of AIP conference proceedings, 030045, 1-9, AIP Publishing, 2019.
DOI [bibtex]
@article{FICAD2019,
title = {Fully Incremental Cylindrical Algebraic Decomposition},
author = {Gereon Kremer and Erika Ábrahám},
publisher = {Elsevier},
journal = {Journal of symbolic computation},
volume = {100},
pages = {pages 11-37},
type = {Journal Article},
year = {2019},
doi = {10.1016/j.jsc.2019.07.018},
url = { https://publications.rwth-aachen.de/record/780485},
}×
[issue]
Gereon Kremer, Erika Ábrahám. Fully Incremental Cylindrical Algebraic Decomposition, Journal of symbolic computation 100, pages 11-37, Elsevier, 2019.
DOI [bibtex]
@conference{MARO2019,
title = {Multiple Analyses, Requirements Once},
author = {Philipp Berger and Johanna Nellen and Joost-Pieter Katoen and Erika Ábrahám and Md Tawhid Bin Waez and Thomas Rambow},
publisher = {Springer},
booktitle = {LNCS},
volume = {11687},
pages = {59-75},
type = {Conference Paper},
year = {2019},
doi = {10.1007/978-3-030-27008-7_4},
url = { https://publications.rwth-aachen.de/record/767285},
}×
[issue]
Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow. Multiple Analyses, Requirements Once, 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019), Volume 11687 of LNCS, 59-75, Springer, 2019.
DOI [bibtex]
@conference{ACCR2019,
title = {ARCH-COMP19 Category Report},
author = {Matthias Althoff and Stanley Bak and Marcelo Forets and Goran Frehse and Niklas Kochdumper and Rajarshi Ray and Christian Schilling and Stefan Schupp},
publisher = {EasyChair},
booktitle = {EPiC series in computing},
volume = {61},
pages = {14-40},
type = {Conference Paper},
year = {2019},
doi = {10.29007/bj1w},
url = { https://publications.rwth-aachen.de/record/814248},
}×
[issue]
Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp. ARCH-COMP19 Category Report, 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH19), Volume 61 of EPiC series in computing, 14-40, EasyChair, 2019.
DOI [bibtex]
@conference{ACCR2019,
title = {ARCH-COMP19 Category Report},
author = {Lei Bu and Rajarshi Ray and Stefan Schupp},
publisher = {EasyChair},
booktitle = {EPiC series in computing},
volume = {61},
pages = {120-128},
type = {Conference Paper},
year = {2019},
doi = {10.29007/g965},
url = { https://publications.rwth-aachen.de/record/814251},
}×
[issue]
Lei Bu, Rajarshi Ray, Stefan Schupp. ARCH-COMP19 Category Report, 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH19), Volume 61 of EPiC series in computing, 120-128, EasyChair, 2019.
DOI [bibtex]
@article{IRMUFV2019,
title = {Improving Reliability of Myocontrol Using Formal Verification},
author = {Dario Guidotti and Francesco Leofante and Armando Tacchella and Claudio Castellini},
publisher = {IEEE},
journal = {IEEE transactions on neural systems and rehabilitation engineering},
volume = {27(4)},
pages = {pages 564-571},
type = {Journal Article},
year = {2019},
doi = {10.1109/TNSRE.2019.2893152},
url = { https://publications.rwth-aachen.de/record/767293},
}×
[issue]
Dario Guidotti, Francesco Leofante, Armando Tacchella, Claudio Castellini. Improving Reliability of Myocontrol Using Formal Verification, IEEE transactions on neural systems and rehabilitation engineering 27 (4), pages 564-571, IEEE, 2019.
2018
DOI [bibtex]
@conference{SW2018,
title = {Spread the Work},
author = {Stefan Schupp and Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
volume = {10886},
pages = {89-104},
type = {Conference Paper},
year = {2018},
doi = {10.1007/978-3-319-92970-5_6},
url = { https://publications.rwth-aachen.de/record/741983},
}×
[issue]
Stefan Schupp, Erika Ábrahám. Spread the Work, 16th International Conference on Software Engineering and Formal Methods (SEFM 2018), Volume 10886 of LNCS, 89-104, Springer, 2018.
DOI fulltext PDF [bibtex]
@article{MSSR2018,
title = {Modular strategic SMT solving with SMT-RAT},
author = {Gereon Kremer and Erika Ábrahám},
publisher = {De Gruyter Open},
journal = {Acta Universitatis Sapientiae / Informatica},
volume = {10(1)},
pages = {pages 5-25},
type = {Journal Article},
year = {2018},
doi = {10.2478/ausi-2018-0001},
url = { https://publications.rwth-aachen.de/record/735737},
}×
[issue]
Gereon Kremer, Erika Ábrahám. Modular strategic SMT solving with SMT-RAT, Acta Universitatis Sapientiae / Informatica 10 (1), pages 5-25, De Gruyter Open, 2018.
DOI fulltext PDF [bibtex]
@conference{EDERHSRA2018,
title = {Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis},
author = {Stefan Schupp and Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
volume = {10806, Part 2},
pages = {287-302},
type = {Conference Paper},
year = {2018},
doi = {10.1007/978-3-319-89963-3_17},
url = { https://publications.rwth-aachen.de/record/745466},
}×
[issue]
Stefan Schupp, Erika Ábrahám. Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis, 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), Volume 10806, Part 2 of LNCS, 287-302, Springer, 2018.
DOI [bibtex]
@article{ISEOPMRSL2018,
title = {Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics},
author = {Francesco Leofante and Erika Ábrahám and Tim Dieter Niemüller and Gerhard Lakemeyer and Armando Tacchella},
publisher = {Kluwer},
journal = {Information systems frontiers},
volume = {21(1)},
pages = {pages 87-107},
type = {Journal Article},
year = {2018},
doi = {10.1007/s10796-018-9858-3},
url = { https://publications.rwth-aachen.de/record/753080},
}×
[issue]
Francesco Leofante, Erika Ábrahám, Tim Dieter Niemüller, Gerhard Lakemeyer, Armando Tacchella. Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics, Information systems frontiers 21 (1), pages 87-107, Kluwer, 2018.
DOI [bibtex]
@conference{CDRAHS2018,
title = {Context-Dependent Reachability Analysis for Hybrid Systems},
author = {Stefan Schupp and Justin Winkens and Erika Ábrahám},
publisher = {IEEE},
pages = {518-525},
type = {Conference Paper},
year = {2018},
doi = {10.1109/IRI.2018.00082},
url = { https://publications.rwth-aachen.de/record/735730},
}×
[issue]
Stefan Schupp, Justin Winkens, Erika Ábrahám. Context-Dependent Reachability Analysis for Hybrid Systems, 2018 IEEE International Conference on Information Reuse and Integration for Data Science (IRI 2018), 518-525, IEEE, 2018.
fulltext PDF [bibtex]
@conference{EECCSS2018,
title = {Evaluation of Equational Constraints for CAD in SMT Solving},
author = {Rebecca Haehn and Gereon Kremer and Erika Ábrahám},
publisher = {RWTH Aachen},
booktitle = {CEUR Workshop Proceedings},
volume = {2189},
pages = {[19]-32},
type = {Conference Paper},
year = {2018},
url = { https://publications.rwth-aachen.de/record/753088},
}×
[issue]
Rebecca Haehn, Gereon Kremer, Erika Ábrahám. Evaluation of Equational Constraints for CAD in SMT Solving, 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference (SC-Square 2018), Volume 2189 of CEUR Workshop Proceedings, [19]-32, RWTH Aachen, 2018.
fulltext PDF [bibtex]
@conference{THT2018,
title = {The HyDRA Tool},
author = {Stefan Schupp and Erika Ábrahám},
publisher = {Oslo University},
booktitle = {Research report},
volume = {483},
pages = {2 Seiten},
type = {Conference Paper},
year = {2018},
url = { https://publications.rwth-aachen.de/record/767299},
}×
[issue]
Stefan Schupp, Erika Ábrahám. The HyDRA Tool, PhD Symposium at iFM’18 on Formal Methods (PhD-iFM’18), Volume 483 of Research report, 2 Seiten, Oslo University, 2018.
DOI [bibtex]
@conference{S2018,
title = {SunFlower},
author = {Pascal Richter and Gregor Heiming and Nils Lukas and Martin Frank},
publisher = {AIP Publishing},
booktitle = {AIP conference proceedings},
volume = {2033},
type = {Conference Paper},
year = {2018},
doi = {10.1063/1.5067217},
url = { https://publications.rwth-aachen.de/record/767783},
}×
[issue]
Pascal Richter, Gregor Heiming, Nils Lukas, Martin Frank. SunFlower, SolarPACES 2017: International Conference on Concentrating Solar Power and Chemical Energy Systems, Volume 2033 of AIP conference proceedings, AIP Publishing, 2018.
DOI [bibtex]
@conference{E2018,
title = {Efficient ray-tracing with real weather data},
author = {Pascal Richter and Janna Tinnes and Peter Schwarzbözl and Amadeus Rong and Martin Frank},
publisher = {AIP Publishing},
booktitle = {AIP conference proceedings},
volume = {2033},
type = {Conference Paper},
year = {2018},
doi = {10.1063/1.5067216},
url = { https://publications.rwth-aachen.de/record/767789},
}×
[issue]
Pascal Richter, Janna Tinnes, Peter Schwarzbözl, Amadeus Rong, Martin Frank. Efficient ray-tracing with real weather data, SolarPACES 2017: International Conference on Concentrating Solar Power and Chemical Energy Systems, Volume 2033 of AIP conference proceedings, AIP Publishing, 2018.
DOI [bibtex]
@conference{ACCR2018,
title = {ARCH-COMP18 Category Report},
author = {Matthias Althoff and Stanley Bak and Xin Chen and Chuchu Fan and Marcelo Forets and Goran Frehse and Niklas Kochdumper and Yangge Li and Sayan Mitra and Rajarshi Ray and Christian Schilling and Stefan Schupp},
publisher = {EasyChair},
booktitle = {EPiC series in computing},
volume = {54},
pages = {23-52},
type = {Conference Paper},
year = {2018},
doi = {10.29007/73mb},
url = { https://publications.rwth-aachen.de/record/814244},
}×
[issue]
Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp. ARCH-COMP18 Category Report, 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH18), Volume 54 of EPiC series in computing, 23-52, EasyChair, 2018.
2017
DOI [bibtex]
@conference{S2017,
title = {SC2 challenges},
author = {Erika Ábrahám and John Abbott and Bernd Becker and Anna M. Bigatti and Martin Brain and Alessandro Cimatti and James H. Davenport and Matthew England and Pascal Fontaine and Stephen Forrest and Vijay Ganesh and Alberto Griggio and Daniel Kroening and Werner M. Seiler},
publisher = {EasyChair},
booktitle = {EPiC Series in Computing},
volume = {51},
pages = {6-10},
type = {Conference Paper},
year = {2017},
doi = {10.29007/p319},
url = { https://publications.rwth-aachen.de/record/713487},
}×
[issue]
Erika Ábrahám, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler. SC2 challenges, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions (ARCADE 2017), Volume 51 of EPiC Series in Computing, 6-10, EasyChair, 2017.
DOI [bibtex]
@article{S2017,
title = {Satisfiability checking and symbolic computation},
author = {Erika Ábrahám and P. Fontaine and S. Forrest and A. Griggio and D. Kroening and W. M. Seiler and T. Sturm and J. Abbott and B. Becker and A. M. Bigatti and M. Brain and B. Buchberger and A. Cimatti and J. H. Davenport and M. England},
publisher = {ACM},
journal = {ACM Communications in computer algebra},
volume = {50(4)},
pages = {pages 145-147},
type = {Journal Article},
year = {2017},
doi = {10.1145/3055282.3055285},
url = { https://publications.rwth-aachen.de/record/688933},
}×
[issue]
Erika Ábrahám, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. M. Seiler, T. Sturm, J. Abbott, B. Becker, A. M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. H. Davenport, M. England. Satisfiability checking and symbolic computation, ACM Communications in computer algebra 50 (4), pages 145-147, ACM, 2017.
DOI [bibtex]
@conference{DC2017,
title = {Divide and Conquer},
author = {Stefan Schupp and Johanna Nellen and Erika Ábrahám},
publisher = {[Open Publishing Association]},
booktitle = {EPTCS},
volume = {250},
pages = {1-14},
type = {Conference Paper},
year = {2017},
doi = {10.4204/EPTCS.250.1},
url = { https://publications.rwth-aachen.de/record/696075},
}×
[issue]
Stefan Schupp, Johanna Nellen, Erika Ábrahám. Divide and Conquer, 15th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2017), Volume 250 of EPTCS, 1-14, [Open Publishing Association], 2017.
DOI [bibtex]
@conference{H2017,
title = {HyPro},
author = {Stefan Schupp and Erika Ábrahám and Ibtissem Ben Makhlouf and Stefan Kowalewski},
publisher = {Springer},
booktitle = {LNCS},
volume = {10227},
pages = {288-294},
type = {Conference Paper},
year = {2017},
doi = {10.1007/978-3-319-57288-8_20},
url = { https://publications.rwth-aachen.de/record/696076},
}×
[issue]
Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski. HyPro, NASA Formal Methods (NFM) Symposium (NFM 2017), Volume 10227 of LNCS, 288-294, Springer, 2017.
fulltext PDF [bibtex]
@conference{TTHSRA2017,
title = {Techniques and Tools for Hybrid Systems Reachability Analysis},
author = {Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
volume = {10381},
pages = {XVI-XVII},
type = {Conference Paper},
year = {2017},
url = { https://publications.rwth-aachen.de/record/696135},
}×
[issue]
Erika Ábrahám. Techniques and Tools for Hybrid Systems Reachability Analysis, The 10th International Workshop on Numerical Software Verification (NSV 2017), Volume 10381 of LNCS, XVI-XVII, Springer, 2017.
[bibtex]
@conference{EVSMMCSCF2017,
title = {Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework},
author = {Erika Ábrahám and Jasper Nalbach and Gereon Kremer},
publisher = {RWTH Aachen},
booktitle = {CEUR Workshop Proceedings},
volume = {1974},
pages = {12 Seiten},
type = {Conference Paper},
year = {2017},
url = { https://publications.rwth-aachen.de/record/713477},
}×
[issue]
Erika Ábrahám, Jasper Nalbach, Gereon Kremer. Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework, 2nd International Workshop on Satisfiability Checking and Symbolic Computation (SC2), Volume 1974 of CEUR Workshop Proceedings, 12 Seiten, RWTH Aachen, 2017.
fulltext PDF [bibtex]
@conference{CDPOCADSS2017,
title = {Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving},
author = {Tarik Viehmann and Gereon Kremer and Erika Ábrahám},
publisher = {RWTH Aachen},
booktitle = {CEUR Workshop Proceedings},
volume = {1974},
pages = {15 Seiten},
type = {Conference Paper},
year = {2017},
url = { https://publications.rwth-aachen.de/record/713479},
}×
[issue]
Tarik Viehmann, Gereon Kremer, Erika Ábrahám. Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving, 2nd International Workshop on Satisfiability Checking and Symbolic Computation (SC2), Volume 1974 of CEUR Workshop Proceedings, 15 Seiten, RWTH Aachen, 2017.
[bibtex]
@proceedings{BS2017,
title = {Bridging two communities to solve real problems (SC2 2016)},
author = {},
editor = {Erika Ábrahám and James H. Davenport and Pascal Fontaine},
publisher = {RWTH Aachen},
booktitle = {CEUR workshop proceedings},
volume = {1804},
pages = {1 Online-Ressource : Illustrationen},
type = {Proceeding Article},
year = {2017},
url = { https://publications.rwth-aachen.de/record/713481},
}×
[issue]
Erika Ábrahám, James H. Davenport, Pascal Fontaine. Bridging two communities to solve real problems (SC2 2016), Volume 1804 of CEUR workshop proceedings, 1 Online-Ressource : Illustrationen, RWTH Aachen, 2017.
DOI [bibtex]
@conference{OSGQPRFLSOMT2017,
title = {On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories},
author = {Francesco Leofante and Erika Ábrahám and Tim Dieter Niemüller and Gerhard Lakemeyer and Armando Tacchella},
publisher = {IEEE},
pages = {403-410},
type = {Conference Paper},
year = {2017},
doi = {10.1109/IRI.2017.67},
url = { https://publications.rwth-aachen.de/record/713493},
}×
[issue]
Francesco Leofante, Erika Ábrahám, Tim Dieter Niemüller, Gerhard Lakemeyer, Armando Tacchella. On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories, 2017 IEEE International Conference on Information Reuse and Integration (IRI) (IRI 2017), 403-410, IEEE, 2017.
fulltext PDF [bibtex]
@conference{P2017,
title = {Preface},
author = {Erika Ábrahám and Sergiy Bogomolov},
publisher = {[Open Publishing Association]},
booktitle = {EPTCS},
volume = {247},
type = {Conference Paper},
year = {2017},
url = { https://publications.rwth-aachen.de/record/720626},
}×
[issue]
Erika Ábrahám, Sergiy Bogomolov. Preface, 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), Volume 247 of EPTCS, [Open Publishing Association], 2017.
DOI [bibtex]
@conference{SSAT2017,
title = {SMT Solving for Arithmetic Theories},
author = {Erika Ábrahám and Gereon Kremer},
publisher = {IEEE},
pages = {1-8},
type = {Conference Paper},
year = {2017},
doi = {10.1109/SYNASC.2017.00009},
url = { https://publications.rwth-aachen.de/record/780487},
}×
[issue]
Erika Ábrahám, Gereon Kremer. SMT Solving for Arithmetic Theories, 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2017), 1-8, IEEE, 2017.
fulltext PDF [bibtex]
@proceedings{PIWSNMRA2017,
title = {Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis},
author = {},
editor = {Erika Ábrahám and Sergiy Bogomolov},
publisher = {[Open Publishing Association]},
booktitle = {EPTCS},
volume = {247},
pages = {1 Online-Ressource : Illustrationen},
type = {Proceeding Article},
year = {2017},
url = { https://publications.rwth-aachen.de/record/713497},
}×
[issue]
Erika Ábrahám, Sergiy Bogomolov. Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, Volume 247 of EPTCS, 1 Online-Ressource : Illustrationen, [Open Publishing Association], 2017.
DOI arXiv:1704.02421 [bibtex]
@unpublished{PIWSNMRA2017,
title = {Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis},
author = {},
editor = {Erika Ábrahám and Sergiy Bogomolov},
publisher = {[Open Publishing Association]},
pages = {1 Online-Ressource : Illustrationen},
type = {Preprint},
year = {2017},
doi = {10.4204/EPTCS.247},
url = { https://arxiv.org/abs/1704.02421},
}×
[issue]
Erika Ábrahám, Sergiy Bogomolov. Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 1 Online-Ressource : Illustrationen, [Open Publishing Association], 2017. https://arxiv.org/abs/1704.02421
DOI [bibtex]
@conference{AHPH2017,
title = {Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro},
author = {Jannik Hüls and Stefan Schupp and Anne Remke and Erika Ábrahám},
publisher = {ACM},
booktitle = {ICPS: ACM international conference proceeding series},
pages = {178–185},
type = {Conference Paper},
year = {2017},
doi = {10.1145/3150928.3150938},
url = { https://publications.rwth-aachen.de/record/814253},
}×
[issue]
Jannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám. Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro, 11th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2017), ICPS: ACM international conference proceeding series, 178–185, ACM, 2017.
fulltext PDF [bibtex]
@conference{TCTEMSDO2017,
title = {Towards CLIPS-based Task Execution and Monitoring with SMT-based Decision Optimization},
author = {Tim Dieter Niemüller and Gerhard Lakemeyer and Francesco Leofante and Erika Ábrahám},
pages = {60-67},
type = {Conference Paper},
year = {2017},
url = { https://publications.rwth-aachen.de/record/713532},
}×
[issue]
Tim Dieter Niemüller, Gerhard Lakemeyer, Francesco Leofante, Erika Ábrahám. Towards CLIPS-based Task Execution and Monitoring with SMT-based Decision Optimization, 5th Workshop on Planning and Robotics (PlanRob 2017), 60-67, 2017.
DOI fulltext PDF [bibtex]
@article{CAERASDS2017,
title = {Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)},
author = {Armando Tacchella},
editor = {Erika Ábrahám and Hadas Kress-Gazit and Lorenzo Natale},
publisher = {Schloss Dagstuhl},
journal = {Dagstuhl Reports},
volume = {7(2)},
pages = {pages 48-63},
type = {Journal Article},
year = {2017},
doi = {10.4230/DagRep.7.2.48},
url = { https://publications.rwth-aachen.de/record/713498},
}×
[issue]
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), pages 48-63, Schloss Dagstuhl, 2017.
2016
arXiv:1607.06945 [bibtex]
@unpublished{S2016,
title = {Satisfiability checking and symbolic computation},
author = {Erika Ábrahám and P. Fontaine and S. Forrest and A. Griggio and D. Kroening and W. M. Seiler and T. Sturm and J. Abbott and B. Becker and A. M. Bigatti and M. Brain and B. Buchberger and A. Cimatti and J. H. Davenport and M. England},
pages = {3 Seiten : Illustrationen},
type = {Preprint},
year = {2016},
url = { https://arxiv.org/abs/1607.06945},
}×
[issue]
Erika Ábrahám, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. M. Seiler, T. Sturm, J. Abbott, B. Becker, A. M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. H. Davenport, M. England. Satisfiability checking and symbolic computation, 3 Seiten : Illustrationen, 2016. https://arxiv.org/abs/1607.06945
DOI [bibtex]
@conference{SCTSC2016,
title = {Symbolic Computation Techniques in Satisfiability Checking},
author = {Erika Ábrahám},
publisher = {IEEE},
pages = {3-10},
type = {Conference Paper},
year = {2016},
doi = {10.1109/SYNASC.2016.014},
url = { https://publications.rwth-aachen.de/record/696073},
}×
[issue]
Erika Ábrahám. Symbolic Computation Techniques in Satisfiability Checking, 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 3-10, IEEE, 2016.
[bibtex]
@conference{HFLOEA2016,
title = {Heliostat Field Layout Optimization with Evolutionary Algorithms},
author = {Pascal Richter and David Laukamp and Levin Gerdes and Martin Frank and Erika Ábrahám},
publisher = {[Cool Press Ltd]},
booktitle = {EPiC Series in Computing},
volume = {41},
pages = {240-252},
type = {Conference Paper},
year = {2016},
url = { https://publications.rwth-aachen.de/record/683003},
}×
[issue]
Pascal Richter, David Laukamp, Levin Gerdes, Martin Frank, Erika Ábrahám. Heliostat Field Layout Optimization with Evolutionary Algorithms, 2nd GlobalConference on Artifcial Intelligence (GCAI 2016), Volume 41 of EPiC Series in Computing, 240-252, [Cool Press Ltd], 2016.
DOI fulltext PDF [bibtex]
@phdthesis{IS2016,
title = {Integrating virtual substitution into strategic SMT solving},
author = {Florian Corzilius},
institution = {RWTH Aachen University},
pages = {1 Online-Ressource (IX, 186 Seiten) : Illustrationen, Diagramme},
type = {PhD Thesis},
year = {2016},
doi = {10.18154/RWTH-2017-03775},
url = { https://publications.rwth-aachen.de/record/688379},
}×
[issue]
Florian Corzilius. Integrating virtual substitution into strategic SMT solving, PhD Thesis, RWTH Aachen University, 1 Online-Ressource (IX, 186 Seiten) : Illustrationen, Diagramme, 2016.
DOI fulltext PDF [bibtex]
@article{SCSC2016,
title = {Symbolic Computation and Satisfiability Checking},
author = {Erika Ábrahám and Pascal Fontaine and Thomas Sturm and Dongming Wang},
publisher = {Schloss Dagstuhl},
journal = {Dagstuhl reports},
volume = {5(11)},
pages = {pages 71-89},
type = {Journal Article},
year = {2016},
doi = {10.4230/DagRep.5.11.71},
url = { https://publications.rwth-aachen.de/record/683051},
}×
[issue]
Erika Ábrahám, Pascal Fontaine, Thomas Sturm, Dongming Wang. Symbolic Computation and Satisfiability Checking, Dagstuhl reports 5 (11), pages 71-89, Schloss Dagstuhl, 2016.
DOI fulltext PDF [bibtex]
@conference{P2016,
title = {Parameter synthesis for probabilistic systems},
author = {Christian Dehnert and Sebastian Junges and Nils Jansen and Florian Corzilius and Matthias Volk and Harold Yorick Bruintjes and Joost-Pieter Katoen and Erika Ábrahám},
publisher = {Albert-Ludwigs-Universität},
pages = {72-74},
type = {Conference Paper},
year = {2016},
doi = {10.6094/UNIFR/10639},
url = { https://publications.rwth-aachen.de/record/683021},
}×
[issue]
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, Erika Ábrahám. Parameter synthesis for probabilistic systems, 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV 2016), 72-74, Albert-Ludwigs-Universität, 2016.
DOI [bibtex]
@book{I2016,
title = {Integrated formal methods},
author = {},
editor = {Erika Ábrahám and Marieke Huisman},
publisher = {Springer},
booktitle = {LNCS},
volume = {9681},
pages = {XIV, 538 Seiten : Illustrationen, Diagramme},
type = {Book},
year = {2016},
doi = {10.1007/978-3-319-33693-0},
url = { https://publications.rwth-aachen.de/record/683017},
}×
[issue]
Erika Ábrahám, Marieke Huisman. Integrated formal methods, Volume 9681 of LNCS, XIV, 538 Seiten : Illustrationen, Diagramme, Springer, 2016.
DOI [bibtex]
@book{PWSNMRAS2016,
title = {Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR)},
author = {},
editor = {Erika Ábrahám and Sergiy Bogomolov},
publisher = {IEEE},
type = {Book},
year = {2016},
doi = {10.1109/SNR.2016.7479374},
url = { https://publications.rwth-aachen.de/record/683014},
}×
[issue]
Erika Ábrahám, Sergiy Bogomolov. Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), IEEE, 2016.
DOI [bibtex]
@conference{SC2016,
title = {Satisfiability Checking},
author = {Erika Ábrahám and Gereon Kremer},
publisher = {Springer},
booktitle = {LNCS},
volume = {9763},
pages = {9-23},
type = {Conference Paper},
year = {2016},
doi = {10.1007/978-3-319-41591-8_2},
url = { https://publications.rwth-aachen.de/record/683011},
}×
[issue]
Erika Ábrahám, Gereon Kremer. Satisfiability Checking, Software Engineering and Formal Methods : 14th International Conference (SEFM 2016), Volume 9763 of LNCS, 9-23, Springer, 2016.
DOI [bibtex]
@book{T2016,
title = {Theory and practice of formal methods},
author = {},
editor = {Erika Ábrahám and Marcello Bonsangue and Einar Broch Johnsen},
publisher = {Springer},
booktitle = {LNCS},
volume = {9660},
pages = {XII, 427 Seiten : Illustrationen},
type = {Book},
year = {2016},
doi = {10.1007/978-3-319-30734-3},
url = { https://publications.rwth-aachen.de/record/683000},
}×
[issue]
Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen. Theory and practice of formal methods, Volume 9660 of LNCS, XII, 427 Seiten : Illustrationen, Springer, 2016.
DOI [bibtex]
@conference{CSRMASSUHR2016,
title = {Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots},
author = {Francesco Leofante and Simone Vuotto and Erika Ábrahám and Armando Tacchella and Nils Jansen},
publisher = {Springer},
booktitle = {LNCS},
volume = {9952},
pages = {496-514},
type = {Conference Paper},
year = {2016},
doi = {10.1007/978-3-319-47166-2_34},
url = { https://publications.rwth-aachen.de/record/682004},
}×
[issue]
Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen. Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots, 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), Volume 9952 of LNCS, 496-514, Springer, 2016.
DOI [bibtex]
@conference{Z2016,
title = {Zephyrus2},
author = {Erika Ábrahám and Florian Corzilius and Einar Broch Johnsen and Gereon Kremer and Jacopo Mauro},
publisher = {Springer},
booktitle = {LNCS},
volume = {9984},
pages = {229-245},
type = {Conference Paper},
year = {2016},
doi = {10.1007/978-3-319-47677-3_15},
url = { https://publications.rwth-aachen.de/record/681504},
}×
[issue]
Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro. Zephyrus2, International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2016), Volume 9984 of LNCS, 229-245, Springer, 2016.
DOI [bibtex]
@conference{S2016,
title = {SC2},
author = {Erika Ábrahám and John Abbott and Bernd Becker and Anna M. Bigatti and Martin Brain and Bruno Buchberger and Alessandro Cimatti and James H. Davenport and Matthew England and Pascal Fontaine and Stephen Forrest and Alberto Griggio and Daniel Kroening and Werner M. Seiler and Thomas Sturm},
publisher = {Springer},
booktitle = {LNCS},
volume = {9791},
pages = {28-43},
type = {Conference Paper},
year = {2016},
doi = {10.1007/978-3-319-42547-4_3},
url = { https://publications.rwth-aachen.de/record/681150},
}×
[issue]
Erika Ábrahám, John Abbott, Bernd Becker, Anna M. 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, 9th International Conference on Intelligent Computer Mathematics (CICM 2016), Volume 9791 of LNCS, 28-43, Springer, 2016.
fulltext PDF [bibtex]
@phdthesis{A2016,
title = {Analysis and synthesis of hybrid systems in engineering applications},
author = {Johanna Nellen},
institution = {RWTH Aachen University},
pages = {1 Online-Ressource (xxvi, 168 Seiten) : Illustrationen, Diagramme},
type = {PhD Thesis},
year = {2016},
url = { https://publications.rwth-aachen.de/record/680323},
}×
[issue]
Johanna Nellen. Analysis and synthesis of hybrid systems in engineering applications, PhD Thesis, RWTH Aachen University, 1 Online-Ressource (xxvi, 168 Seiten) : Illustrationen, Diagramme, 2016.
DOI [bibtex]
@article{S2016,
title = {Some recent advances in automated analysis},
author = {Erika Ábrahám and Klaus Havelund},
publisher = {Springer},
journal = {International journal on software tools for technology transfer},
volume = {18(2)},
pages = {pages 121-128},
type = {Journal Article},
year = {2016},
doi = {10.1007/s10009-015-0403-0},
url = { https://publications.rwth-aachen.de/record/679253},
}×
[issue]
Erika Ábrahám, Klaus Havelund. Some recent advances in automated analysis, International journal on software tools for technology transfer 18 (2), pages 121-128, Springer, 2016.
DOI [bibtex]
@article{TCP2016,
title = {Two CEGAR-based approaches for the safety verification of PLC-controlled plants},
author = {Johanna Nellen and Kai Driessen and Martin Neuhäußer and Erika Ábrahám and Benedikt Wolters},
publisher = {Springer},
journal = {Information systems frontiers},
volume = {18(5)},
pages = {pages 927-952},
type = {Journal Article},
year = {2016},
doi = {10.1007/s10796-016-9671-9},
url = { https://publications.rwth-aachen.de/record/670652},
}×
[issue]
Johanna Nellen, Kai Driessen, Martin Neuhäußer, Erika Ábrahám, Benedikt Wolters. Two CEGAR-based approaches for the safety verification of PLC-controlled plants, Information systems frontiers 18 (5), pages 927-952, Springer, 2016.
DOI fulltext PDF [bibtex]
@conference{AGBBAIASMNIA2016,
title = {A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic},
author = {Gereon Kremer and Florian Corzilius and Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
volume = {9890},
pages = {315-335},
type = {Conference Paper},
year = {2016},
doi = {10.1007/978-3-319-45641-6_21},
url = { https://publications.rwth-aachen.de/record/670551},
}×
[issue]
Gereon Kremer, Florian Corzilius, Erika Ábrahám. A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic, International Workshop on Computer Algebra in Scientific Computing (CASC16), Volume 9890 of LNCS, 315-335, Springer, 2016.
DOI [bibtex]
@article{LL2016,
title = {Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis},
author = {Mohamed Amin Ben Sassi and Sriram Sankaranarayanan and Xin Chen and Erika Ábrahám},
publisher = {Univ. Press},
journal = {IMA journal of mathematical control and information},
volume = {33(3)},
pages = {pages 723-756},
type = {Journal Article},
year = {2016},
doi = {10.1093/imamci/dnv003},
url = { https://publications.rwth-aachen.de/record/571421},
}×
[issue]
Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám. Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis, IMA journal of mathematical control and information 33 (3), pages 723-756, Univ. Press, 2016.
2015
DOI [bibtex]
@inbook{CER2015,
title = {Counterexamples for Expected Rewards},
author = {Tim Quatmann and Nils Jansen and Hans Christian Dehnert and Ralf Wimmer and Erika Ábrahám and Joost-Pieter Katoen and Bernd Becker},
publisher = {Springer},
booktitle = {LNCS},
volume = {9109},
pages = {435-452},
type = {Book Chapter},
year = {2015},
doi = {10.1007/978-3-319-19249-9_27},
url = { https://publications.rwth-aachen.de/record/541095},
}×
[issue]
Tim Quatmann, Nils Jansen, Hans Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Counterexamples for Expected Rewards, Volume 9109 of LNCS, 435-452, Springer, 2015.
DOI [bibtex]
@conference{AGAERSM2015,
title = {A Greedy Approach for the Efficient Repair of Stochastic Models},
author = {Shashank Pathak and Erika Ábrahám and Nils Jansen and Armando Tacchella and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {9058},
pages = {295-309},
type = {Conference Paper},
year = {2015},
doi = {10.1007/978-3-319-17524-9_21},
url = { https://publications.rwth-aachen.de/record/561930},
}×
[issue]
Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen. A Greedy Approach for the Efficient Repair of Stochastic Models, 7th NASA Formal Methods Symposium (NFM'15), Volume 9058 of LNCS, 295-309, Springer, 2015.
DOI [bibtex]
@conference{SR2015,
title = {SMT-RAT},
author = {Florian Corzilius and Gereon Kremer and Sebastian Junges and Stefan Schupp and Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
volume = {9340},
pages = {360-368},
type = {Conference Paper},
year = {2015},
doi = {10.1007/978-3-319-24318-4_26},
url = { https://publications.rwth-aachen.de/record/561680},
}×
[issue]
Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám. SMT-RAT, International Conference on Theory and Applications of Satisfiability Testing (SAT 2015), Volume 9340 of LNCS, 360-368, Springer, 2015.
DOI [bibtex]
@conference{BBSCSC2015,
title = {Building Bridges between Symbolic Computation and Satisfiability Checking},
author = {Erika Ábrahám},
publisher = {ACM Press},
pages = {6 S.},
type = {Conference Paper},
year = {2015},
doi = {10.1145/2755996.2756636},
url = { https://publications.rwth-aachen.de/record/561679},
}×
[issue]
Erika Ábrahám. Building Bridges between Symbolic Computation and Satisfiability Checking, 14th International Symposium on Symbolic and Algebraic Computation (ISSAC'15), 6 S., ACM Press, 2015.
fulltext PDF [bibtex]
@phdthesis{RTM2015,
title = {Reachability analysis of non-linear hybrid systems using Taylor Models},
author = {Xin Chen},
publisher = {Publikationsserver der RWTH Aachen University},
booktitle = {Aachener Informatik Berichte},
volume = {2015, 09},
institution = {RWTH Aachen University},
pages = {166 S. : graph. Darst.},
type = {PhD Thesis},
year = {2015},
url = { https://publications.rwth-aachen.de/record/465295},
}×
[issue]
Xin Chen. Reachability analysis of non-linear hybrid systems using Taylor Models, PhD Thesis, RWTH Aachen University, Volume 2015, 09 of Aachener Informatik Berichte, 166 S. : graph. Darst., Publikationsserver der RWTH Aachen University, 2015.
DOI fulltext PDF [bibtex]
@article{HCPA2015,
title = {High-level Counterexamples for Probabilistic Automata},
author = {Ralf Wimmer and Nils Jansen and Erika Ábrahám and Joost-Pieter Katoen},
publisher = {Department of Theoretical Computer Science, Technical University of Braunschweig},
journal = {Logical methods in computer science},
volume = {11(1)},
pages = {pages 15},
type = {Journal Article},
year = {2015},
doi = {10.2168/LMCS-11(1:15)2015},
url = { https://publications.rwth-aachen.de/record/540624},
}×
[issue]
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen. High-level Counterexamples for Probabilistic Automata, Logical methods in computer science 11 (1), pages 15, Department of Theoretical Computer Science, Technical University of Braunschweig, 2015.
fulltext PDF [bibtex]
@phdthesis{C2015,
title = {Counterexamples in probabilistic verification},
author = {Nils Jansen},
publisher = {Publikationsserver der RWTH Aachen University},
institution = {Aachen, Techn. Hochsch.},
pages = {XI, 224 S.S. . graph. Darst.},
type = {PhD Thesis},
year = {2015},
url = { https://publications.rwth-aachen.de/record/479827},
}×
[issue]
Nils Jansen. Counterexamples in probabilistic verification, PhD Thesis, Aachen, Techn. Hochsch., XI, 224 S.S. . graph. Darst., Publikationsserver der RWTH Aachen University, 2015.
DOI [bibtex]
@conference{P2015,
title = {PROPhESY},
author = {Hans Christian Dehnert and Sebastian Junges and Nils Jansen and Florian Corzilius and Matthias Volk and Harold Yorick Bruintjes and Joost-Pieter Katoen and Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
volume = {9206},
pages = {214-231},
type = {Conference Paper},
year = {2015},
doi = {10.1007/978-3-319-21690-4_13},
url = { https://publications.rwth-aachen.de/record/564236},
}×
[issue]
Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, Erika Ábrahám. PROPhESY, International Conference on Computer Aided Verification (CAV'15), Volume 9206 of LNCS, 214-231, Springer, 2015.
DOI [bibtex]
@inbook{ACTRAPCPUHA2015,
title = {A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata},
author = {Johanna Nellen and Erika Ábrahám and Benedikt Wolters},
publisher = {Springer},
booktitle = {Advances in Intelligent Systems and Computing},
volume = {346},
pages = {55-78},
type = {Book Chapter},
year = {2015},
doi = {10.1007/978-3-319-16577-6_3},
url = { https://publications.rwth-aachen.de/record/561931},
}×
[issue]
Johanna Nellen, Erika Ábrahám, Benedikt Wolters. A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata, Volume 346 of Advances in Intelligent Systems and Computing, 55-78, Springer, 2015.
DOI [bibtex]
@inbook{ABSHSRA2015,
title = {A Benchmark Suite for Hybrid Systems Reachability Analysis},
author = {Xin Chen and Stefan Schupp and Ibtissem Ben Makhlouf and Erika Ábrahám and Goran Frehse and Stefan Kowalewski},
publisher = {Springer},
booktitle = {LNCS},
volume = {9058},
pages = {408-414},
type = {Book Chapter},
year = {2015},
doi = {10.1007/978-3-319-17524-9_29},
url = { https://publications.rwth-aachen.de/record/541100},
}×
[issue]
Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski. A Benchmark Suite for Hybrid Systems Reachability Analysis, Volume 9058 of LNCS, 408-414, Springer, 2015.
DOI [bibtex]
@conference{CCVHS2015,
title = {Current Challenges in the Verification of Hybrid Systems},
author = {Stefan Schupp and Erika Ábrahám and Xin Chen and Ibtissem Ben Makhlouf and Goran Frehse and Sriram Sankaranarayanan and Stefan Kowalewski},
publisher = {Springer},
booktitle = {LNCS},
volume = {9361},
pages = {8-24},
type = {Conference Paper},
year = {2015},
doi = {10.1007/978-3-319-25141-7_2},
url = { https://publications.rwth-aachen.de/record/564375},
}×
[issue]
Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski. Current Challenges in the Verification of Hybrid Systems, 5th Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (CyPhy 2015), Volume 9361 of LNCS, 8-24, Springer, 2015.
[bibtex]
@conference{F2015,
title = {Flow* 1.2},
author = {Xin Chen and Sriram Sankaranarayanan and Erika Ábrahám},
publisher = {EasyChair},
booktitle = {EPiC Series in Computer Science},
volume = {34},
pages = {152-159},
type = {Conference Paper},
year = {2015},
url = { https://publications.rwth-aachen.de/record/565595},
}×
[issue]
Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám. Flow* 1.2, 1st and 2nd Int. Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH'15), Volume 34 of EPiC Series in Computer Science, 152-159, EasyChair, 2015.
fulltext PDF [bibtex]
@conference{AGACSEMPP2015,
title = {A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs},
author = {Johanna Nellen and Benedikt Wolters and Lukas Netz and Sascha Geulen and Erika Ábrahám},
publisher = {EasyChair},
booktitle = {EPiC series in computing},
volume = {36},
pages = {196-214},
type = {Conference Paper},
year = {2015},
url = { https://publications.rwth-aachen.de/record/565596},
}×
[issue]
Johanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen, Erika Ábrahám, Martina Joševski, Dirk Abel. A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs, 1st Global Conference on Artificial Intelligence (GCAI'15), Volume 36 of EPiC series in computing, 196-214, EasyChair, 2015.
arXiv:1503.06974 [bibtex]
@unpublished{CRPHAE2015,
title = {Challenges and Recommendations for Preparing HPC Applications for Exascale},
author = {Erika Ábrahám and Costas Bekas and Ivona Brandic and Samir Genaim and Einar Broch Johnsen and Ivan Kondov and Sabri Pllana and Achim Streit},
pages = {6 Seiten},
type = {Preprint},
year = {2015},
url = { https://arxiv.org/abs/1503.06974},
}×
[issue]
Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit. Challenges and Recommendations for Preparing HPC Applications for Exascale, 6 Seiten, 2015. https://arxiv.org/abs/1503.06974
[bibtex]
@conference{OLKH2015,
title = {Online Lernen als Kontrollstrategie in Hybridfahrzeugen},
author = {Sascha Geulen and Martina Joševski and Johanna Nellen and Janosch Fuchs and Lukas Netz and Benedikt Wolters and Erika Ábrahám and Walter Unger and Dirk Abel},
publisher = {VDI-Verl.},
booktitle = {VDI-Berichte},
volume = {2233},
pages = {101-112},
type = {Conference Paper},
year = {2015},
url = { https://publications.rwth-aachen.de/record/571422},
}×
[issue]
Sascha Geulen, Martina Joševski, Johanna Nellen, Janosch Fuchs, Lukas Netz, Benedikt Wolters, Erika Ábrahám, Walter Unger, Dirk Abel. Online Lernen als Kontrollstrategie in Hybridfahrzeugen, 7th VDI/VDE Fachtagung AUTOREG: Auf dem Weg zum automatisierten Fahren (AUTOREG'15), Volume 2233 of VDI-Berichte, 101-112, VDI-Verl., 2015.
DOI [bibtex]
@conference{PHAE2015,
title = {Preparing HPC Applications for Exascale},
author = {Erika Ábrahám and Costas Bekas and Ivona Brandic and Samir Genaim and Einar Broch Johnsen and Ivan Kondov and Sabri Pllana and Achim Streit},
publisher = {IEEE},
pages = {401-406},
type = {Conference Paper},
year = {2015},
doi = {10.1109/NBiS.2015.61},
url = { https://publications.rwth-aachen.de/record/571423},
}×
[issue]
Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit. Preparing HPC Applications for Exascale, 18th International Conference on Network-Based Information Systems (NBiS 2015), 401-406, IEEE, 2015.
DOI [bibtex]
@conference{LCSHEV2015,
title = {Learning-based Control Strategies for Hybrid Electric Vehicles},
author = {Sascha Geulen and Martina Josevski and Johanna Nellen and Janosch Fuchs and Lukas Netz and Benedikt Wolters and Dirk Abel and Erika Ábrahám and Walter Unger},
publisher = {IEEE},
pages = {1722-1728},
type = {Conference Paper},
year = {2015},
doi = {10.1109/CCA.2015.7320858},
url = { https://publications.rwth-aachen.de/record/667226},
}×
[issue]
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, 2015 IEEE Conference on Control Applications (CCA), 1722-1728, IEEE, 2015.
2014
DOI [bibtex]
@article{M2014,
title = {Minimal counterexamples for linear-time probabilistic verification},
author = {Ralf Wimmer and Nils Jansen and Erika Ábrahám and Joost-Pieter Katoen and Bernd Becker},
publisher = {Elsevier},
journal = {Theoretical computer science},
volume = {549},
pages = {pages 61-100},
type = {Journal Article},
year = {2014},
doi = {10.1016/j.tcs.2014.06.020},
url = { https://publications.rwth-aachen.de/record/447343},
}×
[issue]
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Minimal counterexamples for linear-time probabilistic verification, Theoretical computer science 549, pages 61-100, Elsevier, 2014.
DOI [bibtex]
@inbook{CGDTMM2014,
title = {Counterexample Generation for Discrete-Time Markov Models},
author = {Erika Ábrahám and Bernd Becker and Hans Christian Dehnert and Nils Jansen and Joost-Pieter Katoen and Ralf Wimmer},
publisher = {Springer},
booktitle = {LNCS},
volume = {8483},
pages = {65-121},
type = {Book Chapter},
year = {2014},
doi = {10.1007/978-3-319-07317-0_3},
url = { https://publications.rwth-aachen.de/record/443312},
}×
[issue]
Erika Ábrahám, Bernd Becker, Hans Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer. Counterexample Generation for Discrete-Time Markov Models, Volume 8483 of LNCS, 65-121, Springer, 2014.
[bibtex]
@conference{MM2014,
title = {Maybe or Maybe not},
author = {Ralf Wimmer and Erika Ábrahám},
publisher = {Monsenstein und Vannerdat},
pages = {119-127},
type = {Conference Paper},
year = {2014},
url = { https://publications.rwth-aachen.de/record/443585},
}×
[issue]
Ralf Wimmer, Erika Ábrahám. Maybe or Maybe not, Aspekte der Technischen Informatik, 119-127, Monsenstein und Vannerdat, 2014.
[bibtex]
@conference{UFNCS2014,
title = {Under-approximate Flowpipes for Non-linear Continuous Systems},
author = {Xin Chen and Sriram Sankaranarayanan and Erika Ábrahám},
publisher = {IEEE},
booktitle = {ACM Other conferences},
pages = {59-66},
type = {Conference Paper},
year = {2014},
url = { https://publications.rwth-aachen.de/record/444150},
}×
[issue]
Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám. Under-approximate Flowpipes for Non-linear Continuous Systems, 2014 formal methods in computer-aided design (FMCAD 2014), ACM Other conferences, 59-66, IEEE, 2014.
[bibtex]
@conference{M2014,
title = {Multi-objective optimization of solar tower power plants},
author = {Pascal Richter and Martin Frank and Erika Ábrahám},
publisher = {Springer},
booktitle = {Mathematics in industry},
type = {Conference Paper},
year = {2014},
url = { https://publications.rwth-aachen.de/record/444449},
}×
[issue]
Pascal Richter, Martin Frank, Erika Ábrahám. Multi-objective optimization of solar tower power plants, Mathematics in industry, Springer, 2014.
DOI [bibtex]
@article{SCTCMCTKSRTRT2014,
title = {Sound and Complete Timed CTL Model Checking of Timed Kripke Structures and Real-Time Rewrite Theories},
author = {Daniela Lepri and Erika Ábrahám and Peter Csaba Ölveczky},
publisher = {Elsevier},
journal = {Science of computer programming},
volume = {99},
pages = {pages 128-192},
type = {Journal Article},
year = {2014},
doi = {10.1016/j.scico.2014.06.006},
url = { https://publications.rwth-aachen.de/record/445441},
}×
[issue]
Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky. Sound and Complete Timed CTL Model Checking of Timed Kripke Structures and Real-Time Rewrite Theories, Science of computer programming 99, pages 128-192, Elsevier, 2014.
DOI fulltext PDF [bibtex]
@article{RTHMCI2014,
title = {Randomized Timed and Hybrid Models for Critical Infrastructures},
author = {},
editor = {Erika Ábrahám and Alberto Avritzer and Anne Remke and William H. Sanders},
publisher = {Schloss Dagstuhl},
journal = {Dagstuhl Reports},
volume = {4(1)},
pages = {pages 37-82},
type = {Journal Article},
year = {2014},
doi = {10.4230/DagRep.4.1.36},
url = { https://publications.rwth-aachen.de/record/564382},
}×
[issue]
Erika Ábrahám, Alberto Avritzer, Anne Remke, William H. Sanders. Randomized Timed and Hybrid Models for Critical Infrastructures, Dagstuhl Reports 4 (1), pages 37-82, Schloss Dagstuhl, 2014.
DOI [bibtex]
@article{FHM2014,
title = {Formal modeling and analysis of interacting hybrid systems in HI-Maude},
author = {Muhammad Fadlisyah and Peter Csaba Ölveczky and Erika Ábrahám},
publisher = {Elsevier},
journal = {Science of computer programming},
type = {Journal Article},
year = {2014},
doi = {10.1016/j.scico.2014.06.010},
url = { https://publications.rwth-aachen.de/record/445943},
}×
[issue]
Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám. Formal modeling and analysis of interacting hybrid systems in HI-Maude, Science of computer programming, Elsevier, 2014.
DOI [bibtex]
@article{SM2014,
title = {Symbolic counterexample generation for large discrete-time Markov chains},
author = {Nils Jansen and Ralf Wimmer and Erika Ábrahám and Barna Zajzon and Joost-Pieter Katoen and Bernd Becker and Johann Schuster},
publisher = {Elsevier},
journal = {Science of computer programming},
volume = {91(Part A)},
pages = {pages 90-114},
type = {Journal Article},
year = {2014},
doi = {10.1016/j.scico.2014.02.001},
url = { https://publications.rwth-aachen.de/record/445537},
}×
[issue]
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, Science of computer programming 91 (Part A), pages 90-114, Elsevier, 2014.
DOI [bibtex]
@inbook{FDPM2014,
title = {Fast Debugging of PRISM Models},
author = {Hans Christian Dehnert and Nils Jansen and Ralf Wimmer and Erika Ábrahám and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {8837},
pages = {146-162},
type = {Book Chapter},
year = {2014},
doi = {10.1007/978-3-319-11936-6_11},
url = { https://publications.rwth-aachen.de/record/460136},
}×
[issue]
Hans Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen. Fast Debugging of PRISM Models, Volume 8837 of LNCS, 146-162, Springer, 2014.
DOI [bibtex]
@book{F2014,
title = {Formal techniques for distributed objects, components, and systems},
author = {},
editor = {Erika Ábrahám and Catuscia Palamidessi},
publisher = {Springer},
booktitle = {LNCS},
volume = {8461},
pages = {XII, 299 S.},
type = {Book},
year = {2014},
doi = {10.1007/978-3-662-43613-4},
url = { https://publications.rwth-aachen.de/record/561681},
}×
[issue]
Erika Ábrahám, Catuscia Palamidessi. Formal techniques for distributed objects, components, and systems, Volume 8461 of LNCS, XII, 299 S., Springer, 2014.
DOI [bibtex]
@article{OIBI2014,
title = {Observable Interface Behaviour and Inheritance},
author = {Erika Ábrahám and Thi Mai Thuong Tran and Martin Steffen},
publisher = {Cambridge Univ. Press},
journal = {Mathematical structures in computer science},
volume = {26(Special Issue 03)},
pages = {pages 561-605},
type = {Journal Article},
year = {2014},
doi = {10.1017/S0960129514000255},
url = { https://publications.rwth-aachen.de/record/561682},
}×
[issue]
Erika Ábrahám, Thi Mai Thuong Tran, Martin Steffen. Observable Interface Behaviour and Inheritance, Mathematical structures in computer science 26 (Special Issue 03), pages 561-605, Cambridge Univ. Press, 2014.
DOI [bibtex]
@conference{ACARAPCP2014,
title = {A CEGAR Approach for the Reachability Analysis of PLC-controlled Chemical Plants},
author = {Johanna Nellen and Erika Ábrahám},
publisher = {IEEE},
pages = {500-507},
type = {Conference Paper},
year = {2014},
doi = {10.1109/IRI.2014.7051930},
url = { https://publications.rwth-aachen.de/record/561928},
}×
[issue]
Johanna Nellen, Erika Ábrahám. A CEGAR Approach for the Reachability Analysis of PLC-controlled Chemical Plants, 2014 IEEE International Conference on Information Reuse and Integration (IRI'14), 500-507, IEEE, 2014.
DOI [bibtex]
@conference{CGHA2014,
title = {Counterexample Generation for Hybrid Automata},
author = {Johanna Nellen and Erika Ábrahám and Xin Chen and Pieter Collins},
publisher = {Springer},
booktitle = {Communications in Computer and Information Science},
volume = {419},
pages = {88-106},
type = {Conference Paper},
year = {2014},
doi = {10.1007/978-3-319-05416-2_7},
url = { https://publications.rwth-aachen.de/record/561929},
}×
[issue]
Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins. Counterexample Generation for Hybrid Automata, Second International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'13), Volume 419 of Communications in Computer and Information Science, 88-106, Springer, 2014.
DOI [bibtex]
@book{TACAS2014,
title = {Tools and Algorithms for the Construction and Analysis of Systems},
author = {},
editor = {Erika Ábrahám and Klaus Havelund},
publisher = {Springer},
booktitle = {LNCS},
volume = {8413},
pages = {XVIII, 652 S. : graph. Darst.},
type = {Book},
year = {2014},
doi = {10.1007/978-3-642-54862-8},
url = { https://publications.rwth-aachen.de/record/564383},
}×
[issue]
Erika Ábrahám, Klaus Havelund. Tools and Algorithms for the Construction and Analysis of Systems, Volume 8413 of LNCS, XVIII, 652 S. : graph. Darst., Springer, 2014.
DOI [bibtex]
@conference{APPV2014,
title = {Accelerating Parametric Probabilistic Verification},
author = {Nils Jansen and Florian Corzilius and Matthias Volk and Ralf Wimmer and Erika Ábrahám and Joost-Pieter Katoen and Bernd Becker},
publisher = {Springer},
booktitle = {LNCS},
volume = {8657},
pages = {404-420},
type = {Conference Paper},
year = {2014},
doi = {10.1007/978-3-319-10696-0_31},
url = { https://publications.rwth-aachen.de/record/540007},
}×
[issue]
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Accelerating Parametric Probabilistic Verification, 11th International Conference on Quantitative Evaluation of Systems (QEST 2014), Volume 8657 of LNCS, 404-420, Springer, 2014.
2013
[bibtex]
@conference{SBMC2013,
title = {Stochastic Bounded Model Checking},
author = {Bettina Braitling and Ralf Wimmer and Bernd Becker and Erika Ábrahám},
publisher = {Univ., ITMZ},
pages = {243-254},
type = {Conference Paper},
year = {2013},
url = { https://publications.rwth-aachen.de/record/226121},
}×
[issue]
Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám. Stochastic Bounded Model Checking, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2013), 243-254, Univ., ITMZ, 2013.
DOI [bibtex]
@inbook{ASICPCAD2013,
title = {A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition},
author = {Ulrich Loup and Karsten Scheibler and Florian Corzilius and Erika Ábrahám and Bernd Becker},
publisher = {Springer},
booktitle = {LNCS},
volume = {7898},
pages = {193-207},
type = {Book Chapter},
year = {2013},
doi = {10.1007/978-3-642-38574-2_13},
url = { https://publications.rwth-aachen.de/record/207654},
}×
[issue]
Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker. A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition, Volume 7898 of LNCS, 193-207, Springer, 2013.
fulltext PDF [bibtex]
@conference{EFCAC2013,
title = {Empirical Flowpipe Constructions for Analog Circuits},
author = {Yan Zhang and Xin Chen and Sriram Sankaranarayanan and Erika Ábrahám},
type = {Conference Paper},
year = {2013},
url = { https://publications.rwth-aachen.de/record/209164},
}×
[issue]
Yan Zhang, Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám. Empirical Flowpipe Constructions for Analog Circuits, 2013.
DOI [bibtex]
@inbook{ATCMCRTM2013,
title = {A Timed CTL Model Checker for Real-Time Maude},
author = {Daniela Lepri and Erika Ábrahám and Peter Csaba Ölveczky},
publisher = {Springer},
booktitle = {LNCS},
volume = {8089},
pages = {334-339},
type = {Book Chapter},
year = {2013},
doi = {10.1007/978-3-642-40206-7_27},
url = { https://publications.rwth-aachen.de/record/225701},
}×
[issue]
Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky. A Timed CTL Model Checker for Real-Time Maude, Volume 8089 of LNCS, 334-339, Springer, 2013.
DOI [bibtex]
@inbook{F2013,
title = {Flow*},
author = {Xin Chen and Erika Ábrahám and Sriram Sankaranarayanan},
publisher = {Springer},
booktitle = {LNCS},
volume = {8044},
pages = {258-263},
type = {Book Chapter},
year = {2013},
doi = {10.1007/978-3-642-39799-8_18},
url = { https://publications.rwth-aachen.de/record/225803},
}×
[issue]
Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan. Flow*, Volume 8044 of LNCS, 258-263, Springer, 2013.
fulltext PDF [bibtex]
@techreport{OGBCSMTSRN2013,
title = {On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers},
author = {Sebastian Junges and Ulrich Loup and Florian Corzilius and Erika Ábrahám},
publisher = {Shaker [u.a.]},
booktitle = {Aachener Informatik-Berichte : AIB},
volume = {2013,08},
pages = {3-21},
type = {Tech Report},
year = {2013},
url = { https://publications.rwth-aachen.de/record/228582},
}×
[issue]
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, Volume 2013,08 of Aachener Informatik-Berichte : AIB, 3-21, Shaker [u.a.], 2013.
DOI [bibtex]
@inbook{LFSHR2013,
title = {Lyapunov Function Synthesis using Handelman Representations},
author = {Sriram Sankaranarayanan and Xin Chen and Erika Ábrahám},
publisher = {Elsevier},
booktitle = {Nonlinear Control Systems},
volume = {9,1},
pages = {576-581},
type = {Book Chapter},
year = {2013},
doi = {10.3182/20130904-3-FR-2041.00198},
url = { https://publications.rwth-aachen.de/record/226223},
}×
[issue]
Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám. Lyapunov Function Synthesis using Handelman Representations, Volume 9,1 of Nonlinear Control Systems, 576-581, Elsevier, 2013.
DOI [bibtex]
@inbook{HCPA2013,
title = {High-level Counterexamples for Probabilistic Automata},
author = {Ralf Wimmer and Nils Jansen and Andreas Vorpahl and Erika Ábrahám and Joost-Pieter Katoen and Bernd Becker},
publisher = {Springer},
booktitle = {LNCS},
volume = {8054},
pages = {39-54},
type = {Book Chapter},
year = {2013},
doi = {10.1007/978-3-642-40196-1_4},
url = { https://publications.rwth-aachen.de/record/226401},
}×
[issue]
Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. High-level Counterexamples for Probabilistic Automata, Volume 8054 of LNCS, 39-54, Springer, 2013.
DOI [bibtex]
@inbook{OGBCSMTSRN2013,
title = {On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers},
author = {Sebastian Junges and Ulrich Loup and Florian Corzilius and Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
volume = {8080},
pages = {186-198},
type = {Book Chapter},
year = {2013},
doi = {10.1007/978-3-642-40663-8_18},
url = { https://publications.rwth-aachen.de/record/226897},
}×
[issue]
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, Volume 8080 of LNCS, 186-198, Springer, 2013.
arXiv:1312.3979 [bibtex]
@unpublished{APPV2013,
title = {Accelerating Parametric Probabilistic Verification},
author = {Nils Jansen and Florian Corzilius and Matthias Volk and Ralf Wimmer and Erika Ábrahám and Joost-Pieter Katoen and Bernd Becker},
pages = {21 Seiten},
type = {Preprint},
year = {2013},
url = { https://arxiv.org/abs/1312.3979},
}×
[issue]
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Accelerating Parametric Probabilistic Verification, 21 Seiten, 2013. https://arxiv.org/abs/1312.3979
DOI [bibtex]
@conference{FSMCSMI2013,
title = {From Statistical Model Checking to Statistical Model Inference},
author = {Yan Zhang and Xin Chen and Sriram Sankaranarayanan and Fabio Somenzi and Erika Ábrahám},
publisher = {IEEE},
pages = {662-669},
type = {Conference Paper},
year = {2013},
doi = {10.1109/ICCAD.2013.6691186},
url = { https://publications.rwth-aachen.de/record/444173},
}×
[issue]
Yan Zhang, Xin Chen, Sriram Sankaranarayanan, Fabio Somenzi, Erika Ábrahám. From Statistical Model Checking to Statistical Model Inference, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2013), 662-669, IEEE, 2013.
arXiv:1305.5055 [bibtex]
@unpublished{HCPA2013,
title = {High-level Counterexamples for Probabilistic Automata},
author = {Ralf Wimmer and Nils Jansen and Andreas Vorpahl and Erika Ábrahám and Joost-Pieter Katoen and Bernd Becker},
publisher = {Cornell University},
type = {Preprint},
year = {2013},
url = { https://arxiv.org/abs/1305.5055},
}×
[issue]
Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. High-level Counterexamples for Probabilistic Automata, Cornell University, 2013. https://arxiv.org/abs/1305.5055
2012
DOI [bibtex]
@conference{CDARSHS2012,
title = {Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems},
author = {Xin Chen and Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
volume = {6927},
pages = {535-542},
type = {Conference Paper},
year = {2012},
doi = {10.1007/978-3-642-27549-4_69},
url = { https://publications.rwth-aachen.de/record/207001},
}×
[issue]
Xin Chen, Erika Ábrahám. Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems, Computer aided systems theory - EUROCAST 2011, Volume 6927 of LNCS, 535-542, Springer, 2012.
2011
DOI [bibtex]
@conference{VSSS2011,
title = {Virtual Substitution for SMT-Solving},
author = {Florian Corzilius and Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
volume = {6914},
pages = {360-371},
type = {Conference Paper},
year = {2011},
doi = {10.1007/978-3-642-22953-4_31},
url = { https://publications.rwth-aachen.de/record/116784},
}×
[issue]
Florian Corzilius, Erika Ábrahám. Virtual Substitution for SMT-Solving, Fundamentals of computation theory (FCT 2011), Volume 6914 of LNCS, 360-371, Springer, 2011.
DOI [bibtex]
@conference{E2011,
title = {Efficient bounded reachability computation for rectangular automata},
author = {Xin Chen and Erika Ábrahám and Goran Frehse},
publisher = {Springer},
booktitle = {LNCS},
volume = {6945},
pages = {139-152},
type = {Conference Paper},
year = {2011},
doi = {10.1007/978-3-642-24288-5_13},
url = { https://publications.rwth-aachen.de/record/127806},
}×
[issue]
Xin Chen, Erika Ábrahám, Goran Frehse. Efficient bounded reachability computation for rectangular automata, Reachability problems (RP 2011), Volume 6945 of LNCS, 139-152, Springer, 2011.
DOI [bibtex]
@conference{PDSND2011,
title = {Perfect Difference Sets for Neighbor Discovery},
author = {Jó Ágila Bitsch and Christoph Wollgarten and Stefan Schupp and Klaus Wehrle},
publisher = {ACM},
pages = {1-6},
type = {Conference Paper},
year = {2011},
doi = {10.1145/2414393.2414398},
url = { https://publications.rwth-aachen.de/record/99764},
}×
[issue]
Jó Ágila Bitsch, Christoph Wollgarten, Stefan Schupp, Klaus Wehrle. Perfect Difference Sets for Neighbor Discovery, 3rd Extreme Conference on Communication (ExtremeCom 2011), 1-6, ACM, 2011.