×

Found 197 Documents (Results 1–100)

Newest Citations Relevance
Wathieu, Lancelot; Smith, Gus; Ceze, Luis; Thachuk, Chris

Fridge compiler: optimal circuits from molecular inventories. (English) Zbl 1533.92088

Pang, Jun (ed.) et al., Computational methods in systems biology. 21st international conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14137, 236-252 (2023).
MSC:  92C42 94C11
PDFBibTeX XMLCite
\textit{L. Wathieu} et al., Lect. Notes Comput. Sci. 14137, 236--252 (2023; Zbl 1533.92088)
Full Text: DOI
Korovin, Konstantin; Kovács, Laura; Reger, Giles; Schoisswohl, Johannes; Voronkov, Andrei

ALASCA: reasoning in quantified linear arithmetic. (English) Zbl 07777328

Sankaranarayanan, Sriram (ed.) et al., Tools and algorithms for the construction and analysis of systems. 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13993, 647-665 (2023).
MSC:  68V15 03B35
PDFBibTeX XMLCite
\textit{K. Korovin} et al., Lect. Notes Comput. Sci. 13993, 647--665 (2023; Zbl 07777328)
Full Text: DOI
OA License
Song, Yahui; Chin, Wei-Ngan

Automated verification for real-time systems. Via implicit clocks and an extended Antimirov algorithm. (English) Zbl 07777324

Sankaranarayanan, Sriram (ed.) et al., Tools and algorithms for the construction and analysis of systems. 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13993, 569-587 (2023).
MSC:  68Q60 68Q45
PDFBibTeX XMLCite
\textit{Y. Song} and \textit{W.-N. Chin}, Lect. Notes Comput. Sci. 13993, 569--587 (2023; Zbl 07777324)
Full Text: DOI
OA License
Hattori, Momoko; Kobayashi, Naoki; Sato, Ryosuke

Gradual tensor shape checking. (English) Zbl 07770316

Wies, Thomas (ed.), Programming languages and systems. 32nd European symposium on programming, ESOP 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13990, 197-224 (2023).
MSC:  68N18 68T07
PDFBibTeX XMLCite
\textit{M. Hattori} et al., Lect. Notes Comput. Sci. 13990, 197--224 (2023; Zbl 07770316)
Full Text: DOI arXiv
OA License
Bak, Stanley; Dohmen, Taylor; Subramani, K.; Trivedi, Ashutosh; Velasquez, Alvaro; Wojciechowski, Piotr

The octatope abstract domain for verification of neural networks. (English) Zbl 1529.68150

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 454-472 (2023).
MSC:  68Q60 68T07
PDFBibTeX XMLCite
\textit{S. Bak} et al., Lect. Notes Comput. Sci. 14000, 454--472 (2023; Zbl 1529.68150)
Full Text: DOI
Zavalía, Lucas; Chernigovskaia, Lidiia; Fedyukovich, Grigory

Solving constrained Horn clauses over algebraic data types. (English) Zbl 1529.68167

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 341-365 (2023).
MSC:  68Q60 03B70 68Q65
PDFBibTeX XMLCite
\textit{L. Zavalía} et al., Lect. Notes Comput. Sci. 13881, 341--365 (2023; Zbl 1529.68167)
Full Text: DOI
Banerjee, Soham; Ghosh, Sumana; Banerjee, Ansuman; Mohalik, Swarup K.

SMT-based modeling and verification of spiking neural networks: a case study. (English) Zbl 1529.68151

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 25-43 (2023).
MSC:  68Q60 68Q07 92B20
PDFBibTeX XMLCite
\textit{S. Banerjee} et al., Lect. Notes Comput. Sci. 13881, 25--43 (2023; Zbl 1529.68151)
Full Text: DOI
Delimpaltadakis, Giannis; de Albuquerque Gleizer, Gabriel; van Straalen, Ivo; Mazo, Manuel jun.

