×

Found 3,622 Documents (Results 1–100)

Newest Citations Relevance
Alturki, Musab A.; Ban Kirigin, Tajana; Kanovich, Max; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn

On the formalization and computational complexity of resilience problems for cyber-physical systems. (English) Zbl 07719827

Seidl, Helmut (ed.) et al., Theoretical aspects of computing – ICTAC 2022. 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13572, 96-113 (2022).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{M. A. Alturki} et al., Lect. Notes Comput. Sci. 13572, 96--113 (2022; Zbl 07719827)
Full Text: DOI
Beckert, Bernhard; Ulbrich, Mattias; Vogel-Heuser, Birgit; Weigl, Alexander

Generalized test tables: a domain-specific specification language for automated production systems. (English) Zbl 07719821

Seidl, Helmut (ed.) et al., Theoretical aspects of computing – ICTAC 2022. 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13572, 7-13 (2022).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{B. Beckert} et al., Lect. Notes Comput. Sci. 13572, 7--13 (2022; Zbl 07719821)
Full Text: DOI
Hülsing, Andreas; Meijers, Matthias; Strub, Pierre-Yves

Formal verification of Saber’s public-key encryption scheme in easycrypt. (English) Zbl 1516.94035

Dodis, Yevgeniy (ed.) et al., Advances in cryptology – CRYPTO 2022. 42nd annual international cryptology conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15–18, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13507, 622-653 (2022).
MSC:  94A60
PDF BibTeX XML Cite
\textit{A. Hülsing} et al., Lect. Notes Comput. Sci. 13507, 622--653 (2022; Zbl 1516.94035)
Full Text: DOI
Kurpiewski, Damian; Jamroga, Wojciech; Maśko, Łukasz; Mikulski, Łukasz; Pazderski, Witold; Penczek, Wojciech; Sidoruk, Teofil

Verification of multi-agent properties in electronic voting: a case study. (English) Zbl 07668114

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 531-555 (2022).
MSC:  03-XX 68V15 03B70 68T42
PDF BibTeX XML Cite
\textit{D. Kurpiewski} et al., in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 531--555 (2022; Zbl 07668114)
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
PDF BibTeX XML Cite
\textit{A. Gittis} et al., Lect. Notes Comput. Sci. 13372, 526--546 (2022; Zbl 1514.68134)
Full Text: DOI arXiv
Duret-Lutz, Alexandre; Renault, Etienne; Colange, Maximilien; Renkin, Florian; Gbaguidi Aisse, Alexandre; Schlehuber-Caissier, Philipp; Medioni, Thomas; Martin, Antoine; Dubois, Jérôme; Gillard, Clément; Lauko, Henrich

From Spot 2.0 to Spot 2.10: what’s new? (English) Zbl 1514.68128

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, 174-187 (2022).
MSC:  68Q60 03B44 68Q45
PDF BibTeX XML Cite
\textit{A. Duret-Lutz} et al., Lect. Notes Comput. Sci. 13372, 174--187 (2022; Zbl 1514.68128)
Full Text: DOI arXiv
Bak, Stanley; Bogomolov, Sergiy; Hencey, Brandon; Kochdumper, Niklas; Lew, Ethan; Potomkin, Kostiantyn

Reachability of Koopman linearized systems using random Fourier feature observables and polynomial zonotope refinement. (English) Zbl 07628131

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, 490-510 (2022).
MSC:  93B03 93B18
PDF BibTeX XML Cite
\textit{S. Bak} et al., Lect. Notes Comput. Sci. 13371, 490--510 (2022; Zbl 07628131)
Full Text: DOI
Banno, Ryotaro; Matsuoka, Kotaro; Matsumoto, Naoki; Bian, Song; Waga, Masaki; Suenaga, Kohei

Oblivious online monitoring for safety LTL specification via fully homomorphic encryption. (English) Zbl 1514.68118

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, 447-468 (2022).
MSC:  68Q60 68P25 68Q45 68W27
PDF BibTeX XML Cite
\textit{R. Banno} et al., Lect. Notes Comput. Sci. 13371, 447--468 (2022; Zbl 1514.68118)
Full Text: DOI arXiv
Aït-Ameur, Yamine; Bogomolov, Sergiy; Dupont, Guillaume; Singh, Neeraj Kumar; Stankaitis, Paulius

