[1] Beneš, N., Brim, L., Demko, M., Pastva, S., Šafránek, D.: Pithya: A parallel tool for parameter synthesis of piecewise multi-affine dynamical systems. In: Majumdar, R., Kunčak, V. (eds.) CAV 2017. LNCS, vol. 10426, pp. 591-598. Springer (2017)
[2] Barnat, J., Beneš, N., Brim, L., Demko, M., Hajnal, M., Pastva, S., Šafránek, D.: Detecting attractors in biological models with uncertain parameters. In: Feret, J., Koeppl, H. (eds.) CMSB 2017. LNBI, vol. 10545. Springer (2017), to appear.


[3] Beneš, N., Brim, L., Demko, M., Pastva, S., Šafránek, D.: Parallel SMT-based parameter synthesis with application to piecewise multi-affine systems. In: Artho, C., Legay, A., Peled, D. (eds.) ATVA 2016. LNCS, vol. 9938, pp. 192-208. Springer (2016)
[4] Demko, M., Beneš, N., Brim, L., Pastva, S., Šafránek, D.: High-performance symbolic parameter synthesis of biological models: A case study. In: Bartocci, E., Lio, P., Paoletti, N. (eds.) CMSB 2016. LNBI, vol. 9859, pp. 82-97. Springer (2016)
[5] Češka, M., Pilař, P., Paoletti, N., Brim, L., Kwiatkowska, M.Z.: PRISM-PSY: precise gpu-accelerated parameter synthesis for stochastic systems. In: Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. vol. 9636, pp. 367-384. Springer (2016)
[6] Hajnal, M., Šafránek, D., Demko, M., Pastva, S., Krejčí, P., Brim, L.: Toward modelling and analysis of transient and sustained behaviour of signalling pathways. In: Cinquemani, E., Donzé, A. (eds.) HSB 2016. LNBI, vol. 9957, pp. 57-66. Springer (2016)
[7] Beneš, N., Brim, L., Demko, M., Pastva, S., Šafránek, D.: A model checking approach to discrete bifurcation analysis. In: Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (eds.) FM 2016. LNCS, vol. 9995, pp. 85-101. Springer (2016)


[8] Brim, L., Demko, M., Pastva, S., Šafránek, D.: High-performance discrete bifurcation analysis for piecewise-affine dynamical systems. In: Abate, A., Šafránek, D. (eds.) HSB 2015. LNBI, vol. 9271, pp. 58-74. Springer (2015)
[9] Brim, L., Demko, M., Češka, M., Pastva, S., Šafránek, D.: Parameter synthesis by parallel coloured CTL model checking. In: Roux, O., Bourdon, J. (eds.) CMSB 2015. LNBI, vol. 9308, pp. 251-263. Springer (2015)


[10] Brim, L., Dluhoš, P., Šafránek, D., Vejpustek, T.: STL*: Extending signal temporal logic with signal-value freezing operator. Information and Computation 236, 52-67 (2014), special Issue on Hybrid Systems and Biology


[11] Brim, L., Češka, M., Šafránek, D.: Model checking of biological systems. In: Bernardo, M., de Vink, E., Di Pierro, A., Wiklicky, H. (eds.) FMDS 2013. LNCS, vol. 7938, pp. 63-112. Springer (2013)
[12] Brim, L., Vejpustek, T., Šafránek, D., Fabriková, J.: Robustness analysis for value-freezing signal temporal logic. In: Proceedings Second International Workshop on Hybrid Systems and Biology, HSB 2013, Taormina, Italy, 2nd September 2013. EPTCS, vol. 125, pp. 20-36 (2013)


[13] Barnat, J., Brim, L., Krejčí, A., Streck, A., Šafránek, D., Vejnár, M., Vejpustek, T.: On Parameter Synthesis by Parallel Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics 9(3), 693-705 (2012)


[14] Collins, P.J., Habets, L.C., van Schuppen, J.H., Černá, I., Fabriková, J., Šafránek, D.: Abstraction of biochemical reaction systems on polytopes. IFAC Proceedings Volumes 44(1), 14869-14875 (2011)


[15] Barnat, J., Brim, L., Šafránek, D.: High-performance analysis of biological systems dynamics with the DiVinE model checker. Briefings in Bioinformatics 11(3), 301-312 (2010)
[16] Barnat, J., Brim, L., Šafránek, D., Vejnár, M.: Parameter Scanning by Parallel Model Checking with Applications in Systems Biology. In: HiBi/PDMC 2010. pp. 95-104. IEEE Computer Society Press (2010)
[17] Barnat, J., Brim, L., Safránek, D.: High-performance analysis of biological systems dynamics with the divine model checker. Brief. Bioinform 11(3), 301-312 (2010)


[18] Barnat, J., Brim, L., Černá, I., Dražan, S., Fabriková, J., Šafránek, D.: Computational Analysis of Large-Scale Multi-Affine ODE Models. In: HiBi 2009. pp. 81-90. IEEE Computer Society Press (2009)


[19] Brim, L., Yorav, K., Žídková, J.: Assumption-based distribution of CTL model checking. STTT 7(1), 61-73 (2005)

© 2009, SYBILA Laboratory, Faculty of Informatics, Masaryk University
Botanicka 68a 60200 Brno, Czech Republic / +420 549 495 990 / Fax: +420 549 491 820
For questions regarding this website, contact the sybila team.
Powered by DokuWiki