ETCetera: beyond event-triggered control. (English) Zbl 07807728

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 20, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
\textit{G. Delimpaltadakis} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 20, 11 p. (2022; Zbl 07807728)
Full Text: DOI arXiv
Narasimhamurthy, Monal; Sankaranarayanan, Sriram

Decoding output sequences for discrete-time linear hybrid systems. (English) Zbl 07807714

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 6, 7 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
\textit{M. Narasimhamurthy} and \textit{S. Sankaranarayanan}, in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 6, 7 p. (2022; Zbl 07807714)
Full Text: DOI
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio

Contract strengthening through constrained Horn clause verification. (English) Zbl 07806141

Hamilton, Geoffrey W. (ed.) et al., Proceedings of the 9th workshop on Horn clauses for verification and synthesis and of the 10th international workshop on verification and program transformation, HCVS/VPT 2022, Munich, Germany, April 3, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 373, 23-34 (2022).
MSC:  68-XX 90-XX
PDFBibTeX XMLCite
\textit{E. De Angelis} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 373, 23--34 (2022; Zbl 07806141)
Full Text: arXiv Link
Finkbeiner, Bernd; Heim, Philippe; Passing, Noemi

Temporal stream logic modulo theories. (English) Zbl 07793036

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 325-346 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
\textit{B. Finkbeiner} et al., Lect. Notes Comput. Sci. 13242, 325--346 (2022; Zbl 07793036)
Full Text: DOI arXiv
OA License
Cimatti, Alessandro; Griggio, Alberto; Lipparini, Enrico; Sebastiani, Roberto

Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test. (English) Zbl 1522.68716

Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13505, 137-153 (2022).
MSC:  68V15 55M25 90C30
PDFBibTeX XMLCite
\textit{A. Cimatti} et al., Lect. Notes Comput. Sci. 13505, 137--153 (2022; Zbl 1522.68716)
Full Text: DOI Link
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 HAL
Gittis, Andreas; Vin, Eric; Fremont, Daniel J.

Randomized synthesis for diversity and cost constraints with control improvisation. (English) Zbl 1514.68134

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 526-546 (2022).
MSC:  68Q60 68Q45 68T20 68W20 68T40
PDFBibTeX XMLCite
\textit{A. Gittis} et al., Lect. Notes Comput. Sci. 13372, 526--546 (2022; Zbl 1514.68134)
Full Text: DOI arXiv
OA License
Nötzli, Andres; Reynolds, Andrew; Barbosa, Haniel; Barrett, Clark; Tinelli, Cesare

Even faster conflicts and lazier reductions for string solvers. (English) Zbl 1514.68274

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 205-226 (2022).
MSC:  68T20
PDFBibTeX XMLCite
\textit{A. Nötzli} et al., Lect. Notes Comput. Sci. 13372, 205--226 (2022; Zbl 1514.68274)
Full Text: DOI
OA License
Leutgeb, Lorenz; Moser, Georg; Zuleger, Florian

Automated expected amortised cost analysis of probabilistic data structures. (English) Zbl 1514.68049

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 70-91 (2022).
MSC:  68P05 68N18
PDFBibTeX XMLCite
\textit{L. Leutgeb} et al., Lect. Notes Comput. Sci. 13372, 70--91 (2022; Zbl 1514.68049)
Full Text: DOI arXiv
OA License
Paulsen, Brandon; Wang, Chao

Example guided synthesis of linear approximations for neural network verification. (English) Zbl 1514.68142

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 149-170 (2022).
MSC:  68Q60 68T05
PDFBibTeX XMLCite
\textit{B. Paulsen} and \textit{C. Wang}, Lect. Notes Comput. Sci. 13371, 149--170 (2022; Zbl 1514.68142)
Full Text: DOI
OA License
Faisal Al Ameen, Mahmudul; Kobayashi, Naoki; Sato, Ryosuke

