×

Found 250 Documents (Results 1–100)

From polynomial invariants to linear loops. (English) Zbl 07760785

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 398-406 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Algebra-based loop analysis. (English) Zbl 07760745

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 41-42 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

Solving invariant generation for unsolvable loops. (English) Zbl 1524.68070

Singh, Gagandeep (ed.) et al., Static analysis. 29th international symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13790, 19-43 (2022).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Distribution estimation for probabilistic loops. (English) Zbl 1522.68132

Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 26-42 (2022).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI arXiv

Lemmaless induction in trace logic. (English) Zbl 07691300

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, 191-208 (2022).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI

Model predictive tumour volume control using nonlinear optimization. (English) Zbl 1504.92052

Shi, Peng (ed.) et al., Complex systems: spanning control and computational cybernetics: applications. Dedicated to Professor Georgi M. Dimirovski on his anniversary. Cham: Springer. Stud. Syst. Decis. Control 415, 235-250 (2022).
MSC:  92C50 93B45 93C10
PDFBibTeX XMLCite
Full Text: DOI

Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. (English) Zbl 1499.68012

Lecture Notes in Computer Science 13385. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-031-10768-9/pbk; 978-3-031-10769-6/ebook). xv, 756 p. (2022).
MSC:  68-06 68V15 00B25
PDFBibTeX XMLCite
Full Text: DOI

Tests and proofs. 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022. Proceedings. (English) Zbl 1499.68018

Lecture Notes in Computer Science 13361. Cham: Springer (ISBN 978-3-031-09826-0/pbk; 978-3-031-09827-7/ebook). viii, 127 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

Automated generation of exam sheets for automated deduction. (English) Zbl 1485.68283

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 185-196 (2021).
MSC:  68V15 97D60
PDFBibTeX XMLCite
Full Text: DOI Link

Inductive benchmarks for automated reasoning. (English) Zbl 1485.68281

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 124-129 (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI Link

Algebra-based synthesis of loops and their invariants (invited paper). (English) Zbl 1472.68036

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 17-28 (2021).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automated termination analysis of polynomial probabilistic programs. (English) Zbl 1473.68053

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 491-518 (2021).
MSC:  68N30 68N19 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Analysis of Bayesian networks via prob-solvable loops. (English) Zbl 07369991

Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 221-241 (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Formalizing graph trail properties in Isabelle/HOL. (English) Zbl 1455.68258

Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 190-205 (2020).
MSC:  68V20 05C22 05C38
PDFBibTeX XMLCite
Full Text: DOI arXiv

Induction with generalization in superposition reasoning. (English) Zbl 1455.68248

Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 123-137 (2020).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. (English) Zbl 1445.68020

LIPIcs – Leibniz International Proceedings in Informatics 171. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-160-3). xvi, 50 articles, not consecutively paged, electronic only, open access (2020).
MSC:  68-06 68Q85 00B25
PDFBibTeX XMLCite
Full Text: DOI Link

Automatic generation of moment-based invariants for prob-solvable loops. (English) Zbl 1437.68041

Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 255-276 (2019).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Invariant generation for multi-path loops with polynomial assignments. (English) Zbl 1446.68031

Dillig, Isil (ed.) et al., Verification, model checking, and abstract interpretation. 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7–9, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10747, 226-246 (2018).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Loop analysis by quantification over iterations. (English) Zbl 1415.68146

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 381-399 (2018).
MSC:  68Q60 68N30
PDFBibTeX XMLCite
Full Text: DOI Link

A FOOLish encoding of the next state relations of imperative programs. (English) Zbl 1511.68160

Galmiche, Didier (ed.) et al., Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10900, 405-421 (2018).
MSC:  68Q60 68N30 68V15
PDFBibTeX XMLCite
Full Text: DOI

Aligator.jl – a Julia package for loop invariant generation. (English) Zbl 1417.68293

Rabe, Florian (ed.) et al., Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11006, 111-117 (2018).
MSC:  68W30 13P10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automated generation of non-linear loop invariants utilizing hypergeometric sequences. (English) Zbl 1457.68063

Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM). 221-228 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

First-order interpolation and interpolating proof systems. (English) Zbl 1402.03041

Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 49-64 (2017).
MSC:  03C40 03F07
PDFBibTeX XMLCite
Full Text: DOI

Markovian queue with garbage collection. (English) Zbl 1475.68041

Thomas, Nigel (ed.) et al., Analytical and stochastic modelling techniques and applications. 24th international conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10–11, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10378, 109-124 (2017).
MSC:  68M20
PDFBibTeX XMLCite
Full Text: DOI

Coming to terms with quantified reasoning. (English) Zbl 1380.68280

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 260-270 (2017).
MSC:  68Q60 68N30 68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fingerprinting and reconstruction of functionals of discrete time Markov chains. (English) Zbl 1390.60271

Wittevrongel, Sabine (ed.) et al., Analytical and stochastic modelling techniques and applications. 23rd international conference, ASMTA 2016, Cardiff, UK, August 24–26, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-43903-7/pbk; 978-3-319-43904-4/ebook). Lecture Notes in Computer Science 9845, 140-154 (2016).
MSC:  60J20
PDFBibTeX XMLCite
Full Text: DOI

Segment abstraction for worst-case execution time analysis. (English) Zbl 1335.68049

Vitek, Jan (ed.), Programming languages and systems. 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46668-1/pbk; 978-3-662-46669-8/ebook). Lecture Notes in Computer Science 9032, 105-131 (2015).
MSC:  68N30 68P05
PDFBibTeX XMLCite
Full Text: DOI

Reasoning about loops using Vampire in KeY. (English) Zbl 1471.68299

Davis, Martin (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24–28, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9450, 434-443 (2015).
MSC:  68V15 68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI Link

Lingva: generating and proving program properties using symbol elimination. (English) Zbl 1434.68106

Voronkov, Andrei (ed.) et al., Perspectives of system informatics. 9th international Ershov informatics conference, PSI 2014, St. Petersburg, Russia, June 24–27, 2014. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8974, 67-75 (2015).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software