Reachability analysis and simulation for hybridised Event-B models. (English) Zbl 1502.68175

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, 109-128 (2022).
MSC:  68Q60 93C30 93C83
PDF BibTeX XML Cite
\textit{Y. Aït-Ameur} et al., Lect. Notes Comput. Sci. 13274, 109--128 (2022; Zbl 1502.68175)
Full Text: DOI

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. (English) Zbl 1492.68007

New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-9196-2). xii, 30 articles, not consecutively paged (2022).
MSC:  68-06 93-06 68Q45 68Q60 93C30 00B25
PDF BibTeX XML Cite
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) (2022; Zbl 1492.68007)
Full Text: DOI
Hirata, Michikazu; Minamide, Yasuhiko; Sato, Tetsuya

Program logic for higher-order probabilistic programs in Isabelle/HOL. (English) Zbl 07570114

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, 57-74 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
\textit{M. Hirata} et al., Lect. Notes Comput. Sci. 13215, 57--74 (2022; Zbl 07570114)
Full Text: DOI
Onderka, Jan; Ratschan, Stefan

Fast three-valued abstract bit-vector arithmetic. (English) Zbl 1498.68166

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, 242-262 (2022).
MSC:  68Q60
PDF BibTeX XML Cite
\textit{J. Onderka} and \textit{S. Ratschan}, Lect. Notes Comput. Sci. 13182, 242--262 (2022; Zbl 1498.68166)
Full Text: DOI
Jensen, Peter Gjøl; Srba, Jiří; Ulrik, Nikolaj Jensen; Virenfeldt, Simon Mejlby

Automata-driven partial order reduction and guided search for LTL model checking. (English) Zbl 1498.68160

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, 151-173 (2022).
MSC:  68Q60 03B44 68Q45
PDF BibTeX XML Cite
\textit{P. G. Jensen} et al., Lect. Notes Comput. Sci. 13182, 151--173 (2022; Zbl 1498.68160)
Full Text: DOI
Olderog, Ernst-Rüdiger (ed.); Steffen, Bernhard (ed.); Yi, Wang (ed.)

Model checking, synthesis, and learning. Essays dedicated to Bengt Jonsson on the occasion of his 60th birthday. (English) Zbl 1511.68019

Lecture Notes in Computer Science 13030. Cham: Springer (ISBN 978-3-030-91383-0/pbk; 978-3-030-91384-7/ebook). viii, 219 p. (2022).
MSC:  68-06 68Q45 68Q60 00B30
PDF BibTeX XML Cite
\textit{E.-R. Olderog} (ed.) et al., Model checking, synthesis, and learning. Essays dedicated to Bengt Jonsson on the occasion of his 60th birthday. Cham: Springer (2022; Zbl 1511.68019)
Full Text: DOI
Zhang, Hengchu; Honoré, Wolf; Koh, Nicolas; Li, Yao; Li, Yishuai; Xia, Li-Yao; Beringer, Lennart; Mansky, William; Pierce, Benjamin; Zdancewic, Steve

Verifying an HTTP key-value server with interaction trees and VST. (English) Zbl 07699449

Cohen, Liron (ed.) et al., 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 193, Article 32, 19 p. (2021).
MSC:  68V15
PDF BibTeX XML Cite
\textit{H. Zhang} et al., LIPIcs -- Leibniz Int. Proc. Inform. 193, Article 32, 19 p. (2021; Zbl 07699449)
Full Text: DOI
Slind, Konrad

Specifying message formats with contiguity types. (English) Zbl 07699447

Cohen, Liron (ed.) et al., 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 193, Article 30, 17 p. (2021).
MSC:  68V15
PDF BibTeX XML Cite
\textit{K. Slind}, LIPIcs -- Leibniz Int. Proc. Inform. 193, Article 30, 17 p. (2021; Zbl 07699447)
Full Text: DOI
Natarajan, Raja; Sarswat, Suneel; Singh, Abhishek Kr

Verified double sided auctions for financial markets. (English) Zbl 07699445