Asynchronous unfold/fold transformation for fixpoint logic. (English) Zbl 07570113

Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 39-56 (2022).
MSC:  68N17 68N18
PDFBibTeX XMLCite
\textit{M. Faisal Al Ameen} et al., Lect. Notes Comput. Sci. 13215, 39--56 (2022; Zbl 07570113)
Full Text: DOI
Schmid, Georg Stefan; Kunčak, Viktor

Generalized arrays for Stainless frames. (English) Zbl 1498.68172

Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 332-354 (2022).
MSC:  68Q60 03B70 68N30 68V15
PDFBibTeX XMLCite
\textit{G. S. Schmid} and \textit{V. Kunčak}, Lect. Notes Comput. Sci. 13182, 332--354 (2022; Zbl 1498.68172)
Full Text: DOI Link
Abate, Alessandro; Ahmed, Daniele; Edwards, Alec; Giacobbe, Mirco; Peruffo, Andrea

FOSSIL: a software tool for the formal synthesis of Lyapunov functions and barrier certificates using neural networks. (English) Zbl 07807697

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 24, 11 p. (2021).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
\textit{A. Abate} et al., in: Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19--21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 24, 11 p. (2021; Zbl 07807697)
Full Text: DOI
de A. Gleizer, Gabriel; Mazo, Manuel

Computing the sampling performance of event-triggered control. (English) Zbl 07807693

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 20, 7 p. (2021).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
\textit{G. de A. Gleizer} and \textit{M. Mazo}, in: Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19--21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 20, 7 p. (2021; Zbl 07807693)
Full Text: DOI arXiv
Shoshi, Tsubasa; Ishikawa, Takuma; Kobayashi, Naoki; Sakayori, Ken; Sato, Ryosuke; Tsukada, Takeshi

Termination analysis for the \(\pi \)-calculus by reduction to sequential program termination. (English) Zbl 1520.68098

Oh, Hakjoo (ed.), Programming languages and systems. 19th Asian symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13008, 265-284 (2021).
MSC:  68Q85
PDFBibTeX XMLCite
\textit{T. Shoshi} et al., Lect. Notes Comput. Sci. 13008, 265--284 (2021; Zbl 1520.68098)
Full Text: DOI arXiv
Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico

Automatic discovery of fair paths in infinite-state transition systems. (English) Zbl 1497.68290

Hou, Zhe (ed.) et al., Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12971, 32-47 (2021).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
\textit{A. Cimatti} et al., Lect. Notes Comput. Sci. 12971, 32--47 (2021; Zbl 1497.68290)
Full Text: DOI
Franceschino, Lucas; Pichardie, David; Talpin, Jean-Pierre

Verified functional programming of an abstract interpreter. (English) Zbl 1497.68102

Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 124-143 (2021).
MSC:  68N20 68N18 68V15
PDFBibTeX XMLCite
\textit{L. Franceschino} et al., Lect. Notes Comput. Sci. 12913, 124--143 (2021; Zbl 1497.68102)
Full Text: DOI arXiv
Albert, Elvira; Genaim, Samir; Martin-Martin, Enrique; Merayo, Alicia; Rubio, Albert

Lower-bound synthesis using loop specialization and Max-SMT. (English) Zbl 1493.68098

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 863-886 (2021).
MSC:  68N30 68Q60 68T20
PDFBibTeX XMLCite
\textit{E. Albert} et al., Lect. Notes Comput. Sci. 12760, 863--886 (2021; Zbl 1493.68098)
Full Text: DOI
OA License
Mohan, Anshuman; Leow, Wei Xiang; Hobor, Aquinas

Functional correctness of C implementations of Dijkstra’s, Kruskal’s, and Prim’s algorithms. (English) Zbl 1493.68216

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 801-826 (2021).
MSC:  68Q60 68R10 68V15
PDFBibTeX XMLCite
\textit{A. Mohan} et al., Lect. Notes Comput. Sci. 12760, 801--826 (2021; Zbl 1493.68216)
Full Text: DOI
OA License
Leutgeb, Lorenz; Moser, Georg; Zuleger, Florian

