Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2017

    1. CHALUPA, Marek, Martina VITOVSKÁ, Martin JONÁŠ, Jiří SLABÝ a Jan STREJČEK. Symbiotic 4: Beyond Reachability (Competition Contribution). In Axel Legay, Tiziana Margaria. Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference. Berlin: Springer Berlin Heidelberg. s. 385-389. ISBN 978-3-662-54580-5. doi:10.1007/978-3-662-54580-5_28. 2017.
      URL
      RIV/00216224:14330/17:00095057 Stať ve sborníku. Informatika. angličtina. Německo.
      Chalupa, Marek (203 Česká republika, domácí) -- Vitovská, Martina (203 Česká republika, domácí) -- Jonáš, Martin (203 Česká republika, domácí) -- Slabý, Jiří (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Symbiotic; program analysis; program verification; SV-COMP 2017
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:22.

    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. s. 946-949. ISBN 978-3-662-49673-2. doi:10.1007/978-3-662-49674-9_67. 2016.
      RIV/00216224:14330/16:00088244 Stať ve sborníku. Informatika. angličtina. Německo.
      Chalupa, Marek (203 Česká republika, domácí) -- Jonáš, Martin (203 Česká republika, domácí) -- Slabý, Jiří (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Vitovská, Martina (203 Česká republika, domácí)
      Klíčová slova anglicky: instrumentation; symbolic execution; program slicing
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:22.

    2014

    1. 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. s. 415-417. ISBN 978-3-642-54861-1. doi:10.1007/978-3-642-54862-8_34. 2014.
      RIV/00216224:14330/14:00073504 Stať ve sborníku. Informatika. angličtina. Německo.
      Slabý, Jiří (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: instrumentation; symbolic execution; program slicing
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2015 05:35.

    2013

    1. 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. s. 268-274. ISBN 978-3-642-35872-2. doi:10.1007/978-3-642-35873-9_17. 2013.
      RIV/00216224:14330/13:00065952 Stať ve sborníku. Informatika. angličtina. Německo.
      Slabý, Jiří (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: Bug database; classified bug-reports
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 17. 4. 2014 11:19.
    2. 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. s. 193-207. ISBN 978-3-319-02443-1. doi:10.1007/978-3-319-02444-8_15. 2013.
      Název česky: Kompaktní symbolická exekuce
      RIV/00216224:14330/13:00066165 Stať ve sborníku. Informatika. angličtina. Německo.
      Slabý, Jiří (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: symbolic execution; compact symbolic execution; testing
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 18. 11. 2013 14:45.
    3. 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. s. 630-632. ISBN 978-3-642-36741-0. doi:10.1007/978-3-642-36742-7_50. 2013.
      RIV/00216224:14330/13:00065969 Stať ve sborníku. Informatika. angličtina. Německo.
      Slabý, Jiří (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: instrumentation; symbolic execution; program slicing
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2014 22:59.

    2012

    1. ClabureDB (software)
      SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. ClabureDB. 2012.
      ClabureDB
      RIV/00216224:14330/12:00062341 Software. Informatika. angličtina. Česká republika.
      Slabý, Jiří (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: Bug database; classified bug-reports

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 05:57.
    2. 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. s. 207-221. ISBN 978-3-642-32468-0. doi:10.1007/978-3-642-32469-7_14. 2012.
      URL
      RIV/00216224:14330/12:00057431 Stať ve sborníku. Informatika. angličtina. Německo.
      Slabý, Jiří (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: Bug finding; Symbolic execution; Program slicing; FSM property specification; Code instrumentation
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: Mgr. Jiří Slabý, Ph.D., učo 98734. Změněno: 20. 1. 2013 11:34.
    3. OBDRŽÁLEK, Jan, Jiří SLABÝ a Marek TRTÍK. STANSE: Bug-finding Framework for C Programs. In LNCS Proceeding of Memics 2011. Brno: Springer. s. 167-178. ISBN 978-3-642-25928-9. doi:10.1007/978-3-642-25929-6_16. 2012.
      RIV/00216224:14330/12:00067325 Stať ve sborníku. Počítačový hardware a software. angličtina. Česká republika.
      Obdržálek, Jan (203 Česká republika, garant, domácí) -- Slabý, Jiří (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: Bug-finding; static analysis; framework; checker
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2014 12:57.
    4. Symbiotic (software)
      SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Symbiotic. 2012.
      Odkaz na stránku software
      RIV/00216224:14330/12:00062340 Software. Informatika. angličtina. Česká republika.
      Slabý, Jiří (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: symbolic execution; slicing; bug-finding
      Mezinárodní význam: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 05:58.

    2011

    1. Š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. s. 685-696. ISBN 978-1-4419-9645-9. doi:10.1007/978-1-4419-9790-6. 2011.
      RIV/00216224:14330/11:00051518 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Škrabálek, Jaroslav (203 Česká republika, domácí) -- Tokárová, Lucia (703 Slovensko, domácí) -- Slabý, Jiří (203 Česká republika, domácí) -- Pitner, Tomáš (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: service design;web-based services;web 2.0
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 17. 4. 2012 21:52.
    2. Š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. s. 577-580, 8 s. ISBN 978-0-7695-4324-6. doi:10.1109/SYNASC.2010.66. 2011.
      URL
      Název česky: Webové služby pro organizaci akademických akcí - Případová studie "Takeplace"
      Název anglicky: Web-based Service for Collaborative Organization of Academic Events - Case Study of "Takeplace"
      RIV/00216224:14330/11:00051511 Stať ve sborníku. Informatika. angličtina. Rumunsko.
      Škrabálek, Jaroslav (203 Česká republika, garant, domácí) -- Ludík, Tomáš (203 Česká republika, domácí) -- Slabý, Jiří (203 Česká republika, domácí) -- Pitner, Tomáš (203 Česká republika, domácí)
      Klíčová slova anglicky: Web-based Services; Collaborative Organization; Academic Events; Case Study; Takeplace
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Ing. Tomáš Ludík, Ph.D., učo 72692. Změněno: 3. 2. 2014 15:37.
Zobrazeno: 29. 3. 2024 05:56