Masaryk University

Publication Records

česky | in English

Filter publications

    2017

    1. Symbiotic 4: Beyond Reachability (Competition Contribution)
      CHALUPA, Marek, Martina VITOVSKÁ, Martin JONÁŠ, Jiří SLABÝ and 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, 2017, p. 385-389. ISBN 978-3-662-54580-5. Available from: https://dx.doi.org/10.1007/978-3-662-54580-5_28.
      URL
      RIV/00216224:14330/17:00095057 Proceedings paper. Informatics. English. Germany.
      Chalupa, Marek (203 Czech Republic, belonging to the institution) -- Vitovská, Martina (203 Czech Republic, belonging to the institution) -- Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Slabý, Jiří (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Symbiotic; program analysis; program verification; SV-COMP 2017
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:22.
      More: https://is.muni.cz/publication/1392166/en

    2016

    1. Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution)
      CHALUPA, Marek, Martin JONÁŠ, Jiří SLABÝ, Jan STREJČEK and 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, p. 946-949. ISBN 978-3-662-49673-2. Available from: https://dx.doi.org/10.1007/978-3-662-49674-9_67.
      RIV/00216224:14330/16:00088244 Proceedings paper. Informatics. English. Germany.
      Chalupa, Marek (203 Czech Republic, belonging to the institution) -- Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Slabý, Jiří (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Vitovská, Martina (203 Czech Republic, belonging to the institution)
      Keywords in English: instrumentation; symbolic execution; program slicing
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:22.
      More: https://is.muni.cz/publication/1357163/en

    2014

    1. Symbiotic 2: More Precise Slicing (Competition Contribution)
      SLABÝ, Jiří and 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, p. 415-417. ISBN 978-3-642-54861-1. Available from: https://dx.doi.org/10.1007/978-3-642-54862-8_34.
      RIV/00216224:14330/14:00073504 Proceedings paper. Informatics. English. Germany.
      Slabý, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution)
      Keywords in English: instrumentation; symbolic execution; program slicing
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2015 05:35.
      More: https://is.muni.cz/publication/1166237/en

    2013

    1. ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools
      SLABÝ, Jiří, Jan STREJČEK and 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, p. 268-274. ISBN 978-3-642-35872-2. Available from: https://dx.doi.org/10.1007/978-3-642-35873-9_17.
      RIV/00216224:14330/13:00065952 Proceedings paper. Informatics. English. Germany.
      Slabý, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
      Keywords in English: Bug database; classified bug-reports
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 17/4/2014 11:19.
      More: https://is.muni.cz/publication/1075388/en
    2. Compact Symbolic Execution
      SLABÝ, Jiří, Jan STREJČEK and 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, p. 193-207. ISBN 978-3-319-02443-1. Available from: https://dx.doi.org/10.1007/978-3-319-02444-8_15.
      Name in Czech: Kompaktní symbolická exekuce
      RIV/00216224:14330/13:00066165 Proceedings paper. Informatics. English. Germany.
      Slabý, Jiří (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
      Keywords in English: symbolic execution; compact symbolic execution; testing
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 18/11/2013 14:45.
      More: https://is.muni.cz/publication/1110971/en
    3. Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)
      SLABÝ, Jiří, Jan STREJČEK and 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, p. 630-632. ISBN 978-3-642-36741-0. Available from: https://dx.doi.org/10.1007/978-3-642-36742-7_50.
      RIV/00216224:14330/13:00065969 Proceedings paper. Informatics. English. Germany.
      Slabý, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
      Keywords in English: instrumentation; symbolic execution; program slicing
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2014 22:59.
      More: https://is.muni.cz/publication/1078253/en

    2012

    1. ClabureDB (software)
      SLABÝ, Jiří, Jan STREJČEK and Marek TRTÍK. ClabureDB. 2012.
      ClabureDB
      RIV/00216224:14330/12:00062341 Software. Informatics. English. Czech Republic.
      Slabý, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
      Keywords in English: Bug database; classified bug-reports
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 23/4/2013 05:57.
      More: https://is.muni.cz/publication/1078252/en
    2. Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution
      SLABÝ, Jiří, Jan STREJČEK and 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, p. 207-221. ISBN 978-3-642-32468-0. Available from: https://dx.doi.org/10.1007/978-3-642-32469-7_14.
      URL
      RIV/00216224:14330/12:00057431 Proceedings paper. Informatics. English. Germany.
      Slabý, Jiří (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
      Keywords in English: Bug finding; Symbolic execution; Program slicing; FSM property specification; Code instrumentation
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Jiří Slabý, Ph.D., učo 98734. Changed: 20/1/2013 11:34.
      More: https://is.muni.cz/publication/984069/en
    3. STANSE: Bug-finding Framework for C Programs
      OBDRŽÁLEK, Jan, Jiří SLABÝ and Marek TRTÍK. STANSE: Bug-finding Framework for C Programs. In LNCS Proceeding of Memics 2011. Brno: Springer, 2012, p. 167-178. ISBN 978-3-642-25928-9. Available from: https://dx.doi.org/10.1007/978-3-642-25929-6_16.
      RIV/00216224:14330/12:00067325 Proceedings paper. Computer hardware and software. English. Czech Republic.
      Obdržálek, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Slabý, Jiří (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
      Keywords in English: Bug-finding; static analysis; framework; checker
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 29/4/2014 12:57.
      More: https://is.muni.cz/publication/956059/en
    4. Symbiotic (software)
      SLABÝ, Jiří, Jan STREJČEK and Marek TRTÍK. Symbiotic. 2012.
      Odkaz na stránku software
      RIV/00216224:14330/12:00062340 Software. Informatics. English. Czech Republic.
      Slabý, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
      Keywords in English: symbolic execution; slicing; bug-finding
      International impact: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 23/4/2013 05:58.
      More: https://is.muni.cz/publication/1078249/en

    2011

    1. Integrated Approach in Management and Design of ModernWeb-Based Services
      ŠKRABÁLEK, Jaroslav, Lucia TOKÁROVÁ, Jiří SLABÝ and Tomáš PITNER. Integrated Approach in Management and Design of ModernWeb-Based Services. In Barry, Chris et al. Information Systems Development. Prague: Springer, 2011, p. 685-696. ISBN 978-1-4419-9645-9. Available from: https://dx.doi.org/10.1007/978-1-4419-9790-6.
      RIV/00216224:14330/11:00051518 Proceedings paper. Informatics. English. Czech Republic.
      Škrabálek, Jaroslav (203 Czech Republic, belonging to the institution) -- Tokárová, Lucia (703 Slovakia, belonging to the institution) -- Slabý, Jiří (203 Czech Republic, belonging to the institution) -- Pitner, Tomáš (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: service design;web-based services;web 2.0
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 17/4/2012 21:52.
      More: https://is.muni.cz/publication/907728/en
    2. Web-based Service for Collaborative Organization of Academic Events - Case Study of "Takeplace"
      ŠKRABÁLEK, Jaroslav, Tomáš LUDÍK, Jiří SLABÝ and 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, p. 577-580, 8 pp. ISBN 978-0-7695-4324-6. Available from: https://dx.doi.org/10.1109/SYNASC.2010.66.
      URL
      Name in Czech: Webové služby pro organizaci akademických akcí - Případová studie "Takeplace"
      Name (in English): Web-based Service for Collaborative Organization of Academic Events - Case Study of "Takeplace"
      RIV/00216224:14330/11:00051511 Proceedings paper. Informatics. English. Romania.
      Škrabálek, Jaroslav (203 Czech Republic, guarantor, belonging to the institution) -- Ludík, Tomáš (203 Czech Republic, belonging to the institution) -- Slabý, Jiří (203 Czech Republic, belonging to the institution) -- Pitner, Tomáš (203 Czech Republic, belonging to the institution)
      Keywords in English: Web-based Services; Collaborative Organization; Academic Events; Case Study; Takeplace
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Ing. Tomáš Ludík, Ph.D., učo 72692. Changed: 3/2/2014 15:37.
      More: https://is.muni.cz/publication/906812/en
Displayed: 28/4/2024 04:43