Cohen, Liron (ed.) et al., 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 193, Article 28, 18 p. (2021).
MSC:  68V15
PDF BibTeX XML Cite
\textit{R. Natarajan} et al., LIPIcs -- Leibniz Int. Proc. Inform. 193, Article 28, 18 p. (2021; Zbl 07699445)
Full Text: DOI arXiv
Muñoz, Cesar A.; Ayala-Rincón, Mauricio; Moscato, Mariano M.; Dutle, Aaron M.; Narkawicz, Anthony J.; Almeida, Ariane A.; Avelar, Andréia B.; M., Ferreira Ramos Thiago

Formal verification of termination criteria for first-order recursive functions. (English) Zbl 07699444

Cohen, Liron (ed.) et al., 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 193, Article 27, 17 p. (2021).
MSC:  68V15
PDF BibTeX XML Cite
\textit{C. A. Muñoz} et al., LIPIcs -- Leibniz Int. Proc. Inform. 193, Article 27, 17 p. (2021; Zbl 07699444)
Full Text: DOI
Hietala, Kesha; Rand, Robert; Hung, Shih-Han; Li, Liyi; Hicks, Michael

Proving quantum programs correct. (English) Zbl 07699438

Cohen, Liron (ed.) et al., 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 193, Article 21, 19 p. (2021).
MSC:  68V15
PDF BibTeX XML Cite
\textit{K. Hietala} et al., LIPIcs -- Leibniz Int. Proc. Inform. 193, Article 21, 19 p. (2021; Zbl 07699438)
Full Text: DOI arXiv
Guttmann, Walter; Robinson-O’Brien, Nicolas

