prof. RNDr. Luboš Brim, CSc.

2013

• Robustness Analysis for Value-Freezing Signal Temporal Logic

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

  Article in Proceedings

  Proceedings HSB 2013, year: 2013

• Robustness Analysis of Stochastic Systems

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

  Article in Proceedings

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

• Timed Modelling of Gene Networks with Arbitrary Expression Level Discretization

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

  Article in Proceedings

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

2012

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

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

  Article in Periodical

  Journal of Parallel and Distributed Computing, year: 2012, volume: 72, edition: 9, DOI

• Executing Model Checking Counterexamples in Simulink

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

  Article in Proceedings

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

• Checking Sanity of Software Requirements

  BARNAT Jiří BAUCH Petr BRIM Luboš

  Article in Proceedings

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

• On Approximative Reachability Analysis of Biochemical Dynamical Systems

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

  Article in Proceedings

  Transactions on Computational Systems Biology XIV, year: 2012

• On Expressing and Monitoring Oscillatory Dynamics

  DLUHOŠ Petr BRIM Luboš ŠAFRÁNEK David

  Article in Periodical

  Electronic Proceedings in Theoretical Computer Science, year: 2012, volume: 2012, edition: 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áš

  Article in Periodical

  IEEE/ACM Transactions on Computational Biology and Bioinformatics, year: 2012, volume: 9, edition: 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

  Article in Periodical

  Science of Computer Programming, year: 2012, volume: 77, edition: 12, DOI