Publications-New


Deprecated: Return type of Scriptotek\Marc\Collection::current() should either be compatible with Iterator::current(): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /var/www/html/vendor/scriptotek/marc/src/Collection.php on line 167

Deprecated: Return type of Scriptotek\Marc\Collection::next() should either be compatible with Iterator::next(): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /var/www/html/vendor/scriptotek/marc/src/Collection.php on line 177

Deprecated: Return type of Scriptotek\Marc\Collection::key() should either be compatible with Iterator::key(): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /var/www/html/vendor/scriptotek/marc/src/Collection.php on line 172

Deprecated: Return type of Scriptotek\Marc\Collection::valid() should either be compatible with Iterator::valid(): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /var/www/html/vendor/scriptotek/marc/src/Collection.php on line 162

Deprecated: Return type of Scriptotek\Marc\Collection::rewind() should either be compatible with Iterator::rewind(): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /var/www/html/vendor/scriptotek/marc/src/Collection.php on line 192

Deprecated: Return type of File_MARC_List::key() should either be compatible with SplDoublyLinkedList::key(): int, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /var/www/html/vendor/pear/file_marc/File/MARC/List.php on line 96

Deprecated: Return type of File_MARC_Field::isEmpty() should either be compatible with SplDoublyLinkedList::isEmpty(): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /var/www/html/vendor/pear/file_marc/File/MARC/Field.php on line 136

Deprecated: Return type of Scriptotek\Marc\Record::jsonSerialize() should either be compatible with JsonSerializable::jsonSerialize(): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /var/www/html/vendor/scriptotek/marc/src/Record.php on line 222

