prof. RNDr. Luboš Brim, CSc.

2013

• Robustness Analysis for Value-Freezing Signal Temporal Logic

  BRIM Luboš VEJPUSTEK Tomáš ŠAFRÁNEK David FABRIKOVÁ Jana

  Článek ve sborníku

  Proceedings HSB 2013, rok: 2013

• Robustness Analysis of Stochastic Systems

  BRIM Luboš ČEŠKA Milan DRAŽAN Sven ŠAFRÁNEK David

  Článek ve sborníku

  Electronic Proceedings in Theoretical Computer Science, Volume 116, rok: 2013

• Timed Modelling of Gene Networks with Arbitrary Expression Level Discretization

  VAN GOETHEM Simon JACQUET Jean-Marie BRIM Luboš ŠAFRÁNEK David

  Článek ve sborníku

  Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12), rok: 2013

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

• 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

• 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

• 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

• On Parameter Synthesis by Parallel Model Checking

  BARNAT Jiří BRIM Luboš KREJČÍ Adam STRECK Adam ŠAFRÁNEK David VEJNÁR Martin VEJPUSTEK Tomáš

  Článek v odborném periodiku

  IEEE/ACM Transactions on Computational Biology and Bioinformatics, rok: 2012, ročník: 9, vydání: 3, DOI

• On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Článek v odborném periodiku

  Science of Computer Programming, rok: 2012, ročník: 77, vydání: 12, DOI