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

  Článek ve sborníku

  Pre-proceedings of the Workshop on Parallel and Distributed Methods in verifiCation (PDMC'08), rok: 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ří

  Software

  Rok: 2008

• Component-Interaction Automata Approach (CoIn)

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

  Kapitola v knize

  The Common Component Modeling Example: Comparing Software Component Models, rok: 2008, počet stran: 31 s.

• Computation of more channels in protein molecules

  BENEŠ Petr MEDEK Petr SOCHOR Jiří

  Článek ve sborníku

  Proceedings of Visual Computing for Biomedicine, rok: 2008

• Fast Method for Computation of Channels in Dynamic Proteins

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

  Článek ve sborníku

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

• Multicriteria tunnel computation

  MEDEK Petr BENEŠ Petr SOCHOR Jiří

  Článek ve sborníku

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

• Partial Order Reduction for State/Event LTL

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

  Výzkumná zpráva

  Rok: 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

  Článek ve sborníku

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

• VRECKO: The Virtual Reality System

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

  Software

  Rok: 2008

2007

• Computation of tunnels in protein molecules using Delaunay triangulation

  MEDEK Petr BENEŠ Petr SOCHOR Jiří

  Článek ve sborníku

  Journal of WSCG, rok: 2007