Hafidi, Y.; de Vink, E. P. Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets. (English) Zbl 07618120 J. Log. Algebr. Methods Program. 130, Article ID 100813, 16 p. (2023). MSC: 68-XX PDF BibTeX XML Cite \textit{Y. Hafidi} and \textit{E. P. de Vink}, J. Log. Algebr. Methods Program. 130, Article ID 100813, 16 p. (2023; Zbl 07618120) Full Text: DOI OpenURL
Ning, Xinya; Zhang, Nan; Duan, Zhenhua; Tian, Cong PPTL specification mining based on LNFG. (English) Zbl 07605947 Theor. Comput. Sci. 937, 85-95 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{X. Ning} et al., Theor. Comput. Sci. 937, 85--95 (2022; Zbl 07605947) Full Text: DOI OpenURL
Aït-Ameur, Yamine; Bogomolov, Sergiy; Dupont, Guillaume; Singh, Neeraj Kumar; Stankaitis, Paulius Reachability analysis and simulation for hybridised Event-B models. (English) Zbl 07573717 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 07573717) Full Text: DOI OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
Aminof, Benjamin; Murano, Aniello; Rubin, Sasha; Zuleger, Florian Verification of agent navigation in partially-known environments. (English) Zbl 1495.68234 Artif. Intell. 308, Article ID 103724, 34 p. (2022). MSC: 68T42 03B44 68Q45 68Q60 68T27 PDF BibTeX XML Cite \textit{B. Aminof} et al., Artif. Intell. 308, Article ID 103724, 34 p. (2022; Zbl 1495.68234) Full Text: DOI OpenURL
Deng, Yuxin; Feng, Yuan Formal semantics of a classical-quantum language. (English) Zbl 1483.68076 Theor. Comput. Sci. 913, 73-93 (2022). MSC: 68N30 03B70 68Q55 81P68 PDF BibTeX XML Cite \textit{Y. Deng} and \textit{Y. Feng}, Theor. Comput. Sci. 913, 73--93 (2022; Zbl 1483.68076) Full Text: DOI arXiv OpenURL
Xu, Ming; Fu, Jianling; Mei, Jingyi; Deng, Yuxin Model checking QCTL plus on quantum Markov chains. (English) Zbl 1483.68212 Theor. Comput. Sci. 913, 43-72 (2022). MSC: 68Q60 03B44 81P68 PDF BibTeX XML Cite \textit{M. Xu} et al., Theor. Comput. Sci. 913, 43--72 (2022; Zbl 1483.68212) Full Text: DOI OpenURL
Karayel, Emin; Gonzàlez, Edgar Strong eventual consistency of the collaborative editing framework WOOT. (English) Zbl 1485.68021 Distrib. Comput. 35, No. 2, 145-164 (2022). MSC: 68M14 68P05 68Q60 68U15 68V20 PDF BibTeX XML Cite \textit{E. Karayel} and \textit{E. Gonzàlez}, Distrib. Comput. 35, No. 2, 145--164 (2022; Zbl 1485.68021) Full Text: DOI OpenURL
Tóth, Tamás; Majzik, István Configurable verification of timed automata with discrete variables. (English) Zbl 1483.68208 Acta Inf. 59, No. 1, 1-35 (2022). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{T. Tóth} and \textit{I. Majzik}, Acta Inf. 59, No. 1, 1--35 (2022; Zbl 1483.68208) Full Text: DOI OpenURL
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 07497120 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 07497120) Full Text: DOI OpenURL
Aman, Bogdan; Ciobanu, Gabriel Dynamics of reputation in mobile agents systems and weighted timed automata. (English) Zbl 1483.68220 Inf. Comput. 282, Article ID 104653, 22 p. (2022). MSC: 68Q85 68Q45 68Q60 PDF BibTeX XML Cite \textit{B. Aman} and \textit{G. Ciobanu}, Inf. Comput. 282, Article ID 104653, 22 p. (2022; Zbl 1483.68220) Full Text: DOI OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
Cristiá, Maximiliano; Rossi, Gianfranco \(\{\mathit{log}\}\): set formulas as programs. (English) Zbl 1490.68079 Rend. Ist. Mat. Univ. Trieste 53, Paper No. 23, 24 p. (2021). MSC: 68N30 03B70 03E20 03E75 68N15 68N17 68Q60 68V15 PDF BibTeX XML Cite \textit{M. Cristiá} and \textit{G. Rossi}, Rend. Ist. Mat. Univ. Trieste 53, Paper No. 23, 24 p. (2021; Zbl 1490.68079) Full Text: DOI arXiv OpenURL
Alur, Rajeev; Fisman, Dana Colored nested words. (English) Zbl 1492.68076 Form. Methods Syst. Des. 58, No. 3, 347-374 (2021). MSC: 68Q45 68N30 68Q42 68Q60 PDF BibTeX XML Cite \textit{R. Alur} and \textit{D. Fisman}, Form. Methods Syst. Des. 58, No. 3, 347--374 (2021; Zbl 1492.68076) Full Text: DOI OpenURL
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 OpenURL
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 OpenURL
Körner, Philipp; Bendisposto, Jens; Dunkelau, Jannik; Krings, Sebastian; Leuschel, Michael Integrating formal specifications into applications: the ProB Java API. (English) Zbl 07544944 Form. Methods Syst. Des. 58, No. 1-2, 160-187 (2021). MSC: 68Q60 68N30 PDF BibTeX XML Cite \textit{P. Körner} et al., Form. Methods Syst. Des. 58, No. 1--2, 160--187 (2021; Zbl 07544944) Full Text: DOI OpenURL
Jantsch, Simon; Müller, David; Baier, Christel; Klein, Joachim From LTL to unambiguous Büchi automata via disambiguation of alternating automata. (English) Zbl 07544941 Form. Methods Syst. Des. 58, No. 1-2, 42-82 (2021). MSC: 68Q45 03B44 03D05 68Q60 PDF BibTeX XML Cite \textit{S. Jantsch} et al., Form. Methods Syst. Des. 58, No. 1--2, 42--82 (2021; Zbl 07544941) Full Text: DOI arXiv OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
Bourou, Dimitra; Schorlemmer, Marco; Plaza, Enric Image schemas and conceptual blending in diagrammatic reasoning: the case of Hasse diagrams. (English) Zbl 1496.68311 Basu, Amrita (ed.) et al., Diagrammatic representation and inference. 12th international conference, Diagrams 2021, virtual, September 28–30, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12909, 297-314 (2021). MSC: 68T27 68T30 PDF BibTeX XML Cite \textit{D. Bourou} et al., Lect. Notes Comput. Sci. 12909, 297--314 (2021; Zbl 1496.68311) Full Text: DOI OpenURL
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 OpenURL
Chiari, Michele; Mandrioli, Dino; Pradella, Matteo Model-checking structured context-free languages. (English) Zbl 1493.68207 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, 387-410 (2021). MSC: 68Q60 03B44 68Q45 PDF BibTeX XML Cite \textit{M. Chiari} et al., Lect. Notes Comput. Sci. 12760, 387--410 (2021; Zbl 1493.68207) Full Text: DOI OpenURL
André, Étienne IMITATOR 3: synthesis of timing parameters beyond decidability. (English) Zbl 1493.68202 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, 552-565 (2021). MSC: 68Q60 68Q45 68Q85 PDF BibTeX XML Cite \textit{É. André}, Lect. Notes Comput. Sci. 12759, 552--565 (2021; Zbl 1493.68202) Full Text: DOI OpenURL
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 OpenURL
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 OpenURL
Nxumalo, Madoda; Timm, Nils; Gruner, Stefan Spotlight abstraction in model checking real-time task schedulability. (English) Zbl 1490.68135 Laarman, Alfons (ed.) et al., Model checking software. 27th international symposium, SPIN 2021, virtual event, July 12, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12864, 63-80 (2021). MSC: 68Q60 68M20 68Q45 PDF BibTeX XML Cite \textit{M. Nxumalo} et al., Lect. Notes Comput. Sci. 12864, 63--80 (2021; Zbl 1490.68135) Full Text: DOI OpenURL
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 OpenURL
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 OpenURL
Broadbent, Christopher H.; Carayol, Arnaud; Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier Collapsible pushdown parity games. (English) Zbl 07480990 ACM Trans. Comput. Log. 22, No. 3, Article No. 16, 51 p. (2021). MSC: 68Q60 68Q45 91A43 PDF BibTeX XML Cite \textit{C. H. Broadbent} et al., ACM Trans. Comput. Log. 22, No. 3, Article No. 16, 51 p. (2021; Zbl 07480990) Full Text: DOI arXiv HAL OpenURL
Yang, Jingkai; Deng, Weilin; Qiu, Daowen; Jiang, Cheng Opacity of networked discrete event systems. (English) Zbl 1475.68044 Inf. Sci. 543, 328-344 (2021). MSC: 68M25 68Q45 68Q60 PDF BibTeX XML Cite \textit{J. Yang} et al., Inf. Sci. 543, 328--344 (2021; Zbl 1475.68044) Full Text: DOI OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
Zuo, Zhengkang; Su, Wei; Liang, Zanyang; Huang, Qing; Wang, Yuan; Wang, Changjing A formal method for developing algebraic and numerical algorithms. (English) Zbl 1488.68141 Wuhan Univ. J. Nat. Sci. 26, No. 2, 191-199 (2021). MSC: 68W01 11Y16 68N30 68Q60 68W30 PDF BibTeX XML Cite \textit{Z. Zuo} et al., Wuhan Univ. J. Nat. Sci. 26, No. 2, 191--199 (2021; Zbl 1488.68141) Full Text: DOI OpenURL
Liu, Yezhou; Nicolescu, Radu; Sun, Jing; Henderson, Alec A sublinear Sudoku solution in cP systems and its formal verification. (English) Zbl 1469.68047 Comput. Sci. J. Mold. 29, No. 1(85), 3-28 (2021). MSC: 68Q07 05B15 68Q25 68Q60 PDF BibTeX XML Cite \textit{Y. Liu} et al., Comput. Sci. J. Mold. 29, No. 1(85), 3--28 (2021; Zbl 1469.68047) Full Text: Link OpenURL
Gheorghe, Marian; Lefticaru, Raluca; Konur, Savas; Niculescu, Ionuţ Mihai; Adorna, Henry N. Spiking neural P systems: matrix representation and formal verification. (English) Zbl 1469.68035 J. Membr. Comput. 3, No. 2, 133-148 (2021). MSC: 68Q07 68Q60 68Q85 PDF BibTeX XML Cite \textit{M. Gheorghe} et al., J. Membr. Comput. 3, No. 2, 133--148 (2021; Zbl 1469.68035) Full Text: DOI OpenURL
Shi, Haipeng; Shi, Haihe; Xu, Shenghua Algorithm design through the optimization of reuse-based generation. (English) Zbl 1481.68048 He, Kun (ed.) et al., Theoretical computer science. 38th national conference, NCTCS 2020, Nanning, China, November 13–15, 2020. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1352, 14-32 (2021). MSC: 68W01 68N30 68P10 PDF BibTeX XML Cite \textit{H. Shi} et al., Commun. Comput. Inf. Sci. 1352, 14--32 (2021; Zbl 1481.68048) Full Text: DOI OpenURL
Zhang, Jianmin; Li, Tiejun; Ma, Kefan Accelerating predicate abstraction by minimum unsatisfiable cores extraction. (English) Zbl 1481.68032 He, Kun (ed.) et al., Theoretical computer science. 38th national conference, NCTCS 2020, Nanning, China, November 13–15, 2020. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1352, 3-13 (2021). MSC: 68Q60 03B70 68M07 PDF BibTeX XML Cite \textit{J. Zhang} et al., Commun. Comput. Inf. Sci. 1352, 3--13 (2021; Zbl 1481.68032) Full Text: DOI OpenURL
Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg General decidability results for asynchronous shared-memory programs: higher-order and beyond. (English) Zbl 1467.68040 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 I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 449-467 (2021). MSC: 68N30 68Q45 68Q60 68Q85 PDF BibTeX XML Cite \textit{R. Majumdar} et al., Lect. Notes Comput. Sci. 12651, 449--467 (2021; Zbl 1467.68040) Full Text: DOI arXiv OpenURL
Bendík, Jaroslav; Sencan, Ahmet; Gol, Ebru Aydin; Černá, Ivana Timed automata relaxation for reachability. (English) Zbl 1467.68079 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 I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 291-310 (2021). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{J. Bendík} et al., Lect. Notes Comput. Sci. 12651, 291--310 (2021; Zbl 1467.68079) Full Text: DOI OpenURL
Quatmann, Tim; Katoen, Joost-Pieter Multi-objective optimization of long-run average and total rewards. (English) Zbl 1467.68094 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 I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 230-249 (2021). MSC: 68Q60 68Q45 68Q87 90C29 90C40 PDF BibTeX XML Cite \textit{T. Quatmann} and \textit{J.-P. Katoen}, Lect. Notes Comput. Sci. 12651, 230--249 (2021; Zbl 1467.68094) Full Text: DOI arXiv OpenURL
Di Stasio, Antonio; Murano, Aniello; Prignano, Vincenzo; Sorrentino, Loredana Improving parity games in practice. (English) Zbl 07377237 Ann. Math. Artif. Intell. 89, No. 5-6, 551-574 (2021). MSC: 68Q60 PDF BibTeX XML Cite \textit{A. Di Stasio} et al., Ann. Math. Artif. Intell. 89, No. 5--6, 551--574 (2021; Zbl 07377237) Full Text: DOI OpenURL
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. (English) Zbl 1466.68005 New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-8339-4). 27 articles, not consecutively paged (2021). MSC: 68-06 93-06 68Q45 68Q60 93C30 00B25 PDF BibTeX XML Cite 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) (2021; Zbl 1466.68005) Full Text: DOI OpenURL
Bresolin, Davide; Lanese, Ivan Static and dynamic property-preserving updates. (English) Zbl 1497.68251 Inf. Comput. 279, Article ID 104611, 24 p. (2021). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{D. Bresolin} and \textit{I. Lanese}, Inf. Comput. 279, Article ID 104611, 24 p. (2021; Zbl 1497.68251) Full Text: DOI Link OpenURL
Vistbakka, Inna; Troubitsyna, Elena Modelling resilient collaborative multi-agent systems. (English) Zbl 1473.68193 Computing 103, No. 4, 535-557 (2021). MSC: 68T42 68Q60 PDF BibTeX XML Cite \textit{I. Vistbakka} and \textit{E. Troubitsyna}, Computing 103, No. 4, 535--557 (2021; Zbl 1473.68193) Full Text: DOI OpenURL
Orlandini, Andrea (ed.); Zimmermann, Martin (ed.) Preface. (English) Zbl 1462.68006 Inf. Comput. 278, Article ID 104591, 2 p. (2021). MSC: 68-06 68Q45 68Q60 91A80 00B25 PDF BibTeX XML Cite \textit{A. Orlandini} (ed.) and \textit{M. Zimmermann} (ed.), Inf. Comput. 278, Article ID 104591, 2 p. (2021; Zbl 1462.68006) Full Text: DOI OpenURL
Sproston, Jeremy Probabilistic timed automata with clock-dependent probabilities. (English) Zbl 1478.68136 Fundam. Inform. 178, No. 1-2, 101-138 (2021). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{J. Sproston}, Fundam. Inform. 178, No. 1--2, 101--138 (2021; Zbl 1478.68136) Full Text: DOI arXiv OpenURL
Ammar, Ikhlass; El Touati, Yamen; Mullins, John; Yeddes, Moez Timed bounded verification of inclusion based on timed bounded discretized language. (English) Zbl 1458.68111 Int. J. Found. Comput. Sci. 32, No. 2, 175-202 (2021). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{I. Ammar} et al., Int. J. Found. Comput. Sci. 32, No. 2, 175--202 (2021; Zbl 1458.68111) Full Text: DOI OpenURL
Junges, Sebastian; Katoen, Joost-Pieter; Pérez, Guillermo A.; Winkler, Tobias The complexity of reachability in parametric Markov decision processes. (English) Zbl 1477.68124 J. Comput. Syst. Sci. 119, 183-210 (2021). MSC: 68Q25 68Q60 90C40 PDF BibTeX XML Cite \textit{S. Junges} et al., J. Comput. Syst. Sci. 119, 183--210 (2021; Zbl 1477.68124) Full Text: DOI arXiv Link OpenURL
Bérard, B.; Haddad, S.; Picaronny, C.; Safey El Din, M.; Sassolas, M. Polynomial interrupt timed automata: verification and expressiveness. (English) Zbl 1475.68145 Inf. Comput. 277, Article ID 104580, 15 p. (2021). MSC: 68Q45 03B70 68Q25 68Q60 68Q85 PDF BibTeX XML Cite \textit{B. Bérard} et al., Inf. Comput. 277, Article ID 104580, 15 p. (2021; Zbl 1475.68145) Full Text: DOI OpenURL
Zhang, Nan; Duan, Zhenhua; Tian, Cong Unified temporal logic. (English) Zbl 1497.68322 Theor. Comput. Sci. 864, 58-69 (2021). MSC: 68Q60 03B44 93C95 PDF BibTeX XML Cite \textit{N. Zhang} et al., Theor. Comput. Sci. 864, 58--69 (2021; Zbl 1497.68322) Full Text: DOI OpenURL
Letan, Thomas; Régis-Gianas, Yann; Chifflier, Pierre; Hiet, Guillaume Modular verification of programs with effects and effects handlers. (English) Zbl 1458.68119 Formal Asp. Comput. 33, No. 1, 127-150 (2021). MSC: 68Q60 68V15 PDF BibTeX XML Cite \textit{T. Letan} et al., Formal Asp. Comput. 33, No. 1, 127--150 (2021; Zbl 1458.68119) Full Text: DOI OpenURL
Dutle, Aaron; Moscato, Mariano; Titolo, Laura; Muñoz, César; Anderson, Gregory; Bobot, François Formal analysis of the compact position reporting algorithm. (English) Zbl 1458.68273 Formal Asp. Comput. 33, No. 1, 65-86 (2021). MSC: 68U35 65Y04 68P30 68Q60 68W40 PDF BibTeX XML Cite \textit{A. Dutle} et al., Formal Asp. Comput. 33, No. 1, 65--86 (2021; Zbl 1458.68273) Full Text: DOI OpenURL
Cavezza, Davide G.; Alrajeh, Dalal; György, András A weakness measure for GR(1) formulae. (English) Zbl 1458.68115 Formal Asp. Comput. 33, No. 1, 27-63 (2021). MSC: 68Q60 03B44 28A80 28D20 68Q45 PDF BibTeX XML Cite \textit{D. G. Cavezza} et al., Formal Asp. Comput. 33, No. 1, 27--63 (2021; Zbl 1458.68115) Full Text: DOI OpenURL
Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen A navigational logic for reasoning about graph properties. (English) Zbl 1455.68147 J. Log. Algebr. Methods Program. 118, Article ID 100616, 34 p. (2021). MSC: 68R10 03B70 PDF BibTeX XML Cite \textit{M. Navarro} et al., J. Log. Algebr. Methods Program. 118, Article ID 100616, 34 p. (2021; Zbl 1455.68147) Full Text: DOI OpenURL
Gutierrez, Julian; Perelli, Giuseppe; Wooldridge, Michael Multi-player games with LDL goals over finite traces. (English) Zbl 1497.68305 Inf. Comput. 276, Article ID 104555, 17 p. (2021). MSC: 68Q60 03B70 68Q45 68Q85 68T42 91A80 PDF BibTeX XML Cite \textit{J. Gutierrez} et al., Inf. Comput. 276, Article ID 104555, 17 p. (2021; Zbl 1497.68305) Full Text: DOI arXiv OpenURL
Belardinelli, Francesco; Condurache, Rodica; Dima, Cătălin; Jamroga, Wojciech; Knapik, Michal Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol. (English) Zbl 1497.68287 Inf. Comput. 276, Article ID 104552, 25 p. (2021). MSC: 68Q60 03B44 68T42 91B12 PDF BibTeX XML Cite \textit{F. Belardinelli} et al., Inf. Comput. 276, Article ID 104552, 25 p. (2021; Zbl 1497.68287) Full Text: DOI arXiv Link OpenURL
Clemente, Lorenzo; Lasota, Sławomir Reachability relations of timed pushdown automata. (English) Zbl 1484.68079 J. Comput. Syst. Sci. 117, 202-241 (2021). Reviewer: Roger Villemaire (Montréal) MSC: 68Q45 03B70 03D05 03F30 68Q60 PDF BibTeX XML Cite \textit{L. Clemente} and \textit{S. Lasota}, J. Comput. Syst. Sci. 117, 202--241 (2021; Zbl 1484.68079) Full Text: DOI arXiv OpenURL
Liu, Jin; Duan, Zhenhua; Tian, Cong Multi-matching nested relations. (English) Zbl 1477.68157 Theor. Comput. Sci. 854, 77-93 (2021). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{J. Liu} et al., Theor. Comput. Sci. 854, 77--93 (2021; Zbl 1477.68157) Full Text: DOI OpenURL
Christensen, Michael; McMahan, Joseph; Nichols, Lawton; Roesch, Jared; Sherwood, Timothy; Hardekopf, Ben Safe functional systems through integrity types and verified assembly. (English) Zbl 1477.68030 Theor. Comput. Sci. 851, 39-61 (2021). MSC: 68M07 68N18 68Q60 PDF BibTeX XML Cite \textit{M. Christensen} et al., Theor. Comput. Sci. 851, 39--61 (2021; Zbl 1477.68030) Full Text: DOI OpenURL
Gnatenko, A. R.; Zakharov, V. A. On the model checking problem for some extension of \(\mathrm{CTL}^\ast\). (Russian. English summary) Zbl 07643312 Model. Anal. Inf. Sist. 27, No. 4, 428-441 (2020). MSC: 68Q60 03B44 68Q25 68Q45 PDF BibTeX XML Cite \textit{A. R. Gnatenko} and \textit{V. A. Zakharov}, Model. Anal. Inf. Sist. 27, No. 4, 428--441 (2020; Zbl 07643312) Full Text: DOI MNR OpenURL
Garanina, N. O.; Anureev, I. S.; Zyubin, V. E.; Staroletov, S. M.; Lyakh, T. V.; Rozov, A. S.; Gorlach, S. P. Temporal logic for programmable logic controllers. (Russian. English summary) Zbl 07643311 Model. Anal. Inf. Sist. 27, No. 4, 412-427 (2020). MSC: 68Q60 03B44 93C83 PDF BibTeX XML Cite \textit{N. O. Garanina} et al., Model. Anal. Inf. Sist. 27, No. 4, 412--427 (2020; Zbl 07643311) Full Text: DOI MNR OpenURL
Vinarskii, E. M.; Zakharov, V. A. On the modeling of sequential reactive systems by means of real time automata. (Russian. English summary) Zbl 07643310 Model. Anal. Inf. Sist. 27, No. 4, 396-411 (2020). MSC: 68Q60 68Q45 68Q85 PDF BibTeX XML Cite \textit{E. M. Vinarskii} and \textit{V. A. Zakharov}, Model. Anal. Inf. Sist. 27, No. 4, 396--411 (2020; Zbl 07643310) Full Text: DOI MNR OpenURL
Liu, Wanwei; Yin, Liangze; Li, Tun Compiling \(\mathrm{FL}^\mathrm{res}\) on finite words. (English) Zbl 07580902 Pang, Jun (ed.) et al., Dependable software engineering. Theories, tools, and applications. 6th international symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12153, 108-123 (2020). MSC: 68Q60 03B44 68Q45 PDF BibTeX XML Cite \textit{W. Liu} et al., Lect. Notes Comput. Sci. 12153, 108--123 (2020; Zbl 07580902) Full Text: DOI OpenURL
Kiviriga, Andrej; Larsen, Kim Guldstrand; Nyman, Ulrik Randomized refinement checking of timed I/O automata. (English) Zbl 07580900 Pang, Jun (ed.) et al., Dependable software engineering. Theories, tools, and applications. 6th international symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12153, 70-88 (2020). MSC: 68Q60 05C81 68Q45 68T20 PDF BibTeX XML Cite \textit{A. Kiviriga} et al., Lect. Notes Comput. Sci. 12153, 70--88 (2020; Zbl 07580900) Full Text: DOI OpenURL
Schneider, Sven; Dyck, Johannes; Giese, Holger Formal verification of invariants for attributed graph transformation systems based on nested attributed graph conditions. (English) Zbl 07580890 Gadducci, Fabio (ed.) et al., Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12150, 257-275 (2020). MSC: 68Q42 68Q60 68V20 PDF BibTeX XML Cite \textit{S. Schneider} et al., Lect. Notes Comput. Sci. 12150, 257--275 (2020; Zbl 07580890) Full Text: DOI OpenURL
Ţuţu, Ionuţ; Chiriţă, Claudia E.; Fiadeiro, José L. When databases roamed computing: formal database specification revisited perspective of language. (English) Zbl 07503147 Haeusler, Edward Hermann (ed.) et al., A question is more illuminating than an answer. A festschrift for Paulo A. S. Veloso. London: College Publications. Tributes 44, 261-278 (2020). MSC: 03-XX PDF BibTeX XML Cite \textit{I. Ţuţu} et al., Tributes 44, 261--278 (2020; Zbl 07503147) OpenURL
Romeo, Íñigo X. Íncer; Mangeruca, Leonardo; Villa, Tiziano; Sangiovanni-Vincentelli, Alberto The quotient in preorder theories. (English) Zbl 07455750 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, 216-233 (2020). MSC: 68Q45 68Q60 91A80 PDF BibTeX XML Cite \textit{Í. X. Í. Romeo} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 216--233 (2020; Zbl 07455750) Full Text: arXiv Link OpenURL
Radi, Bader Abu; Kupferman, Orna Canonicity in GFG and transition-based automata. (English) Zbl 07455749 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, 199-215 (2020). MSC: 68Q45 68Q60 91A80 PDF BibTeX XML Cite \textit{B. A. Radi} and \textit{O. Kupferman}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 199--215 (2020; Zbl 07455749) Full Text: arXiv Link OpenURL
Li, Yong; Vardi, Moshe Y.; Zhang, Lijun On the power of unambiguity in Büchi complementation. (English) Zbl 07455748 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, 182-198 (2020). MSC: 68Q45 68Q60 91A80 PDF BibTeX XML Cite \textit{Y. Li} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 182--198 (2020; Zbl 07455748) Full Text: arXiv Link OpenURL
Wells, Andrew M.; Lahijanian, Morteza; Kavraki, Lydia E.; Vardi, Moshe Y. \(\mathrm{LTL}_f\) synthesis on probabilistic systems. (English) Zbl 07455747 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, 166-181 (2020). MSC: 68Q45 68Q60 91A80 PDF BibTeX XML Cite \textit{A. M. Wells} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 166--181 (2020; Zbl 07455747) Full Text: arXiv Link OpenURL
Bouyer, Patricia; Brihaye, Thomas; Randour, Mickael; Rivière, Cédric; Vandenhove, Pierre Decisiveness of stochastic systems and its application to hybrid models. (English) Zbl 07455746 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, 149-165 (2020). MSC: 68Q45 68Q60 91A80 PDF BibTeX XML Cite \textit{P. Bouyer} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 149--165 (2020; Zbl 07455746) Full Text: arXiv Link OpenURL
Křetínský, Jan; Ramneantu, Emanuel; Slivinskiy, Alexander; Weininger, Maximilian Comparison of algorithms for simple stochastic games. (English) Zbl 07455745 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, 131-148 (2020). MSC: 68Q45 68Q60 91A80 PDF BibTeX XML Cite \textit{J. Křetínský} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 131--148 (2020; Zbl 07455745) Full Text: arXiv Link OpenURL
Murano, Aniello; Rubin, Sasha; Zimmermann, Martin Optimal strategies in weighted limit games. (English) Zbl 07455744 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, 114-130 (2020). MSC: 68Q45 68Q60 91A80 PDF BibTeX XML Cite \textit{A. Murano} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 114--130 (2020; Zbl 07455744) Full Text: arXiv Link OpenURL
Bruse, Florian; Kreiker, Jörg; Lange, Martin; Sälzer, Marco Local higher-order fixpoint iteration. (English) Zbl 07455743 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, 97-113 (2020). MSC: 68Q45 68Q60 91A80 PDF BibTeX XML Cite \textit{F. Bruse} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 97--113 (2020; Zbl 07455743) Full Text: arXiv Link OpenURL
Hella, Lauri; Kuusisto, Antti; Rönnholm, Raine Bounded game-theoretic semantics for modal mu-calculus and some variants. (English) Zbl 07455742 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, 82-96 (2020). MSC: 68Q45 68Q60 91A80 PDF BibTeX XML Cite \textit{L. Hella} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 82--96 (2020; Zbl 07455742) Full Text: arXiv Link OpenURL
Başkent, Can A game theoretical semantics for logics of nonsense. (English) Zbl 07455741 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, 66-81 (2020). MSC: 68Q45 68Q60 91A80 PDF BibTeX XML Cite \textit{C. Başkent}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 66--81 (2020; Zbl 07455741) Full Text: arXiv Link OpenURL
Downing, Mara; Molavi, Abtin; Bang, Lucas Symbolic execution + model counting + entropy maximization = automatic search synthesis. (English) Zbl 07455740 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: 68Q45 68Q60 91A80 PDF BibTeX XML Cite \textit{M. Downing} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 50--65 (2020; Zbl 07455740) Full Text: arXiv Link OpenURL
Bérard, Béatrice; Bollig, Benedikt; Bouyer, Patricia; Függer, Matthias; Sznajder, Nathalie Synthesis in presence of dynamic links. (English) Zbl 07455739 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, 33-49 (2020). MSC: 68Q45 68Q60 91A80 PDF BibTeX XML Cite \textit{B. Bérard} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 33--49 (2020; Zbl 07455739) Full Text: arXiv Link OpenURL
Lijzenga, Oebele; van Dijk, Tom Symbolic parity game solvers that yield winning strategies. (English) Zbl 07455738 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, 18-32 (2020). MSC: 68Q45 68Q60 91A80 PDF BibTeX XML Cite \textit{O. Lijzenga} and \textit{T. van Dijk}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 18--32 (2020; Zbl 07455738) Full Text: arXiv Link OpenURL
Tabajara, Lucas M.; Vardi, Moshe Y. LTLf synthesis under partial observability: from theory to practice. (English) Zbl 07455737 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, 1-17 (2020). MSC: 68Q45 68Q60 91A80 PDF BibTeX XML Cite \textit{L. M. Tabajara} and \textit{M. Y. Vardi}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 1--17 (2020; Zbl 07455737) Full Text: arXiv Link OpenURL
Kamali, Mojgan; Katoen, Joost-Pieter Probabilistic model checking of AODV. (English) Zbl 1483.68037 Gribaudo, Marco (ed.) et al., Quantitative evaluation of systems. 17th international conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12289, 54-73 (2020). MSC: 68M20 68Q45 68Q60 PDF BibTeX XML Cite \textit{M. Kamali} and \textit{J.-P. Katoen}, Lect. Notes Comput. Sci. 12289, 54--73 (2020; Zbl 1483.68037) Full Text: DOI OpenURL
Verbeek, Freek; Bockenek, Joshua A.; Ravindran, Binoy Highly automated formal proofs over memory usage of assembly code. (English) Zbl 1483.68211 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 II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 98-117 (2020). MSC: 68Q60 68N15 68V15 PDF BibTeX XML Cite \textit{F. Verbeek} et al., Lect. Notes Comput. Sci. 12079, 98--117 (2020; Zbl 1483.68211) Full Text: DOI OpenURL
Liu, Yezhou; Nicolescu, Radu; Sun, Jing Formal verification of cP systems using PAT3 and ProB. (English) Zbl 1469.68046 J. Membr. Comput. 2, No. 2, 80-94 (2020). MSC: 68Q07 68Q60 PDF BibTeX XML Cite \textit{Y. Liu} et al., J. Membr. Comput. 2, No. 2, 80--94 (2020; Zbl 1469.68046) Full Text: DOI OpenURL
Markgraf, Oliver; Hong, Chih-Duo; Lin, Anthony W.; Najib, Muhammad; Neider, Daniel Parameterized synthesis with safety properties. (English) Zbl 1476.68154 Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 273-292 (2020). MSC: 68Q60 68Q32 68Q45 68Q85 68T40 91A80 PDF BibTeX XML Cite \textit{O. Markgraf} et al., Lect. Notes Comput. Sci. 12470, 273--292 (2020; Zbl 1476.68154) Full Text: DOI arXiv OpenURL
Aranda García, Alberto; Cambronero, María-Emilia; Colombo, Christian; Llana, Luis; Pace, Gordon J. Runtime verification of contracts with Themulus. (English) Zbl 1476.68163 de Boer, Frank (ed.) et al., Software engineering and formal methods. 18th international conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12310, 231-246 (2020). MSC: 68Q85 03B45 68Q60 PDF BibTeX XML Cite \textit{A. Aranda García} et al., Lect. Notes Comput. Sci. 12310, 231--246 (2020; Zbl 1476.68163) Full Text: DOI OpenURL
Lundberg, Didrik; Guanciale, Roberto; Lindner, Andreas; Dam, Mads Hoare-style logic for unstructured programs. (English) Zbl 1476.68064 de Boer, Frank (ed.) et al., Software engineering and formal methods. 18th international conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12310, 193-213 (2020). MSC: 68N30 03B70 68V15 PDF BibTeX XML Cite \textit{D. Lundberg} et al., Lect. Notes Comput. Sci. 12310, 193--213 (2020; Zbl 1476.68064) Full Text: DOI Link OpenURL
Huerta y Munive, Jonathan Julián Affine systems of ODEs in Isabelle/HOL for hybrid-program verification. (English) Zbl 1476.68301 de Boer, Frank (ed.) et al., Software engineering and formal methods. 18th international conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12310, 77-92 (2020). MSC: 68V20 34A30 68Q60 PDF BibTeX XML Cite \textit{J. J. Huerta y Munive}, Lect. Notes Comput. Sci. 12310, 77--92 (2020; Zbl 1476.68301) Full Text: DOI OpenURL
Saeedloei, Neda; Kluźniak, Feliks Optimization of timed scenarios. (English) Zbl 1475.68193 Carvalho, Gustavo (ed.) et al., Formal methods: foundations and applications. 23rd Brazilian symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12475, 119-136 (2020). MSC: 68Q60 68Q45 68Q85 PDF BibTeX XML Cite \textit{N. Saeedloei} and \textit{F. Kluźniak}, Lect. Notes Comput. Sci. 12475, 119--136 (2020; Zbl 1475.68193) Full Text: DOI OpenURL
Ribeiro, Maria; Adão, Pedro; Mateus, Paulo Formal verification of Ethereum smart contracts using Isabelle/HOL. (English) Zbl 1476.68156 Nigam, Vivek (ed.) et al., Logic, language, and security. Essays dedicated to Andre Scedrov on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12300, 71-97 (2020). MSC: 68Q60 03B70 68V15 91B41 94A60 PDF BibTeX XML Cite \textit{M. Ribeiro} et al., Lect. Notes Comput. Sci. 12300, 71--97 (2020; Zbl 1476.68156) Full Text: DOI OpenURL
Raskin, Jean-Francois (ed.); Bresolin, Davide (ed.) Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. (English) Zbl 1466.68026 Electronic Proceedings in Theoretical Computer Science (EPTCS) 326. Waterloo: Open Publishing Association (OPA). 233 p., electronic only, open access (2020). MSC: 68-06 68Q45 68Q60 91A80 00B25 PDF BibTeX XML Cite \textit{J.-F. Raskin} (ed.) and \textit{D. Bresolin} (ed.), 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) (2020; Zbl 1466.68026) Full Text: DOI arXiv Link OpenURL
Filiot, Emmanuel; Mazzocchi, Nicolas; Raskin, Jean-François A pattern logic for automata with outputs. (English) Zbl 1458.68097 Int. J. Found. Comput. Sci. 31, No. 6, 711-748 (2020). MSC: 68Q45 03B70 68Q25 68Q60 PDF BibTeX XML Cite \textit{E. Filiot} et al., Int. J. Found. Comput. Sci. 31, No. 6, 711--748 (2020; Zbl 1458.68097) Full Text: DOI OpenURL