2012

• Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints

  SVOREŇOVÁ Mária TŮMOVÁ Jana BARNAT Jiří ČERNÁ Ivana

  Článek ve sborníku

  Proceedings of the 51st IEEE Conference on Decision and Control, rok: 2012

• Designing Fast LTL Model Checking Algorithms for Many-core GPUs

  BARNAT Jiří BAUCH Petr BRIM Luboš ČEŠKA Milan

  Článek v odborném periodiku

  Journal of Parallel and Distributed Computing, rok: 2012, ročník: 72, vydání: 9, DOI

• Dual-Priced Modal Transition Systems with Time Durations

  BENEŠ Nikola KŘETÍNSKÝ Jan LARSEN Kim G. MOLLER Mikael H. SRBA Jiří

  Článek ve sborníku

  LPAR-18 - Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, rok: 2012

• Executing Model Checking Counterexamples in Simulink

  BARNAT Jiří BRIM Luboš BERAN Jan KRATOCHVÍLA Tomáš DE OLIVEIRA Italo Romani

  Článek ve sborníku

  IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering, rok: 2012

• EXPTIME-Completeness of Thorough Refinement on Modal Transition Systems

  BENEŠ Nikola KŘETÍNSKÝ Jan LARSEN Kim G. SRBA Jiří

  Článek v odborném periodiku

  Information and Computation, rok: 2012, ročník: 218, vydání: September, DOI

• Factorization for Component-Interaction Automata

  BENEŠ Nikola ČERNÁ Ivana ŠTEFAŇÁK Filip

  Článek ve sborníku

  SOFSEM 2012: Theory and Practice of Computer Science, rok: 2012

• Checking Sanity of Software Requirements

  BARNAT Jiří BAUCH Petr BRIM Luboš

  Článek ve sborníku

  Proceedings of the 10th International Conference on Software Engineering and Formal Methods, rok: 2012

• Modal Process Rewrite Systems

  BENEŠ Nikola KŘETÍNSKÝ Jan

  Článek ve sborníku

  Theoretical Aspects of Computing - ICTAC 2012, rok: 2012

• On Approximative Reachability Analysis of Biochemical Dynamical Systems

  BRIM Luboš FABRIKOVÁ Jana DRAŽAN Sven ŠAFRÁNEK David

  Článek ve sborníku

  Transactions on Computational Systems Biology XIV, rok: 2012

• On Expressing and Monitoring Oscillatory Dynamics

  DLUHOŠ Petr BRIM Luboš ŠAFRÁNEK David

  Článek v odborném periodiku

  Electronic Proceedings in Theoretical Computer Science, rok: 2012, ročník: 2012, vydání: 92, DOI