• Skip the Organizational structure panel
• Organizational structure

  On selecting a constituent part of MU the "Staff" page will be displayed with information relevant to the selected constituent part. The "Staff" page is not available for non-activated items.

  Masaryk University

  • Faculties
  • Law
  • Medicine
  • Science
  • Arts
  • Education
  • Economics
  • Informatics
  • Social Studies
  • Sports Studies

  • Institutes
  • Computer Science
  • CEITEC MU
  • Politica
  • Specialized Units
  • Hostels & Canteens
  • University Press
  • Telč Centre
  • UCB Management

  • Rector`s Office
  • Rectorate
  • Other Units
  • Archive
  • Language Centre
  • International Studies
  • Disabled Students
  • Technology Transfer
  • Biostatistics
  • Mendel Museum
  • CERIT
  • Civic Education
  • Project Team CEITEC

   

RNDr. Nikola Beneš

 

BENEŠ, Nikola - KŘETÍNSKÝ, Jan - LARSEN, Kim G. - MOLLER, Mikael H. - SRBA, Jiří.
Dual-Priced Modal Transition Systems with Time Durations. In LPAR-18 - Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference. Heidelberg Dordrecht London New York : Springer, 2012. ISBN 978-3-642-28716-9, pp. 122-137. Merida, Venezuela.

more

BENEŠ, Nikola - ČERNÁ, Ivana - KŘIVÁNEK, Milan.
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems. In Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation. Neuveden : Open Publishing Association, 2011. pp. 63-67. 2011, Snowbird, Utah, USA.

more

BENEŠ, Nikola - ČERNÁ, Ivana - KŘETÍNSKÝ, Jan.
Modal Transition Systems: Composition and LTL Model Checking. In ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium. Heidelberg Dordrecht London New York : Springer, 2011. ISBN 978-3-642-24371-4, pp. 228-242. Taipei, Taiwan.

more

BENEŠ, Nikola - KŘETÍNSKÝ, Jan - LARSEN, Kim G. - MOLLER, Mikael H. - SRBA, Jiří.
Parametric Modal Transition Systems. In ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium. Heidelberg Dordrecht London New York : Springer, 2011. ISBN 978-3-642-24371-4, pp. 275-289. Taipei, Taiwan.

more

BENEŠ, Nikola - BRIM, Luboš - BÜHNOVÁ, Barbora - ČERNÁ, Ivana - SOCHOR, Jiří - MORAVCOVÁ VAŘEKOVÁ, Pavlína.
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata. Science of Computer Programming, Elsevier. ISSN 0167-6423, 2011, vol. 76, no. 10, pp. 877-890.

more

BENEŠ, Nikola - KŘETÍNSKÝ, Jan.
Process Algebra for Modal Transition Systemses. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Dagstuhl, Germany : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011. ISBN 978-3-939897-22-4, pp. 9--18. 2011, Mikulov.

more

BENEŠ, Nikola - ČERNÁ, Ivana - KŘIVÁNEK, Milan.
CoIn-DiVinE. 2010.

more

BENEŠ, Nikola - KŘETÍNSKÝ, Jan.
Process Algebra for Modal Transition Systemses. In MEMICS 2010. Brno : NOVPRESS s.r.o., 2010. ISBN 978-80-87342-10-7, pp. 20-27. 2010, Mikulov.

more

BENEŠ, Nikola - BÜHNOVÁ, Barbora - ČERNÁ, Ivana - KŘIVÁNEK, Milan.
CoIn Tool Set. 2009.

more

BENEŠ, Nikola - KŘETÍNSKÝ, Jan - LARSEN, Kim G. - SRBA, Jiří.
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. In Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings. Heidelberg : Springer-Verlag, 2009. ISBN 978-3-642-03465-7, pp. 112-126. 2009, Kuala Lumpur.

more

BENEŠ, Nikola - KŘETÍNSKÝ, Jan - LARSEN, Kim G. - SRBA, Jiří.
On Determinism in Modal Transition Systems. Theoretical Computer Science, Elsevier, The Nederlands. ISSN 0304-3975, 2009, vol. 410/2009, no. 41, pp. 4026-4043.

more

BENEŠ, Nikola - BRIM, Luboš - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Partial Order Reduction for State/Event LTL. In Proceedings of the International Conference on Integrated Formal Methods (IFM'09). Berlin / Heidelberg, Germany : Springer Verlag, 2009. ISBN 978-3-642-00254-0, pp. 307-321. 16.2.2009, Düsseldorf, Germany.

more

BENEŠ, Nikola - KŘIVÁNEK, Milan - ŠTEFAŇÁK, Filip.
Space Effective Model Checking for Component-Interaction Automata. In Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Dagstuhl, Německo : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Německo, 2009. ISBN 978-3-939897-15-6, 8 pp. 2009, Znojmo, Česká republika.

more

BENEŠ, Nikola - ČERNÁ, Ivana - SOCHOR, Jiří - MORAVCOVÁ VAŘEKOVÁ, Pavlína - BÜHNOVÁ, Barbora.
A Case Study in Parallel Verification of Component-Based Systems. Electronic Notes in Theoretical Computer Science, Neuveden, Elsevier, Hungary. ISSN 1571-0661, 2008, vol. 220, no. 2, pp. 67-83.

more

BENEŠ, Nikola - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
A Case Study in Parallel Verification of Component-Based Systems. In Pre-proceedings of the Workshop on Parallel and Distributed Methods in verifiCation (PDMC'08). Budapest, Hungary : ETAPS, 2008. pp. 35-51. 29.3.2008, Budapest, Hungary.

more

ZIMMEROVÁ, Barbora - VAŘEKOVÁ, Pavlína - BENEŠ, Nikola - ČERNÁ, Ivana - BRIM, Luboš - SOCHOR, Jiří.
Component-Interaction Automata Approach (CoIn). In The Common Component Modeling Example: Comparing Software Component Models. Berlin / Heidelberg, Germany : Springer Verlag, 2008. LNCS 5153, ISBN 978-3-540-85288-9, pp. 146-176.

more

BENEŠ, Nikola - BRIM, Luboš - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Partial Order Reduction for State/Event LTL. Brno, Czech Republic : Faculty of Informatics, Masaryk University, 2008. Technical report FIMU-RS-2008-07.

more

BENEŠ, Nikola - BRIM, Luboš - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems. In Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08). Málaga, Spain : Department of Computer Science, University of Málaga, 2008. pp. 221-225. 10.9.2008, Málaga, Spain.

more