Nalbach, Jasper; Ábrahám, Erika; Specht, Philippe; Brown, Christopher W.; Davenport, James H.; England, Matthew Levelwise construction of a single cylindrical algebraic cell. (English) Zbl 07799840 J. Symb. Comput. 123, Article ID 102288, 44 p. (2024). MSC: 68Wxx 68Txx 03Cxx PDFBibTeX XMLCite \textit{J. Nalbach} et al., J. Symb. Comput. 123, Article ID 102288, 44 p. (2024; Zbl 07799840) Full Text: DOI arXiv
Drămnesc, Isabela; Ábrahám, Erika; Jebelean, Tudor; Kusper, Gábor; Stratulat, Sorin Experiments with automated reasoning in the class. (English) Zbl 07691306 Buzzard, Kevin (ed.) et al., Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13467, 287-304 (2022). MSC: 68Vxx PDFBibTeX XMLCite \textit{I. Drămnesc} et al., Lect. Notes Comput. Sci. 13467, 287--304 (2022; Zbl 07691306) Full Text: DOI
Dobe, Oyendrila; Ábrahám, Erika; Bartocci, Ezio; Bonakdarpour, Borzoo Model checking hyperproperties for Markov decision processes. (English) Zbl 07629167 Inf. Comput. 289, Part B, Article ID 104978, 24 p. (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{O. Dobe} et al., Inf. Comput. 289, Part B, Article ID 104978, 24 p. (2022; Zbl 07629167) Full Text: DOI
Schupp, Stefan; Ábrahám, Erika; Ebert, Tristan Recent developments in theory and tool support for hybrid systems verification with HyPro. (English) Zbl 07629138 Inf. Comput. 289, Part A, Article ID 104945, 25 p. (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Schupp} et al., Inf. Comput. 289, Part A, Article ID 104945, 25 p. (2022; Zbl 07629138) Full Text: DOI
Zaman, Eshita; Ciardo, Gianfranco; Ábrahám, Erika; Bonakdarpour, Borzoo HyperPCTL model checking by probabilistic decomposition. (English) Zbl 1502.68189 ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 209-226 (2022). MSC: 68Q60 60J20 68Q87 PDFBibTeX XMLCite \textit{E. Zaman} et al., Lect. Notes Comput. Sci. 13274, 209--226 (2022; Zbl 1502.68189) Full Text: DOI
Ábrahám, Erika; Davenport, James H.; England, Matthew; Kremer, Gereon Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. (English) Zbl 1509.68243 J. Log. Algebr. Methods Program. 119, Article ID 100633, 33 p. (2021). MSC: 68T20 68V15 68W30 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., J. Log. Algebr. Methods Program. 119, Article ID 100633, 33 p. (2021; Zbl 1509.68243) Full Text: DOI arXiv
Kremer, Gereon; Ábrahám, Erika Fully incremental cylindrical algebraic decomposition. (English) Zbl 1432.68601 J. Symb. Comput. 100, 11-37 (2020). MSC: 68W30 68R07 PDFBibTeX XMLCite \textit{G. Kremer} and \textit{E. Ábrahám}, J. Symb. Comput. 100, 11--37 (2020; Zbl 1432.68601) Full Text: DOI
Kremer, Gereon; Ábrahám, Erika Modular strategic SMT solving with SMT-RAT. (English) Zbl 1412.68270 Acta Univ. Sapientiae, Inform. 10, No. 1, 5-25 (2018). MSC: 68T20 68-04 68T15 PDFBibTeX XMLCite \textit{G. Kremer} and \textit{E. Ábrahám}, Acta Univ. Sapientiae, Inform. 10, No. 1, 5--25 (2018; Zbl 1412.68270) Full Text: DOI
Ábrahám, Erika; Kremer, Gereon Satisfiability checking: theory and applications. (English) Zbl 1390.68569 De Nicola, Rocco (ed.) et al., Software engineering and formal methods. 14th international conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-41590-1/pbk; 978-3-319-41591-8/ebook). Lecture Notes in Computer Science 9763, 9-23 (2016). MSC: 68T15 PDFBibTeX XMLCite \textit{E. Ábrahám} and \textit{G. Kremer}, Lect. Notes Comput. Sci. 9763, 9--23 (2016; Zbl 1390.68569) Full Text: DOI
Ábrahám, E.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T. Satisfiability checking and symbolic computation. (English) Zbl 1365.68478 ACM Commun. Comput. Algebra 50, No. 4, 145-147 (2016). MSC: 68W30 68T20 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., ACM Commun. Comput. Algebra 50, No. 4, 145--147 (2016; Zbl 1365.68478) Full Text: DOI arXiv Link
Kremer, Gereon; Corzilius, Florian; Ábrahám, Erika A generalised branch-and-bound approach and its application in SAT modulo nonlinear integer arithmetic. (English) Zbl 1453.90186 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 18th international workshop, CASC 2016, Bucharest, Romania, September 19–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9890, 315-335 (2016). MSC: 90C57 68T20 PDFBibTeX XMLCite \textit{G. Kremer} et al., Lect. Notes Comput. Sci. 9890, 315--335 (2016; Zbl 1453.90186) Full Text: DOI Link
Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). (English) Zbl 1344.68198 Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 28-43 (2016). MSC: 68T15 68W30 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., Lect. Notes Comput. Sci. 9791, 28--43 (2016; Zbl 1344.68198) Full Text: DOI arXiv
Ábrahám, Erika; Tran, Thi Mai Thuong; Steffen, Martin Observable interface behaviour and inheritance. (English) Zbl 1361.68054 Math. Struct. Comput. Sci. 26, No. 3, 561-605 (2016). MSC: 68N19 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., Math. Struct. Comput. Sci. 26, No. 3, 561--605 (2016; Zbl 1361.68054) Full Text: DOI
Corzilius, Florian; Kremer, Gereon; Junges, Sebastian; Schupp, Stefan; Ábrahám, Erika SMT-RAT: an open source C++ toolbox for strategic and parallel SMT solving. (English) Zbl 1471.68241 Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9340, 360-368 (2015). MSC: 68T20 68V15 PDFBibTeX XMLCite \textit{F. Corzilius} et al., Lect. Notes Comput. Sci. 9340, 360--368 (2015; Zbl 1471.68241) Full Text: DOI
Ábrahám, Erika; Becker, Bernd; Dehnert, Christian; Jansen, Nils; Katoen, Joost-Pieter; Wimmer, Ralf Counterexample generation for discrete-time Markov models: an introductory survey. (English) Zbl 1445.68130 Bernardo, Marco (ed.) et al., 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. Berlin: Springer. Lect. Notes Comput. Sci. 8483, 65-121 (2014). MSC: 68Q60 60J22 68Q45 68Q87 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., Lect. Notes Comput. Sci. 8483, 65--121 (2014; Zbl 1445.68130) Full Text: DOI
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter; Becker, Bernd Minimal counterexamples for linear-time probabilistic verification. (English) Zbl 1360.68604 Theor. Comput. Sci. 549, 61-100 (2014). MSC: 68Q60 60J20 68Q87 90C11 90C40 PDFBibTeX XMLCite \textit{R. Wimmer} et al., Theor. Comput. Sci. 549, 61--100 (2014; Zbl 1360.68604) Full Text: DOI
Corzilius, Florian; Ábrahám, Erika Virtual substitution for SMT-solving. (English) Zbl 1342.68282 Owe, Olaf (ed.) et al., Fundamentals of computation theory. 18th international symposium, FCT 2011, Oslo, Norway, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22952-7/pbk). Lecture Notes in Computer Science 6914, 360-371 (2011). MSC: 68T15 03B20 03B35 PDFBibTeX XMLCite \textit{F. Corzilius} and \textit{E. Ábrahám}, Lect. Notes Comput. Sci. 6914, 360--371 (2011; Zbl 1342.68282) Full Text: DOI
Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin Behavioral interface description of an object-oriented language with futures and promises. (English) Zbl 1187.68130 J. Log. Algebr. Program. 78, No. 7, 491-518 (2009). MSC: 68N19 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., J. Log. Algebr. Program. 78, No. 7, 491--518 (2009; Zbl 1187.68130) Full Text: DOI
Ábrahám, Erika; Grüner, Andreas; Steffen, Martin Abstract interface behavior of object-oriented languages with monitors. (English) Zbl 1162.68475 Theory Comput. Syst. 43, No. 3-4, 322-361 (2008). MSC: 68Q55 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., Theory Comput. Syst. 43, No. 3--4, 322--361 (2008; Zbl 1162.68475) Full Text: DOI Link
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin An assertion-based proof system for multithreaded Java. (English) Zbl 1070.68016 Theor. Comput. Sci. 331, No. 2-3, 251-290 (2005). MSC: 68N15 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., Theor. Comput. Sci. 331, No. 2--3, 251--290 (2005; Zbl 1070.68016) Full Text: DOI Link