Relation-algebraic verification of Borůvka’s minimum spanning tree algorithm. (English) Zbl 07670521

Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 225-240 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{W. Guttmann} and \textit{N. Robinson-O'Brien}, Lect. Notes Comput. Sci. 13027, 225--240 (2021; Zbl 07670521)
Full Text: DOI
Ali, Muhammad Rizwan; Pun, Violet Ka I.

Cost analysis for an actor-based workflow modelling language. (English) Zbl 1498.68069

Campos, Sérgio (ed.) et al., Formal methods: foundations and applications. 24th Brazilian symposium, SBMF 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13130, 104-121 (2021).
MSC:  68N30 90B70
PDF BibTeX XML Cite
\textit{M. R. Ali} and \textit{V. K. I. Pun}, Lect. Notes Comput. Sci. 13130, 104--121 (2021; Zbl 1498.68069)
Full Text: DOI Link
Abba, Abdulrazaq; Cavalcanti, Ana; Jacob, Jeremy

Temporal reasoning through automatic translation of tock-CSP into timed automata. (English) Zbl 1498.68147

Campos, Sérgio (ed.) et al., Formal methods: foundations and applications. 24th Brazilian symposium, SBMF 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13130, 70-86 (2021).
MSC:  68Q60 68Q45 68Q85
PDF BibTeX XML Cite
\textit{A. Abba} et al., Lect. Notes Comput. Sci. 13130, 70--86 (2021; Zbl 1498.68147)
Full Text: DOI arXiv
Menezes, Bruno; Martins, Ana Teresa; Rocha, Thiago Alves

A two-level approach based on model checking to support architecture conformance checking. (English) Zbl 1498.68164

Campos, Sérgio (ed.) et al., Formal methods: foundations and applications. 24th Brazilian symposium, SBMF 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13130, 1-16 (2021).
MSC:  68Q60 03B44 03B70 68N30
PDF BibTeX XML Cite
\textit{B. Menezes} et al., Lect. Notes Comput. Sci. 13130, 1--16 (2021; Zbl 1498.68164)
Full Text: DOI
Bhargavan, Karthikeyan; Bichhawat, Abhishek; Quoc Huy Do; Hosseyni, Pedram; Küsters, Ralf; Schmitz, Guido; Würtele, Tim

A tutorial-style introduction to \(\mathsf{DY}^{\star}\). (English) Zbl 1498.94055

Dougherty, Daniel (ed.) et al., Protocols, strands, and logic. Essays dedicated to Joshua Guttman on the occasion of his 66.66th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13066, 77-97 (2021).
MSC:  94A60 68Q60
PDF BibTeX XML Cite
\textit{K. Bhargavan} et al., Lect. Notes Comput. Sci. 13066, 77--97 (2021; Zbl 1498.94055)
Full Text: DOI
Azzopardi, Shaun; Piterman, Nir; Schneider, Gerardo

Incorporating monitors in reactive synthesis without paying the price. (English) Zbl 1497.68284

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, 337-353 (2021).
MSC:  68Q60 03B44 68Q45
PDF BibTeX XML Cite
\textit{S. Azzopardi} et al., Lect. Notes Comput. Sci. 12971, 337--353 (2021; Zbl 1497.68284)
Full Text: DOI arXiv
Akhundov, Murad; Mora, Federico; Feng, Nick; Hui, Vincent; Chechik, Marsha

Verification by gambling on program slices. (English) Zbl 1497.68282

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, 266-282 (2021).
MSC:  68Q60 68N30 68Q45 94A60
PDF BibTeX XML Cite
\textit{M. Akhundov} et al., Lect. Notes Comput. Sci. 12971, 266--282 (2021; Zbl 1497.68282)
Full Text: DOI
Ganty, Pierre (ed.); Bresolin, Davide (ed.)

Proceedings of the 12th international symposium on games, automata, logics, and formal verification, GandALF, Padua, Italy, September 20–22, 2021. (English) Zbl 1489.68014

Electronic Proceedings in Theoretical Computer Science (EPTCS) 346. Waterloo: Open Publishing Association (OPA). 307 p., electronic only, open access (2021).
MSC:  68-06 68Q45 68Q60 91A80 00B25
PDF BibTeX XML Cite
\textit{P. Ganty} (ed.) and \textit{D. Bresolin} (ed.), Proceedings of the 12th international symposium on games, automata, logics, and formal verification, GandALF, Padua, Italy, September 20--22, 2021. Waterloo: Open Publishing Association (OPA) (2021; Zbl 1489.68014)
Full Text: DOI Link
Shimoda, Takumi; Kobayashi, Naoki; Sakayori, Ken; Sato, Ryosuke

Symbolic automatic relations and their applications to SMT and CHC solving. (English) Zbl 1497.68320

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, 405-428 (2021).
MSC:  68Q60 68P05 68Q45 68V15
PDF BibTeX XML Cite
\textit{T. Shimoda} et al., Lect. Notes Comput. Sci. 12913, 405--428 (2021; Zbl 1497.68320)
Full Text: DOI arXiv
Souid, Nour Elhouda; Klai, Kais

A novel approach for supervisor synthesis to enforce opacity of discrete event systems. (English) Zbl 1496.68195

Gao, Debin (ed.) et al., Information and communications security. 23rd international conference, ICICS 2021, Chongqing, China, November 19–21, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12919, 210-227 (2021).
MSC:  68Q60 68M25 68Q85 93C65
PDF BibTeX XML Cite
\textit{N. E. Souid} and \textit{K. Klai}, Lect. Notes Comput. Sci. 12919, 210--227 (2021; Zbl 1496.68195)
Full Text: DOI
Mazurek, Łukasz

EthVer: formal verification of randomized Ethereum smart contracts. (English) Zbl 1490.91255

Bernhard, Matthew (ed.) et al., Financial cryptography and data security. FC 2021 international workshops. Codecfin, DeFi, VOTING, and WTSC, virtual event, March 5, 2021. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 12676, 364-380 (2021).
MSC:  91G99 94A60
PDF BibTeX XML Cite
\textit{Ł. Mazurek}, Lect. Notes Comput. Sci. 12676, 364--380 (2021; Zbl 1490.91255)
Full Text: DOI
Sun, Xinyuan; Lin, Shaokai; Sjöberg, Vilhelm; Jie, Jay

How to exploit a DeFi project. (English) Zbl 1492.91460

Bernhard, Matthew (ed.) et al., Financial cryptography and data security. FC 2021 international workshops. Codecfin, DeFi, VOTING, and WTSC, virtual event, March 5, 2021. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 12676, 162-167 (2021).
MSC:  91G99 94A60
PDF BibTeX XML Cite
\textit{X. Sun} et al., Lect. Notes Comput. Sci. 12676, 162--167 (2021; Zbl 1492.91460)
Full Text: DOI
Gnad, Daniel; Eisenhut, Jan; Lluch Lafuente, Alberto; Hoffmann, Jörg

Model checking \(\omega \)-regular properties with decoupled search. (English) Zbl 1493.68208

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, 411-434 (2021).
MSC:  68Q60 68Q45 68T20
PDF BibTeX XML Cite
\textit{D. Gnad} et al., Lect. Notes Comput. Sci. 12760, 411--434 (2021; Zbl 1493.68208)
Full Text: DOI
Yang, Zhengfeng; Zhang, Yidan; Lin, Wang; Zeng, Xia; Tang, Xiaochao; Zeng, Zhenbing; Liu, Zhiming

An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation. (English) Zbl 1493.68224

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, 467-490 (2021).
MSC:  68Q60 68T07 93C10
PDF BibTeX XML Cite
\textit{Z. Yang} et al., Lect. Notes Comput. Sci. 12759, 467--490 (2021; Zbl 1493.68224)
Full Text: DOI
Hartmanns, Arnd; Katoen, Joost-Pieter; Kohlen, Bram; Spel, Jip

Tweaking the odds in probabilistic timed automata. (English) Zbl 1491.68098

Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 39-58 (2021).
MSC:  68Q45 68Q60 68Q87 90C40
PDF BibTeX XML Cite
\textit{A. Hartmanns} et al., Lect. Notes Comput. Sci. 12846, 39--58 (2021; Zbl 1491.68098)
Full Text: DOI
Rumreich, Laine; Sivilotti, Paolo A. G.

Formal verification of a Java component using the RESOLVE framework. (English) Zbl 07497928

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, 287-305 (2021).
MSC:  68Txx
PDF BibTeX XML Cite
\textit{L. Rumreich} and \textit{P. A. G. Sivilotti}, Lect. Notes Comput. Sci. 12941, 287--305 (2021; Zbl 07497928)
Full Text: DOI
Klinkenberg, Lutz; Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Moerman, Joshua; Winkler, Tobias

Generating functions for probabilistic programs. (English) Zbl 07496650

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 231-248 (2021).
MSC:  68N30
PDF BibTeX XML Cite
\textit{L. Klinkenberg} et al., Lect. Notes Comput. Sci. 12561, 231--248 (2021; Zbl 07496650)
Full Text: DOI arXiv
Parrot, Rémi; Briday, Mikaël; Roux, Olivier H.

Timed Petri nets with reset for pipelined synchronous circuit design. (English) Zbl 1489.68166

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 55-75 (2021).
MSC:  68Q85 68Q06 68Q45 68Q60
PDF BibTeX XML Cite
\textit{R. Parrot} et al., Lect. Notes Comput. Sci. 12734, 55--75 (2021; Zbl 1489.68166)
Full Text: DOI HAL
Zhang, Han; Zhang, Chi; Azevedo de Amorim, Arthur; Agarwal, Yuvraj; Fredrikson, Matt; Jia, Limin

Netter: probabilistic, stateful network models. (English) Zbl 1472.68012

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, 486-508 (2021).
MSC:  68M10 60J20 68N15 68Q45 68Q60
PDF BibTeX XML Cite
\textit{H. Zhang} et al., Lect. Notes Comput. Sci. 12597, 486--508 (2021; Zbl 1472.68012)
Full Text: DOI
Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino

Twinning automata and regular expressions for string static analysis. (English) Zbl 1472.68039

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, 267-290 (2021).
MSC:  68N30 68Q45
PDF BibTeX XML Cite
\textit{L. Negrini} et al., Lect. Notes Comput. Sci. 12597, 267--290 (2021; Zbl 1472.68039)
Full Text: DOI arXiv
Stoilkovska, Ilina; Konnov, Igor; Widder, Josef; Zuleger, Florian

Eliminating message counters in synchronous threshold automata. (English) Zbl 1472.68094

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, 196-218 (2021).
MSC:  68Q60 68Q45 68W15
PDF BibTeX XML Cite
\textit{I. Stoilkovska} et al., Lect. Notes Comput. Sci. 12597, 196--218 (2021; Zbl 1472.68094)
Full Text: DOI
Finkbeiner, Bernd

Model checking algorithms for hyperproperties (invited paper). (English) Zbl 1472.68088

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, 3-16 (2021).
MSC:  68Q60 03B44 03D05
PDF BibTeX XML Cite
\textit{B. Finkbeiner}, Lect. Notes Comput. Sci. 12597, 3--16 (2021; Zbl 1472.68088)
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Biographic Reference

all top 3

Software