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 07572331 New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-9196-2). xii, 30 articles, open access (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 07572331) Full Text: DOI OpenURL
Kovács, Laura (ed.); Meinke, Karl (ed.) Tests and proofs. 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022. Proceedings. (English) Zbl 07554836 Lecture Notes in Computer Science 13361. Cham: Springer (ISBN 978-3-031-09826-0/pbk; 978-3-031-09827-7/ebook). viii, 125 p. (2022). MSC: 68-06 68Q60 68V15 00B25 PDF BibTeX XML Cite \textit{L. Kovács} (ed.) and \textit{K. Meinke} (ed.), Tests and proofs. 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022. Proceedings. Cham: Springer (2022; Zbl 07554836) Full Text: DOI OpenURL
Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano; Vozarova, Viktoria Diagnosability of fair transition systems. (English) Zbl 07554482 Artif. Intell. 309, Article ID 103725, 39 p. (2022). MSC: 68Q60 90B25 93B07 PDF BibTeX XML Cite \textit{B. Bittner} et al., Artif. Intell. 309, Article ID 103725, 39 p. (2022; Zbl 07554482) Full Text: DOI OpenURL
Kontinen, Juha; Meier, Arne; Mahmood, Yasir A parameterized view on the complexity of dependence logic. (English) Zbl 07551715 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 125-142 (2022). MSC: 03B70 PDF BibTeX XML Cite \textit{J. Kontinen} et al., Lect. Notes Comput. Sci. 13137, 125--142 (2022; Zbl 07551715) Full Text: DOI OpenURL
Meilán-Vila, A.; Francisco-Fernández, M.; Crujeiras, R. M. Goodness-of-fit tests for multiple regression with circular response. (English) Zbl 07551339 J. Stat. Comput. Simulation 92, No. 9, 1941-1963 (2022). MSC: 62-XX 62G08 62G09 62G10 62H11 PDF BibTeX XML Cite \textit{A. Meilán-Vila} et al., J. Stat. Comput. Simulation 92, No. 9, 1941--1963 (2022; Zbl 07551339) Full Text: DOI OpenURL
Preoteasa, Viorel; Dragomir, Iulia; Tripakis, Stavros The refinement calculus of reactive systems. (English) Zbl 1487.68160 Inf. Comput. 285, Part B, Article ID 104819, 43 p. (2022). MSC: 68Q60 68V20 PDF BibTeX XML Cite \textit{V. Preoteasa} et al., Inf. Comput. 285, Part B, Article ID 104819, 43 p. (2022; Zbl 1487.68160) Full Text: DOI OpenURL
Neider, Daniel; Weinert, Alexander; Zimmermann, Martin Robust, expressive, and quantitative linear temporal logics: pick any two for free. (English) Zbl 07538307 Inf. Comput. 285, Part B, Article ID 104810, 23 p. (2022). MSC: 68Q60 03B44 PDF BibTeX XML Cite \textit{D. Neider} et al., Inf. Comput. 285, Part B, Article ID 104810, 23 p. (2022; Zbl 07538307) Full Text: DOI OpenURL
Aminof, Benjamin; Murano, Aniello; Rubin, Sasha; Zuleger, Florian Verification of agent navigation in partially-known environments. (English) Zbl 07535447 Artif. Intell. 308, Article ID 103724, 34 p. (2022). MSC: 68Txx PDF BibTeX XML Cite \textit{B. Aminof} et al., Artif. Intell. 308, Article ID 103724, 34 p. (2022; Zbl 07535447) Full Text: DOI OpenURL
Alpuente, María; Escobar, Santiago; Meseguer, José; Sapiña, Julia Order-sorted equational generalization algorithm revisited. (English) Zbl 07517439 Ann. Math. Artif. Intell. 90, No. 5, 499-522 (2022). MSC: 68N17 68N18 68Q42 68Q60 68T20 68W30 PDF BibTeX XML Cite \textit{M. Alpuente} et al., Ann. Math. Artif. Intell. 90, No. 5, 499--522 (2022; Zbl 07517439) Full Text: DOI OpenURL
Lomuscio, Alessio; Pirovano, Edoardo A counter abstraction technique for verifying properties of probabilistic swarm systems. (English) Zbl 07505976 Artif. Intell. 305, Article ID 103666, 23 p. (2022). MSC: 68Txx PDF BibTeX XML Cite \textit{A. Lomuscio} and \textit{E. Pirovano}, Artif. Intell. 305, Article ID 103666, 23 p. (2022; Zbl 07505976) Full Text: DOI 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
Safari, Mohsen; Huisman, Marieke Formal verification of parallel prefix sum and stream compaction algorithms in CUDA. (English) Zbl 1483.68091 Theor. Comput. Sci. 912, 81-98 (2022). MSC: 68N30 03B70 68Q60 68W10 PDF BibTeX XML Cite \textit{M. Safari} and \textit{M. Huisman}, Theor. Comput. Sci. 912, 81--98 (2022; Zbl 1483.68091) 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
Bonnet, Édouard; Kim, Eun Jung; Thomassé, Stéphan; Watrigant, Rémi Twin-width. I: Tractable FO model checking. (English) Zbl 07500709 J. ACM 69, No. 1, Article No. 3, 46 p. (2022). MSC: 68-XX PDF BibTeX XML Cite \textit{É. Bonnet} et al., J. ACM 69, No. 1, Article No. 3, 46 p. (2022; Zbl 07500709) Full Text: DOI OpenURL
Zhou, Jiayuan; Jiang, Feiyu; Zhu, Ke; Li, Wai Keung Time series models for realized covariance matrices based on the matrix-F distribution. (English) Zbl 07500443 Stat. Sin. 32, No. 2, 755-786 (2022). MSC: 62-XX PDF BibTeX XML Cite \textit{J. Zhou} et al., Stat. Sin. 32, No. 2, 755--786 (2022; Zbl 07500443) Full Text: DOI OpenURL
Platzer, André Correction to: “Differential dynamic logic for hybrid systems”. (English) Zbl 07498611 J. Autom. Reasoning 66, No. 1, 173 (2022). MSC: 68V15 03B70 03B35 68Q60 PDF BibTeX XML Cite \textit{A. Platzer}, J. Autom. Reasoning 66, No. 1, 173 (2022; Zbl 07498611) Full Text: DOI OpenURL
Dalvandi, Sadegh; Dongol, Brijesh; Doherty, Simon; Wehrheim, Heike Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL. (English) Zbl 07498610 J. Autom. Reasoning 66, No. 1, 141-171 (2022). MSC: 68Q60 68V15 PDF BibTeX XML Cite \textit{S. Dalvandi} et al., J. Autom. Reasoning 66, No. 1, 141--171 (2022; Zbl 07498610) 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
Finkbeiner, Bernd (ed.); Wies, Thomas (ed.) Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. (English) Zbl 07496176 Lecture Notes in Computer Science 13182. Cham: Springer (ISBN 978-3-030-94582-4/pbk; 978-3-030-94583-1/ebook). x, 520 p. (2022). MSC: 68-06 68Q60 00B25 PDF BibTeX XML Cite \textit{B. Finkbeiner} (ed.) and \textit{T. Wies} (ed.), Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16--18, 2022. Proceedings. Cham: Springer (2022; Zbl 07496176) Full Text: DOI OpenURL
Carvalho, Catarina; Martin, Barnaby The lattice and semigroup structure of multipermutations. (English) Zbl 07492582 Int. J. Algebra Comput. 32, No. 2, 211-235 (2022). MSC: 06B05 68Q15 20M10 03C05 PDF BibTeX XML Cite \textit{C. Carvalho} and \textit{B. Martin}, Int. J. Algebra Comput. 32, No. 2, 211--235 (2022; Zbl 07492582) Full Text: DOI arXiv OpenURL
Freedman, Michael; Haah, Jeongwan; Hastings, Matthew B. The group structure of quantum cellular automata. (English) Zbl 1487.81041 Commun. Math. Phys. 389, No. 3, 1277-1302 (2022). MSC: 81P68 68Q80 81Q93 81S25 60G50 68Q60 81R12 PDF BibTeX XML Cite \textit{M. Freedman} et al., Commun. Math. Phys. 389, No. 3, 1277--1302 (2022; Zbl 1487.81041) Full Text: DOI arXiv OpenURL
Bozzelli, Laura; Murano, Aniello; Peron, Adriano Context-free timed formalisms: robust automata and linear temporal logics. (English) Zbl 07488446 Inf. Comput. 283, Article ID 104673, 30 p. (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{L. Bozzelli} et al., Inf. Comput. 283, Article ID 104673, 30 p. (2022; Zbl 07488446) Full Text: DOI OpenURL
Bavendiek, Kai; Schupp, Sibylle A process calculus for privacy-preserving protocols in location-based service systems. (English) Zbl 07485816 J. Log. Algebr. Methods Program. 125, Article ID 100735, 30 p. (2022). MSC: 68-XX PDF BibTeX XML Cite \textit{K. Bavendiek} and \textit{S. Schupp}, J. Log. Algebr. Methods Program. 125, Article ID 100735, 30 p. (2022; Zbl 07485816) Full Text: DOI OpenURL
Chen, Haibo; Gao, Xin Mathematics and software verification. (English) Zbl 07481172 Heng, Liao (ed.) et al., Mathematics for future computing and communications. Cambridge: Cambridge University Press. 54-73 (2022). MSC: 68N30 03B70 68N18 68Q60 PDF BibTeX XML Cite \textit{H. Chen} and \textit{X. Gao}, in: Mathematics for future computing and communications. Cambridge: Cambridge University Press. 54--73 (2022; Zbl 07481172) Full Text: Link OpenURL
Bickel, David R. Coherent checking and updating of Bayesian models without specifying the model space: a decision-theoretic semantics for possibility theory. (English) Zbl 07478939 Int. J. Approx. Reasoning 142, 81-93 (2022). MSC: 68T37 PDF BibTeX XML Cite \textit{D. R. Bickel}, Int. J. Approx. Reasoning 142, 81--93 (2022; Zbl 07478939) Full Text: DOI OpenURL
Tan, Falong; Zhu, Lixing Integrated conditional moment test and beyond: when the number of covariates is divergent. (English) Zbl 07474104 Biometrika 109, No. 1, 103-122 (2022). MSC: 62-XX PDF BibTeX XML Cite \textit{F. Tan} and \textit{L. Zhu}, Biometrika 109, No. 1, 103--122 (2022; Zbl 07474104) Full Text: DOI arXiv OpenURL
Mahmood, Yasir; Meier, Arne Parameterised complexity of model checking and satisfiability in propositional dependence logic. (English) Zbl 07473202 Ann. Math. Artif. Intell. 90, No. 2-3, 271-296 (2022). MSC: 68Q25 03B70 PDF BibTeX XML Cite \textit{Y. Mahmood} and \textit{A. Meier}, Ann. Math. Artif. Intell. 90, No. 2--3, 271--296 (2022; Zbl 07473202) Full Text: DOI arXiv OpenURL
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption. (English) Zbl 07471713 Log. Methods Comput. Sci. 18, No. 1, Paper No. 24, 25 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{L. Bozzelli} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 24, 25 p. (2022; Zbl 07471713) Full Text: arXiv Link 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
Selvaratnam, Daniel; Cantoni, Michael; Davoren, J. M.; Shames, Iman Sampling polynomial trajectories for LTL verification. (English) Zbl 1478.68174 Theor. Comput. Sci. 897, 135-163 (2022). MSC: 68Q60 03B44 68T40 68W30 PDF BibTeX XML Cite \textit{D. Selvaratnam} et al., Theor. Comput. Sci. 897, 135--163 (2022; Zbl 1478.68174) Full Text: DOI arXiv OpenURL
Zhang, Yan; Zhu, Zhaohui; Zhang, Jinjin Encoding safety in \(\mathrm{CLL}_R\). (English) Zbl 07437213 Theor. Comput. Sci. 897, 64-82 (2022). Reviewer: Martin Lange (Kassel) MSC: 68Q85 03B44 68Q60 PDF BibTeX XML Cite \textit{Y. Zhang} et al., Theor. Comput. Sci. 897, 64--82 (2022; Zbl 07437213) Full Text: DOI OpenURL
Gommerstadt, Hannah; Jia, Limin; Pfenning, Frank Session-typed concurrent contracts. (English) Zbl 1487.68165 J. Log. Algebr. Methods Program. 124, Article ID 100731, 24 p. (2022). Reviewer: Antti Valmari (Jyväskylä) MSC: 68Q85 68N18 68Q60 PDF BibTeX XML Cite \textit{H. Gommerstadt} et al., J. Log. Algebr. Methods Program. 124, Article ID 100731, 24 p. (2022; Zbl 1487.68165) Full Text: DOI OpenURL
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto Metalevel transformation of strategies. (English) Zbl 07432502 J. Log. Algebr. Methods Program. 124, Article ID 100728, 21 p. (2022). MSC: 68Q60 68Q42 PDF BibTeX XML Cite \textit{R. Rubio} et al., J. Log. Algebr. Methods Program. 124, Article ID 100728, 21 p. (2022; Zbl 07432502) Full Text: DOI OpenURL
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto Simulating and model checking membrane systems using strategies in Maude. (English) Zbl 07432501 J. Log. Algebr. Methods Program. 124, Article ID 100727, 25 p. (2022). MSC: 68Q07 68Q42 68Q60 PDF BibTeX XML Cite \textit{R. Rubio} et al., J. Log. Algebr. Methods Program. 124, Article ID 100727, 25 p. (2022; Zbl 07432501) Full Text: DOI OpenURL
Russinoff, David M. Formal verification of floating-point hardware design. A mathematical approach. 2nd edition. (English) Zbl 1486.68005 Cham: Springer (ISBN 978-3-030-87180-2/hbk; 978-3-030-87183-3/pbk; 978-3-030-87181-9/ebook). xxviii, 436 p. (2022). MSC: 68-02 68M07 68Q60 PDF BibTeX XML Cite \textit{D. M. Russinoff}, Formal verification of floating-point hardware design. A mathematical approach. 2nd edition. Cham: Springer (2022; Zbl 1486.68005) Full Text: DOI OpenURL
Ariza-Hernandez, Francisco J.; Martin-Alvarez, Luis M.; Arciga-Alejandre, Martin P.; Sanchez-Ortiz, Jorge Bayesian inversion for a fractional Lotka-Volterra model: an application of Canadian lynx vs. snowshoe hares. (English) Zbl 07568961 Chaos Solitons Fractals 151, Article ID 111278, 5 p. (2021). MSC: 34A55 34A08 62F15 PDF BibTeX XML Cite \textit{F. J. Ariza-Hernandez} et al., Chaos Solitons Fractals 151, Article ID 111278, 5 p. (2021; Zbl 07568961) Full Text: DOI OpenURL
Trezzy, Mickaël; Ober, Ileana; Ober, Iulian; Oliveira, Raquel Applying MDE to ROS systems: a comparative analysis. (English) Zbl 07560045 Sci. Ann. Comput. Sci. 31, No. 1, 111-144 (2021). MSC: 68Txx 93Cxx PDF BibTeX XML Cite \textit{M. Trezzy} et al., Sci. Ann. Comput. Sci. 31, No. 1, 111--144 (2021; Zbl 07560045) Full Text: DOI OpenURL
Cristiá, Maximiliano; Rossi, Gianfranco \(\{\mathit{log}\}\): set formulas as programs. (English) Zbl 07552282 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 07552282) Full Text: DOI OpenURL
Kourtis, G.; Dixon, C.; Fisher, M.; Lisitsa, A. Parameterized verification of leader/follower systems via first-order temporal logic. (English) Zbl 07548213 Form. Methods Syst. Des. 58, No. 3, 440-468 (2021). MSC: 68Q60 03B44 68Q85 PDF BibTeX XML Cite \textit{G. Kourtis} et al., Form. Methods Syst. Des. 58, No. 3, 440--468 (2021; Zbl 07548213) Full Text: DOI OpenURL
Dureja, Rohit; Rozier, Kristin Y. Incremental design-space model checking via reusable reachable state approximations. (English) Zbl 07548211 Form. Methods Syst. Des. 58, No. 3, 375-398 (2021). MSC: 68Q60 68T20 90B20 93C95 PDF BibTeX XML Cite \textit{R. Dureja} and \textit{K. Y. Rozier}, Form. Methods Syst. Des. 58, No. 3, 375--398 (2021; Zbl 07548211) Full Text: DOI OpenURL
Alur, Rajeev; Fisman, Dana Colored nested words. (English) Zbl 07548210 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 07548210) Full Text: DOI OpenURL
Pedersen, Mina Young; Slavkovik, Marija; Smets, Sonja Social bot detection as a temporal logic model checking problem. (English) Zbl 07547767 Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 158-173 (2021). MSC: 68T27 PDF BibTeX XML Cite \textit{M. Y. Pedersen} et al., Lect. Notes Comput. Sci. 13039, 158--173 (2021; Zbl 07547767) Full Text: DOI OpenURL
Latte, Markus Branching-time logics and fairness, revisited. (English) Zbl 07547345 Math. Struct. Comput. Sci. 31, No. 9, 1135-1144 (2021). MSC: 68Q60 03B44 PDF BibTeX XML Cite \textit{M. Latte}, Math. Struct. Comput. Sci. 31, No. 9, 1135--1144 (2021; Zbl 07547345) Full Text: DOI OpenURL
Krit, Meryam; Gaudoin, Olivier; Remy, Emmanuel Goodness-of-fit tests for the Weibull and extreme value distributions: a review and comparative study. (English) Zbl 07545643 Commun. Stat., Simulation Comput. 50, No. 7, 1888-1911 (2021). MSC: 62-XX PDF BibTeX XML Cite \textit{M. Krit} et al., Commun. Stat., Simulation Comput. 50, No. 7, 1888--1911 (2021; Zbl 07545643) Full Text: DOI OpenURL
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel Automatic verification of concurrent stochastic systems. (English) Zbl 07544945 Form. Methods Syst. Des. 58, No. 1-2, 188-250 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{M. Kwiatkowska} et al., Form. Methods Syst. Des. 58, No. 1--2, 188--250 (2021; Zbl 07544945) Full Text: DOI OpenURL
Lang, Frédéric; Mateescu, Radu; Mazzanti, Franco Compositional verification of concurrent systems by combining bisimulations. (English) Zbl 07544942 Form. Methods Syst. Des. 58, No. 1-2, 83-125 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{F. Lang} et al., Form. Methods Syst. Des. 58, No. 1--2, 83--125 (2021; Zbl 07544942) Full Text: DOI 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 07544355 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 07544355) Full Text: DOI Link OpenURL
Formisano, Andrea (ed.); Liu, Yanhong Annie (ed.); Bogaerts, Bart (ed.); Brik, Alex (ed.); Dahl, Veronica (ed.); Dodaro, Carmine (ed.); Fodor, Paul (ed.); Pozzato, Gian Luca (ed.); Vennekens, Joost (ed.); Zhou, Neng-Fa (ed.) Proceedings of the 37th international conference on logic programming (technical communications), ICLP, Porto, virtual event, September 20–27, 2021. (English) Zbl 07544354 Electronic Proceedings in Theoretical Computer Science (EPTCS) 345. Waterloo: Open Publishing Association (OPA). 309 p., electronic only, open access (2021). MSC: 68-06 68Q60 00B25 PDF BibTeX XML Cite \textit{A. Formisano} (ed.) et al., Proceedings of the 37th international conference on logic programming (technical communications), ICLP, Porto, virtual event, September 20--27, 2021. Waterloo: Open Publishing Association (OPA) (2021; Zbl 07544354) Full Text: DOI Link OpenURL
Hojjat, Hossein (ed.); Kafle, Bishoksan (ed.) Proceedings of the 8th workshop on Horn clauses for verification and synthesis, HCVS, virtual, March 28, 2021. (English) Zbl 07544353 Electronic Proceedings in Theoretical Computer Science (EPTCS) 344. Waterloo: Open Publishing Association (OPA). 108 p., electronic only, open access (2021). MSC: 68-06 68Q60 00B25 PDF BibTeX XML Cite \textit{H. Hojjat} (ed.) and \textit{B. Kafle} (ed.), Proceedings of the 8th workshop on Horn clauses for verification and synthesis, HCVS, virtual, March 28, 2021. Waterloo: Open Publishing Association (OPA) (2021; Zbl 07544353) Full Text: DOI Link OpenURL
Lisitsa, Alexei (ed.); Nemytykh, Andrei P. (ed.) Proceedings of the 9th international workshop on verification and program transformation, VPT, Luxembourg, Luxembourg, March 27–28, 2021. (English) Zbl 07544351 Electronic Proceedings in Theoretical Computer Science (EPTCS) 341. Waterloo: Open Publishing Association (OPA). 94 p., electronic only, open access (2021). MSC: 68-06 68N30 68Q60 00B25 PDF BibTeX XML Cite \textit{A. Lisitsa} (ed.) and \textit{A. P. Nemytykh} (ed.), Proceedings of the 9th international workshop on verification and program transformation, VPT, Luxembourg, Luxembourg, March 27--28, 2021. Waterloo: Open Publishing Association (OPA) (2021; Zbl 07544351) Full Text: DOI Link OpenURL
Sierra, Pablo BDI logic applied to a dialogical interpretation of human-machine cooperative dialogues. (English) Zbl 07542765 Log. J. IGPL 29, No. 4, 536-548 (2021). MSC: 03B70 03B42 68Q60 68T27 PDF BibTeX XML Cite \textit{P. Sierra}, Log. J. IGPL 29, No. 4, 536--548 (2021; Zbl 07542765) Full Text: DOI OpenURL
Mazurek, Łukasz EthVer: formal verification of randomized Ethereum smart contracts. (English) Zbl 07535925 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 07535925) Full Text: DOI OpenURL
Sun, Xinyuan; Lin, Shaokai; Sjöberg, Vilhelm; Jie, Jay How to exploit a DeFi project. (English) Zbl 07535909 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 07535909) Full Text: DOI OpenURL
Oliveira, Rodrigo A.; Paula, Gilberto A. Additive models with autoregressive symmetric errors based on penalized regression splines. (English) Zbl 07524035 Comput. Stat. 36, No. 4, 2435-2466 (2021). MSC: 62G08 62J05 62J20 65C60 PDF BibTeX XML Cite \textit{R. A. Oliveira} and \textit{G. A. Paula}, Comput. Stat. 36, No. 4, 2435--2466 (2021; Zbl 07524035) Full Text: DOI OpenURL
Al-Labadi, Luai; Patel, Vishakh; Vakiloroayaei, Kasra; Wan, Clement Kullback-Leibler divergence for Bayesian nonparametric model checking. (English) Zbl 1484.62050 J. Korean Stat. Soc. 50, No. 1, 272-289 (2021). MSC: 62G10 62B10 62F15 PDF BibTeX XML Cite \textit{L. Al-Labadi} et al., J. Korean Stat. Soc. 50, No. 1, 272--289 (2021; Zbl 1484.62050) Full Text: DOI OpenURL
Phyo, Yati; Do, Canh Minh; Ogata, Kazuhiro A divide & conquer approach to conditional stable model checking. (English) Zbl 07500640 Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 105-111 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{Y. Phyo} et al., Lect. Notes Comput. Sci. 12819, 105--111 (2021; Zbl 07500640) Full Text: DOI OpenURL
Khan, Muhammad Hannan; Hassan, Osman; Khan, Shahid Accelerating SpMV multiplication in probabilistic model checkers using GPUs. (English) Zbl 07500639 Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 86-104 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. H. Khan} et al., Lect. Notes Comput. Sci. 12819, 86--104 (2021; Zbl 07500639) Full Text: DOI OpenURL
Piho, Paul; Hillston, Jane Active and sparse methods in smoothed model checking. (English) Zbl 07498050 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, 217-234 (2021). MSC: 68Q60 68Q87 68T05 PDF BibTeX XML Cite \textit{P. Piho} and \textit{J. Hillston}, Lect. Notes Comput. Sci. 12846, 217--234 (2021; Zbl 07498050) Full Text: DOI OpenURL
Teuber, Samuel; Weigl, Alexander Quantifying software reliability via model-counting. (English) Zbl 07498042 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, 59-79 (2021). MSC: 68Q60 68N30 PDF BibTeX XML Cite \textit{S. Teuber} and \textit{A. Weigl}, Lect. Notes Comput. Sci. 12846, 59--79 (2021; Zbl 07498042) Full Text: DOI OpenURL
Hartmanns, Arnd; Katoen, Joost-Pieter; Kohlen, Bram; Spel, Jip Tweaking the odds in probabilistic timed automata. (English) Zbl 07498041 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 07498041) Full Text: DOI OpenURL
Nxumalo, Madoda; Timm, Nils; Gruner, Stefan Spotlight abstraction in model checking real-time task schedulability. (English) Zbl 07497973 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 07497973) Full Text: DOI OpenURL
Amat, Nicolas; Dal Zilio, Silvano; Le Botlan, Didier Accelerating the computation of dead and concurrent places using reductions. (English) Zbl 07497972 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, 45-62 (2021). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{N. Amat} et al., Lect. Notes Comput. Sci. 12864, 45--62 (2021; Zbl 07497972) Full Text: DOI OpenURL
Stoelinga, Marielle; Kolb, Christina; Nicoletti, Stefano M.; Budde, Carlos E.; Hahn, Ernst Moritz The marriage between safety and cybersecurity: still practicing. (English) Zbl 07497970 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, 3-21 (2021). MSC: 68M25 68M15 68Q60 68T37 91A80 PDF BibTeX XML Cite \textit{M. Stoelinga} et al., Lect. Notes Comput. Sci. 12864, 3--21 (2021; Zbl 07497970) Full Text: DOI OpenURL
Wulandari, Gia S.; Plump, Detlef Verifying graph programs with monadic second-order logic. (English) Zbl 07493665 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 240-261 (2021). MSC: 68N30 03B70 68Q42 68Q60 68R10 PDF BibTeX XML Cite \textit{G. S. Wulandari} and \textit{D. Plump}, Lect. Notes Comput. Sci. 12741, 240--261 (2021; Zbl 07493665) Full Text: DOI OpenURL
Maximova, Maria; Schneider, Sven; Giese, Holger Interval probabilistic timed graph transformation systems. (English) Zbl 07493664 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 221-239 (2021). MSC: 68Q42 68Q60 68Q87 PDF BibTeX XML Cite \textit{M. Maximova} et al., Lect. Notes Comput. Sci. 12741, 221--239 (2021; Zbl 07493664) Full Text: DOI OpenURL
Kang, Jiawen; Bai, Yunjun; Jiao, Li Abstraction-based incremental inductive coverability for Petri nets. (English) Zbl 07493586 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, 379-398 (2021). MSC: 68Q85 68Q60 68W05 PDF BibTeX XML Cite \textit{J. Kang} et al., Lect. Notes Comput. Sci. 12734, 379--398 (2021; Zbl 07493586) Full Text: DOI OpenURL
Jezequel, Loïg; Lime, Didier; Sérée, Bastien A lazy query scheme for reachability analysis in Petri nets. (English) Zbl 07493585 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, 360-378 (2021). MSC: 68Q85 68Q60 68W05 PDF BibTeX XML Cite \textit{L. Jezequel} et al., Lect. Notes Comput. Sci. 12734, 360--378 (2021; Zbl 07493585) Full Text: DOI OpenURL
Bouvier, Pierre; Garavel, Hubert Efficient algorithms for three reachability problems in safe Petri nets. (English) Zbl 07493584 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, 339-359 (2021). MSC: 68Q85 68Q60 68W05 PDF BibTeX XML Cite \textit{P. Bouvier} and \textit{H. Garavel}, Lect. Notes Comput. Sci. 12734, 339--359 (2021; Zbl 07493584) Full Text: DOI OpenURL
Haustermann, Michael; Mosteller, David; Moldt, Daniel Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets. (English) Zbl 07493579 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, 230-249 (2021). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{M. Haustermann} et al., Lect. Notes Comput. Sci. 12734, 230--249 (2021; Zbl 07493579) Full Text: DOI OpenURL
Wallner, Sophie; Wolf, Karsten Skeleton abstraction for universal temporal properties. (English) Zbl 07493577 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, 186-207 (2021). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{S. Wallner} and \textit{K. Wolf}, Lect. Notes Comput. Sci. 12734, 186--207 (2021; Zbl 07493577) Full Text: DOI OpenURL
Amat, Nicolas; Berthomieu, Bernard; Dal Zilio, Silvano On the combination of polyhedral abstraction and SMT-based model checking for Petri nets. (English) Zbl 07493576 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, 164-185 (2021). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{N. Amat} et al., Lect. Notes Comput. Sci. 12734, 164--185 (2021; Zbl 07493576) Full Text: DOI OpenURL
Esparza, Javier; Raskin, Mikhail; Welzel, Christoph Computing parameterized invariants of parameterized Petri nets. (English) Zbl 07493575 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, 141-163 (2021). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{J. Esparza} et al., Lect. Notes Comput. Sci. 12734, 141--163 (2021; Zbl 07493575) Full Text: DOI OpenURL
Didriksen, Martin; Jensen, Peter G.; Jønler, Jonathan F.; Katona, Andrei-Ioan; Lama, Sangey D. L.; Lottrup, Frederik B.; Shajarat, Shahab; Srba, Jiří Automatic synthesis of transiently correct network updates via Petri games. (English) Zbl 07493574 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, 118-137 (2021). MSC: 68Q85 68M10 68Q60 68R10 91A80 PDF BibTeX XML Cite \textit{M. Didriksen} et al., Lect. Notes Comput. Sci. 12734, 118--137 (2021; Zbl 07493574) Full Text: DOI OpenURL
Gieseking, Manuel; Würdemann, Nick Canonical representations for direct generation of strategies in high-level Petri games. (English) Zbl 07493573 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, 95-117 (2021). MSC: 68Q85 68Q60 91A80 PDF BibTeX XML Cite \textit{M. Gieseking} and \textit{N. Würdemann}, Lect. Notes Comput. Sci. 12734, 95--117 (2021; Zbl 07493573) Full Text: DOI OpenURL
Haddad, Serge; Lime, Didier; Roux, Olivier H. A turn-based approach for qualitative time concurrent games. (English) Zbl 07493572 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, 76-92 (2021). MSC: 68Q85 68Q60 91A80 PDF BibTeX XML Cite \textit{S. Haddad} et al., Lect. Notes Comput. Sci. 12734, 76--92 (2021; Zbl 07493572) Full Text: DOI OpenURL
Parrot, Rémi; Briday, Mikaël; Roux, Olivier H. Timed Petri nets with reset for pipelined synchronous circuit design. (English) Zbl 07493571 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 07493571) Full Text: DOI OpenURL
Zalakain, Uma; Dardha, Ornela \( \pi\) with leftovers: a mechanisation in Agda. (English) Zbl 07493477 Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 157-174 (2021). MSC: 68Q85 03B70 68N30 68Q60 68V20 PDF BibTeX XML Cite \textit{U. Zalakain} and \textit{O. Dardha}, Lect. Notes Comput. Sci. 12719, 157--174 (2021; Zbl 07493477) Full Text: DOI OpenURL
Castiglioni, Valentina; Loreti, Michele; Tini, Simone How adaptive and reliable is your program? (English) Zbl 07493472 Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 60-79 (2021). MSC: 68Q60 68N30 68Q85 68Q87 PDF BibTeX XML Cite \textit{V. Castiglioni} et al., Lect. Notes Comput. Sci. 12719, 60--79 (2021; Zbl 07493472) Full Text: DOI OpenURL
Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna On bidirectional runtime enforcement. (English) Zbl 07493469 Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 3-21 (2021). MSC: 68Q60 03B70 68Q85 PDF BibTeX XML Cite \textit{L. Aceto} et al., Lect. Notes Comput. Sci. 12719, 3--21 (2021; Zbl 07493469) Full Text: DOI OpenURL
Mitani, Yo; Kobayashi, Naoki; Tsukada, Takeshi A probabilistic higher-order fixpoint logic. (English) Zbl 07471675 Log. Methods Comput. Sci. 17, No. 4, Paper No. 15, 36 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{Y. Mitani} et al., Log. Methods Comput. Sci. 17, No. 4, Paper No. 15, 36 p. (2021; Zbl 07471675) Full Text: arXiv Link OpenURL
Sproston, Jeremy Probabilistic timed automata with one clock and initialised clock-dependent probabilities. (English) Zbl 07471666 Log. Methods Comput. Sci. 17, No. 4, Paper No. 6, 35 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{J. Sproston}, Log. Methods Comput. Sci. 17, No. 4, Paper No. 6, 35 p. (2021; Zbl 07471666) Full Text: arXiv Link OpenURL
Thierry-Mieg, Yann Symbolic and structural model-checking. (English) Zbl 07467849 Fundam. Inform. 183, No. 3-4, 319-342 (2021). MSC: 68-XX 68-XX PDF BibTeX XML Cite \textit{Y. Thierry-Mieg}, Fundam. Inform. 183, No. 3--4, 319--342 (2021; Zbl 07467849) Full Text: DOI arXiv OpenURL
André, Étienne; Coquard, Emmanuel; Fribourg, Laurent; Jerray, Jawher; Lesens, David Parametric schedulability analysis of a launcher flight control system under reactivity constraints. (English) Zbl 07467824 Fundam. Inform. 182, No. 1, 31-67 (2021). MSC: 68-XX 68-XX PDF BibTeX XML Cite \textit{É. André} et al., Fundam. Inform. 182, No. 1, 31--67 (2021; Zbl 07467824) Full Text: DOI arXiv OpenURL
Alechina, Natasha; van Ditmarsch, Hans; Galimullin, Rustam; Wang, Tuo Verification and strategy synthesis for coalition announcement logic. (English) Zbl 07465844 J. Logic Lang. Inf. 30, No. 4, 671-700 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{N. Alechina} et al., J. Logic Lang. Inf. 30, No. 4, 671--700 (2021; Zbl 07465844) Full Text: DOI OpenURL
Hou, Zhe (ed.); Ganesh, Vijay (ed.) Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. (English) Zbl 07458676 Lecture Notes in Computer Science 12971. Cham: Springer (ISBN 978-3-030-88884-8/pbk; 978-3-030-88885-5/ebook). xv, 382 p. (2021). MSC: 68-06 68Q60 00B25 PDF BibTeX XML Cite \textit{Z. Hou} (ed.) and \textit{V. Ganesh} (ed.), Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18--22, 2021. Proceedings. Cham: Springer (2021; Zbl 07458676) Full Text: DOI OpenURL
Li, Chengbo; Zhou, Yong The estimation for the general additive-multiplicative hazard model using the length-biased survival data. (English) Zbl 1477.62275 Stat. Pap. 62, No. 1, 53-74 (2021). MSC: 62N02 PDF BibTeX XML Cite \textit{C. Li} and \textit{Y. Zhou}, Stat. Pap. 62, No. 1, 53--74 (2021; Zbl 1477.62275) Full Text: DOI OpenURL
Cordy, Maxime; Lazreg, Sami; Papadakis, Mike; Legay, Axel Statistical model checking for variability-intensive systems: applications to bug detection and minimization. (English) Zbl 07455782 Formal Asp. Comput. 33, No. 6, 1147-1172 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{M. Cordy} et al., Formal Asp. Comput. 33, No. 6, 1147--1172 (2021; Zbl 07455782) Full Text: DOI OpenURL
Menghi, Claudio; Rizzi, Alessandro Maria; Bernasconi, Anna; Spoletini, Paola TOrPEDO : witnessing model correctness with topological proofs. (English) Zbl 07455779 Formal Asp. Comput. 33, No. 6, 1039-1066 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{C. Menghi} et al., Formal Asp. Comput. 33, No. 6, 1039--1066 (2021; Zbl 07455779) Full Text: DOI OpenURL
Basile, Davide; Fantechi, Alessandro; Rucher, Luigi; Mandò, Gianluca Analysing an autonomous tramway positioning system with the Uppaal statistical model checker. (English) Zbl 07455775 Formal Asp. Comput. 33, No. 6, 957-987 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{D. Basile} et al., Formal Asp. Comput. 33, No. 6, 957--987 (2021; Zbl 07455775) Full Text: DOI OpenURL
Peleska, Jan; Krafczyk, Niklas; Haxthausen, Anne E.; Pinger, Ralf Efficient data validation for geographical interlocking systems. (English) Zbl 07455774 Formal Asp. Comput. 33, No. 6, 925-955 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{J. Peleska} et al., Formal Asp. Comput. 33, No. 6, 925--955 (2021; Zbl 07455774) Full Text: DOI OpenURL
Khoroshilov, A. V. Verification of compliance for multilevel models in individual trace semantics. (English) Zbl 1485.68152 Program. Comput. Softw. 47, No. 7, 515-521 (2021). MSC: 68Q60 68Q55 PDF BibTeX XML Cite \textit{A. V. Khoroshilov}, Program. Comput. Softw. 47, No. 7, 515--521 (2021; Zbl 1485.68152) Full Text: DOI OpenURL
Gutierrez, Julian; Murano, Aniello; Perelli, Giuseppe; Rubin, Sasha; Steeples, Thomas; Wooldridge, Michael Equilibria for games with combined qualitative and quantitative objectives. (English) Zbl 1483.68193 Acta Inf. 58, No. 6, 585-610 (2021). MSC: 68Q60 03B44 68T42 91A80 PDF BibTeX XML Cite \textit{J. Gutierrez} et al., Acta Inf. 58, No. 6, 585--610 (2021; Zbl 1483.68193) Full Text: DOI arXiv OpenURL
Dannert, Katrin M.; Grädel, Erich Semiring provenance for guarded logics. (English) Zbl 07442308 Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 53-79 (2021). MSC: 68-XX 03-XX PDF BibTeX XML Cite \textit{K. M. Dannert} and \textit{E. Grädel}, Outst. Contrib. Log. 19, 53--79 (2021; Zbl 07442308) Full Text: DOI OpenURL
Blondin, Michael; Esparza, Javier; Jaax, Stefan; Meyer, Philipp J. Towards efficient verification of population protocols. (English) Zbl 1487.68032 Form. Methods Syst. Des. 57, No. 3, 305-342 (2021). MSC: 68M14 68M12 68Q25 68Q60 PDF BibTeX XML Cite \textit{M. Blondin} et al., Form. Methods Syst. Des. 57, No. 3, 305--342 (2021; Zbl 1487.68032) Full Text: DOI arXiv OpenURL
Griggio, Alberto; Roveri, Marco; Tonetta, Stefano Certifying proofs for SAT-based model checking. (English) Zbl 07440321 Form. Methods Syst. Des. 57, No. 2, 178-210 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{A. Griggio} et al., Form. Methods Syst. Des. 57, No. 2, 178--210 (2021; Zbl 07440321) Full Text: DOI OpenURL
Nott, David J.; Seah, Max; Al-Labadi, Luai; Evans, Michael; Ng, Hui Khoon; Englert, Berthold-Georg Using prior expansions for prior-data conflict checking. (English) Zbl 1480.62150 Bayesian Anal. 16, No. 1, 203-231 (2021). MSC: 62J07 62A01 PDF BibTeX XML Cite \textit{D. J. Nott} et al., Bayesian Anal. 16, No. 1, 203--231 (2021; Zbl 1480.62150) Full Text: DOI arXiv Euclid 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
Francalanza, Adrian A theory of monitors. (English) Zbl 1475.68206 Inf. Comput. 281, Article ID 104704, 29 p. (2021). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{A. Francalanza}, Inf. Comput. 281, Article ID 104704, 29 p. (2021; Zbl 1475.68206) Full Text: DOI OpenURL
Englert, Berthold-Georg; Evans, Michael; Jang, Gun Ho; Ng, Hui Khoon; Nott, David; Seah, Yi-Lin Checking for model failure and for prior-data conflict with the constrained multinomial model. (English) Zbl 1479.62017 Metrika 84, No. 8, 1141-1168 (2021). MSC: 62F15 PDF BibTeX XML Cite \textit{B.-G. Englert} et al., Metrika 84, No. 8, 1141--1168 (2021; Zbl 1479.62017) Full Text: DOI OpenURL