Papers citing the author David Safranek

  1. R. Steuer, H. Knoop, and R. Machné: Modelling cyanobacteria: from metabolism to integrative models of phototrophic growth.
    In Journal of Experimental Botany, 63 of , pages 2259-2274, 2012.
    [bib,detail]
  2. H. Klarner, H. Siebert, and A. Bockmayr: Time Series Dependent Analysis of Unparametrized Thomas Networks.
    In IEEE/ACM Transactions on Computational Biology and Bioinformatics, 99 of , pages , 2012.
    [bib,detail]
  3. A. S. Alavizadeh and A. Afradi: Automated method for verification of Stochastic Graph Transformation Systems.
    In Software Engineering and Service Science (ICSESS), 2011 IEEE 2nd International Conference on, of , pages 228 -234, 2011.
    [bib,detail]
  4. R. Mateescu, P. T. Monteiro, E. Dumas, and H. de Jong: CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks.
    In Theoretical Computer Science, 412 of , pages 2854 - 2883, 2011.
    [bib,detail]
  5. J. Jablonsky, H. Bauwe, and O. Wolkenhauer: Modeling the Calvin-Benson cycle.
    In BMC Systems Biology, 5 of , pages 185, 2011.
    [bib,detail]
  6. J. Demongeot, E. Goles, M. Morvan, M. Noual, and S. Sené: Attraction Basins as Gauges of Robustness against Boundary Conditions in Biological Complex Systems.
    In PLoS ONE, 5 of , pages e11793, 2010.
    [bib,detail]
  7. G. Batt, M. Page, I. Cantone, G. Goessler, P. T. Monteiro, and H. D. Jong: Efficient Parameter Search for Qualitative Models of Regulatory Networks using Symbolic Model Checking.
    In , RR-7284 of INRIA Tech. Report Series, pages , 2010.
    [bib,detail]
  8. M. Aldinucci, M. Coppo, F. Damiani, M. Drocco, M. Torquati, and A. Troina: On Designing Multicore-aware Simulators for Biological Systems.
    In CoRR, abs/1010.2438 of , pages , 2010.
    [bib,detail]
  9. M. E. Andersen, M. Al-Zoughool, M. Croteau, M. Westphal, and D. Krewski: The Future of Toxicity Testing.
    In Journal of Toxicology and Environmental Health, Part B: Critical Reviews, 13 of , pages 163--196, 2010.
    [bib,detail]
  10. P. Monteiro, E. Dumas, B. Besson, R. Mateescu, M. Page, A. Freitas, and H. de Jong: A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks..
    In BMC Bioinformatics, 10 of , pages 450 - 461, 2009.
    [bib,detail]
  11. L. Zhao, Q. Li, and F. Zhong: A Visual Modeling Framework of Workflow Systems Based on CCS.
    In Semantics, Knowledge and Grid, International Conference on, 0 of , pages 200-207, 2009.
    [bib,detail]
  12. J. Barnat, L. Brim, and P. Ročkai: DiVinE 2.0: High-Performance Model Checking.
    In 2009 International Workshop on High Performance Computational Systems Biology (HiBi 2009), of , pages 31-32, 2009.
    [bib,detail]
  13. P. Ballarini, M. Forlin, T. Mazza, and D. Prandi: Efficient Parallel Statistical Model Checking of Biochemical Networks.
    In Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 14 of Electronic Proceedings in Theoretical Computer Science, pages , 2009.
    [bib,detail]
  14. M. Kot: Modeling selected real-time database concurrency control protocols in Uppaal.
    In Innovations in Systems and Software Engineering, 5 of , pages 129-138, 2009.
    [bib,detail]
  15. P. Ballarini, R. Guido, T. Mazza, and D. Prandi: Taming the complexity of biological pathways through parallel computing.
    In Briefings in Bioinformatics, 10 of , pages 278-288, 2009.
    [bib,detail]
  16. N. Bonzanni, K. A. Feenstra, W. Fokkink, and E. Krepska: What Can Formal Methods Bring to Systems Biology?.
    In FM 2009: Formal Methods, 5850 of Lecture Notes in Computer Science, pages 16-22, 2009.
    [bib,detail]
  17. S. Morimoto, S. Shigematsu, Y. Goto, and J. Cheng: Classification, formalization and verification of security functional requirements.
    In SOFSEM'08: Proceedings of the 34th conference on Current trends in theory and practice of computer science, of , pages 622--633, 2008.
    [bib,detail]
  18. R. Mateescu, P. T. Monteiro, E. Dumas, and H. de Jong: Computation Tree Regular Logic for Genetic Regulatory Networks.
    In Automated Technology for Verification and Analysis, 6th International Symposium, 5311 of Lecture Notes in Computer Science, pages 48-63, 2008.
    [bib,detail]
  19. A. Smrcka and T. Vojnar: Verifying parametrised hardware designs via counter automata.
    In HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, 4899 of LECTURE NOTES IN COMPUTER SCIENCE, pages 51-68, 2008.
    [bib,detail]
  20. R. Pelánek: BEEM: Benchmarks for Explicit Model Checkers.
    In Model Checking Software (SPIN 2007), 4595 of LNCS, pages 263--267, 2007.
    [bib,detail]
  21. P. Padawitz: Expander2: Program Verification Between Interaction and Automation.
    In Electronic Notes in Theoretical Computer Science, 177 of , pages 35 - 57, 2007.
    [bib,detail]
  22. P. Matousek, A. Smrcka, and T. Vojnar: High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design.
    In Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, 3725 of Lecture Notes in Computer Science, pages 371-375, 2005.
    [bib,detail]
  23. D. Antoš, V. Řehák, and J. Kořenek: Hardware Router's Lookup Machine and its Formal Verification.
    In ICN'2004 Conference Proceedings. Gosier, Guadeloupe, French Caribbean, of , pages 1002-1007, 2004.
    [bib,detail]
  24. J. Novotný, O. Fučík, and D. Antoš: Project of IPv6 Router with FPGA Hardware Accelerator.
    In Field Programmable Logic and Application, 2778 of Lecture Notes in Computer Science, pages 964-967, 2003.
    [bib,detail]