ATLAS: automated amortised complexity analysis of self-adjusting data structures. (English) Zbl 1493.68129

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 99-122 (2021).
MSC:  68P05 68N18
PDFBibTeX XMLCite
\textit{L. Leutgeb} et al., Lect. Notes Comput. Sci. 12760, 99--122 (2021; Zbl 1493.68129)
Full Text: DOI
OA License
Farzan, Azadeh; Nicolet, Victor

Counterexample-guided partial bounding for recursive function synthesis. (English) Zbl 1493.68107

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 832-855 (2021).
MSC:  68N30 68N18
PDFBibTeX XMLCite
\textit{A. Farzan} and \textit{V. Nicolet}, Lect. Notes Comput. Sci. 12759, 832--855 (2021; Zbl 1493.68107)
Full Text: DOI
OA License
Eilers, Marco; Meier, Severin; Müller, Peter

Product programs in the wild: retrofitting program verifiers to check information flow security. (English) Zbl 1493.68106

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 718-741 (2021).
MSC:  68N30 68N19 68Q60
PDFBibTeX XMLCite
\textit{M. Eilers} et al., Lect. Notes Comput. Sci. 12759, 718--741 (2021; Zbl 1493.68106)
Full Text: DOI
OA License
Bigarella, Filippo; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Jonáš, Martin; Roveri, Marco; Sebastiani, Roberto; Trentin, Patrick

Optimization modulo non-linear arithmetic via incremental linearization. (English) Zbl 07497924

Konev, Boris (ed.) et al., Frontiers of combining systems. 13th international symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12941, 213-231 (2021).
MSC:  68Txx
PDFBibTeX XMLCite
\textit{F. Bigarella} et al., Lect. Notes Comput. Sci. 12941, 213--231 (2021; Zbl 07497924)
Full Text: DOI Link
Abbasi, Rosa; Schiffl, Jonas; Darulova, Eva; Ulbrich, Mattias; Ahrendt, Wolfgang

Deductive verification of floating-point Java programs in KeY. (English) Zbl 1474.68186

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 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. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 242-261 (2021).
MSC:  68Q60 65G50 68N15
PDFBibTeX XMLCite
\textit{R. Abbasi} et al., Lect. Notes Comput. Sci. 12652, 242--261 (2021; Zbl 1474.68186)
Full Text: DOI arXiv
OA License
Gawron, Tomasz; Kozłowski, Krzysztof

Semi-automated synthesis of control system software through graph search. (English) Zbl 07828870

Bartoszewicz, Andrzej (ed.) et al., Advanced, contemporary control. Proceedings of the KKA 2020 – the 20th Polish control conference (PCC 2020), Łódź, Poland, October 14–29, 2020. Cham: Springer. Adv. Intell. Syst. Comput. 1196, 1092-1103 (2020).
MSC:  93B50 93C85 93-04
PDFBibTeX XMLCite
\textit{T. Gawron} and \textit{K. Kozłowski}, Adv. Intell. Syst. Comput. 1196, 1092--1103 (2020; Zbl 07828870)
Full Text: DOI
Ferraz, Evandro C.; Muniz, Jeferson de Lima; da Silva, Alexandre C. R.; Dueck, Gerhard W.

Synthesis of majority expressions through primitive function manipulation. (English) Zbl 1528.94127

Drechsler, Rolf (ed.) et al., Advanced Boolean techniques. Selected papers from the 13th international workshop on Boolean problems, Bremen, Germany, September 19–21, 2018. Cham: Springer. 135-158 (2020).
MSC:  94C11
PDFBibTeX XMLCite
\textit{E. C. Ferraz} et al., in: Advanced Boolean techniques. Selected papers from the 13th international workshop on Boolean problems, Bremen, Germany, September 19--21, 2018. Cham: Springer. 135--158 (2020; Zbl 1528.94127)
Full Text: DOI arXiv
Vasic, Marko; Soloveichik, David; Khurshid, Sarfraz

