prof. Ing. Jiří Sochor, CSc.

2008

• A Case Study in Parallel Verification of Component-Based Systems

  BENEŠ Nikola ČERNÁ Ivana SOCHOR Jiří VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

  Article in Proceedings

  Pre-proceedings of the Workshop on Parallel and Distributed Methods in verifiCation (PDMC'08), year: 2008

• CAVER 2.0

  MEDEK Petr BENEŠ Petr KOZLÍKOVÁ Barbora CHOVANCOVÁ Eva PAVELKA Antonín SZABÓ Tibor ZAMBORSKÝ Matúš ANDRES Filip KLVAŇA Martin BREZOVSKÝ Jan SOCHOR Jiří DAMBORSKÝ Jiří

  Year: 2008

• Component-Interaction Automata Approach (CoIn)

  ZIMMEROVÁ Barbora VAŘEKOVÁ Pavlína BENEŠ Nikola ČERNÁ Ivana BRIM Luboš SOCHOR Jiří

  Chapter of a book

  The Common Component Modeling Example: Comparing Software Component Models, year: 2008, number of pages: 31 s.

• Computation of more channels in protein molecules

  BENEŠ Petr MEDEK Petr SOCHOR Jiří

  Article in Proceedings

  Proceedings of Visual Computing for Biomedicine, year: 2008

• Fast Method for Computation of Channels in Dynamic Proteins

  ZEMEK Michal SKÁLA Jiří KOLINGEROVÁ Ivana MEDEK Petr SOCHOR Jiří

  Article in Proceedings

  Vision, Modeling and Visualization 2008, Proceedings, year: 2008

• Multicriteria tunnel computation

  MEDEK Petr BENEŠ Petr SOCHOR Jiří

  Article in Proceedings

  CGIM '08 Proceedings of the Tenth IASTED International Conference on Computer Graphics and Imaging, year: 2008

• Partial Order Reduction for State/Event LTL

  BENEŠ Nikola BRIM Luboš ČERNÁ Ivana SOCHOR Jiří VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

  Year: 2008

• The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems

  BENEŠ Nikola BRIM Luboš ČERNÁ Ivana SOCHOR Jiří VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

  Article in Proceedings

  Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08), year: 2008

• VRECKO: The Virtual Reality System

  FLASAR Jan KOVALČÍK Vít SOCHOR Jiří

  Year: 2008

2007

• Computation of tunnels in protein molecules using Delaunay triangulation

  MEDEK Petr BENEŠ Petr SOCHOR Jiří

  Article in Proceedings

  Journal of WSCG, year: 2007