×

Found 16 Documents (Results 1–16)

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software