CRNs exposed: a method for the systematic exploration of chemical reaction networks. (English) Zbl 1533.68085

Geary, Cody (ed.) et al., 26th international conference on DNA computing and molecular programming. DNA 26, September 14–17, 2020, Oxford, UK, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 174, Article 4, 25 p. (2020).
MSC:  68Q07
PDFBibTeX XMLCite
\textit{M. Vasic} et al., LIPIcs -- Leibniz Int. Proc. Inform. 174, Article 4, 25 p. (2020; Zbl 1533.68085)
Full Text: DOI arXiv
Dole, Kalyani; Gupta, Ashutosh; Krishna, Shankara Narayanan

Robust controller synthesis for duration calculus. (English) Zbl 1517.68230

Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12302, 429-446 (2020).
MSC:  68Q60 03B44 93B50 93C30
PDFBibTeX XMLCite
\textit{K. Dole} et al., Lect. Notes Comput. Sci. 12302, 429--446 (2020; Zbl 1517.68230)
Full Text: DOI
Passmore, Grant; Cruanes, Simon; Ignatovich, Denis; Aitken, Dave; Bray, Matt; Kagan, Elijah; Kanishev, Kostya; Maclean, Ewen; Mometto, Nicola

The Imandra automated reasoning system (system description). (English) Zbl 07614691

Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12167, 464-471 (2020).
MSC:  68V15
PDFBibTeX XMLCite
\textit{G. Passmore} et al., Lect. Notes Comput. Sci. 12167, 464--471 (2020; Zbl 07614691)
Full Text: DOI arXiv
Reynolds, Andrew; Nötzli, Andres; Barrett, Clark; Tinelli, Cesare

A decision procedure for string to code point conversion. (English) Zbl 07614515

Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 218-237 (2020).
MSC:  68V15
PDFBibTeX XMLCite
\textit{A. Reynolds} et al., Lect. Notes Comput. Sci. 12166, 218--237 (2020; Zbl 07614515)
Full Text: DOI
Toman, John; Siqi, Ren; Suenaga, Kohei; Igarashi, Atsushi; Kobayashi, Naoki

ConSORT: context- and flow-sensitive ownership refinement types for imperative programs. (English) Zbl 1508.68079

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 684-714 (2020).
MSC:  68N30 68N18 68Q60
PDFBibTeX XMLCite
\textit{J. Toman} et al., Lect. Notes Comput. Sci. 12075, 684--714 (2020; Zbl 1508.68079)
Full Text: DOI arXiv
OA License
Knüppel, Alexander; Jatzkowski, Inga; Nolte, Marcus; Thüm, Thomas; Runge, Tobias; Schaefer, Ina

Skill-based verification of cyber-physical systems. (English) Zbl 1507.68093

Wehrheim, Heike (ed.) et al., Fundamental approaches to software engineering. 23rd international conference, FASE 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12076, 203-223 (2020).
MSC:  68N30 68Q60 93C30
PDFBibTeX XMLCite
\textit{A. Knüppel} et al., Lect. Notes Comput. Sci. 12076, 203--223 (2020; Zbl 1507.68093)
Full Text: DOI
OA License
Ahmed, Daniele; Peruffo, Andrea; Abate, Alessandro

Automated and sound synthesis of Lyapunov functions with SMT solvers. (English) Zbl 1507.68335

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12078, 97-114 (2020).
MSC:  68V15 34D20 68Q60 93D30
PDFBibTeX XMLCite
\textit{D. Ahmed} et al., Lect. Notes Comput. Sci. 12078, 97--114 (2020; Zbl 1507.68335)
Full Text: DOI arXiv
OA License
Downing, Mara; Molavi, Abtin; Bang, Lucas