Deprecated: Return type of Scriptotek\Marc\Fields\Field::jsonSerialize() should either be compatible with JsonSerializable::jsonSerialize(): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /var/www/html/vendor/scriptotek/marc/src/Fields/SerializableField.php on line 9
2022
DOI [bibtex]
@proceedings{Q2022,
title = {Quantitative evaluation of systems},
author = {},
editor = {Erika Ábrahám and Marco Paolieri},
publisher = {Springer},
booktitle = {LNCS},
volume = {13479},
pages = {XVII, 399 Seiten : Illustrationen},
type = {Proceeding Article},
year = {2022},
doi = {10.1007/978-3-031-16336-4},
url = { https://publications.rwth-aachen.de/record/854216},
}×
[issue]
. Quantitative evaluation of systems, Volume 13479 of LNCS, XVII, 399 Seiten : Illustrationen, Springer, 2022.
DOI [bibtex]
@article{NPSCSC2022,
title = {New Perspectives in Symbolic Computation and Satisfiability Checking},
author = {Erika Ábrahám and James H. Davenport and Matthew England and Alberto Griggio},
publisher = {Schloss Dagstuhl},
journal = {Dagstuhl reports},
volume = {12(2)},
pages = {pages 67-86},
type = {Journal Article},
year = {2022},
doi = {10.4230/DagRep.12.2.67},
url = { https://publications.rwth-aachen.de/record/854210},
}×
[issue]
Erika Ábrahám, James H. Davenport, Matthew England, Alberto Griggio. New Perspectives in Symbolic Computation and Satisfiability Checking, Dagstuhl reports 12 (2), pages 67-86, Schloss Dagstuhl, 2022.
DOI [bibtex]
@conference{EARC2022,
title = {Experiments with Automated Reasoning in the Class},
author = {Isabela Dramnesc and Erika Ábrahám and Tudor Jebelean and Gábor Kusper and Sorin Stratulat},
publisher = {Springer},
booktitle = {Lecture Notes in Artificial Intelligence},
volume = {13467},
pages = {287-304},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-031-16681-5_20},
url = { https://publications.rwth-aachen.de/record/854208},
}×
[issue]
Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat. Experiments with Automated Reasoning in the Class, Intelligent Computer Mathematics - 15. International Conference (CICM 2022), Volume 13467 of Lecture Notes in Artificial Intelligence, 287-304, Springer, 2022.
DOI [bibtex]
@article{RH2022,
title = {Recent developments in theory and tool support for hybrid systems verification with HyPro},
author = {Stefan Schupp and Erika Ábrahám and Tristan Ebert},
publisher = {Elsevier},
journal = {Information and Computation},
pages = {pages 104945},
type = {Journal Article},
year = {2022},
doi = {10.1016/j.ic.2022.104945},
url = { https://publications.rwth-aachen.de/record/850718},
}×
[issue]
Stefan Schupp, Erika Ábrahám, Tristan Ebert. Recent developments in theory and tool support for hybrid systems verification with HyPro, Information and Computation, pages 104945, Elsevier, 2022.
DOI arXiv:2207.06758 [bibtex]
@unpublished{RSHSMV2022,
title = {Robot Swarms as Hybrid Systems: Modelling and Verification},
author = {Stefan Schupp and Francesco Leofante and Leander Behr and Erika Ábrahám and Armando Tacchella},
type = {Preprint},
year = {2022},
doi = {10.48550/arXiv.2207.06758},
url = { https://arxiv.org/abs/2207.06758},
}×
[issue]
Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Tacchella. Robot Swarms as Hybrid Systems: Modelling and Verification, 2022. https://arxiv.org/abs/2207.06758
DOI [bibtex]
@conference{ATSSRT2022,
title = {Acceleration Techniques for Symbolic Simulation of Railway Timetables},
author = {Rebecca Haehn and Erika Ábrahám and Niklas Kotowski},
publisher = {Springer},
booktitle = {LNCS},
volume = {13294},
pages = {46-62},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-031-05814-1_4},
url = { https://publications.rwth-aachen.de/record/850270},
}×
[issue]
Rebecca Haehn, Erika Ábrahám, Niklas Kotowski. Acceleration Techniques for Symbolic Simulation of Railway Timetables, 4. International Conference on Reliability, Safety and Security of Railway Systems (RSSRail 2022), Volume 13294 of LNCS, 46-62, Springer, 2022.
DOI [bibtex]
@conference{PHR2022,
title = {Probabilistic Hyperproperties with Rewards},
author = {Oyendrila Dobe and Lukas Wilke and Erika Ábrahám and Borzoo Bonakdarpour and Ezio Bartocci},
publisher = {Springer},
booktitle = {LNCS},
volume = {13260},
pages = {656-673},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-031-06773-0_35},
url = { https://publications.rwth-aachen.de/record/850269},
}×
[issue]
Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Borzoo Bonakdarpour, Ezio Bartocci. Probabilistic Hyperproperties with Rewards, NASA Formal Methods - 14. International Symposium (NFM), Volume 13260 of LNCS, 656-673, Springer, 2022.
DOI [bibtex]
@conference{HMCPD2022,
title = {HyperPCTL Model Checking by Probabilistic Decomposition},
author = {Eshita Zaman and Gianfranco Ciardo and Erika Ábrahám and Borzoo Bonakdarpour},
publisher = {Springer},
booktitle = {LNCS},
volume = {13274, Formal methods},
pages = {209-226},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-031-07727-2_12},
url = { https://publications.rwth-aachen.de/record/850268},
}×
[issue]
Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour. HyperPCTL Model Checking by Probabilistic Decomposition, 17. International Conference on integrated Formal Methods (IFM 2022), Volume 13274, Formal methods of LNCS, 209-226, Springer, 2022.
2021
DOI [bibtex]
@conference{OICACSMTS2021,
title = {On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving},
author = {Gereon Kremer and Erika Ábrahám and Matthew England and James H. Davenport},
publisher = {IEEE},
pages = {37-39},
type = {Conference Paper},
year = {2021},
doi = {10.1109/SYNASC54541.2021.00018},
url = { https://publications.rwth-aachen.de/record/846648},
}×
[issue]
Gereon Kremer, Erika Ábrahám, Matthew England, James H. Davenport. On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving, 23. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 37-39, IEEE, 2021.
arXiv:2109.01585 [bibtex]
@unpublished{OM2021,
title = {On the proof complexity of MCSAT},
author = {Gereon Kremer and Erika Ábrahám and Vijay Ganesh},
type = {Preprint},
year = {2021},
url = { https://arxiv.org/abs/2109.01585},
}×
[issue]
Gereon Kremer, Erika Ábrahám, Vijay Ganesh. On the proof complexity of MCSAT, 2021. https://arxiv.org/abs/2109.01585
arXiv:2108.05320 [bibtex]
@unpublished{PUSTCQFNLRA2021,
title = {Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic},
author = {Erika Ábrahám and James H. Davenport and Matthew England and Gereon Kremer},
pages = {5 Seiten},
type = {Preprint},
year = {2021},
url = { https://arxiv.org/abs/2108.05320},
}×
[issue]
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer. Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic, 5 Seiten, 2021. https://arxiv.org/abs/2108.05320
DOI [bibtex]
@conference{C2021,
title = {Controller verification meets controller code: a case study},
author = {Felix Freiberger and Stefan Schupp and Holger Hermanns and Erika Ábrahám},
publisher = {Association for Computing Machinery},
booktitle = {ACM conferences},
pages = {98-103},
type = {Conference Paper},
year = {2021},
doi = {10.1145/3487212.3487337},
url = { https://publications.rwth-aachen.de/record/841835},
}×
[issue]
Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám. Controller verification meets controller code: a case study, 19. International Conference on Formal Methods and Models for System Design (MEMOCODE 21), ACM conferences, 98-103, Association for Computing Machinery, 2021.
DOI [bibtex]
@inbook{HAMCPH2021,
title = {HyperProb: A Model Checker for Probabilistic Hyperproperties},
author = {Oyendrila Dobe and Erika Ábrahám and Ezio Bartocci and Borzoo Bonakdarpour},
publisher = {Springer},
booktitle = {LNCS},
volume = {13047},
pages = {657-666},
type = {Book Chapter},
year = {2021},
doi = {10.1007/978-3-030-90870-6_35},
url = { https://publications.rwth-aachen.de/record/841833},
}×
[issue]
Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour. HyperProb: A Model Checker for Probabilistic Hyperproperties, Volume 13047 of LNCS, 657-666, Springer, 2021.
DOI [bibtex]
@conference{ACCRCHSLCD2021,
title = {ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
author = {Matthias Althoff and Erika Ábrahám and Marcelo Forets and Goran Frehse and Daniel Freire and Christian Schilling and Stefan Schupp and Mark Wetzlinger},
booktitle = {EPiC Series in Computing},
volume = {80},
pages = {1-31},
type = {Conference Paper},
year = {2021},
doi = {10.29007/lhbw},
url = { https://publications.rwth-aachen.de/record/841832},
}×
[issue]
Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger. ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics, 8. International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Volume 80 of EPiC Series in Computing, 1-31, 2021.
fulltext PDF [bibtex]
@masterthesis{A2021,
title = {Accelerating symbolic simulation to analyze the effect of delays in train timetables},
author = {Niklas Kotowski},
institution = {RWTH Aachen University},
pages = {70 S.},
type = {Master Thesis},
year = {2021},
url = { https://publications.rwth-aachen.de/record/834267},
}×
[issue]
Niklas Kotowski. Accelerating symbolic simulation to analyze the effect of delays in train timetables, Master Thesis, RWTH Aachen University, 70 S., 2021.
DOI [bibtex]
@conference{SSRTUCSD2021,
title = {Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies},
author = {Rebecca Haehn and Erika Ábrahám and Nils Nießen},
publisher = {Springer},
booktitle = {LNCS},
volume = {12846},
pages = {257-275},
type = {Conference Paper},
year = {2021},
doi = {10.1007/978-3-030-85172-9_14},
url = { https://publications.rwth-aachen.de/record/825264},
}×
[issue]
Rebecca Haehn, Erika Ábrahám, Nils Nießen. Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies, 18. International Conference on Quantitative Evaluation of Systems (QEST 2021), Volume 12846 of LNCS, 257-275, Springer, 2021.
DOI [bibtex]
@conference{EFTLPSI2021,
title = {Extending the Fundamental Theorem of Linear Programming for Strict Inequalities},
author = {Jasper Kurt Ferdinand Nalbach and Erika Ábrahám and Gereon Kremer},
publisher = {Association for Computing Machinery},
booktitle = {ACM Conferences},
pages = {313-320},
type = {Conference Paper},
year = {2021},
doi = {10.1145/3452143.3465538},
url = { https://publications.rwth-aachen.de/record/823081},
}×
[issue]
Jasper Kurt Ferdinand Nalbach, Erika Ábrahám, Gereon Kremer. Extending the Fundamental Theorem of Linear Programming for Strict Inequalities, International Symposium on Symbolic and Algebraic Computation (ISSAC '21), ACM Conferences, 313-320, Association for Computing Machinery, 2021.
DOI fulltext PDF [bibtex]
@article{D2021,
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},
journal = {Journal of Logical and Algebraic Methods in Programming},
volume = {119},
pages = {pages 100633},
type = {Journal Article},
year = {2021},
doi = {10.1016/j.jlamp.2020.100633},
url = { https://publications.rwth-aachen.de/record/816049},
}×
[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, Journal of Logical and Algebraic Methods in Programming 119, pages 100633, Elsevier Science, 2021.
DOI fulltext PDF [bibtex]
@phdthesis{DB2021,
title = {Determinization and ambiguity of classical and probabilistic Büchi automata},
author = {Anton Pirogov},
publisher = {RWTH Aachen University},
institution = {RWTH Aachen University},
pages = {1 Online-Ressource : Illustrationen, Diagramme},
type = {PhD Thesis},
year = {2021},
doi = {10.18154/RWTH-2021-02027},
url = { https://publications.rwth-aachen.de/record/813936},
}×
[issue]
Anton Pirogov. Determinization and ambiguity of classical and probabilistic Büchi automata, PhD Thesis, RWTH Aachen University, 1 Online-Ressource : Illustrationen, Diagramme, RWTH Aachen University, 2021.
Show all