Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Erika Ábrahám
@article{DBLP:journals/jsc/NalbachASBDE24,
author = {Jasper Nalbach and
Erika {\'{A}}brah{\'{a}}m and
Philippe Specht and
Christopher W. Brown and
James H. Davenport and
Matthew England},
title = {Levelwise construction of a single cylindrical algebraic cell},
journal = {J. Symb. Comput.},
volume = {123},
pages = {102288},
year = {2024},
url = {https://doi.org/10.1016/j.jsc.2023.102288},
doi = {10.1016/J.JSC.2023.102288},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/NalbachASBDE24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SchuppAWRQ24,
author = {Stefan Schupp and
Erika {\'{A}}brah{\'{a}}m and
Md Tawhid Bin Waez and
Thomas Rambow and
Zeng Qiu},
title = {On the applicability of hybrid systems safety verification tools from
the automotive perspective},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {26},
number = {1},
pages = {49--78},
year = {2024},
url = {https://doi.org/10.1007/s10009-023-00707-0},
doi = {10.1007/S10009-023-00707-0},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/SchuppAWRQ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2024,
editor = {Erika {\'{A}}brah{\'{a}}m and
Manuel Mazo Jr.},
title = {Proceedings of the 27th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2024, Hong Kong SAR, China, May 14-16,
2024},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3641513},
doi = {10.1145/3641513},
timestamp = {Fri, 03 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-09313,
author = {Martin Aubard and
L{\'{a}}szl{\'{o}} Antal and
Ana Madureira and
Erika {\'{A}}brah{\'{a}}m},
title = {Knowledge Distillation in YOLOX-ViT for Side-Scan Sonar Object Detection},
journal = {CoRR},
volume = {abs/2403.09313},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.09313},
doi = {10.48550/ARXIV.2403.09313},
eprinttype = {arXiv},
eprint = {2403.09313},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-09313.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AbrahamKR23,
author = {Erika {\'{A}}brah{\'{a}}m and
J{\'{o}}zsef Kov{\'{a}}cs and
Anne Remke},
editor = {Paula Herber and
Anton Wijs},
title = {{SMT:} Something You Must Try},
booktitle = {iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands,
November 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14300},
pages = {3--18},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_1},
doi = {10.1007/978-3-031-47705-8\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/AbrahamKR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/NalbachA23,
author = {Jasper Nalbach and
Erika {\'{A}}brah{\'{a}}m},
editor = {Kristin Yvonne Rozier and
Swarat Chaudhuri},
title = {Subtropical Satisfiability for {SMT} Solving},
booktitle = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
Houston, TX, USA, May 16-18, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13903},
pages = {430--446},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33170-1\_26},
doi = {10.1007/978-3-031-33170-1\_26},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/NalbachA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/GerlachDABB23,
author = {Lina Gerlach and
Oyendrila Dobe and
Erika {\'{A}}brah{\'{a}}m and
Ezio Bartocci and
Borzoo Bonakdarpour},
editor = {Nils Jansen and
Mirco Tribastone},
title = {Introducing Asynchronicity to Probabilistic Hyperproperties},
booktitle = {Quantitative Evaluation of Systems - 20th International Conference,
{QEST} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14287},
pages = {47--64},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43835-6\_4},
doi = {10.1007/978-3-031-43835-6\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/GerlachDABB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/WillemsenRA23,
author = {Lisa Willemsen and
Anne Remke and
Erika {\'{A}}brah{\'{a}}m},
editor = {Nils Jansen and
Mirco Tribastone},
title = {Comparing Two Approaches to Include Stochasticity in Hybrid Automata},
booktitle = {Quantitative Evaluation of Systems - 20th International Conference,
{QEST} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14287},
pages = {238--254},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43835-6\_17},
doi = {10.1007/978-3-031-43835-6\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/WillemsenRA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/BarNAB23,
author = {Philipp B{\"{a}}r and
Jasper Nalbach and
Erika {\'{A}}brah{\'{a}}m and
Christopher W. Brown},
editor = {St{\'{e}}phane Graham{-}Lengrand and
Mathias Preiner},
title = {Exploiting Strict Constraints in the Cylindrical Algebraic Covering},
booktitle = {Proceedings of the 21st International Workshop on Satisfiability Modulo
Theories {(SMT} 2023) co-located with the 29th International Conference
on Automated Deduction {(CADE} 2023), Rome, Italy, July, 5-6, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3429},
pages = {33--45},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3429/paper13.pdf},
timestamp = {Fri, 04 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smt/BarNAB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/DelicarisSAR23,
author = {Joanna Delicaris and
Stefan Schupp and
Erika {\'{A}}brah{\'{a}}m and
Anne Remke},
editor = {Cristina David and
Meng Sun},
title = {Maximizing Reachability Probabilities in Rectangular Automata with
Random Clocks},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {164--182},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_10},
doi = {10.1007/978-3-031-35257-7\_10},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/DelicarisSAR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/AbrahamNP23,
author = {Erika {\'{A}}brah{\'{a}}m and
Jasper Nalbach and
Valentin Promies},
editor = {Catherine Dubois and
Pierluigi San Pietro},
title = {Automated Exercise Generation for Satisfiability Checking},
booktitle = {Formal Methods Teaching: 5th International Workshop, FMTea 2023, L{\"{u}}beck,
Germany, March 6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13962},
pages = {1--16},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27534-0\_1},
doi = {10.1007/978-3-031-27534-0\_1},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tfm/AbrahamNP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-00995,
author = {Jasper Nalbach and
Valentin Promies and
Erika {\'{A}}brah{\'{a}}m and
Paul Kobialka},
editor = {Antonis Achilleos and
Dario Della Monica},
title = {FMplex: {A} Novel Method for Solving Linear Real Arithmetic Problems},
booktitle = {Proceedings of the Fourteenth International Symposium on Games, Automata,
Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th
September 2023},
series = {{EPTCS}},
volume = {390},
pages = {16--32},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390.2},
doi = {10.4204/EPTCS.390.2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-00995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-10780,
author = {L{\'{a}}szl{\'{o}} Antal and
Hana Masara and
Erika {\'{A}}brah{\'{a}}m},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Extending Neural Network Verification to a Larger Family of Piece-wise
Linear Activation Functions},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {30--68},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.4},
doi = {10.4204/EPTCS.395.4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-10780.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2023,
editor = {Hossein Hojjat and
Erika {\'{A}}brah{\'{a}}m},
title = {Fundamentals of Software Engineering - 10th International Conference,
{FSEN} 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14155},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42441-0},
doi = {10.1007/978-3-031-42441-0},
isbn = {978-3-031-42440-3},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2023,
editor = {Erika {\'{A}}brah{\'{a}}m and
Clemens Dubslaff and
Silvia Lizeth Tapia Tarifa},
title = {Theoretical Aspects of Computing - {ICTAC} 2023 - 20th International
Colloquium, Lima, Peru, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14446},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47963-2},
doi = {10.1007/978-3-031-47963-2},
isbn = {978-3-031-47962-5},
timestamp = {Fri, 01 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/scsquare/2023,
editor = {Erika {\'{A}}brah{\'{a}}m and
Thomas Sturm},
title = {Proceedings of the 8th SC-Square Workshop co-located with the 48th
International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC
2023, Troms{\o}, Norway, July 28, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3455},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3455},
urn = {urn:nbn:de:0074-3455-4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scsquare/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-14996,
author = {Joanna Delicaris and
Stefan Schupp and
Erika {\'{A}}brah{\'{a}}m and
Anne Remke},
title = {Maximizing Reachability Probabilities in Rectangular Automata with
Random Clocks},
journal = {CoRR},
volume = {abs/2304.14996},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.14996},
doi = {10.48550/ARXIV.2304.14996},
eprinttype = {arXiv},
eprint = {2304.14996},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-14996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-16757,
author = {Philipp B{\"{a}}r and
Jasper Nalbach and
Erika {\'{A}}brah{\'{a}}m and
Christopher W. Brown},
title = {Exploiting Strict Constraints in the Cylindrical Algebraic Covering},
journal = {CoRR},
volume = {abs/2306.16757},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.16757},
doi = {10.48550/ARXIV.2306.16757},
eprinttype = {arXiv},
eprint = {2306.16757},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-16757.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-05282,
author = {Lina Gerlach and
Oyendrila Dobe and
Erika {\'{A}}brah{\'{a}}m and
Ezio Bartocci and
Borzoo Bonakdarpour},
title = {Introducing Asynchronicity to Probabilistic Hyperproperties},
journal = {CoRR},
volume = {abs/2307.05282},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.05282},
doi = {10.48550/ARXIV.2307.05282},
eprinttype = {arXiv},
eprint = {2307.05282},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05282.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-08052,
author = {Lisa Willemsen and
Anne Remke and
Erika {\'{A}}brah{\'{a}}m},
title = {Comparing Two Approaches to Include Stochasticity in Hybrid Automata},
journal = {CoRR},
volume = {abs/2307.08052},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.08052},
doi = {10.48550/ARXIV.2307.08052},
eprinttype = {arXiv},
eprint = {2307.08052},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-08052.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-03138,
author = {Jasper Nalbach and
Valentin Promies and
Erika {\'{A}}brah{\'{a}}m and
Paul Kobialka},
title = {FMplex: {A} Novel Method for Solving Linear Real Arithmetic Problems
(Extended Version)},
journal = {CoRR},
volume = {abs/2309.03138},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.03138},
doi = {10.48550/ARXIV.2309.03138},
eprinttype = {arXiv},
eprint = {2309.03138},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-03138.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AbrahamHHSW23,
author = {Erika {\'{A}}brah{\'{a}}m and
Stefan Hallerstede and
John Hatcliff and
Danielle Stewart and
Noah Abou El Wafa},
title = {Integrated Rigorous Analysis in Cyber-Physical Systems Engineering
(Dagstuhl Seminar 23041)},
journal = {Dagstuhl Reports},
volume = {13},
number = {1},
pages = {155--183},
year = {2023},
url = {https://doi.org/10.4230/DagRep.13.1.155},
doi = {10.4230/DAGREP.13.1.155},
timestamp = {Mon, 25 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AbrahamHHSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/SchuppAE22,
author = {Stefan Schupp and
Erika {\'{A}}brah{\'{a}}m and
Tristan Ebert},
title = {Recent developments in theory and tool support for hybrid systems
verification with HyPro},
journal = {Inf. Comput.},
volume = {289},
number = {Part},
pages = {104945},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2022.104945},
doi = {10.1016/J.IC.2022.104945},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/SchuppAE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DobeABB22,
author = {Oyendrila Dobe and
Erika {\'{A}}brah{\'{a}}m and
Ezio Bartocci and
Borzoo Bonakdarpour},
title = {Model checking hyperproperties for Markov decision processes},
journal = {Inf. Comput.},
volume = {289},
number = {Part},
pages = {104978},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2022.104978},
doi = {10.1016/J.IC.2022.104978},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DobeABB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ZamanCAB22,
author = {Eshita Zaman and
Gianfranco Ciardo and
Erika {\'{A}}brah{\'{a}}m and
Borzoo Bonakdarpour},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {HyperPCTL Model Checking by Probabilistic Decomposition},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {209--226},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_12},
doi = {10.1007/978-3-031-07727-2\_12},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/ZamanCAB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/DramnescAJKS22,
author = {Isabela Dramnesc and
Erika {\'{A}}brah{\'{a}}m and
Tudor Jebelean and
G{\'{a}}bor Kusper and
Sorin Stratulat},
editor = {Kevin Buzzard and
Temur Kutsia},
title = {Experiments with Automated Reasoning in the Class},
booktitle = {Intelligent Computer Mathematics - 15th International Conference,
{CICM} 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13467},
pages = {287--304},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16681-5\_20},
doi = {10.1007/978-3-031-16681-5\_20},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/DramnescAJKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/DobeWABB22,
author = {Oyendrila Dobe and
Lukas Wilke and
Erika {\'{A}}brah{\'{a}}m and
Ezio Bartocci and
Borzoo Bonakdarpour},
editor = {Jyotirmoy V. Deshmukh and
Klaus Havelund and
Ivan Perez},
title = {Probabilistic Hyperproperties with Rewards},
booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
Pasadena, CA, USA, May 24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13260},
pages = {656--673},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06773-0\_35},
doi = {10.1007/978-3-031-06773-0\_35},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/DobeWABB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/HaehnAK22,
author = {Rebecca Haehn and
Erika {\'{A}}brah{\'{a}}m and
Niklas Kotowski},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Acceleration Techniques for Symbolic Simulation of Railway Timetables},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {46--62},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_4},
doi = {10.1007/978-3-031-05814-1\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/HaehnAK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2022,
editor = {Erika {\'{A}}brah{\'{a}}m and
Marco Paolieri},
title = {Quantitative Evaluation of Systems - 19th International Conference,
{QEST} 2022, Warsaw, Poland, September 12-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13479},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16336-4},
doi = {10.1007/978-3-031-16336-4},
isbn = {978-3-031-16335-7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-09309,
author = {Jasper Nalbach and
Erika {\'{A}}brah{\'{a}}m and
Philippe Specht and
Christopher W. Brown and
James H. Davenport and
Matthew England},
title = {Levelwise construction of a single cylindrical algebraic cell},
journal = {CoRR},
volume = {abs/2212.09309},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.09309},
doi = {10.48550/ARXIV.2212.09309},
eprinttype = {arXiv},
eprint = {2212.09309},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-09309.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AbrahamDEG22,
author = {Erika {\'{A}}brah{\'{a}}m and
James H. Davenport and
Matthew England and
Alberto Griggio},
title = {New Perspectives in Symbolic Computation and Satisfiability Checking
(Dagstuhl Seminar 22072)},
journal = {Dagstuhl Reports},
volume = {12},
number = {2},
pages = {67--86},
year = {2022},
url = {https://doi.org/10.4230/DagRep.12.2.67},
doi = {10.4230/DAGREP.12.2.67},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AbrahamDEG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/AbrahamDEK21,
author = {Erika {\'{A}}brah{\'{a}}m and
James H. Davenport and
Matthew England and
Gereon Kremer},
title = {Deciding the consistency of non-linear real arithmetic constraints
with a conflict driven search using cylindrical algebraic coverings},
journal = {J. Log. Algebraic Methods Program.},
volume = {119},
pages = {100633},
year = {2021},
url = {https://doi.org/10.1016/j.jlamp.2020.100633},
doi = {10.1016/J.JLAMP.2020.100633},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/AbrahamDEK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcade/AbrahamDEK21,
author = {Erika {\'{A}}brah{\'{a}}m and
James H. Davenport and
Matthew England and
Gereon Kremer},
editor = {Martin Suda and
Sarah Winkler},
title = {Proving {UNSAT} in {SMT:} The Case of Quantifier Free Non-Linear Real
Arithmetic},
booktitle = {Proceedings of the Third International Workshop on Automated Reasoning:
Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE
2021, Virtual Event, July 16, 2021},
pages = {1--5},
year = {2021},
url = {http://cl-informatik.uibk.ac.at/users/swinkler/arcade2021/pdfs/1.pdf},
timestamp = {Wed, 01 Feb 2023 13:48:25 +0100},
biburl = {https://dblp.org/rec/conf/arcade/AbrahamDEK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arch/AlthoffAFFF0SW21,
author = {Matthias Althoff and
Erika {\'{A}}brah{\'{a}}m and
Marcelo Forets and
Goran Frehse and
Daniel Freire and
Christian Schilling and
Stefan Schupp and
Mark Wetzlinger},
editor = {Goran Frehse and
Matthias Althoff},
title = {{ARCH-COMP21} Category Report: Continuous and Hybrid Systems with
Linear Continuous Dynamics},
booktitle = {8th International Workshop on Applied Verification of Continuous and
Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021},
series = {EPiC Series in Computing},
volume = {80},
pages = {1--31},
publisher = {EasyChair},
year = {2021},
url = {https://doi.org/10.29007/lhbw},
doi = {10.29007/LHBW},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arch/AlthoffAFFF0SW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DobeABB21,
author = {Oyendrila Dobe and
Erika {\'{A}}brah{\'{a}}m and
Ezio Bartocci and
Borzoo Bonakdarpour},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {HyperProb: {A} Model Checker for Probabilistic Hyperproperties},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {657--666},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_35},
doi = {10.1007/978-3-030-90870-6\_35},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/DobeABB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/NalbachAK21,
author = {Jasper Nalbach and
Erika {\'{A}}brah{\'{a}}m and
Gereon Kremer},
editor = {Fr{\'{e}}d{\'{e}}ric Chyzak and
George Labahn},
title = {Extending the Fundamental Theorem of Linear Programming for Strict
Inequalities},
booktitle = {{ISSAC} '21: International Symposium on Symbolic and Algebraic Computation,
Virtual Event, Russia, July 18-23, 2021},
pages = {313--320},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3452143.3465538},
doi = {10.1145/3452143.3465538},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/NalbachAK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/FreibergerSHA21,
author = {Felix Freiberger and
Stefan Schupp and
Holger Hermanns and
Erika {\'{A}}brah{\'{a}}m},
editor = {S. Arun{-}Kumar and
Dominique M{\'{e}}ry and
Indranil Saha and
Lijun Zhang},
title = {Controller verification meets controller code: a case study},
booktitle = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, Virtual Event, China, November
20 - 22, 2021},
pages = {98--103},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3487212.3487337},
doi = {10.1145/3487212.3487337},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/FreibergerSHA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/HaehnAN21,
author = {Rebecca Haehn and
Erika {\'{A}}brah{\'{a}}m and
Nils Nie{\ss}en},
editor = {Alessandro Abate and
Andrea Marin},
title = {Symbolic Simulation of Railway Timetables Under Consideration of Stochastic
Dependencies},
booktitle = {Quantitative Evaluation of Systems - 18th International Conference,
{QEST} 2021, Paris, France, August 23-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12846},
pages = {257--275},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85172-9\_14},
doi = {10.1007/978-3-030-85172-9\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/HaehnAN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/KremerAED21,
author = {Gereon Kremer and
Erika {\'{A}}brah{\'{a}}m and
Matthew England and
James H. Davenport},
editor = {Carsten Schneider and
Mircea Marin and
Viorel Negru and
Daniela Zaharie},
title = {On the Implementation of Cylindrical Algebraic Coverings for Satisfiability
Modulo Theories Solving},
booktitle = {23rd International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2021, Timisoara, Romania, December
7-10, 2021},
pages = {37--39},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SYNASC54541.2021.00018},
doi = {10.1109/SYNASC54541.2021.00018},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/KremerAED21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2207-06758,
author = {Stefan Schupp and
Francesco Leofante and
Leander Behr and
Erika {\'{A}}brah{\'{a}}m and
Armando Tacchella},
editor = {Anne Remke and
Dung Hoang Tran},
title = {Robot Swarms as Hybrid Systems: Modelling and Verification},
booktitle = {Proceedings The 7th International Workshop on Symbolic-Numeric Methods
for Reasoning about {CPS} and IoT, {SNR} 2021, Online, 23rd August
2021},
series = {{EPTCS}},
volume = {361},
pages = {61--77},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.361.7},
doi = {10.4204/EPTCS.361.7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-06758.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-05320,
author = {Erika {\'{A}}brah{\'{a}}m and
James H. Davenport and
Matthew England and
Gereon Kremer},
title = {Proving {UNSAT} in {SMT:} The Case of Quantifier Free Non-Linear Real
Arithmetic},
journal = {CoRR},
volume = {abs/2108.05320},
year = {2021},
url = {https://arxiv.org/abs/2108.05320},
eprinttype = {arXiv},
eprint = {2108.05320},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-05320.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-01585,
author = {Gereon Kremer and
Erika {\'{A}}brah{\'{a}}m and
Vijay Ganesh},
title = {On the proof complexity of {MCSAT}},
journal = {CoRR},
volume = {abs/2109.01585},
year = {2021},
url = {https://arxiv.org/abs/2109.01585},
eprinttype = {arXiv},
eprint = {2109.01585},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-01585.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KremerA20,
author = {Gereon Kremer and
Erika {\'{A}}brah{\'{a}}m},
title = {Fully incremental cylindrical algebraic decomposition},
journal = {J. Symb. Comput.},
volume = {100},
pages = {11--37},
year = {2020},
url = {https://doi.org/10.1016/j.jsc.2019.07.018},
doi = {10.1016/J.JSC.2019.07.018},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/KremerA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atmos/HaehnAN20,
author = {Rebecca Haehn and
Erika {\'{A}}brah{\'{a}}m and
Nils Nie{\ss}en},
editor = {Dennis Huisman and
Christos D. Zaroliagis},
title = {Probabilistic Simulation of a Railway Timetable},
booktitle = {20th Symposium on Algorithmic Approaches for Transportation Modelling,
Optimization, and Systems, {ATMOS} 2020, September 7-8, 2020, Pisa,
Italy (Virtual Conference)},
series = {OASIcs},
volume = {85},
pages = {16:1--16:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/OASIcs.ATMOS.2020.16},
doi = {10.4230/OASICS.ATMOS.2020.16},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atmos/HaehnAN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AbrahamBBD20,
author = {Erika {\'{A}}brah{\'{a}}m and
Ezio Bartocci and
Borzoo Bonakdarpour and
Oyendrila Dobe},
editor = {Dang Van Hung and
Oleg Sokolsky},
title = {Probabilistic Hyperproperties with Nondeterminism},
booktitle = {Automated Technology for Verification and Analysis - 18th International
Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12302},
pages = {518--534},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59152-6\_29},
doi = {10.1007/978-3-030-59152-6\_29},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/AbrahamBBD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AbrahamDEKT20,
author = {Erika {\'{A}}brah{\'{a}}m and
James H. Davenport and
Matthew England and
Gereon Kremer and
Zak Tonks},
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {New Opportunities for the Formal Proof of Computational Real Geometry?
(Extended Abstract)},
booktitle = {Joint Proceedings of the 7th Workshop on Practical Aspects of Automated
Reasoning {(PAAR)} and the 5th Satisfiability Checking and Symbolic
Computation Workshop (SC-Square) Workshop, 2020 co-located with the
10th International Joint Conference on Automated Reasoning {(IJCAR}
2020), Paris, France, June-July, 2020 (Virtual)},
series = {{CEUR} Workshop Proceedings},
volume = {2752},
pages = {178--188},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/AbrahamDEKT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeofanteGAT20,
author = {Francesco Leofante and
Enrico Giunchiglia and
Erika {\'{A}}brah{\'{a}}m and
Armando Tacchella},
editor = {Christian Bessiere},
title = {Optimal Planning Modulo Theories},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {4128--4134},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/571},
doi = {10.24963/IJCAI.2020/571},
timestamp = {Mon, 20 Jul 2020 12:38:52 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LeofanteGAT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AbrahamBBD20,
author = {Erika {\'{A}}brah{\'{a}}m and
Ezio Bartocci and
Borzoo Bonakdarpour and
Oyendrila Dobe},
editor = {Elvira Albert and
Laura Kov{\'{a}}cs},
title = {Parameter Synthesis for Probabilistic Hyperproperties},
booktitle = {{LPAR} 2020: 23rd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27,
2020},
series = {EPiC Series in Computing},
volume = {73},
pages = {12--31},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/37lf},
doi = {10.29007/37LF},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/AbrahamBBD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/HaehnAN20,
author = {Rebecca Haehn and
Erika {\'{A}}brah{\'{a}}m and
Nils Nie{\ss}en},
editor = {Holger Hermanns},
title = {Freight Train Scheduling in Railway Systems},
booktitle = {Measurement, Modelling and Evaluation of Computing Systems - 20th
International {GI/ITG} Conference, {MMB} 2020, Saarbr{\"{u}}cken,
Germany, March 16-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12040},
pages = {225--241},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43024-5\_14},
doi = {10.1007/978-3-030-43024-5\_14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mmb/HaehnAN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/PilchKRA20,
author = {Carina Pilch and
Maurice Krause and
Anne Remke and
Erika {\'{A}}brah{\'{a}}m},
editor = {Ritchie Lee and
Susmit Jha and
Anastasia Mavridou},
title = {A Transformation of Hybrid Petri Nets with Stochastic Firings into
a Subclass of Stochastic Hybrid Automata},
booktitle = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020,
Moffett Field, CA, USA, May 11-15, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12229},
pages = {381--400},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-55754-6\_23},
doi = {10.1007/978-3-030-55754-6\_23},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/PilchKRA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-05633,
author = {Erika {\'{A}}brah{\'{a}}m and
James H. Davenport and
Matthew England and
Gereon Kremer},
title = {Deciding the Consistency of Non-Linear Real Arithmetic Constraints
with a Conflict Driven Search Using Cylindrical Algebraic Coverings},
journal = {CoRR},
volume = {abs/2003.05633},
year = {2020},
url = {https://arxiv.org/abs/2003.05633},
eprinttype = {arXiv},
eprint = {2003.05633},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-05633.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-04034,
author = {Erika {\'{A}}brah{\'{a}}m and
James H. Davenport and
Matthew England and
Gereon Kremer and
Zak Tonks},
title = {New Opportunities for the Formal Proof of Computational Real Geometry?},
journal = {CoRR},
volume = {abs/2004.04034},
year = {2020},
url = {https://arxiv.org/abs/2004.04034},
eprinttype = {arXiv},
eprint = {2004.04034},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-04034.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-06115,
author = {Erika {\'{A}}brah{\'{a}}m and
Ezio Bartocci and
Borzoo Bonakdarpour and
Oyendrila Dobe},
title = {Probabilistic Hyperproperties with Nondeterminism},
journal = {CoRR},
volume = {abs/2005.06115},
year = {2020},
url = {https://arxiv.org/abs/2005.06115},
eprinttype = {arXiv},
eprint = {2005.06115},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-06115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/LeofanteANLT19,
author = {Francesco Leofante and
Erika {\'{A}}brah{\'{a}}m and
Tim Niemueller and
Gerhard Lakemeyer and
Armando Tacchella},
title = {Integrated Synthesis and Execution of Optimal Plans for Multi-Robot
Systems in Logistics},
journal = {Inf. Syst. Frontiers},
volume = {21},
number = {1},
pages = {87--107},
year = {2019},
url = {https://doi.org/10.1007/s10796-018-9858-3},
doi = {10.1007/S10796-018-9858-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isf/LeofanteANLT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecms/LeofanteSAT19,
author = {Francesco Leofante and
Stefan Schupp and
Erika {\'{A}}brah{\'{a}}m and
Armando Tacchella},
editor = {Mauro Iacono and
Francesco Palmieri and
Marco Gribaudo and
Massimo Ficco},
title = {Engineering Controllers For Swarm Robotics Via Reachability Analysis
In Hybrid Systems},
booktitle = {Proceedings of the 33rd International {ECMS} Conference on Modelling
and Simulation, {ECMS} 2019 Caserta, Italy, June 11-14, 2019},
pages = {407--413},
publisher = {European Council for Modeling and Simulation},
year = {2019},
url = {https://doi.org/10.7148/2019-0407},
doi = {10.7148/2019-0407},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecms/LeofanteSAT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BergerNKAWR19,
author = {Philipp Berger and
Johanna Nellen and
Joost{-}Pieter Katoen and
Erika {\'{A}}brah{\'{a}}m and
Md Tawhid Bin Waez and
Thomas Rambow},
editor = {Kim Guldstrand Larsen and
Tim A. C. Willemse},
title = {Multiple Analyses, Requirements Once: - Simplifying Testing and Verification
in Automotive Model-Based Development},
booktitle = {Formal Methods for Industrial Critical Systems - 24th International
Conference, {FMICS} 2019, Amsterdam, The Netherlands, August 30-31,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11687},
pages = {59--75},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-27008-7\_4},
doi = {10.1007/978-3-030-27008-7\_4},
timestamp = {Fri, 27 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BergerNKAWR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scsquare/KremerAG19,
author = {Gereon Kremer and
Erika {\'{A}}brah{\'{a}}m and
Vijay Ganesh},
editor = {John Abbott and
Alberto Griggio},
title = {On the Proof Complexity of {MCSAT}},
booktitle = {Proceedings of the 4th SC-Square Workshop co-located with the {SIAM}
Conference on Applied Algebraic Geometry, SC-square@SIAM {AG} 2019,
Bern, Switzerland, 10th July 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2460},
publisher = {CEUR-WS.org},
year = {2019},
url = {http://ceur-ws.org/Vol-2460/paper3.pdf},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/scsquare/KremerAG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scsquare/NalbachKA19,
author = {Jasper Nalbach and
Gereon Kremer and
Erika {\'{A}}brah{\'{a}}m},
editor = {John Abbott and
Alberto Griggio},
title = {On Variable Orderings in {MCSAT} for Non-Linear Real Arithmetic},
booktitle = {Proceedings of the 4th SC-Square Workshop co-located with the {SIAM}
Conference on Applied Algebraic Geometry, SC-square@SIAM {AG} 2019,
Bern, Switzerland, 10th July 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2460},
publisher = {CEUR-WS.org},
year = {2019},
url = {http://ceur-ws.org/Vol-2460/paper5.pdf},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scsquare/NalbachKA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-07993,
author = {Sebastian Junges and
Erika {\'{A}}brah{\'{a}}m and
Christian Hensel and
Nils Jansen and
Joost{-}Pieter Katoen and
Tim Quatmann and
Matthias Volk},
title = {Parameter Synthesis for Markov Models},
journal = {CoRR},
volume = {abs/1903.07993},
year = {2019},
url = {http://arxiv.org/abs/1903.07993},
eprinttype = {arXiv},
eprint = {1903.07993},
timestamp = {Tue, 02 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-07993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-07083,
author = {Philipp Berger and
Johanna Nellen and
Joost{-}Pieter Katoen and
Erika {\'{A}}brah{\'{a}}m and
Md Tawhid Bin Waez and
Thomas Rambow},
title = {Multiple Analyses, Requirements Once: simplifying testing {\&}
verification in automotive model-based development},
journal = {CoRR},
volume = {abs/1906.07083},
year = {2019},
url = {http://arxiv.org/abs/1906.07083},
eprinttype = {arXiv},
eprint = {1906.07083},
timestamp = {Fri, 27 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-07083.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BergerKAWR18,
author = {Philipp Berger and
Joost{-}Pieter Katoen and
Erika {\'{A}}brah{\'{a}}m and
Md Tawhid Bin Waez and
Thomas Rambow},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {Verifying Auto-generated {C} Code from Simulink - An Experience Report
in the Automotive Domain},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {312--328},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_18},
doi = {10.1007/978-3-319-95582-7\_18},
timestamp = {Fri, 27 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BergerKAWR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/NellenRWAK18,
author = {Johanna Nellen and
Thomas Rambow and
Md Tawhid Bin Waez and
Erika {\'{A}}brah{\'{a}}m and
Joost{-}Pieter Katoen},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {Formal Verification of Automotive Simulink Controller Models: Empirical
Technical Challenges, Evaluation and Recommendations},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {382--398},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_23},
doi = {10.1007/978-3-319-95582-7\_23},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/NellenRWAK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LeofanteAT18,
author = {Francesco Leofante and
Erika {\'{A}}brah{\'{a}}m and
Armando Tacchella},
editor = {Carlo A. Furia and
Kirsten Winter},
title = {Task Planning with {OMT:} An Application to Production Logistics},
booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11023},
pages = {316--325},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98938-9\_18},
doi = {10.1007/978-3-319-98938-9\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/LeofanteAT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/SchuppWA18,
author = {Stefan Schupp and
Justin Winkens and
Erika {\'{A}}brah{\'{a}}m},
title = {Context-Dependent Reachability Analysis for Hybrid Systems},
booktitle = {2018 {IEEE} International Conference on Information Reuse and Integration,
{IRI} 2018, Salt Lake City, UT, USA, July 6-9, 2018},
pages = {518--525},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/IRI.2018.00082},
doi = {10.1109/IRI.2018.00082},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iri/SchuppWA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AbrahamB18,
author = {Erika {\'{A}}brah{\'{a}}m and
Borzoo Bonakdarpour},
editor = {Annabelle McIver and
Andr{\'{a}}s Horv{\'{a}}th},
title = {HyperPCTL: {A} Temporal Logic for Probabilistic Hyperproperties},
booktitle = {Quantitative Evaluation of Systems - 15th International Conference,
{QEST} 2018, Beijing, China, September 4-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11024},
pages = {20--35},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99154-2\_2},
doi = {10.1007/978-3-319-99154-2\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/AbrahamB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scsquare/HaehnKA18,
author = {Rebecca Haehn and
Gereon Kremer and
Erika {\'{A}}brah{\'{a}}m},
editor = {Anna Maria Bigatti and
Martin Brain},
title = {Evaluation of Equational Constraints for {CAD} in {SMT} Solving},
booktitle = {Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic
Computation co-located with Federated Logic Conference, SC-Square@FLOC
2018, Oxford, UK, July 11, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2189},
pages = {19},
publisher = {CEUR-WS.org},
year = {2018},
url = {http://ceur-ws.org/Vol-2189/paper10.pdf},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/scsquare/HaehnKA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SchuppA18,
author = {Stefan Schupp and
Erika {\'{A}}brah{\'{a}}m},
editor = {Einar Broch Johnsen and
Ina Schaefer},
title = {Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems},
booktitle = {Software Engineering and Formal Methods - 16th International Conference,
{SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10886},
pages = {89--104},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92970-5\_6},
doi = {10.1007/978-3-319-92970-5\_6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/SchuppA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SchuppA18,
author = {Stefan Schupp and
Erika {\'{A}}brah{\'{a}}m},
editor = {Dirk Beyer and
Marieke Huisman},
title = {Efficient Dynamic Error Reduction for Hybrid Systems Reachability
Analysis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10806},
pages = {287--302},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_17},
doi = {10.1007/978-3-319-89963-3\_17},
timestamp = {Fri, 09 Apr 2021 18:45:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SchuppA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2018ge,
editor = {Erika {\'{A}}brah{\'{a}}m and
Elisabetta Di Nitto and
Raffaela Mirandola},
title = {2018 {IEEE/ACM} 1st International Workshop on Gender Equality in Software
Engineering, GE@ICSE, Gothenburg, Sweden, May 28, 2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3195570},
doi = {10.1145/3195570},
isbn = {978-1-4503-5738-8},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2018ge.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-01853,
author = {Erika {\'{A}}brah{\'{a}}m and
Borzoo Bonakdarpour},
title = {HyperPCTL: {A} Temporal Logic for Probabilistic Hyperproperties},
journal = {CoRR},
volume = {abs/1804.01853},
year = {2018},
url = {http://arxiv.org/abs/1804.01853},
eprinttype = {arXiv},
eprint = {1804.01853},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-01853.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-07135,
author = {Arthur Bit{-}Monnot and
Francesco Leofante and
Luca Pulina and
Erika {\'{A}}brah{\'{a}}m and
Armando Tacchella},
title = {SMarTplan: a Task Planner for Smart Factories},
journal = {CoRR},
volume = {abs/1806.07135},
year = {2018},
url = {http://arxiv.org/abs/1806.07135},
eprinttype = {arXiv},
eprint = {1806.07135},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-07135.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AbrahamA0BBCDEF17,
author = {Erika {\'{A}}brah{\'{a}}m and
John Abbott and
Bernd Becker and
Anna Maria 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},
editor = {Giles Reger and
Dmitriy Traytel},
title = {SC-square: when Satisfiability Checking and Symbolic Computation join
forces},
booktitle = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:
Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,
Sweden, 6th August 2017},
series = {EPiC Series in Computing},
volume = {51},
pages = {6--10},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/p319},
doi = {10.29007/P319},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/AbrahamA0BBCDEF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/LeofanteANLT17,
author = {Francesco Leofante and
Erika {\'{A}}brah{\'{a}}m and
Tim Niemueller and
Gerhard Lakemeyer and
Armando Tacchella},
editor = {Chengcui Zhang and
Balaji Palanisamy and
Latifur Khan and
Sahra Sedigh Sarvestani},
title = {On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics
Scenarios via Optimization Modulo Theories},
booktitle = {2017 {IEEE} International Conference on Information Reuse and Integration,
{IRI} 2017, San Diego, CA, USA, August 4-6, 2017},
pages = {403--410},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/IRI.2017.67},
doi = {10.1109/IRI.2017.67},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iri/LeofanteANLT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AbrahamNK17,
author = {Erika {\'{A}}brah{\'{a}}m and
Jasper Nalbach and
Gereon Kremer},
editor = {Matthew England and
Vijay Ganesh},
title = {Embedding the Virtual Substitution Method in the Model Constructing
Satisfiability Calculus Framework},
booktitle = {Proceedings of the 2nd International Workshop on Satisfiability Checking
and Symbolic Computation co-located with the 42nd International Symposium
on Symbolic and Algebraic Computation {(ISSAC} 2017), Kaiserslautern,
Germany, July 29, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1974},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1974/EAb.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:18 +0100},
biburl = {https://dblp.org/rec/conf/issac/AbrahamNK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ViehmannKA17,
author = {Tarik Viehmann and
Gereon Kremer and
Erika {\'{A}}brah{\'{a}}m},
editor = {Matthew England and
Vijay Ganesh},
title = {Comparing Different Projection Operators in the Cylindrical Algebraic
Decomposition for {SMT} Solving},
booktitle = {Proceedings of the 2nd International Workshop on Satisfiability Checking
and Symbolic Computation co-located with the 42nd International Symposium
on Symbolic and Algebraic Computation {(ISSAC} 2017), Kaiserslautern,
Germany, July 29, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1974},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1974/RP2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ViehmannKA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/SchuppAMK17,
author = {Stefan Schupp and
Erika {\'{A}}brah{\'{a}}m and
Ibtissem Ben Makhlouf and
Stefan Kowalewski},
editor = {Clark W. Barrett and
Misty D. Davies and
Temesghen Kahsai},
title = {HyPro: {A} {C++} Library of State Set Representations for Hybrid Systems
Reachability Analysis},
booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
Field, CA, USA, May 16-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10227},
pages = {288--294},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57288-8\_20},
doi = {10.1007/978-3-319-57288-8\_20},
timestamp = {Sat, 19 Aug 2023 09:51:51 +0200},
biburl = {https://dblp.org/rec/conf/nfm/SchuppAMK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AbrahamK17,
author = {Erika {\'{A}}brah{\'{a}}m and
Gereon Kremer},
editor = {Tudor Jebelean and
Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Tetsuo Ida and
Stephen M. Watt},
title = {{SMT} Solving for Arithmetic Theories: Theory and Tool Support},
booktitle = {19th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2017, Timisoara, Romania, September
21-24, 2017},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SYNASC.2017.00009},
doi = {10.1109/SYNASC.2017.00009},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AbrahamK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/HulsSRA17,
author = {Jannik H{\"{u}}ls and
Stefan Schupp and
Anne Remke and
Erika {\'{A}}brah{\'{a}}m},
editor = {Andrea Marin and
Benny Van Houdt and
Giuliano Casale and
Dorina C. Petriu and
Sabina Rossi},
title = {Analyzing Hybrid Petri nets with multiple stochastic firings using
HyPro},
booktitle = {Proceedings of the 11th {EAI} International Conference on Performance
Evaluation Methodologies and Tools, {VALUETOOLS} 2017, Venice, Italy,
December 05-07, 2017},
pages = {178--185},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3150928.3150938},
doi = {10.1145/3150928.3150938},
timestamp = {Wed, 23 Jan 2019 13:28:37 +0100},
biburl = {https://dblp.org/rec/conf/valuetools/HulsSRA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SchuppNA17,
author = {Stefan Schupp and
Johanna Nellen and
Erika {\'{A}}brah{\'{a}}m},
editor = {Herbert Wiklicky and
Erik P. de Vink},
title = {Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability
Analysis},
booktitle = {Proceedings 15th Workshop on Quantitative Aspects of Programming Languages
and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017},
series = {{EPTCS}},
volume = {250},
pages = {1--14},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.250.1},
doi = {10.4204/EPTCS.250.1},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchuppNA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2016sc,
editor = {Erika {\'{A}}brah{\'{a}}m and
James H. Davenport and
Pascal Fontaine},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1804},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1804},
urn = {urn:nbn:de:0074-1804-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/2016sc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/AbrahamB17,
editor = {Erika {\'{A}}brah{\'{a}}m and
Sergiy Bogomolov},
title = {Proceedings 3rd International Workshop on Symbolic and Numerical Methods
for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April
2017},
series = {{EPTCS}},
volume = {247},
year = {2017},
url = {http://arxiv.org/abs/1704.02421},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbrahamB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-04259,
author = {Francesco Leofante and
Erika {\'{A}}brah{\'{a}}m and
Tim Niemueller and
Gerhard Lakemeyer and
Armando Tacchella},
title = {On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics
Scenarios via Optimization Modulo Theories},
journal = {CoRR},
volume = {abs/1711.04259},
year = {2017},
url = {http://arxiv.org/abs/1711.04259},
eprinttype = {arXiv},
eprint = {1711.04259},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-04259.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AbrahamKNT17,
author = {Erika {\'{A}}brah{\'{a}}m and
Hadas Kress{-}Gazit and
Lorenzo Natale and
Armando Tacchella},
title = {Computer-Assisted Engineering for Robotics and Autonomous Systems
(Dagstuhl Seminar 17071)},
journal = {Dagstuhl Reports},
volume = {7},
number = {2},
pages = {48--63},
year = {2017},
url = {https://doi.org/10.4230/DagRep.7.2.48},
doi = {10.4230/DAGREP.7.2.48},
timestamp = {Mon, 11 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AbrahamKNT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/AbrahamA0BBBCDE16,
author = {Erika {\'{A}}brah{\'{a}}m and
John Abbott and
Bernd Becker and
Anna Maria 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},
title = {Satisfiability checking and symbolic computation},
journal = {{ACM} Commun. Comput. Algebra},
volume = {50},
number = {4},
pages = {145--147},
year = {2016},
url = {https://doi.org/10.1145/3055282.3055285},
doi = {10.1145/3055282.3055285},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/AbrahamA0BBBCDE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imamci/SassiS0A16,
author = {Mohamed Amin Ben Sassi and
Sriram Sankaranarayanan and
Xin Chen and
Erika {\'{A}}brah{\'{a}}m},
title = {Linear relaxations of polynomial positivity for polynomial Lyapunov
function synthesis},
journal = {{IMA} J. Math. Control. Inf.},
volume = {33},
number = {3},
pages = {723--756},
year = {2016},
url = {https://doi.org/10.1093/imamci/dnv003},
doi = {10.1093/IMAMCI/DNV003},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imamci/SassiS0A16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/NellenDNAW16,
author = {Johanna Nellen and
Kai Driessen and
Martin R. Neuh{\"{a}}u{\ss}er and
Erika {\'{A}}brah{\'{a}}m and
Benedikt Wolters},
title = {Two CEGAR-based approaches for the safety verification of PLC-controlled
plants},
journal = {Inf. Syst. Frontiers},
volume = {18},
number = {5},
pages = {927--952},
year = {2016},
url = {https://doi.org/10.1007/s10796-016-9671-9},
doi = {10.1007/S10796-016-9671-9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isf/NellenDNAW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AbrahamTS16,
author = {Erika {\'{A}}brah{\'{a}}m and
Thi Mai Thuong Tran and
Martin Steffen},
title = {Observable interface behaviour and inheritance},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {3},
pages = {561--605},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000255},
doi = {10.1017/S0960129514000255},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AbrahamTS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AbrahamH16,
author = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Some recent advances in automated analysis},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {18},
number = {2},
pages = {121--128},
year = {2016},
url = {https://doi.org/10.1007/s10009-015-0403-0},
doi = {10.1007/S10009-015-0403-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AbrahamH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/KremerCA16,
author = {Gereon Kremer and
Florian Corzilius and
Erika {\'{A}}brah{\'{a}}m},
editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
title = {A Generalised Branch-and-Bound Approach and Its Application in {SAT}
Modulo Nonlinear Integer Arithmetic},
booktitle = {Computer Algebra in Scientific Computing - 18th International Workshop,
{CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9890},
pages = {315--335},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45641-6\_21},
doi = {10.1007/978-3-319-45641-6\_21},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/KremerCA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/RichterLGFA16,
author = {Pascal Richter and
David Laukamp and
Levin Gerdes and
Martin Frank and
Erika {\'{A}}brah{\'{a}}m},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Heliostat Field Layout Optimization with Evolutionary Algorithms},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {240--252},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/7p6t},
doi = {10.29007/7P6T},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/RichterLGFA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LeofanteVAT016,
author = {Francesco Leofante and
Simone Vuotto and
Erika {\'{A}}brah{\'{a}}m and
Armando Tacchella and
Nils Jansen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Combining Static and Runtime Methods to Achieve Safe Standing-Up for
Humanoid Robots},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {496--514},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_34},
doi = {10.1007/978-3-319-47166-2\_34},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/LeofanteVAT016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/DehnertJ0CVKAB16,
author = {Christian Dehnert and
Sebastian Junges and
Nils Jansen and
Florian Corzilius and
Matthias Volk and
Joost{-}Pieter Katoen and
Erika {\'{A}}brah{\'{a}}m and
Harold Bruintjes},
editor = {Ralf Wimmer},
title = {Parameter Synthesis for Probabilistic Systems},
booktitle = {19th {GI/ITG/GMM} Workshop Methoden und Beschreibungssprachen zur
Modellierung und Verifikation von Schaltungen und Systemen, {MBMV}
2016, Freiburg im Breisgau, Germany, March 1-2, 2016},
pages = {72--74},
publisher = {Albert-Ludwigs-Universit{\"{a}}t Freiburg},
year = {2016},
url = {https://doi.org/10.6094/UNIFR/10639},
doi = {10.6094/UNIFR/10639},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/DehnertJ0CVKAB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AbrahamABBBBCDE16,
author = {Erika {\'{A}}brah{\'{a}}m and
John Abbott and
Bernd Becker and
Anna Maria 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},
editor = {Michael Kohlhase and
Moa Johansson and
Bruce R. Miller and
Leonardo de Moura and
Frank Wm. Tompa},
title = {SC\({}^{\mbox{2}}\): Satisfiability Checking Meets Symbolic Computation
- (Project Paper)},
booktitle = {Intelligent Computer Mathematics - 9th International Conference, {CICM}
2016, Bialystok, Poland, July 25-29, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9791},
pages = {28--43},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42547-4\_3},
doi = {10.1007/978-3-319-42547-4\_3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/AbrahamABBBBCDE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AbrahamK16,
author = {Erika {\'{A}}brah{\'{a}}m and
Gereon Kremer},
editor = {Rocco De Nicola and
Eva K{\"{u}}hn},
title = {Satisfiability Checking: Theory and Applications},
booktitle = {Software Engineering and Formal Methods - 14th International Conference,
{SEFM} 2016, Held as Part of {STAF} 2016, Vienna, Austria, July 4-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9763},
pages = {9--23},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41591-8\_2},
doi = {10.1007/978-3-319-41591-8\_2},
timestamp = {Tue, 15 Nov 2022 15:22:36 +0100},
biburl = {https://dblp.org/rec/conf/sefm/AbrahamK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/AbrahamCJKM16,
author = {Erika {\'{A}}brah{\'{a}}m and
Florian Corzilius and
Einar Broch Johnsen and
Gereon Kremer and
Jacopo Mauro},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Zephyrus2: On the Fly Deployment Optimization Using {SMT} and {CP}
Technologies},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {229--245},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_15},
doi = {10.1007/978-3-319-47677-3\_15},
timestamp = {Tue, 21 Mar 2023 20:59:17 +0100},
biburl = {https://dblp.org/rec/conf/setta/AbrahamCJKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Abraham16,
author = {Erika {\'{A}}brah{\'{a}}m},
editor = {James H. Davenport and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Symbolic Computation Techniques in Satisfiability Checking},
booktitle = {18th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September
24-27, 2016},
pages = {3--10},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SYNASC.2016.014},
doi = {10.1109/SYNASC.2016.014},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/synasc/Abraham16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2016deboer,
editor = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9660},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30734-3},
doi = {10.1007/978-3-319-30734-3},
isbn = {978-3-319-30733-6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2016deboer.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2016,
editor = {Erika {\'{A}}brah{\'{a}}m and
Marieke Huisman},
title = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
Reykjavik, Iceland, June 1-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9681},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0},
doi = {10.1007/978-3-319-33693-0},
isbn = {978-3-319-33692-3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbrahamABBBBCDE16,
author = {Erika {\'{A}}brah{\'{a}}m and
John Abbott and
Bernd Becker and
Anna Maria 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},
title = {Satisfiability Checking and Symbolic Computation},
journal = {CoRR},
volume = {abs/1607.06945},
year = {2016},
url = {http://arxiv.org/abs/1607.06945},
eprinttype = {arXiv},
eprint = {1607.06945},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AbrahamABBBBCDE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbrahamABBBBCDE16a,
author = {Erika {\'{A}}brah{\'{a}}m and
John Abbott and
Bernd Becker and
Anna Maria 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},
title = {Satisfiability Checking meets Symbolic Computation (Project Paper)},
journal = {CoRR},
volume = {abs/1607.08028},
year = {2016},
url = {http://arxiv.org/abs/1607.08028},
eprinttype = {arXiv},
eprint = {1607.08028},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AbrahamABBBBCDE16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-5055,
author = {Ralf Wimmer and
Nils Jansen and
Andreas Vorpahl and
Erika {\'{A}}brah{\'{a}}m and
Joost{-}Pieter Katoen and
Bernd Becker},
title = {High-level Counterexamples for Probabilistic Automata},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {1},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(1:15)2015},
doi = {10.2168/LMCS-11(1:15)2015},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-5055.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FadlisyahOA15,
author = {Muhammad Fadlisyah and
Peter Csaba {\"{O}}lveczky and
Erika {\'{A}}brah{\'{a}}m},
title = {Formal modeling and analysis of interacting hybrid systems in HI-Maude:
What happened at the 2010 Sauna World Championships?},
journal = {Sci. Comput. Program.},
volume = {99},
pages = {95--127},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.06.010},
doi = {10.1016/J.SCICO.2014.06.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FadlisyahOA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LepriAO15,
author = {Daniela Lepri and
Erika {\'{A}}brah{\'{a}}m and
Peter Csaba {\"{O}}lveczky},
title = {Sound and complete timed {CTL} model checking of timed Kripke structures
and real-time rewrite theories},
journal = {Sci. Comput. Program.},
volume = {99},
pages = {128--192},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.06.006},
doi = {10.1016/J.SCICO.2014.06.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LepriAO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcca/GeulenJNFNWAAU15,
author = {Sascha Geulen and
Martina Josevski and
Johanna Nellen and
Janosch Fuchs and
Lukas Netz and
Benedikt Wolters and
Dirk Abel and
Erika {\'{A}}brah{\'{a}}m and
Walter Unger},
title = {Learning-based control strategies for hybrid electric vehicles},
booktitle = {2015 {IEEE} Conference on Control Applications, {CCA} 2015, Sydney,
Australia, September 21-23, 2015},
pages = {1722--1728},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CCA.2015.7320858},
doi = {10.1109/CCA.2015.7320858},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEcca/GeulenJNFNWAAU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DehnertJJCVBKA15,
author = {Christian Dehnert and
Sebastian Junges and
Nils Jansen and
Florian Corzilius and
Matthias Volk and
Harold Bruintjes and
Joost{-}Pieter Katoen and
Erika {\'{A}}brah{\'{a}}m},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {PROPhESY: {A} PRObabilistic ParamEter SYnthesis Tool},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {214--231},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_13},
doi = {10.1007/978-3-319-21690-4\_13},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DehnertJJCVBKA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/0002SA15,
author = {Xin Chen and
Sriram Sankaranarayanan and
Erika {\'{A}}brah{\'{a}}m},
editor = {Goran Frehse and
Matthias Althoff},
title = {Flow* 1.2: More Effective to Play with Hybrid Systems},
booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
series = {EPiC Series in Computing},
volume = {34},
pages = {152--159},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/1w4t},
doi = {10.29007/1W4T},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/0002SA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/SchuppA0MFSK15,
author = {Stefan Schupp and
Erika {\'{A}}brah{\'{a}}m and
Xin Chen and
Ibtissem Ben Makhlouf and
Goran Frehse and
Sriram Sankaranarayanan and
Stefan Kowalewski},
editor = {Christian Berger and
Mohammad Reza Mousavi},
title = {Current Challenges in the Verification of Hybrid Systems},
booktitle = {Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International
Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9361},
pages = {8--24},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25141-7\_2},
doi = {10.1007/978-3-319-25141-7\_2},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cyphy/SchuppA0MFSK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/QuatmannJDWAKB15,
author = {Tim Quatmann and
Nils Jansen and
Christian Dehnert and
Ralf Wimmer and
Erika {\'{A}}brah{\'{a}}m and
Joost{-}Pieter Katoen and
Bernd Becker},
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {Counterexamples for Expected Rewards},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {435--452},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_27},
doi = {10.1007/978-3-319-19249-9\_27},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/QuatmannJDWAKB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/NellenWNGA15,
author = {Johanna Nellen and
Benedikt Wolters and
Lukas Netz and
Sascha Geulen and
Erika {\'{A}}brah{\'{a}}m},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {A Genetic Algorithm based Control Strategy for the Energy Management
Problem in PHEVs},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {196--214},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/md3x},
doi = {10.29007/MD3X},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/NellenWNGA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Abraham15,
author = {Erika {\'{A}}brah{\'{a}}m},
editor = {Kazuhiro Yokoyama and
Steve Linton and
Daniel Robertz},
title = {Building Bridges between Symbolic Computation and Satisfiability Checking},
booktitle = {Proceedings of the 2015 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2015, Bath, United Kingdom, July
06 - 09, 2015},
pages = {1--6},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2755996.2756636},
doi = {10.1145/2755996.2756636},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Abraham15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nbis/AbrahamBBGJKPS15,
author = {Erika {\'{A}}brah{\'{a}}m and
Costas Bekas and
Ivona Brandic and
Samir Genaim and
Einar Broch Johnsen and
Ivan Kondov and
Sabri Pllana and
Achim Streit},
editor = {Leonard Barolli and
Makoto Takizawa and
Hui{-}Huang Hsu and
Tomoya Enokido and
Fatos Xhafa},
title = {Preparing {HPC} Applications for Exascale: Challenges and Recommendations},
booktitle = {18th International Conference on Network-Based Information Systems,
NBis 2015, Taipei, Taiwan, September 2-4, 2015},
pages = {401--406},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/NBiS.2015.61},
doi = {10.1109/NBIS.2015.61},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nbis/AbrahamBBGJKPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/PathakAJTK15,
author = {Shashank Pathak and
Erika {\'{A}}brah{\'{a}}m and
Nils Jansen and
Armando Tacchella and
Joost{-}Pieter Katoen},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {A Greedy Approach for the Efficient Repair of Stochastic Models},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {295--309},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_21},
doi = {10.1007/978-3-319-17524-9\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/PathakAJTK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/0002SMAFK15,
author = {Xin Chen and
Stefan Schupp and
Ibtissem Ben Makhlouf and
Erika {\'{A}}brah{\'{a}}m and
Goran Frehse and
Stefan Kowalewski},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {A Benchmark Suite for Hybrid Systems Reachability Analysis},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {408--414},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_29},
doi = {10.1007/978-3-319-17524-9\_29},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/0002SMAFK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/CorziliusKJSA15,
author = {Florian Corzilius and
Gereon Kremer and
Sebastian Junges and
Stefan Schupp and
Erika {\'{A}}brah{\'{a}}m},
editor = {Marijn Heule and
Sean A. Weaver},
title = {{SMT-RAT:} An Open Source {C++} Toolbox for Strategic and Parallel
{SMT} Solving},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2015 - 18th
International Conference, Austin, TX, USA, September 24-27, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9340},
pages = {360--368},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24318-4\_26},
doi = {10.1007/978-3-319-24318-4\_26},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/CorziliusKJSA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/asc/NellenAW15,
author = {Johanna Nellen and
Erika {\'{A}}brah{\'{a}}m and
Benedikt Wolters},
editor = {Thouraya Bouabana{-}Tebibel and
Stuart H. Rubin},
title = {A {CEGAR} Tool for the Reachability Analysis of PLC-Controlled Plants
Using Hybrid Automata},
booktitle = {Formalisms for Reuse and Systems Integration},
series = {Advances in Intelligent Systems and Computing},
volume = {346},
pages = {55--78},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16577-6\_3},
doi = {10.1007/978-3-319-16577-6\_3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/asc/NellenAW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbrahamBBGJKPS15,
author = {Erika {\'{A}}brah{\'{a}}m and
Costas Bekas and
Ivona Brandic and
Samir Genaim and
Einar Broch Johnsen and
Ivan Kondov and
Sabri Pllana and
Achim Streit},
title = {Preparing {HPC} Applications for Exascale: Challenges and Recommendations},
journal = {CoRR},
volume = {abs/1503.06974},
year = {2015},
url = {http://arxiv.org/abs/1503.06974},
eprinttype = {arXiv},
eprint = {1503.06974},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AbrahamBBGJKPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AbrahamF0W15,
author = {Erika {\'{A}}brah{\'{a}}m and
Pascal Fontaine and
Thomas Sturm and
Dongming Wang},
title = {Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar
15471)},
journal = {Dagstuhl Reports},
volume = {5},
number = {11},
pages = {71--89},
year = {2015},
url = {https://doi.org/10.4230/DagRep.5.11.71},
doi = {10.4230/DAGREP.5.11.71},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AbrahamF0W15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JansenWAZKBS14,
author = {Nils Jansen and
Ralf Wimmer and
Erika {\'{A}}brah{\'{a}}m and
Barna Zajzon and
Joost{-}Pieter Katoen and
Bernd Becker and
Johann Schuster},
title = {Symbolic counterexample generation for large discrete-time Markov
chains},
journal = {Sci. Comput. Program.},
volume = {91},
pages = {90--114},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.02.001},
doi = {10.1016/J.SCICO.2014.02.001},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/JansenWAZKBS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WimmerJAKB14,
author = {Ralf Wimmer and
Nils Jansen and
Erika {\'{A}}brah{\'{a}}m and
Joost{-}Pieter Katoen and
Bernd Becker},
title = {Minimal counterexamples for linear-time probabilistic verification},
journal = {Theor. Comput. Sci.},
volume = {549},
pages = {61--100},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.06.020},
doi = {10.1016/J.TCS.2014.06.020},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WimmerJAKB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DehnertJWAK14,
author = {Christian Dehnert and
Nils Jansen and
Ralf Wimmer and
Erika {\'{A}}brah{\'{a}}m and
Joost{-}Pieter Katoen},
editor = {Franck Cassez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Fast Debugging of {PRISM} Models},
booktitle = {Automated Technology for Verification and Analysis - 12th International
Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8837},
pages = {146--162},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11936-6\_11},
doi = {10.1007/978-3-319-11936-6\_11},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/DehnertJWAK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/WimmerA14,
author = {Ralf Wimmer and
Erika {\'{A}}brah{\'{a}}m},
editor = {Rolf Drechsler},
title = {Maybe or Maybe Not: Contributions to Stochastic Verification},
booktitle = {Aspekte der Technischen Informatik - Festschrift zum 60. Geburtstag
von Bernd Becker},
pages = {119--128},
publisher = {MV-Wissenschaft},
year = {2014},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/WimmerA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/RwthSA14,
author = {Xin Chen and
Sriram Sankaranarayanan and
Erika {\'{A}}brah{\'{a}}m},
title = {Under-approximate flowpipes for non-linear continuous systems},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {59--66},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987596},
doi = {10.1109/FMCAD.2014.6987596},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/RwthSA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/NellenA14,
author = {Johanna Nellen and
Erika {\'{A}}brah{\'{a}}m},
editor = {James Joshi and
Elisa Bertino and
Bhavani Thuraisingham and
Ling Liu},
title = {A {CEGAR} approach for the reachability analysis of PLC-controlled
chemical plants},
booktitle = {Proceedings of the 15th {IEEE} International Conference on Information
Reuse and Integration, {IRI} 2014, Redwood City, CA, USA, August 13-15,
2014},
pages = {500--507},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/IRI.2014.7051930},
doi = {10.1109/IRI.2014.7051930},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iri/NellenA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/JansenCVWAKB14,
author = {Nils Jansen and
Florian Corzilius and
Matthias Volk and
Ralf Wimmer and
Erika {\'{A}}brah{\'{a}}m and
Joost{-}Pieter Katoen and
Bernd Becker},
editor = {Gethin Norman and
William H. Sanders},
title = {Accelerating Parametric Probabilistic Verification},
booktitle = {Quantitative Evaluation of Systems - 11th International Conference,
{QEST} 2014, Florence, Italy, September 8-10, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8657},
pages = {404--420},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10696-0\_31},
doi = {10.1007/978-3-319-10696-0\_31},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/JansenCVWAKB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/AbrahamBDJKW14,
author = {Erika {\'{A}}brah{\'{a}}m and
Bernd Becker and
Christian Dehnert and
Nils Jansen and
Joost{-}Pieter Katoen and
Ralf Wimmer},
editor = {Marco Bernardo and
Ferruccio Damiani and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Ina Schaefer},
title = {Counterexample Generation for Discrete-Time Markov Models: An Introductory
Survey},
booktitle = {Formal Methods for Executable Software Models - 14th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {8483},
pages = {65--121},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07317-0\_3},
doi = {10.1007/978-3-319-07317-0\_3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/AbrahamBDJKW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2014,
editor = {Erika {\'{A}}brah{\'{a}}m and
Catuscia Palamidessi},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {8461},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43613-4},
doi = {10.1007/978-3-662-43613-4},
isbn = {978-3-662-43612-7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2014,
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {8413},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8},
doi = {10.1007/978-3-642-54862-8},
isbn = {978-3-642-54861-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AbrahamARS14,
author = {Erika {\'{A}}brah{\'{a}}m and
Alberto Avritzer and
Anne Remke and
William H. Sanders},
title = {Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl
Seminar 14031)},
journal = {Dagstuhl Reports},
volume = {4},
number = {1},
pages = {36--82},
year = {2014},
url = {https://doi.org/10.4230/DagRep.4.1.36},
doi = {10.4230/DAGREP.4.1.36},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AbrahamARS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LoupSCAB13,
author = {Ulrich Loup and
Karsten Scheibler and
Florian Corzilius and
Erika {\'{A}}brah{\'{a}}m and
Bernd Becker},
editor = {Maria Paola Bonacina},
title = {A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic
Decomposition},
booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7898},
pages = {193--207},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38574-2\_13},
doi = {10.1007/978-3-642-38574-2\_13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/LoupSCAB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/JungesLCA13,
author = {Sebastian Junges and
Ulrich Loup and
Florian Corzilius and
Erika {\'{A}}brah{\'{a}}m},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {On Gr{\"{o}}bner Bases in the Context of Satisfiability-Modulo-Theories
Solving over the Real Numbers},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {186--198},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_18},
doi = {10.1007/978-3-642-40663-8\_18},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/cai/JungesLCA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/LepriAO13,
author = {Daniela Lepri and
Erika {\'{A}}brah{\'{a}}m and
Peter Csaba {\"{O}}lveczky},
editor = {Reiko Heckel and
Stefan Milius},
title = {A Timed {CTL} Model Checker for Real-Time Maude},
booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,
{CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8089},
pages = {334--339},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40206-7\_27},
doi = {10.1007/978-3-642-40206-7\_27},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/LepriAO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChenAS13,
author = {Xin Chen and
Erika {\'{A}}brah{\'{a}}m and
Sriram Sankaranarayanan},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Flow*: An Analyzer for Non-linear Hybrid Systems},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {258--263},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_18},
doi = {10.1007/978-3-642-39799-8\_18},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/ChenAS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/NellenA0C13,
author = {Johanna Nellen and
Erika {\'{A}}brah{\'{a}}m and
Xin Chen and
Pieter Collins},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Counterexample Generation for Hybrid Automata},
booktitle = {Formal Techniques for Safety-Critical Systems - Second International
Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {419},
pages = {88--106},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05416-2\_7},
doi = {10.1007/978-3-319-05416-2\_7},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/NellenA0C13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ZhangSSCA13,
author = {Yan Zhang and
Sriram Sankaranarayanan and
Fabio Somenzi and
Xin Chen and
Erika {\'{A}}brah{\'{a}}m},
editor = {J{\"{o}}rg Henkel},
title = {From statistical model checking to statistical model inference: characterizing
the effect of process variations in analog circuits},
booktitle = {The {IEEE/ACM} International Conference on Computer-Aided Design,
ICCAD'13, San Jose, CA, USA, November 18-21, 2013},
pages = {662--669},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICCAD.2013.6691186},
doi = {10.1109/ICCAD.2013.6691186},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iccad/ZhangSSCA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/BraitlingWBA13,
author = {Bettina Braitling and
Ralf Wimmer and
Bernd Becker and
Erika {\'{A}}brah{\'{a}}m},
editor = {Christian Haubelt and
Dirk Timmermann},
title = {Stochastic Bounded Model Checking: Bounded Rewards and Compositionality},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Warnem{\"{u}}nde, Germany,
March 12-14, 2013},
pages = {243--254},
publisher = {Institut f{\"{u}}r Angewandte Mikroelektronik und Datentechnik,
Fakult{\"{a}}t f{\"{u}}r Informatik und Elektrotechnik,
Universit{\"{a}}t Rostock},
year = {2013},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/BraitlingWBA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nolcos/Sankaranarayanan0A13,
author = {Sriram Sankaranarayanan and
Xin Chen and
Erika {\'{A}}brah{\'{a}}m},
editor = {Sophie Tarbouriech and
Miroslav Krstic},
title = {Lyapunov Function Synthesis Using Handelman Representations},
booktitle = {9th {IFAC} Symposium on Nonlinear Control Systems, {NOLCOS} 2013,
Toulouse, France, September 4-6, 2013},
pages = {576--581},
publisher = {International Federation of Automatic Control},
year = {2013},
url = {https://doi.org/10.3182/20130904-3-FR-2041.00198},
doi = {10.3182/20130904-3-FR-2041.00198},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nolcos/Sankaranarayanan0A13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/WimmerJVAKB13,
author = {Ralf Wimmer and
Nils Jansen and
Andreas Vorpahl and
Erika {\'{A}}brah{\'{a}}m and
Joost{-}Pieter Katoen and
Bernd Becker},
editor = {Kaustubh R. Joshi and
Markus Siegle and
Mari{\"{e}}lle Stoelinga and
Pedro R. D'Argenio},
title = {High-Level Counterexamples for Probabilistic Automata},
booktitle = {Quantitative Evaluation of Systems - 10th International Conference,
{QEST} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8054},
pages = {39--54},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40196-1\_4},
doi = {10.1007/978-3-642-40196-1\_4},
timestamp = {Sat, 30 Sep 2023 09:55:03 +0200},
biburl = {https://dblp.org/rec/conf/qest/WimmerJVAKB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JansenCVWAKB13,
author = {Nils Jansen and
Florian Corzilius and
Matthias Volk and
Ralf Wimmer and
Erika {\'{A}}brah{\'{a}}m and
Joost{-}Pieter Katoen and
Bernd Becker},
title = {Accelerating Parametric Probabilistic Verification},
journal = {CoRR},
volume = {abs/1312.3979},
year = {2013},
url = {http://arxiv.org/abs/1312.3979},
eprinttype = {arXiv},
eprint = {1312.3979},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JansenCVWAKB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/JansenAVWKB12,
author = {Nils Jansen and
Erika {\'{A}}brah{\'{a}}m and
Matthias Volk and
Ralf Wimmer and
Joost{-}Pieter Katoen and
Bernd Becker},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {The {COMICS} Tool - Computing Minimal Counterexamples for DTMCs},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {349--353},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_27},
doi = {10.1007/978-3-642-33386-6\_27},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/JansenAVWKB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/JansenAZWSKB12,
author = {Nils Jansen and
Erika {\'{A}}brah{\'{a}}m and
Barna Zajzon and
Ralf Wimmer and
Johann Schuster and
Joost{-}Pieter Katoen and
Bernd Becker},
editor = {Corina S. Pasareanu and
Gwen Sala{\"{u}}n},
title = {Symbolic Counterexample Generation for Discrete-Time Markov Chains},
booktitle = {Formal Aspects of Component Software, 9th International Symposium,
{FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7684},
pages = {134--151},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35861-6\_9},
doi = {10.1007/978-3-642-35861-6\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/JansenAZWSKB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/NellenA12,
author = {Johanna Nellen and
Erika {\'{A}}brah{\'{a}}m},
editor = {Jens Brandt and
Klaus Schneider},
title = {Hybrid Sequential Function Charts},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March
5-7, 2012},
series = {Forschungsergebnisse zur Informatik},
volume = {68},
pages = {109--120},
publisher = {Verlag Dr. Kovac},
year = {2012},
timestamp = {Tue, 19 May 2020 12:57:43 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/NellenA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/WimmerBJAK12,
author = {Ralf Wimmer and
Bernd Becker and
Nils Jansen and
Erika {\'{A}}brah{\'{a}}m and
Joost{-}Pieter Katoen},
editor = {Jens Brandt and
Klaus Schneider},
title = {Minimal Critical Subsystems as Counterexamples for omega-Regular {DTMC}
Properties},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March
5-7, 2012},
series = {Forschungsergebnisse zur Informatik},
volume = {68},
pages = {169--180},
publisher = {Verlag Dr. Kovac},
year = {2012},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/WimmerBJAK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/ChenAS12,
author = {Xin Chen and
Erika {\'{A}}brah{\'{a}}m and
Sriram Sankaranarayanan},
title = {Taylor Model Flowpipe Construction for Non-linear Hybrid Systems},
booktitle = {Proceedings of the 33rd {IEEE} Real-Time Systems Symposium, {RTSS}
2012, San Juan, PR, USA, December 4-7, 2012},
pages = {183--192},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/RTSS.2012.70},
doi = {10.1109/RTSS.2012.70},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/ChenAS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/CorziliusLJA12,
author = {Florian Corzilius and
Ulrich Loup and
Sebastian Junges and
Erika {\'{A}}brah{\'{a}}m},
editor = {Alessandro Cimatti and
Roberto Sebastiani},
title = {{SMT-RAT:} An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool
Presentation)},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7317},
pages = {442--448},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31612-8\_35},
doi = {10.1007/978-3-642-31612-8\_35},
timestamp = {Sun, 02 Jun 2019 21:24:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/CorziliusLJA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WimmerJABK12,
author = {Ralf Wimmer and
Nils Jansen and
Erika {\'{A}}brah{\'{a}}m and
Bernd Becker and
Joost{-}Pieter Katoen},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {Minimal Critical Subsystems for Discrete-Time Markov Models},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {299--314},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_21},
doi = {10.1007/978-3-642-28756-5\_21},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/WimmerJABK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/FadlisyahOA12,
author = {Muhammad Fadlisyah and
Peter Csaba {\"{O}}lveczky and
Erika {\'{A}}brah{\'{a}}m},
editor = {Francisco Dur{\'{a}}n},
title = {Formal Modeling and Analysis of Human Body Exposure to Extreme Heat
in HI-Maude},
booktitle = {Rewriting Logic and Its Applications - 9th International Workshop,
{WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
March 24-25, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7571},
pages = {139--161},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34005-5\_8},
doi = {10.1007/978-3-642-34005-5\_8},
timestamp = {Mon, 28 Jun 2021 11:09:20 +0200},
biburl = {https://dblp.org/rec/conf/wrla/FadlisyahOA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/LepriAO12,
author = {Daniela Lepri and
Erika {\'{A}}brah{\'{a}}m and
Peter Csaba {\"{O}}lveczky},
editor = {Francisco Dur{\'{a}}n},
title = {Timed {CTL} Model Checking in Real-Time Maude},
booktitle = {Rewriting Logic and Its Applications - 9th International Workshop,
{WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
March 24-25, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7571},
pages = {182--200},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34005-5\_10},
doi = {10.1007/978-3-642-34005-5\_10},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/LepriAO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-0603,
author = {Nils Jansen and
Erika {\'{A}}brah{\'{a}}m and
Maik Scheffler and
Matthias Volk and
Andreas Vorpahl and
Ralf Wimmer and
Joost{-}Pieter Katoen and
Bernd Becker},
title = {The {COMICS} Tool - Computing Minimal Counterexamples for Discrete-time
Markov Chains},
journal = {CoRR},
volume = {abs/1206.0603},
year = {2012},
url = {http://arxiv.org/abs/1206.0603},
eprinttype = {arXiv},
eprint = {1206.0603},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1206-0603.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AbrahamSBFH11,
author = {Erika {\'{A}}brah{\'{a}}m and
Tobias Schubert and
Bernd Becker and
Martin Fr{\"{a}}nzle and
Christian Herde},
title = {Parallel {SAT} Solving in Bounded Model Checking},
journal = {J. Log. Comput.},
volume = {21},
number = {1},
pages = {5--21},
year = {2011},
url = {https://doi.org/10.1093/logcom/exp002},
doi = {10.1093/LOGCOM/EXP002},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/AbrahamSBFH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/JansenAKWKB11,
author = {Nils Jansen and
Erika {\'{A}}brah{\'{a}}m and
Jens Katelaan and
Ralf Wimmer and
Joost{-}Pieter Katoen and
Bernd Becker},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Hierarchical Counterexamples for Discrete-Time Markov Chains},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {443--452},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_33},
doi = {10.1007/978-3-642-24372-1\_33},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/JansenAKWKB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/LoupA11,
author = {Ulrich Loup and
Erika {\'{A}}brah{\'{a}}m},
editor = {Franz Winkler},
title = {I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real
Algebra},
booktitle = {Algebraic Informatics - 4th International Conference, {CAI} 2011,
Linz, Austria, June 21-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6742},
pages = {230--246},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21493-6\_15},
doi = {10.1007/978-3-642-21493-6\_15},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/cai/LoupA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/ChenA11,
author = {Xin Chen and
Erika {\'{A}}brah{\'{a}}m},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Choice of Directions for the Approximation of Reachable Sets for Hybrid
Systems},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2011 - 13th International
Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011,
Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6927},
pages = {535--542},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-27549-4\_69},
doi = {10.1007/978-3-642-27549-4\_69},
timestamp = {Wed, 07 Dec 2022 23:13:53 +0100},
biburl = {https://dblp.org/rec/conf/eurocast/ChenA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/CorziliusA11,
author = {Florian Corzilius and
Erika {\'{A}}brah{\'{a}}m},
editor = {Olaf Owe and
Martin Steffen and
Jan Arne Telle},
title = {Virtual Substitution for SMT-Solving},
booktitle = {Fundamentals of Computation Theory - 18th International Symposium,
{FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6914},
pages = {360--371},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22953-4\_31},
doi = {10.1007/978-3-642-22953-4\_31},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/CorziliusA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BraitlingWBJA11,
author = {Bettina Braitling and
Ralf Wimmer and
Bernd Becker and
Nils Jansen and
Erika {\'{A}}brah{\'{a}}m},
editor = {Roberto Bruni and
J{\"{u}}rgen Dingel},
title = {Counterexample Generation for Markov Chains Using SMT-Based Bounded
Model Checking},
booktitle = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6722},
pages = {75--89},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21461-5\_5},
doi = {10.1007/978-3-642-21461-5\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/BraitlingWBJA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icannga/RichterAM11,
author = {Pascal Richter and
Erika {\'{A}}brah{\'{a}}m and
Gabriel Morin},
editor = {Andrej Dobnikar and
Uros Lotric and
Branko Ster},
title = {Optimisation of Concentrating Solar Thermal Power Plants with Neural
Networks},
booktitle = {Adaptive and Natural Computing Algorithms - 10th International Conference,
{ICANNGA} 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6593},
pages = {190--199},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20282-7\_20},
doi = {10.1007/978-3-642-20282-7\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icannga/RichterAM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/AbrahamBBCJLLNS11,
author = {Erika {\'{A}}brah{\'{a}}m and
Nadine Bergner and
Philipp Brauner and
Florian Corzilius and
Nils Jansen and
Thiemo Leonhardt and
Ulrich Loup and
Johanna Nellen and
Ulrik Schroeder},
editor = {Ari Korhonen and
Robert McCartney},
title = {On collaboratively conveying computer science to pupils},
booktitle = {11th Koli Calling International Conference on Computing Education
Research, Koli Calling '11, Koli, Finland, November 17-20, 2011},
pages = {132--137},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2094131.2094162},
doi = {10.1145/2094131.2094162},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kolicalling/AbrahamBBCJLLNS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/BraitlingWBJA11,
author = {Bettina Braitling and
Ralf Wimmer and
Bernd Becker and
Nils Jansen and
Erika {\'{A}}brah{\'{a}}m},
editor = {Frank Oppenheimer},
title = {SMT-based Counterexample Generation for Markov Chains},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February
21-23, 2011},
pages = {19--28},
publisher = {OFFIS-Institut f{\"{u}}r Informatik},
year = {2011},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/BraitlingWBJA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LoupA11,
author = {Ulrich Loup and
Erika {\'{A}}brah{\'{a}}m},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {GiNaCRA: {A} {C++} Library for Real Algebraic Computations},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {512--517},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_41},
doi = {10.1007/978-3-642-20398-5\_41},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/LoupA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/ChenAF11,
author = {Xin Chen and
Erika {\'{A}}brah{\'{a}}m and
Goran Frehse},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Efficient Bounded Reachability Computation for Rectangular Automata},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {139--152},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_13},
doi = {10.1007/978-3-642-24288-5\_13},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/ChenAF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FadlisyahOA11,
author = {Muhammad Fadlisyah and
Peter Csaba {\"{O}}lveczky and
Erika {\'{A}}brah{\'{a}}m},
editor = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {Object-Oriented Formal Modeling and Analysis of Interacting Hybrid
Systems in HI-Maude},
booktitle = {Software Engineering and Formal Methods - 9th International Conference,
{SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7041},
pages = {415--430},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24690-6\_29},
doi = {10.1007/978-3-642-24690-6\_29},
timestamp = {Sat, 19 Oct 2019 20:16:56 +0200},
biburl = {https://dblp.org/rec/conf/sefm/FadlisyahOA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/GeimerWWABM10,
author = {Markus Geimer and
Felix Wolf and
Brian J. N. Wylie and
Erika {\'{A}}brah{\'{a}}m and
Daniel Becker and
Bernd Mohr},
title = {The Scalasca performance toolset architecture},
journal = {Concurr. Comput. Pract. Exp.},
volume = {22},
number = {6},
pages = {702--719},
year = {2010},
url = {https://doi.org/10.1002/cpe.1556},
doi = {10.1002/CPE.1556},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/GeimerWWABM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delfi/AbrahamBJLLS10,
author = {Erika {\'{A}}brah{\'{a}}m and
Philipp Brauner and
Nils Jansen and
Thiemo Leonhardt and
Ulrich Loup and
Ulrik Schroeder},
editor = {Michael Kerres and
Nadine Ojstersek and
Ulrik Schroeder and
Ulrich Hoppe},
title = {Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik},
booktitle = {DeLFI 2010 - 8. Tagung der Fachgruppe E-Learning der Gesellschaft
f{\"{u}}r Informatik e.V., 12.-15. September 2010, Universit{\"{a}}t
Duisburg-Essen},
series = {{LNI}},
volume = {{P-169}},
pages = {239--251},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/4728},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/delfi/AbrahamBJLLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/KalinnikASWB10,
author = {Natalia Kalinnik and
Erika {\'{A}}brah{\'{a}}m and
Tobias Schubert and
Ralf Wimmer and
Bernd Becker},
editor = {Manfred Dietrich},
title = {Exploiting Different Strategies for the Parallelization of an {SMT}
Solver},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24,
2010},
pages = {97--106},
publisher = {Fraunhofer Verlag},
year = {2010},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/KalinnikASWB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AbrahamJWKB10,
author = {Erika {\'{A}}brah{\'{a}}m and
Nils Jansen and
Ralf Wimmer and
Joost{-}Pieter Katoen and
Bernd Becker},
title = {{DTMC} Model Checking by {SCC} Reduction},
booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
2010},
pages = {37--46},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QEST.2010.13},
doi = {10.1109/QEST.2010.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/AbrahamJWKB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BollueSATA10,
author = {Kai Bollue and
Michaela Slaats and
Erika {\'{A}}brah{\'{a}}m and
Wolfgang Thomas and
Dirk Abel},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Synthesis of behavioral controllers for {DES:} Increasing efficiency},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {27--34},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00007},
doi = {10.3182/20100830-3-DE-4013.00007},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BollueSATA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-4263,
author = {Muhammad Fadlisyah and
Erika {\'{A}}brah{\'{a}}m and
Daniela Lepri and
Peter Csaba {\"{O}}lveczky},
editor = {Peter Csaba {\"{O}}lveczky},
title = {A Rewriting-Logic-Based Technique for Modeling Thermal Systems},
booktitle = {Proceedings First International Workshop on Rewriting Techniques for
Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
2010},
series = {{EPTCS}},
volume = {36},
pages = {82--100},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.36.5},
doi = {10.4204/EPTCS.36.5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-4263.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-4264,
author = {Daniela Lepri and
Peter Csaba {\"{O}}lveczky and
Erika {\'{A}}brah{\'{a}}m},
editor = {Peter Csaba {\"{O}}lveczky},
title = {Model Checking Classes of Metric {LTL} Properties of Object-Oriented
Real-Time Maude Specifications},
booktitle = {Proceedings First International Workshop on Rewriting Techniques for
Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
2010},
series = {{EPTCS}},
volume = {36},
pages = {117--136},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.36.7},
doi = {10.4204/EPTCS.36.7},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-4264.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FadlisyahOA11,
author = {Muhammad Fadlisyah and
Peter Csaba {\"{O}}lveczky and
Erika {\'{A}}brah{\'{a}}m},
editor = {Min Zhang and
Volker Stolz},
title = {Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal
Analysis of Interacting Hybrid Systems},
booktitle = {4th International Workshop on Harnessing Theories for Tool Support
in Software, {TTSS} 2010, Shanghai, China, November 15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {274},
pages = {17--32},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.07.004},
doi = {10.1016/J.ENTCS.2011.07.004},
timestamp = {Fri, 10 Mar 2023 14:58:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FadlisyahOA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbrahamCLS10,
author = {Erika {\'{A}}brah{\'{a}}m and
Florian Corzilius and
Ulrich Loup and
Thomas Sturm},
editor = {Bernd Becker and
Luca Cardelli and
Holger Hermanns and
Sofi{\`{e}}ne Tahar},
title = {A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra},
booktitle = {Verification over discrete-continuous boundaries, 04.07. - 09.07.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10271},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2790/},
timestamp = {Sat, 30 Sep 2023 09:38:34 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AbrahamCLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AbrahamGGS09,
author = {Erika {\'{A}}brah{\'{a}}m and
Immo Grabe and
Andreas Gr{\"{u}}ner and
Martin Steffen},
title = {Behavioral interface description of an object-oriented language with
futures and promises},
journal = {J. Log. Algebraic Methods Program.},
volume = {78},
number = {7},
pages = {491--518},
year = {2009},
url = {https://doi.org/10.1016/j.jlap.2009.01.001},
doi = {10.1016/J.JLAP.2009.01.001},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AbrahamGGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/KalinnikSAWB09,
author = {Natalia Kalinnik and
Tobias Schubert and
Erika {\'{A}}brah{\'{a}}m and
Ralf Wimmer and
Bernd Becker},
editor = {Hamid R. Arabnia},
title = {Picoso - {A} Parallel Interval Constraint Solver},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 2009, Las Vegas, Nevada,
USA, July 13-17, 2009, 2 Volumes},
pages = {473--479},
publisher = {{CSREA} Press},
year = {2009},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/KalinnikSAWB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbrahamL09,
author = {Erika {\'{A}}brah{\'{a}}m and
Ulrich Loup},
editor = {Bernd Becker and
V. Bertacoo and
Rolf Drechsler and
Masahiro Fujita},
title = {SMT-Solving for the First-Order Theory of the Reals},
booktitle = {Algorithms and Applications for Next Generation {SAT} Solvers, 08.11.
- 13.11.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09461},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2508/},
timestamp = {Thu, 10 Jun 2021 13:02:06 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AbrahamL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AbrahamBRS08,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
title = {A Deductive Proof System for Multithreaded Java with Exceptions},
journal = {Fundam. Informaticae},
volume = {82},
number = {4},
pages = {391--463},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi82-4-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AbrahamBRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/AbrahamGS08,
author = {Erika {\'{A}}brah{\'{a}}m and
Andreas Gr{\"{u}}ner and
Martin Steffen},
title = {Abstract Interface Behavior of Object-Oriented Languages with Monitors},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {322--361},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9047-0},
doi = {10.1007/S00224-007-9047-0},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/AbrahamGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AbrahamGS08,
author = {Erika {\'{A}}brah{\'{a}}m and
Andreas Gr{\"{u}}ner and
Martin Steffen},
title = {Heap-abstraction for an object-oriented calculus with thread classes},
journal = {Softw. Syst. Model.},
volume = {7},
number = {2},
pages = {177--208},
year = {2008},
url = {https://doi.org/10.1007/s10270-007-0065-9},
doi = {10.1007/S10270-007-0065-9},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/AbrahamGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ptw/WolfWABFFGHMMPS08,
author = {Felix Wolf and
Brian J. N. Wylie and
Erika {\'{A}}brah{\'{a}}m and
Daniel Becker and
Wolfgang Frings and
Karl F{\"{u}}rlinger and
Markus Geimer and
Marc{-}Andr{\'{e}} Hermanns and
Bernd Mohr and
Shirley Moore and
Matthias Pfeifer and
Zolt{\'{a}}n Szebenyi},
editor = {Michael M. Resch and
Rainer Keller and
Valentin Himmler and
Bettina Krammer and
Alexander Schulz},
title = {Usage of the {SCALASCA} toolset for scalable performance analysis
of large-scale parallel applications},
booktitle = {Tools for High Performance Computing - Proceedings of the 2nd International
Workshop on Parallel Tools for High Performance Computing, July 2008,
HLRS, Stuttgart},
pages = {157--167},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68564-7\_10},
doi = {10.1007/978-3-540-68564-7\_10},
timestamp = {Mon, 29 Jul 2019 16:00:23 +0200},
biburl = {https://dblp.org/rec/conf/ptw/WolfWABFFGHMMPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/HerbstrittBAH07,
author = {Marc Herbstritt and
Bernd Becker and
Erika {\'{A}}brah{\'{a}}m and
Christian Herde},
editor = {Patrick Girard and
Andrzej Krasniewski and
Elena Gramatov{\'{a}} and
Adam Pawlak and
Tomasz Garbolino},
title = {On Variable Selection in SAT-LP-based Bounded Model Checking of Linear
Hybrid Automata},
booktitle = {Proceedings of the 10th {IEEE} Workshop on Design {\&} Diagnostics
of Electronic Circuits {\&} Systems {(DDECS} 2007), Krak{\'{o}}w,
Poland, April 11-13, 2007},
pages = {391--396},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/DDECS.2007.4295318},
doi = {10.1109/DDECS.2007.4295318},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ddecs/HerbstrittBAH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/AbrahamGS06,
author = {Erika {\'{A}}brah{\'{a}}m and
Andreas Gr{\"{u}}ner and
Martin Steffen},
editor = {Arnold Beckmann and
Ulrich Berger and
Benedikt L{\"{o}}we and
John V. Tucker},
title = {Heap-Abstraction for an Object-Oriented Calculus with Thread Classes},
booktitle = {Logical Approaches to Computational Barriers, Second Conference on
Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3988},
pages = {1--10},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780342\_1},
doi = {10.1007/11780342\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/AbrahamGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/AbrahamSBFH06,
author = {Erika {\'{A}}brah{\'{a}}m and
Tobias Schubert and
Bernd Becker and
Martin Fr{\"{a}}nzle and
Christian Herde},
editor = {Lubos Brim and
Boudewijn R. Haverkort and
Martin Leucker and
Jaco van de Pol},
title = {Parallel {SAT} Solving in Bounded Model Checking},
booktitle = {Formal Methods: Applications and Technology, 11th International Workshop,
{FMICS} 2006 and 5th International Workshop {PDMC} 2006, Bonn, Germany,
August 26-27, and August 31, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4346},
pages = {301--315},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70952-7\_21},
doi = {10.1007/978-3-540-70952-7\_21},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/AbrahamSBFH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/AbrahamGS06,
author = {Erika {\'{A}}brah{\'{a}}m and
Andreas Gr{\"{u}}ner and
Martin Steffen},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Abstract Interface Behavior of Object-Oriented Languages with Monitors},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {218--232},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_17},
doi = {10.1007/11768869\_17},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/AbrahamGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/AbrahamHBS06,
author = {Erika {\'{A}}brah{\'{a}}m and
Marc Herbstritt and
Bernd Becker and
Martin Steffen},
editor = {Bernd Straube and
Martin Freibothe},
title = {Memory-aware Bounded Model Checking for Linear Hybrid Systems},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
2006},
pages = {153--162},
publisher = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
year = {2006},
timestamp = {Fri, 20 Jan 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mbmv/AbrahamHBS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbrahamHBS07,
author = {Erika {\'{A}}brah{\'{a}}m and
Marc Herbstritt and
Bernd Becker and
Martin Steffen},
editor = {Ofer Strichman and
Armin Biere},
title = {Bounded Model Checking with Parametric Data Structures},
booktitle = {Proceedings of the Fourth International Workshop on Bounded Model
Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {3},
pages = {3--16},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.019},
doi = {10.1016/J.ENTCS.2006.12.019},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbrahamHBS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AbrahamBRS05,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
title = {An assertion-based proof system for multithreaded Java},
journal = {Theor. Comput. Sci.},
volume = {331},
number = {2-3},
pages = {251--290},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.09.019},
doi = {10.1016/J.TCS.2004.09.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AbrahamBRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AbrahamBKS05,
author = {Erika {\'{A}}brah{\'{a}}m and
Bernd Becker and
Felix Klaedtke and
Martin Steffen},
editor = {Radhia Cousot},
title = {Optimizing Bounded Model Checking for Linear Hybrid Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {396--412},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_26},
doi = {10.1007/978-3-540-30579-8\_26},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/AbrahamBKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbrahamBRS06,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Inductive Proof Outlines for Exceptions in Multithreaded Java},
booktitle = {Proceedings of the First {IPM} International Workshop on Foundations
of Software Engineering, {FSEN} 2005, Tehran, Iran, October 1-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {159},
pages = {281--297},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.072},
doi = {10.1016/J.ENTCS.2005.12.072},
timestamp = {Thu, 15 Dec 2022 16:21:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbrahamBRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BoerBSA04,
author = {Frank S. de Boer and
Marcello M. Bonsangue and
Martin Steffen and
Erika {\'{A}}brah{\'{a}}m},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {A Fully Abstract Semantics for {UML} Components},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {49--69},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_3},
doi = {10.1007/11561163\_3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/BoerBSA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AbrahamBBGS04,
author = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Frank S. de Boer and
Andreas Gr{\"{u}}ner and
Martin Steffen},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Observability, Connectivity, and Replay in a Sequential Calculus of
Classes},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {296--316},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_13},
doi = {10.1007/11561163\_13},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/AbrahamBBGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AbrahamBBS04,
author = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Frank S. de Boer and
Martin Steffen},
editor = {Zhiming Liu and
Keijiro Araki},
title = {Object Connectivity and Full Abstraction for a Concurrent Calculus
of Classes},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2004, First International
Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3407},
pages = {37--51},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31862-0\_5},
doi = {10.1007/978-3-540-31862-0\_5},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/AbrahamBBS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AbrahamBRS03,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
editor = {Nachum Dershowitz},
title = {A Compositional Operational Semantics for Java\({}_{\mbox{MT}}\)},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {290--303},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_13},
doi = {10.1007/978-3-540-39910-0\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AbrahamBRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/AbrahamBRS03,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
editor = {Elie Najm and
Uwe Nestmann and
Perdita Stevens},
title = {Inductive Proof Outlines for Monitors in Java},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
19.21, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2884},
pages = {155--169},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39958-2\_11},
doi = {10.1007/978-3-540-39958-2\_11},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/AbrahamBRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Abraham-MummBRS02,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {A Tool-Supported Proof System for Multithreaded Java},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {1--32},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_1},
doi = {10.1007/978-3-540-39656-7\_1},
timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Abraham-MummBRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Abraham-MummBRS02,
author = {Erika {\'{A}}brah{\'{a}}m{-}Mumm and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
editor = {Mogens Nielsen and
Uffe Engberg},
title = {Verification for Java's Reentrant Multithreading Concept},
booktitle = {Foundations of Software Science and Computation Structures, 5th International
Conference, {FOSSACS} 2002. Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002 Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2303},
pages = {5--20},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45931-6\_2},
doi = {10.1007/3-540-45931-6\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/Abraham-MummBRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Abraham-MummHS01,
author = {Erika {\'{A}}brah{\'{a}}m{-}Mumm and
Ulrich Hannemann and
Martin Steffen},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Assertion-Based Analysis of Hybrid Systems with {PVS}},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {94--109},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_8},
doi = {10.1007/3-540-45654-6\_8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocast/Abraham-MummHS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Abraham-MummSH01,
author = {Erika {\'{A}}brah{\'{a}}m{-}Mumm and
Martin Steffen and
Ulrich Hannemann},
title = {Verification of Hybrid Systems: Formalization and Proof Rules in {PVS}},
booktitle = {7th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
pages = {48--57},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICECCS.2001.930163},
doi = {10.1109/ICECCS.2001.930163},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Abraham-MummSH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Abraham-MummB00,
author = {Erika {\'{A}}brah{\'{a}}m{-}Mumm and
Frank S. de Boer},
editor = {Catuscia Palamidessi},
title = {Proof-Outlines for Threads in Java},
booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
University Park, PA, USA, August 22-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1877},
pages = {229--242},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_18},
doi = {10.1007/3-540-44618-4\_18},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/Abraham-MummB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/MeerA00,
author = {Jan de Meer and
Erika {\'{A}}brah{\'{a}}m{-}Mumm},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Formal Methods for Reflective System Specification},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {51--57},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Thu, 27 Mar 2003 09:47:24 +0100},
biburl = {https://dblp.org/rec/conf/fbt/MeerA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-05 02:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