Symbolic execution + model counting + entropy maximization = automatic search synthesis. (English) Zbl 1539.68158

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 50-65 (2020).
MSC:  68Q60 68Q87
PDFBibTeX XMLCite
\textit{M. Downing} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 50--65 (2020; Zbl 1539.68158)
Full Text: arXiv Link
De Angelis, Emanuele; Fioravanti, Fabio; Proietti, Maurizio

Transformational verification of Quicksort. (English) Zbl 07453193

Fribourg, Laurent (ed.) et al., Proceedings of the eighth international workshop on verification and program transformation and the seventh workshop on Horn clauses for verification and synthesis, VPT/HCVS 2020, Dublin, Ireland, April 25–26, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 320, 95-109 (2020).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
\textit{E. De Angelis} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 320, 95--109 (2020; Zbl 07453193)
Full Text: arXiv Link
Ish-Shalom, Oren; Itzhaky, Shachar; Manevich, Roman; Rinetzky, Noam

Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation. (English) Zbl 07228507

Beyer, Dirk (ed.) et al., Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11990, 180-201 (2020).
MSC:  68Q60 68T05
PDFBibTeX XMLCite
\textit{O. Ish-Shalom} et al., Lect. Notes Comput. Sci. 11990, 180--201 (2020; Zbl 07228507)
Full Text: DOI
Drechsler, Rolf (ed.); Soeken, Mathias (ed.)

Advanced Boolean techniques. Selected papers from the 13th international workshop on Boolean problems, Bremen, Germany, September 19–21, 2018. (English) Zbl 1416.94005

Cham: Springer (ISBN 978-3-030-20322-1/hbk; 978-3-030-20323-8/ebook). viii, 265 p. (2020).
MSC:  94-06 68-06 68M07 94C11 94D10 00B25
PDFBibTeX XMLCite
\textit{R. Drechsler} (ed.) and \textit{M. Soeken} (ed.), Advanced Boolean techniques. Selected papers from the 13th international workshop on Boolean problems, Bremen, Germany, September 19--21, 2018. Cham: Springer (2020; Zbl 1416.94005)
Full Text: DOI
Lin, Yu-Yang; Tzevelekos, Nikos

A bounded model checking technique for higher-order programs. (English) Zbl 07816203

Guan, Nan (ed.) et al., Dependable software engineering. Theories, tools, and applications. 5th international symposium, SETTA 2019, Shanghai, China, November 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11951, 1-18 (2019).
MSC:  68Q60 68N18
PDFBibTeX XMLCite
\textit{Y.-Y. Lin} and \textit{N. Tzevelekos}, Lect. Notes Comput. Sci. 11951, 1--18 (2019; Zbl 07816203)
Full Text: DOI Link
Arvidsson, Andreas; Johansson, Moa; Touche, Robin

Proving type class laws for Haskell. (English) Zbl 1495.68034

Van Horn, David (ed.) et al., Trends in functional programming. 17th international conference, TFP 2016, College Park, MD, USA, June 8–10, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10447, 61-74 (2019).
MSC:  68N18 16Y60 68V15
PDFBibTeX XMLCite
\textit{A. Arvidsson} et al., Lect. Notes Comput. Sci. 10447, 61--74 (2019; Zbl 1495.68034)
Full Text: DOI arXiv
Trentin, Patrick; Sebastiani, Roberto

Optimization modulo the theory of floating-point numbers. (English) Zbl 1535.68320

Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 550-567 (2019).
MSC:  68T20 65K10
PDFBibTeX XMLCite
\textit{P. Trentin} and \textit{R. Sebastiani}, Lect. Notes Comput. Sci. 11716, 550--567 (2019; Zbl 1535.68320)
Full Text: DOI arXiv
Niemetz, Aina; Preiner, Mathias; Reynolds, Andrew; Zohar, Yoni; Barrett, Clark; Tinelli, Cesare

