Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2016

  1. CHALUPA, Marek, Martin JONÁŠ, Jiří SLABÝ, Jan STREJČEK a Martina VITOVSKÁ. Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution). In Marsha Chechik and Jean-Francois Raskin. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. Berlin, Heidelberg: Springer, 2016. s. 946-949, 4 s. ISBN 978-3-662-49673-2. doi:10.1007/978-3-662-49674-9_67.
  2. 2014

  3. SLABÝ, Jiří a Jan STREJČEK. Symbiotic 2: More Precise Slicing (Competition Contribution). In E. Ábrahám and K. Havelund. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014. Berlin, Heidelberg: Springer, 2014. s. 415-417, 3 s. ISBN 978-3-642-54861-1. doi:10.1007/978-3-642-54862-8_34.
  4. 2013

  5. SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools. In Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013. Berlin, Heidelberg: Springer, 2013. s. 268-274, 7 s. ISBN 978-3-642-35872-2. doi:10.1007/978-3-642-35873-9_17.
  6. SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Compact Symbolic Execution. In Hung Dang-Van and Mizuhito Ogawa. 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013. Berlin Heidelberg: Springer, 2013. s. 193-207, 15 s. ISBN 978-3-319-02443-1. doi:10.1007/978-3-319-02444-8_15.
  7. SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution). In Nir Piterman, Scott A. Smolka. Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013. Berlin, Heidelberg: Springer, 2013. s. 630-632, 3 s. ISBN 978-3-642-36741-0. doi:10.1007/978-3-642-36742-7_50.
  8. 2012

  9. SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution. In Mariëlle Stoelinga, Ralf Pinger. Formal Methods for Industrial Critical systems: 17th International Workshop, FMICS 2012. Berlin, Heidelberg: Springer, 2012. s. 207-221, 15 s. ISBN 978-3-642-32468-0. doi:10.1007/978-3-642-32469-7_14.
  10. OBDRŽÁLEK, Jan, Jiří SLABÝ a Marek TRTÍK. STANSE: Bug-finding Framework for C Programs. In LNCS Proceeding of Memics 2011. Brno: Springer, 2012. s. 167-178, 12 s. ISBN 978-3-642-25928-9. doi:10.1007/978-3-642-25929-6_16.
  11. 2011

  12. ŠKRABÁLEK, Jaroslav, Lucia TOKÁROVÁ, Jiří SLABÝ a Tomáš PITNER. Integrated Approach in Management and Design of ModernWeb-Based Services. In Barry, Chris et al.. Information Systems Development. Prague: Springer, 2011. s. 685-696, 12 s. ISBN 978-1-4419-9645-9. doi:10.1007/978-1-4419-9790-6.
  13. ŠKRABÁLEK, Jaroslav, Tomáš LUDÍK, Jiří SLABÝ a Tomáš PITNER. Web-based Service for Collaborative Organization of Academic Events - Case Study of "Takeplace". In 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Timisoara: Proceedings - 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011. s. 577-580, 8 s. ISBN 978-0-7695-4324-6. doi:10.1109/SYNASC.2010.66.
Zobrazit podrobně
Zobrazeno: 25. 9. 2017 02:49