Banerjee, Soham; Ghosh, Sumana; Banerjee, Ansuman; Mohalik, Swarup K. SMT-based modeling and verification of spiking neural networks: a case study. (English) Zbl 07728613 Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 25-43 (2023). MSC: 68Q60 68Q07 92B20 PDFBibTeX XMLCite \textit{S. Banerjee} et al., Lect. Notes Comput. Sci. 13881, 25--43 (2023; Zbl 07728613) Full Text: DOI
Beneš, Nikola; Brim, Luboš; Pastva, Samuel; Šafránek, David Symbolic coloured SCC decomposition. (English) Zbl 1474.68210 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 64-83 (2021). MSC: 68R10 05C15 05C85 68W30 92C42 PDFBibTeX XMLCite \textit{N. Beneš} et al., Lect. Notes Comput. Sci. 12652, 64--83 (2021; Zbl 1474.68210) Full Text: DOI
De Maria, Elisabetta; Di Giusto, Cinzia; Laversa, Laetitia Spiking neural networks modelled as timed automata: with parameter learning. (English) Zbl 07802741 Nat. Comput. 19, No. 1, 135-155 (2020). MSC: 68Q07 03B44 68Q45 68Q60 68T05 92B20 92C20 PDFBibTeX XMLCite \textit{E. De Maria} et al., Nat. Comput. 19, No. 1, 135--155 (2020; Zbl 07802741) Full Text: DOI arXiv
Chai, Xinwei; Ribeiro, Tony; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi Static analysis and stochastic search for reachability problem. (English) Zbl 1458.92032 Gupta, Ankit (ed.) et al., Proceedings of SASB 2018, the 9th international workshop on static analysis and systems biology, Freiburg, Germany, August 28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 350, 139-158 (2020). MSC: 92C42 93B03 93A15 PDFBibTeX XMLCite \textit{X. Chai} et al., Electron. Notes Theor. Comput. Sci. 350, 139--158 (2020; Zbl 1458.92032) Full Text: DOI
Hagiya, Masami; Aubert-Kato, Nathanael; Wang, Shaoyu; Kobayashi, Satoshi Molecular computers for molecular robots as hybrid systems. (English) Zbl 1339.68252 Theor. Comput. Sci. 632, 4-20 (2016). MSC: 68T40 68Q05 92C40 PDFBibTeX XMLCite \textit{M. Hagiya} et al., Theor. Comput. Sci. 632, 4--20 (2016; Zbl 1339.68252) Full Text: DOI
Colvin, Robert J. Modelling and analysing neural networks using a hybrid process algebra. (English) Zbl 1336.92005 Theor. Comput. Sci. 623, 15-64 (2016). MSC: 92B20 68Q85 PDFBibTeX XMLCite \textit{R. J. Colvin}, Theor. Comput. Sci. 623, 15--64 (2016; Zbl 1336.92005) Full Text: DOI
Ballarini, Paolo; Duflot, Marie Applications of an expressive statistical model checking approach to the analysis of genetic circuits. (English) Zbl 1337.92138 Theor. Comput. Sci. 599, 4-33 (2015). MSC: 92D10 92C42 68Q60 PDFBibTeX XMLCite \textit{P. Ballarini} and \textit{M. Duflot}, Theor. Comput. Sci. 599, 4--33 (2015; Zbl 1337.92138) Full Text: DOI
Casagrande, Alberto; Piazza, Carla Unwinding biological systems. (English) Zbl 1328.92027 Theor. Comput. Sci. 587, 26-48 (2015). MSC: 92C42 68Q45 68Q85 PDFBibTeX XMLCite \textit{A. Casagrande} and \textit{C. Piazza}, Theor. Comput. Sci. 587, 26--48 (2015; Zbl 1328.92027) Full Text: DOI Link
Andreychenko, Alexander; Krüger, Thilo; Spieler, David Analyzing oscillatory behavior with formal methods. (English) Zbl 1427.92016 Remke, Anne (ed.) et al., Stochastic model checking. Rigorous dependability analysis using model checking techniques for stochastic systems. International autumn school, ROCKS 2012, Vahrn, Italy, October 22–26, 2012. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8453, 1-25 (2014). MSC: 92B25 92C40 92D25 PDFBibTeX XMLCite \textit{A. Andreychenko} et al., Lect. Notes Comput. Sci. 8453, 1--25 (2014; Zbl 1427.92016) Full Text: DOI
Olde Loohuis, Loes; Witzel, Andreas; Mishra, Bud Cancer hybrid automata: model, beliefs and therapy. (English) Zbl 1311.92106 Inf. Comput. 236, 68-86 (2014). MSC: 92C50 68Q45 PDFBibTeX XMLCite \textit{L. Olde Loohuis} et al., Inf. Comput. 236, 68--86 (2014; Zbl 1311.92106) Full Text: DOI
Brim, Luboš; Češka, Milan; Šafránek, David Model checking of biological systems. (English) Zbl 1380.92024 Bernardo, Marco (ed.) et al., Formal methods for dynamical systems. 13th international school on formal methods for the design of computer, communication, and software systems, SFM 2013, Bertinoro, Italy, June 17–22, 2013. Advanced lectures. Berlin: Springer (ISBN 978-3-642-38873-6/pbk). Lecture Notes in Computer Science 7938, 63-112 (2013). MSC: 92C42 68Q60 92-08 PDFBibTeX XMLCite \textit{L. Brim} et al., Lect. Notes Comput. Sci. 7938, 63--112 (2013; Zbl 1380.92024) Full Text: DOI
Popova-Zeugmann, Louchka Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks. (English) Zbl 1251.68162 Nat. Comput. 10, No. 3, 1017-1043 (2011). MSC: 68Q85 92C42 PDFBibTeX XMLCite \textit{L. Popova-Zeugmann}, Nat. Comput. 10, No. 3, 1017--1043 (2011; Zbl 1251.68162) Full Text: DOI
Schwarick, Martin; Tovchigrechko, Alexej IDD-based model validation of biochemical networks. (English) Zbl 1216.68197 Theor. Comput. Sci. 412, No. 26, 2884-2908 (2011). MSC: 68Q85 03B44 68Q60 92C42 PDFBibTeX XMLCite \textit{M. Schwarick} and \textit{A. Tovchigrechko}, Theor. Comput. Sci. 412, No. 26, 2884--2908 (2011; Zbl 1216.68197) Full Text: DOI
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tesei, Luca Timed P automata. (English) Zbl 1347.68127 Ciobanu, Gabriel (ed.), Proceedings of the 2nd international meeting on membrane computing and biologically inspired process calculi (MeCBIC 2008), Iaşi, Romania, September 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 227, 21-36 (2009). MSC: 68Q05 68Q10 68Q45 92D40 PDFBibTeX XMLCite \textit{R. Barbuti} et al., Electron. Notes Theor. Comput. Sci. 227, 21--36 (2009; Zbl 1347.68127) Full Text: DOI
Campagna, Dario; Piazza, Carla Hybrid automata in systems biology: how far can we go? (English) Zbl 1283.92035 Cannata, Nicola (ed.) et al., Proceedings of the 2nd workshop – from biology to concurrency and back (FBTC 2008), Reykjavik, Iceland, July 12, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 1, 93-108 (2009). MSC: 92C42 68Q45 PDFBibTeX XMLCite \textit{D. Campagna} and \textit{C. Piazza}, Electron. Notes Theor. Comput. Sci. 229, No. 1, 93--108 (2009; Zbl 1283.92035) Full Text: DOI
Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca Model checking biological oscillators. (English) Zbl 1283.92008 Cannata, Nicola (ed.) et al., Proceedings of the 2nd workshop – from biology to concurrency and back (FBTC 2008), Reykjavik, Iceland, July 12, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 1, 41-58 (2009). MSC: 92B20 68Q45 68Q60 PDFBibTeX XMLCite \textit{E. Bartocci} et al., Electron. Notes Theor. Comput. Sci. 229, No. 1, 41--58 (2009; Zbl 1283.92008) Full Text: DOI