Towards bit-width-independent proofs in SMT solvers. (English) Zbl 1535.68454

Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 366-384 (2019).
MSC:  68V15
PDFBibTeX XMLCite
\textit{A. Niemetz} et al., Lect. Notes Comput. Sci. 11716, 366--384 (2019; Zbl 1535.68454)
Full Text: DOI arXiv
Gutiérrez, Raúl; Lucas, Salvador

Automatic generation of logical models with AGES. (English) Zbl 1535.68451

Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 287-299 (2019).
MSC:  68V15 03B70 68N30
PDFBibTeX XMLCite
\textit{R. Gutiérrez} and \textit{S. Lucas}, Lect. Notes Comput. Sci. 11716, 287--299 (2019; Zbl 1535.68451)
Full Text: DOI
Bueno, Denis; Sakallah, Karem A.

EUFORIA: complete software model checking with uninterpreted functions. (English) Zbl 1522.68299

Enea, Constantin (ed.) et al., Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11388, 363-385 (2019).
MSC:  68Q60
PDFBibTeX XMLCite
\textit{D. Bueno} and \textit{K. A. Sakallah}, Lect. Notes Comput. Sci. 11388, 363--385 (2019; Zbl 1522.68299)
Full Text: DOI Link
Liu, Shaofan; Luo, Jie

FMUS2: an efficient algorithm to compute minimal unsatisfiable subsets. (English) Zbl 1515.68292

Fleuriot, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11110, 104-118 (2018).
MSC:  68T20
PDFBibTeX XMLCite
\textit{S. Liu} and \textit{J. Luo}, Lect. Notes Comput. Sci. 11110, 104--118 (2018; Zbl 1515.68292)
Full Text: DOI
Blondin, Michael; Esparza, Javier; Kučera, Antonín

Automatic analysis of expected termination time for population protocols. (English) Zbl 1487.68033

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 33, 16 p. (2018).
MSC:  68M14 68M12 68M18 68W40
PDFBibTeX XMLCite
\textit{M. Blondin} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 33, 16 p. (2018; Zbl 1487.68033)
Full Text: DOI arXiv
Roux, Pierre; Iguernlala, Mohamed; Conchon, Sylvain

A non-linear arithmetic procedure for control-command software verification. (English) Zbl 1423.68469

Beyer, Dirk (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 10806, 132-151 (2018).
MSC:  68T20 68Q60 68W30 90C25
PDFBibTeX XMLCite
\textit{P. Roux} et al., Lect. Notes Comput. Sci. 10806, 132--151 (2018; Zbl 1423.68469)
Full Text: DOI HAL
Gleiss, Bernhard; Kovács, Laura; Robillard, Simon

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
\textit{B. Gleiss} et al., EPiC Ser. Comput. 57, 381--399 (2018; Zbl 1415.68146)
Full Text: DOI Link
Cristiá, Maximiliano; Rossi, Gianfranco

A set solver for finite set relation algebra. (English) Zbl 1518.68415

Desharnais, Jules (ed.) et al., Relational and algebraic methods in computer science. 17th international conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11194, 333-349 (2018).
MSC:  68V15 03E20 68N17 68R07
PDFBibTeX XMLCite
\textit{M. Cristiá} and \textit{G. Rossi}, Lect. Notes Comput. Sci. 11194, 333--349 (2018; Zbl 1518.68415)
Full Text: DOI
Hong, Hoon; Sturm, Thomas

Positive solutions of systems of signed parametric polynomial inequalities. (English) Zbl 1453.26012

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 20th international workshop, CASC 2018, Lille, France, September 17–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11077, 238-253 (2018).
MSC:  26D05 68W30
PDFBibTeX XMLCite
\textit{H. Hong} and \textit{T. Sturm}, Lect. Notes Comput. Sci. 11077, 238--253 (2018; Zbl 1453.26012)
Full Text: DOI arXiv
OA License

Filter Results by …

Document Type

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